[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / InstCombine / shufflevec-bitcast.ll
blob0f0365a07fb40b69e4594daf92e3da2e906eda8b
1 ; RUN: opt < %s -instcombine -S | FileCheck %s
3 define void @test(<16 x i8> %w, i32* %o1, float* %o2) {
5 ; CHECK:       %v.bc = bitcast <16 x i8> %w to <4 x i32>
6 ; CHECK-NEXT:  %v.extract = extractelement <4 x i32> %v.bc, i32 3
7 ; CHECK-NEXT:  %v.bc{{[0-9]*}} = bitcast <16 x i8> %w to <4 x float>
8 ; CHECK-NEXT:  %v.extract{{[0-9]*}} = extractelement <4 x float> %v.bc{{[0-9]*}}, i32 3
10   %v = shufflevector <16 x i8> %w, <16 x i8> undef, <4 x i32> <i32 12, i32 13, i32 14, i32 15>
11   %f = bitcast <4 x i8> %v to float
12   %i = bitcast <4 x i8> %v to i32
13   store i32 %i, i32* %o1, align 4
14   store float %f, float* %o2, align 4
15   ret void