[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / combine-concatvectors.ll
blob40568d2388949d4f96795d5dc3e57876d9d3c275
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc -mtriple=x86_64-unknown-unknown -mattr=+avx < %s | FileCheck %s
4 define void @PR32957(<2 x float>* %in, <8 x float>* %out) {
5 ; CHECK-LABEL: PR32957:
6 ; CHECK:       # %bb.0:
7 ; CHECK-NEXT:    vmovsd {{.*#+}} xmm0 = mem[0],zero
8 ; CHECK-NEXT:    vmovaps %ymm0, (%rsi)
9 ; CHECK-NEXT:    vzeroupper
10 ; CHECK-NEXT:    retq
11   %ld = load <2 x float>, <2 x float>* %in, align 8
12   %ext = extractelement <2 x float> %ld, i64 0
13   %ext2 = extractelement <2 x float> %ld, i64 1
14   %ins = insertelement <8 x float> <float undef, float undef, float 0.0, float 0.0, float 0.0, float 0.0, float 0.0, float 0.0>, float %ext, i64 0
15   %ins2 = insertelement <8 x float> %ins, float %ext2, i64 1
16   store <8 x float> %ins2, <8 x float>* %out, align 32
17   ret void
20 declare { i8, double } @fun()
22 ; Check that this does not fail to combine concat_vectors of a value from
23 ; merge_values through a bitcast.
24 define void @d(i1 %cmp) {
25 ; CHECK-LABEL: d:
26 ; CHECK:       # %bb.0: # %bar
27 ; CHECK-NEXT:    pushq %rax
28 ; CHECK-NEXT:    .cfi_def_cfa_offset 16
29 ; CHECK-NEXT:    callq fun
30 bar:
31   %val = call { i8, double } @fun()
32   %extr = extractvalue { i8, double } %val, 1
33   %bc = bitcast double %extr to <2 x float>
34   br label %baz
36 baz:
37   %extr1 = extractelement <2 x float> %bc, i64 0
38   unreachable