| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py | |
| ; RUN: llc < %s -mtriple=i686-unknown-linux -enable-misched=false | FileCheck %s | |
| ;; Simple case | |
| define i32 @test1(i8 %x) nounwind readnone { | |
| ; CHECK-LABEL: test1: | |
| ; CHECK: # %bb.0: | |
| ; CHECK-NEXT: movzbl {{[0-9]+}}(%esp), %eax | |
| ; CHECK-NEXT: andl $-32, %eax | |
| ; CHECK-NEXT: retl | |
| %A = and i8 %x, -32 | |
| %B = zext i8 %A to i32 | |
| ret i32 %B | |
| } | |
| ;; Multiple uses of %x but easily extensible. | |
| define i32 @test2(i8 %x) nounwind readnone { | |
| ; CHECK-LABEL: test2: | |
| ; CHECK: # %bb.0: | |
| ; CHECK-NEXT: movzbl {{[0-9]+}}(%esp), %eax | |
| ; CHECK-NEXT: movl %eax, %ecx | |
| ; CHECK-NEXT: andl $-32, %ecx | |
| ; CHECK-NEXT: orl $63, %eax | |
| ; CHECK-NEXT: addl %ecx, %eax | |
| ; CHECK-NEXT: retl | |
| %A = and i8 %x, -32 | |
| %B = zext i8 %A to i32 | |
| %C = or i8 %x, 63 | |
| %D = zext i8 %C to i32 | |
| %E = add i32 %B, %D | |
| ret i32 %E | |
| } | |
| declare void @use(i32, i8) | |
| ;; Multiple uses of %x where we shouldn't extend the load. | |
| define void @test3(i8 %x) nounwind readnone { | |
| ; CHECK-LABEL: test3: | |
| ; CHECK: # %bb.0: | |
| ; CHECK-NEXT: subl $12, %esp | |
| ; CHECK-NEXT: movzbl {{[0-9]+}}(%esp), %eax | |
| ; CHECK-NEXT: subl $8, %esp | |
| ; CHECK-NEXT: pushl %eax | |
| ; CHECK-NEXT: andl $-32, %eax | |
| ; CHECK-NEXT: pushl %eax | |
| ; CHECK-NEXT: calll use | |
| ; CHECK-NEXT: addl $28, %esp | |
| ; CHECK-NEXT: retl | |
| %A = and i8 %x, -32 | |
| %B = zext i8 %A to i32 | |
| call void @use(i32 %B, i8 %x) | |
| ret void | |
| } | |