add failing test

llvm · Apr 3, 2024 · 9b73d05 · 9b73d05
1 parent 69c116a
commit 9b73d05
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/tools/cgeist/Test/Verification/char.c b/tools/cgeist/Test/Verification/char.c
@@ -0,0 +1,13 @@
+// RUN: cgeist %s --function=* -S | FileCheck %s
+
+char add_one(char x) {
+  char one = 1;
+  return x + one;
+}
+
+// CHECK-LABEL:   func.func @add_one(
+// CHECK-SAME:     %[[x:.*]]: i8) -> i8
+// CHECK-NEXT:       %[[c1:.*]] = arith.constant 1
+// CHECK-NEXT:       %[[res:.*]] = arith.addi %[[x]], %[[c1]] : i8
+// CHECK-NEXT:       return %[[res]] : i8
+// CHECK:         }