test/Transforms/InstCombine/bitcast.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 ; Bitcasts between vectors and scalars are valid.
   4 ; PR4487
   5 define i32 @test1(i64 %a) {
   6         %t1 = bitcast i64 %a to <2 x i32>
   7         %t2 = bitcast i64 %a to <2 x i32>
   8         %t3 = xor <2 x i32> %t1, %t2
   9         %t4 = extractelement <2 x i32> %t3, i32 0
  10         ret i32 %t4
  11
  12 ; CHECK: @test1
  13 ; CHECK: ret i32 0
  14 }
  15