glsl-in: Add not vector relational builtin

Author: JCapucho

src/front/glsl/builtins.rs

@@ -9,7 +9,7 @@ use super::{
 use crate::{
     BinaryOperator, Block, Constant, DerivativeAxis, Expression, Handle, ImageClass,
     ImageDimension as Dim, ImageQuery, MathFunction, Module, RelationalFunction, SampleLevel,
-    ScalarKind as Sk, Span, Type, TypeInner, VectorSize,
+    ScalarKind as Sk, Span, Type, TypeInner, UnaryOperator, VectorSize,
 };
 
 impl crate::ScalarKind {
@@ -825,7 +825,7 @@ fn inject_standard_builtins(
                     .push(module.add_builtin(args, MacroCall::MathFunction(fun)))
             }
         }
-        "all" | "any" => {
+        "all" | "any" | "not" => {
             // bits layout
             // bit 0 trough 1 - dims
             for bits in 0..0b11 {
@@ -841,11 +841,12 @@ fn inject_standard_builtins(
                     width: crate::BOOL_WIDTH,
                 }];
 
-                let fun = MacroCall::Relational(match name {
-                    "all" => RelationalFunction::All,
-                    "any" => RelationalFunction::Any,
+                let fun = match name {
+                    "all" => MacroCall::Relational(RelationalFunction::All),
+                    "any" => MacroCall::Relational(RelationalFunction::Any),
+                    "not" => MacroCall::Unary(UnaryOperator::Not),
                     _ => unreachable!(),
-                });
+                };
 
                 declaration.overloads.push(module.add_builtin(args, fun))
             }
@@ -1653,6 +1654,7 @@ pub enum MacroCall {
     BitfieldExtract,
     BitfieldInsert,
     Relational(RelationalFunction),
+    Unary(UnaryOperator),
     Binary(BinaryOperator),
     Mod(Option<VectorSize>),
     Splatted(MathFunction, Option<VectorSize>, usize),
@@ -2020,6 +2022,11 @@ impl MacroCall {
                 Span::default(),
                 body,
             ),
+            MacroCall::Unary(op) => ctx.add_expression(
+                Expression::Unary { op, expr: args[0] },
+                Span::default(),
+                body,
+            ),
             MacroCall::Binary(op) => ctx.add_expression(
                 Expression::Binary {
                     op,

tests/in/glsl/vector-functions.vert

@@ -41,6 +41,7 @@ void btest(bvec4 a, bvec4 b) {
 	bvec4 d = notEqual(a, b);
 	bool e = any(a);
 	bool f = all(a);
+	bvec4 g = not(a);
 }
 
 void main() {}

tests/out/wgsl/vector-functions-vert.wgsl

@@ -185,6 +185,7 @@ fn btest(a_8: vec4<bool>, b_8: vec4<bool>) {
     var d_4: vec4<bool>;
     var e_4: bool;
     var f_4: bool;
+    var g_4: vec4<bool>;
 
     a_9 = a_8;
     b_9 = b_8;
@@ -204,6 +205,9 @@ fn btest(a_8: vec4<bool>, b_8: vec4<bool>) {
     _ = a_9;
     let _e21 = a_9;
     f_4 = all(_e21);
+    _ = a_9;
+    let _e25 = a_9;
+    g_4 = !(_e25);
     return;
 }