test/Transforms/InstCombine/bitcast-scalar-to-vector.ll

   1 ; RUN: llvm-as < %s | opt -instcombine | llvm-dis | grep {ret i32 0}
   2 ; PR4487
   3
   4 ; Bitcasts between vectors and scalars are valid, despite being ill-advised.
   5
   6 define i32 @test(i64 %a) {
   7 bb20:
   8         %t1 = bitcast i64 %a to <2 x i32>
   9         %t2 = bitcast i64 %a to <2 x i32>
  10         %t3 = xor <2 x i32> %t1, %t2
  11         %t4 = extractelement <2 x i32> %t3, i32 0
  12         ret i32 %t4
  13 }
  14