1; RUN: opt < %s -instcombine -S | FileCheck %s
2; CHECK: bitcast
3
4define void @foo(<16 x i8> %a, <16 x i8> %b, <4 x i32>* %c) {
5  %aa = bitcast <16 x i8> %a to <4 x i32>
6  %bb = bitcast <16 x i8> %b to <4 x i32>
7  %select_v = select <4 x i1> zeroinitializer, <4 x i32> %aa, <4 x i32> %bb
8  store <4 x i32> %select_v, <4 x i32>* %c, align 4
9  ret void
10}
11
12