test: Update test for choose expr.

trailofbits · Sep 4, 2024 · 4221109 · 4221109
1 parent 89a8f9b
commit 4221109
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/test/vast/Dialect/HighLevel/choose-expr-a.c b/test/vast/Dialect/HighLevel/choose-expr-a.c
@@ -3,9 +3,11 @@
 
 void fn() {
     int x, y;
-    // CHECK: hl.choose_expr : !hl.lvalue<!hl.int> {
+    // CHECK: hl.choose_expr cond false : !hl.lvalue<!hl.int> {
     // CHECK: hl.cond.yield {{%.*}} : !hl.int
     // CHECK: hl.value.yield {{%.*}} : !hl.lvalue<!hl.int>
     // CHECK: hl.value.yield {{%.*}} : !hl.lvalue<!hl.int>
     int z = __builtin_choose_expr(0, x, y);
+    // CHECK: hl.choose_expr cond true : !hl.lvalue<!hl.int> {
+    int w = __builtin_choose_expr(1, x, y);
 }