1 ; RUN: opt < %s -instcombine -S | FileCheck %s 2 3 define void @test(<16 x i8> %w, i32* %o1, float* %o2) { 4 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 9 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 16 } 17
