Index: tests_lit/llvm2ice_tests/branch-simple.ll |
diff --git a/tests_lit/llvm2ice_tests/branch-simple.ll b/tests_lit/llvm2ice_tests/branch-simple.ll |
new file mode 100644 |
index 0000000000000000000000000000000000000000..502287a1f3142e972db7ca38fa21e6261f9cd2e4 |
--- /dev/null |
+++ b/tests_lit/llvm2ice_tests/branch-simple.ll |
@@ -0,0 +1,21 @@ |
+; RUIN: %llvm2ice %s -verbose inst | FileCheck %s |
+; RUIN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s |
+; RUN: %szdiff --llvm2ice=%llvm2ice %s | FileCheck --check-prefix=DUMP %s |
+ |
+define i32 @simple_cond_branch(i32 %foo, i32 %bar) { |
+entry: |
+ %r1 = icmp eq i32 %foo, %bar |
+ br i1 %r1, label %Equal, label %Unequal |
+Equal: |
+ ret i32 %foo |
+Unequal: |
+ ret i32 %bar |
+; CHECK: br i1 %r1, label %Equal, label %Unequal |
+; CHECK: Equal: |
+; CHECK: ret i32 %foo |
+; CHECK: Unequal: |
+; CHECK: ret i32 %bar |
+} |
+ |
+; ERRORS-NOT: ICE translation error |
+; DUMP-NOT: SZ |