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