OLD | NEW |
1 ; This is a regression test that idiv and div operands are legalized | 1 ; This is a regression test that idiv and div operands are legalized |
2 ; (they cannot be constants and can only be reg/mem for x86). | 2 ; (they cannot be constants and can only be reg/mem for x86). |
3 | 3 |
4 ; RUN: %p2i -i %s --args -O2 --verbose none \ | 4 ; RUN: %p2i -i %s --args -O2 --verbose none \ |
5 ; RUN: | llvm-mc -triple=i686-none-nacl -filetype=obj \ | 5 ; RUN: | llvm-mc -triple=i686-none-nacl -filetype=obj \ |
6 ; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s | 6 ; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s |
7 ; RUN: %p2i -i %s --args -Om1 --verbose none \ | 7 ; RUN: %p2i -i %s --args -Om1 --verbose none \ |
8 ; RUN: | llvm-mc -triple=i686-none-nacl -filetype=obj \ | 8 ; RUN: | llvm-mc -triple=i686-none-nacl -filetype=obj \ |
9 ; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s | 9 ; RUN: | llvm-objdump -d --symbolize -x86-asm-syntax=intel - | FileCheck %s |
10 ; RUN: %p2i -i %s --args --verbose none | FileCheck --check-prefix=ERRORS %s | |
11 ; RUN: %p2i -i %s --insts | %szdiff %s | FileCheck --check-prefix=DUMP %s | |
12 | 10 |
13 define i32 @Sdiv_const8_b(i8 %a) { | 11 define i32 @Sdiv_const8_b(i8 %a) { |
14 ; CHECK-LABEL: Sdiv_const8_b | 12 ; CHECK-LABEL: Sdiv_const8_b |
15 entry: | 13 entry: |
16 %div = sdiv i8 %a, 12 | 14 %div = sdiv i8 %a, 12 |
17 ; CHECK: mov {{.*}}, 12 | 15 ; CHECK: mov {{.*}}, 12 |
18 ; CHECK-NOT: idiv 12 | 16 ; CHECK-NOT: idiv 12 |
19 %div_ext = sext i8 %div to i32 | 17 %div_ext = sext i8 %div to i32 |
20 ret i32 %div_ext | 18 ret i32 %div_ext |
21 } | 19 } |
(...skipping 36 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
58 } | 56 } |
59 | 57 |
60 define i32 @Urem_const_b(i32 %a) { | 58 define i32 @Urem_const_b(i32 %a) { |
61 ; CHECK-LABEL: Urem_const_b | 59 ; CHECK-LABEL: Urem_const_b |
62 entry: | 60 entry: |
63 %rem = urem i32 %a, 4567 | 61 %rem = urem i32 %a, 4567 |
64 ; CHECK: mov {{.*}}, 4567 | 62 ; CHECK: mov {{.*}}, 4567 |
65 ; CHECK-NOT: div 4567 | 63 ; CHECK-NOT: div 4567 |
66 ret i32 %rem | 64 ret i32 %rem |
67 } | 65 } |
68 | |
69 ; ERRORS-NOT: ICE translation error | |
70 ; DUMP-NOT: SZ | |
OLD | NEW |