[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / X86 / pr20011.ll
blob1a35faff589efd911cc6544446d5233c9cc0bb4e
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=i686-unknown-linux-gnu | FileCheck %s --check-prefix=X86
3 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu | FileCheck %s --check-prefix=X64
5 %destTy = type { i2, i2 }
7 define void @crash(i64 %x0, i64 %y0, %destTy* nocapture %dest) nounwind {
8 ; X86-LABEL: crash:
9 ; X86:       # %bb.0:
10 ; X86-NEXT:    movl {{[0-9]+}}(%esp), %eax
11 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %cl
12 ; X86-NEXT:    movb {{[0-9]+}}(%esp), %dl
13 ; X86-NEXT:    shlb $2, %dl
14 ; X86-NEXT:    andb $3, %cl
15 ; X86-NEXT:    orb %dl, %cl
16 ; X86-NEXT:    andb $15, %cl
17 ; X86-NEXT:    movb %cl, (%eax)
18 ; X86-NEXT:    retl
20 ; X64-LABEL: crash:
21 ; X64:       # %bb.0:
22 ; X64-NEXT:    shlb $2, %sil
23 ; X64-NEXT:    andb $3, %dil
24 ; X64-NEXT:    orb %sil, %dil
25 ; X64-NEXT:    andb $15, %dil
26 ; X64-NEXT:    movb %dil, (%rdx)
27 ; X64-NEXT:    retq
28   %x1 = trunc i64 %x0 to i2
29   %y1 = trunc i64 %y0 to i2
30   %1 = bitcast %destTy* %dest to <2 x i2>*
31   %2 = insertelement <2 x i2> undef, i2 %x1, i32 0
32   %3 = insertelement <2 x i2> %2, i2 %y1, i32 1
33   store <2 x i2> %3, <2 x i2>* %1, align 1
34   ret void