Index: tests_lit/llvm2ice_tests/unreachable.ll |
diff --git a/tests_lit/llvm2ice_tests/unreachable.ll b/tests_lit/llvm2ice_tests/unreachable.ll |
index 0c5f5b2a8b6582203fbf7f32dc2418f79ab2c230..8db1bff6fae10ae917c80d80e851fc8555fc32ee 100644 |
--- a/tests_lit/llvm2ice_tests/unreachable.ll |
+++ b/tests_lit/llvm2ice_tests/unreachable.ll |
@@ -1,13 +1,23 @@ |
; This tests the basic structure of the Unreachable instruction. |
-; RUN: %llvm2ice --verbose inst %s | FileCheck %s |
-; RUN: %llvm2ice --verbose none %s \ |
-; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj |
+; TODO(jvoung): fix extra "CALLTARGETS" run. The llvm-objdump symbolizer |
+; doesn't know how to symbolize non-section-local functions. |
+; The newer LLVM 3.6 one does work, but watch out for other bugs. |
+ |
+; RUN: %llvm2ice -O2 --verbose none %s \ |
+; RUN: | FileCheck --check-prefix=CALLTARGETS %s |
+; RUN: %llvm2ice -O2 --verbose none %s \ |
+; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ |
+; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s |
+; RUN: %llvm2ice -Om1 --verbose none %s \ |
+; RUN: | llvm-mc -triple=i686-none-nacl -x86-asm-syntax=intel -filetype=obj \ |
+; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s |
; RUN: %llvm2ice --verbose none %s | FileCheck --check-prefix=ERRORS %s |
; RUN: %llvm2iceinsts %s | %szdiff %s | FileCheck --check-prefix=DUMP %s |
; RUN: %llvm2iceinsts --pnacl %s | %szdiff %s \ |
; RUN: | FileCheck --check-prefix=DUMP %s |
+ |
define internal i32 @divide(i32 %num, i32 %den) { |
entry: |
%cmp = icmp ne i32 %den, 0 |
@@ -15,15 +25,17 @@ entry: |
abort: ; preds = %entry |
unreachable |
-; CHECK: unreachable |
return: ; preds = %entry |
%div = sdiv i32 %num, %den |
ret i32 %div |
} |
+; CHECK-LABEL: divide |
+; CALLTARGETS-LABEL: divide |
; CHECK: cmp |
-; CHECK: call ice_unreachable |
+; CHECK: call -4 |
+; CALLTARGETS: call ice_unreachable |
; CHECK: cdq |
; CHECK: idiv |
; CHECK: ret |