mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 04:02:41 +01:00
c531da60aa
1. Only perform (zext (shl (zext x), y)) -> (shl (zext x), y) when y is a constant. This makes sure it remove at least one zest. 2. If the shift is a left shift, make sure the original shift cannot shift out bits. llvm-svn: 91399
26 lines
461 B
LLVM
26 lines
461 B
LLVM
; RUN: llc < %s -march=x86 | FileCheck %s
|
|
|
|
define i32 @t1(i8 zeroext %x) nounwind readnone ssp {
|
|
entry:
|
|
; CHECK: t1:
|
|
; CHECK: shll
|
|
; CHECK-NOT: movzwl
|
|
; CHECK: ret
|
|
%0 = zext i8 %x to i16
|
|
%1 = shl i16 %0, 5
|
|
%2 = zext i16 %1 to i32
|
|
ret i32 %2
|
|
}
|
|
|
|
define i32 @t2(i8 zeroext %x) nounwind readnone ssp {
|
|
entry:
|
|
; CHECK: t2:
|
|
; CHECK: shrl
|
|
; CHECK-NOT: movzwl
|
|
; CHECK: ret
|
|
%0 = zext i8 %x to i16
|
|
%1 = lshr i16 %0, 3
|
|
%2 = zext i16 %1 to i32
|
|
ret i32 %2
|
|
}
|