zext-shl.ll   [plain text]

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