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