| 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 --filetype=obj --disassemble -i %s --args -O2 | FileCheck %s | 4 ; RUN: %p2i --filetype=obj --disassemble -i %s --args -O2 | FileCheck %s |
| 5 ; RUN: %p2i --filetype=obj --disassemble -i %s --args -Om1 | FileCheck %s | 5 ; RUN: %p2i --filetype=obj --disassemble -i %s --args -Om1 | FileCheck %s |
| 6 | 6 |
| 7 define i32 @Sdiv_const8_b(i8 %a) { | 7 define internal i32 @Sdiv_const8_b(i8 %a) { |
| 8 ; CHECK-LABEL: Sdiv_const8_b | 8 ; CHECK-LABEL: Sdiv_const8_b |
| 9 entry: | 9 entry: |
| 10 %div = sdiv i8 %a, 12 | 10 %div = sdiv i8 %a, 12 |
| 11 ; CHECK: mov {{.*}},0xc | 11 ; CHECK: mov {{.*}},0xc |
| 12 ; CHECK-NOT: idiv 0xc | 12 ; CHECK-NOT: idiv 0xc |
| 13 %div_ext = sext i8 %div to i32 | 13 %div_ext = sext i8 %div to i32 |
| 14 ret i32 %div_ext | 14 ret i32 %div_ext |
| 15 } | 15 } |
| 16 | 16 |
| 17 define i32 @Sdiv_const16_b(i16 %a) { | 17 define internal i32 @Sdiv_const16_b(i16 %a) { |
| 18 ; CHECK-LABEL: Sdiv_const16_b | 18 ; CHECK-LABEL: Sdiv_const16_b |
| 19 entry: | 19 entry: |
| 20 %div = sdiv i16 %a, 1234 | 20 %div = sdiv i16 %a, 1234 |
| 21 ; CHECK: mov {{.*}},0x4d2 | 21 ; CHECK: mov {{.*}},0x4d2 |
| 22 ; CHECK-NOT: idiv 0x4d2 | 22 ; CHECK-NOT: idiv 0x4d2 |
| 23 %div_ext = sext i16 %div to i32 | 23 %div_ext = sext i16 %div to i32 |
| 24 ret i32 %div_ext | 24 ret i32 %div_ext |
| 25 } | 25 } |
| 26 | 26 |
| 27 define i32 @Sdiv_const32_b(i32 %a) { | 27 define internal i32 @Sdiv_const32_b(i32 %a) { |
| 28 ; CHECK-LABEL: Sdiv_const32_b | 28 ; CHECK-LABEL: Sdiv_const32_b |
| 29 entry: | 29 entry: |
| 30 %div = sdiv i32 %a, 1234 | 30 %div = sdiv i32 %a, 1234 |
| 31 ; CHECK: mov {{.*}},0x4d2 | 31 ; CHECK: mov {{.*}},0x4d2 |
| 32 ; CHECK-NOT: idiv 0x4d2 | 32 ; CHECK-NOT: idiv 0x4d2 |
| 33 ret i32 %div | 33 ret i32 %div |
| 34 } | 34 } |
| 35 | 35 |
| 36 define i32 @Srem_const_b(i32 %a) { | 36 define internal i32 @Srem_const_b(i32 %a) { |
| 37 ; CHECK-LABEL: Srem_const_b | 37 ; CHECK-LABEL: Srem_const_b |
| 38 entry: | 38 entry: |
| 39 %rem = srem i32 %a, 2345 | 39 %rem = srem i32 %a, 2345 |
| 40 ; CHECK: mov {{.*}},0x929 | 40 ; CHECK: mov {{.*}},0x929 |
| 41 ; CHECK-NOT: idiv 0x929 | 41 ; CHECK-NOT: idiv 0x929 |
| 42 ret i32 %rem | 42 ret i32 %rem |
| 43 } | 43 } |
| 44 | 44 |
| 45 define i32 @Udiv_const_b(i32 %a) { | 45 define internal i32 @Udiv_const_b(i32 %a) { |
| 46 ; CHECK-LABEL: Udiv_const_b | 46 ; CHECK-LABEL: Udiv_const_b |
| 47 entry: | 47 entry: |
| 48 %div = udiv i32 %a, 3456 | 48 %div = udiv i32 %a, 3456 |
| 49 ; CHECK: mov {{.*}},0xd80 | 49 ; CHECK: mov {{.*}},0xd80 |
| 50 ; CHECK-NOT: div 0xd80 | 50 ; CHECK-NOT: div 0xd80 |
| 51 ret i32 %div | 51 ret i32 %div |
| 52 } | 52 } |
| 53 | 53 |
| 54 define i32 @Urem_const_b(i32 %a) { | 54 define internal i32 @Urem_const_b(i32 %a) { |
| 55 ; CHECK-LABEL: Urem_const_b | 55 ; CHECK-LABEL: Urem_const_b |
| 56 entry: | 56 entry: |
| 57 %rem = urem i32 %a, 4567 | 57 %rem = urem i32 %a, 4567 |
| 58 ; CHECK: mov {{.*}},0x11d7 | 58 ; CHECK: mov {{.*}},0x11d7 |
| 59 ; CHECK-NOT: div 0x11d7 | 59 ; CHECK-NOT: div 0x11d7 |
| 60 ret i32 %rem | 60 ret i32 %rem |
| 61 } | 61 } |
| OLD | NEW |