[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / pr39733.ll
blob4c7153852d22cd38e8d299cd33571ad1b25e14ad
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=x86_64-unknown-linux-gnu -mattr=avx -O0 | FileCheck %s
4 ; We should not be emitting a sign extend using a %ymm register.
6 define void @test55() {
7 ; CHECK-LABEL: test55:
8 ; CHECK:       # %bb.0: # %entry
9 ; CHECK-NEXT:    pushq %rbp
10 ; CHECK-NEXT:    .cfi_def_cfa_offset 16
11 ; CHECK-NEXT:    .cfi_offset %rbp, -16
12 ; CHECK-NEXT:    movq %rsp, %rbp
13 ; CHECK-NEXT:    .cfi_def_cfa_register %rbp
14 ; CHECK-NEXT:    andq $-32, %rsp
15 ; CHECK-NEXT:    subq $96, %rsp
16 ; CHECK-NEXT:    vmovdqa {{.*#+}} xmm0 = [26680,34632,63774,2423,35015,60307,6240,1951]
17 ; CHECK-NEXT:    vmovdqa %xmm0, {{[0-9]+}}(%rsp)
18 ; CHECK-NEXT:    vmovdqa {{[0-9]+}}(%rsp), %xmm0
19 ; CHECK-NEXT:    vmovdqa %xmm0, {{[0-9]+}}(%rsp)
20 ; CHECK-NEXT:    vmovdqa {{[0-9]+}}(%rsp), %xmm0
21 ; CHECK-NEXT:    vpmovsxwd %xmm0, %xmm1
22 ; CHECK-NEXT:    # implicit-def: $ymm2
23 ; CHECK-NEXT:    vmovaps %xmm1, %xmm2
24 ; CHECK-NEXT:    vpshufd {{.*#+}} xmm0 = xmm0[2,3,0,1]
25 ; CHECK-NEXT:    vpmovsxwd %xmm0, %xmm0
26 ; CHECK-NEXT:    vinsertf128 $1, %xmm0, %ymm2, %ymm2
27 ; CHECK-NEXT:    vmovdqa %ymm2, (%rsp)
28 ; CHECK-NEXT:    movq %rbp, %rsp
29 ; CHECK-NEXT:    popq %rbp
30 ; CHECK-NEXT:    .cfi_def_cfa %rsp, 8
31 ; CHECK-NEXT:    vzeroupper
32 ; CHECK-NEXT:    retq
33 entry:
34   %id11762 = alloca <8 x i16>, align 16
35   %.compoundliteral = alloca <8 x i16>, align 16
36   %id11761 = alloca <8 x i32>, align 32
37   store <8 x i16> <i16 26680, i16 -30904, i16 -1762, i16 2423, i16 -30521, i16 -5229, i16 6240, i16 1951>, <8 x i16>* %.compoundliteral, align 16
38   %0 = load <8 x i16>, <8 x i16>* %.compoundliteral, align 16
39   store <8 x i16> %0, <8 x i16>* %id11762, align 16
40   %1 = load <8 x i16>, <8 x i16>* %id11762, align 16
41   %conv = sext <8 x i16> %1 to <8 x i32>
42   store <8 x i32> %conv, <8 x i32>* %id11761, align 32
43   ret void