| 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
|
|
|