Index: tests_lit/llvm2ice_tests/unreachable.ll |
diff --git a/tests_lit/llvm2ice_tests/unreachable.ll b/tests_lit/llvm2ice_tests/unreachable.ll |
new file mode 100644 |
index 0000000000000000000000000000000000000000..9d49008af1ae15e06635289746ae20b4e187fd80 |
--- /dev/null |
+++ b/tests_lit/llvm2ice_tests/unreachable.ll |
@@ -0,0 +1,19 @@ |
+; RUIN: %llvm2ice -verbose inst %s | FileCheck %s |
+; RUIN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s |
+; RUN: %szdiff --llvm2ice=%llvm2ice %s | FileCheck --check-prefix=DUMP %s |
+ |
+define internal i32 @divide(i32 %num, i32 %den) { |
+entry: |
+ %cmp = icmp ne i32 %den, 0 |
+ br i1 %cmp, label %return, label %abort |
+ |
+abort: ; preds = %entry |
+ unreachable |
+ |
+return: ; preds = %entry |
+ %div = sdiv i32 %num, %den |
+ ret i32 %div |
+} |
+ |
+; ERRORS-NOT: ICE translation error |
+; DUMP-NOT: SZ |