|
| 1 | +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
1 | 2 | ; RUN: llc -mtriple=i686-- < %s | FileCheck %s
|
2 | 3 |
|
3 | 4 | ; No attributes, should not use idiv
|
4 | 5 | define i32 @test1(i32 inreg %x) {
|
| 6 | +; CHECK-LABEL: test1: |
| 7 | +; CHECK: # %bb.0: # %entry |
| 8 | +; CHECK-NEXT: movl %eax, %ecx |
| 9 | +; CHECK-NEXT: sarl $31, %ecx |
| 10 | +; CHECK-NEXT: shrl $28, %ecx |
| 11 | +; CHECK-NEXT: addl %ecx, %eax |
| 12 | +; CHECK-NEXT: sarl $4, %eax |
| 13 | +; CHECK-NEXT: retl |
5 | 14 | entry:
|
6 | 15 | %div = sdiv i32 %x, 16
|
7 | 16 | ret i32 %div
|
8 |
| -; CHECK-LABEL: test1: |
9 |
| -; CHECK-NOT: idivl |
10 |
| -; CHECK: ret |
11 | 17 | }
|
12 | 18 |
|
13 | 19 | ; Has minsize (-Oz) attribute, should generate idiv
|
14 | 20 | define i32 @test2(i32 inreg %x) minsize {
|
| 21 | +; CHECK-LABEL: test2: |
| 22 | +; CHECK: # %bb.0: # %entry |
| 23 | +; CHECK-NEXT: pushl $16 |
| 24 | +; CHECK-NEXT: .cfi_adjust_cfa_offset 4 |
| 25 | +; CHECK-NEXT: popl %ecx |
| 26 | +; CHECK-NEXT: .cfi_adjust_cfa_offset -4 |
| 27 | +; CHECK-NEXT: cltd |
| 28 | +; CHECK-NEXT: idivl %ecx |
| 29 | +; CHECK-NEXT: retl |
15 | 30 | entry:
|
16 | 31 | %div = sdiv i32 %x, 16
|
17 | 32 | ret i32 %div
|
18 |
| -; CHECK-LABEL: test2: |
19 |
| -; CHECK: idivl |
20 |
| -; CHECK: ret |
21 | 33 | }
|
22 | 34 |
|
23 | 35 | ; Has optsize (-Os) attribute, should not generate idiv
|
24 | 36 | define i32 @test3(i32 inreg %x) optsize {
|
| 37 | +; CHECK-LABEL: test3: |
| 38 | +; CHECK: # %bb.0: # %entry |
| 39 | +; CHECK-NEXT: movl %eax, %ecx |
| 40 | +; CHECK-NEXT: sarl $31, %ecx |
| 41 | +; CHECK-NEXT: shrl $28, %ecx |
| 42 | +; CHECK-NEXT: addl %ecx, %eax |
| 43 | +; CHECK-NEXT: sarl $4, %eax |
| 44 | +; CHECK-NEXT: retl |
25 | 45 | entry:
|
26 | 46 | %div = sdiv i32 %x, 16
|
27 | 47 | ret i32 %div
|
28 |
| -; CHECK-LABEL: test3: |
29 |
| -; CHECK-NOT: idivl |
30 |
| -; CHECK: ret |
31 | 48 | }
|
32 | 49 |
|
33 | 50 |
|
0 commit comments