; 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 | |
} |