llvm/llvm/test/CodeGen/X86/zext-lshr.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=i686-unknown-unknown | FileCheck %s --check-prefixes=CHECK,X86
; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s --check-prefixes=CHECK,X64

define i32 @i32_zext_shift_i16_zext_i1(i1 %a0) nounwind {
; CHECK-LABEL: i32_zext_shift_i16_zext_i1:
; CHECK:       # %bb.0:
; CHECK-NEXT:    xorl %eax, %eax
; CHECK-NEXT:    ret{{[l|q]}}
  %t0 = zext i1 %a0 to i16
  %t1 = lshr i16 %t0, 5
  %t2 = zext i16 %t1 to i32
  ret i32 %t2
}

define i32 @i32_zext_shift_i16_zext_i8(i8 %a0) nounwind {
; X86-LABEL: i32_zext_shift_i16_zext_i8:
; X86:       # %bb.0:
; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
; X86-NEXT:    shrl $5, %eax
; X86-NEXT:    retl
;
; X64-LABEL: i32_zext_shift_i16_zext_i8:
; X64:       # %bb.0:
; X64-NEXT:    movzbl %dil, %eax
; X64-NEXT:    shrl $5, %eax
; X64-NEXT:    retq
  %t0 = zext i8 %a0 to i16
  %t1 = lshr i16 %t0, 5
  %t2 = zext i16 %t1 to i32
  ret i32 %t2
}

define i64 @i64_zext_shift_i16_zext_i8(i8 %a0) nounwind {
; X86-LABEL: i64_zext_shift_i16_zext_i8:
; X86:       # %bb.0:
; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
; X86-NEXT:    shrl $5, %eax
; X86-NEXT:    xorl %edx, %edx
; X86-NEXT:    retl
;
; X64-LABEL: i64_zext_shift_i16_zext_i8:
; X64:       # %bb.0:
; X64-NEXT:    movzbl %dil, %eax
; X64-NEXT:    shrl $5, %eax
; X64-NEXT:    retq
  %t0 = zext i8 %a0 to i16
  %t1 = lshr i16 %t0, 5
  %t2 = zext i16 %t1 to i64
  ret i64 %t2
}

define i64 @i64_zext_shift_i32_zext_i8(i8 %a0) nounwind {
; X86-LABEL: i64_zext_shift_i32_zext_i8:
; X86:       # %bb.0:
; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %eax
; X86-NEXT:    shrl $3, %eax
; X86-NEXT:    xorl %edx, %edx
; X86-NEXT:    retl
;
; X64-LABEL: i64_zext_shift_i32_zext_i8:
; X64:       # %bb.0:
; X64-NEXT:    movzbl %dil, %eax
; X64-NEXT:    shrl $3, %eax
; X64-NEXT:    retq
  %t0 = zext i8 %a0 to i32
  %t1 = lshr i32 %t0, 3
  %t2 = zext i32 %t1 to i64
  ret i64 %t2
}

define i64 @i64_zext_shift_i32_zext_i16(i16 %a0) nounwind {
; X86-LABEL: i64_zext_shift_i32_zext_i16:
; X86:       # %bb.0:
; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %eax
; X86-NEXT:    shrl $5, %eax
; X86-NEXT:    xorl %edx, %edx
; X86-NEXT:    retl
;
; X64-LABEL: i64_zext_shift_i32_zext_i16:
; X64:       # %bb.0:
; X64-NEXT:    movzwl %di, %eax
; X64-NEXT:    shrl $5, %eax
; X64-NEXT:    retq
  %t0 = zext i16 %a0 to i32
  %t1 = lshr i32 %t0, 5
  %t2 = zext i32 %t1 to i64
  ret i64 %t2
}

define i128 @i128_zext_shift_i64_zext_i8(i8 %a0) nounwind {
; X86-LABEL: i128_zext_shift_i64_zext_i8:
; X86:       # %bb.0:
; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
; X86-NEXT:    movzbl {{[0-9]+}}(%esp), %ecx
; X86-NEXT:    shrl $4, %ecx
; X86-NEXT:    movl %ecx, (%eax)
; X86-NEXT:    movl $0, 12(%eax)
; X86-NEXT:    movl $0, 8(%eax)
; X86-NEXT:    movl $0, 4(%eax)
; X86-NEXT:    retl $4
;
; X64-LABEL: i128_zext_shift_i64_zext_i8:
; X64:       # %bb.0:
; X64-NEXT:    movzbl %dil, %eax
; X64-NEXT:    shrl $4, %eax
; X64-NEXT:    xorl %edx, %edx
; X64-NEXT:    retq
  %t0 = zext i8 %a0 to i64
  %t1 = lshr i64 %t0, 4
  %t2 = zext i64 %t1 to i128
  ret i128 %t2
}

define i128 @i128_zext_shift_i64_zext_i16(i16 %a0) nounwind {
; X86-LABEL: i128_zext_shift_i64_zext_i16:
; X86:       # %bb.0:
; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
; X86-NEXT:    movzwl {{[0-9]+}}(%esp), %ecx
; X86-NEXT:    shrl $7, %ecx
; X86-NEXT:    movl %ecx, (%eax)
; X86-NEXT:    movl $0, 12(%eax)
; X86-NEXT:    movl $0, 8(%eax)
; X86-NEXT:    movl $0, 4(%eax)
; X86-NEXT:    retl $4
;
; X64-LABEL: i128_zext_shift_i64_zext_i16:
; X64:       # %bb.0:
; X64-NEXT:    movzwl %di, %eax
; X64-NEXT:    shrl $7, %eax
; X64-NEXT:    xorl %edx, %edx
; X64-NEXT:    retq
  %t0 = zext i16 %a0 to i64
  %t1 = lshr i64 %t0,7
  %t2 = zext i64 %t1 to i128
  ret i128 %t2
}