test/Transforms/InstCombine/2008-01-06-BitCastAttributes.ll

   1 ; Ignore stderr, we expect warnings there
   2 ; RUN: opt < %s -instcombine 2> /dev/null -S | not grep bitcast
   3
   4 define void @a() {
   5         ret void
   6 }
   7
   8 define i32 @b(i32* inreg  %x) signext  {
   9         ret i32 0
  10 }
  11
  12 define void @c(...) {
  13         ret void
  14 }
  15
  16 define void @g(i32* %y) {
  17         call void bitcast (void ()* @a to void (i32*)*)( i32* noalias  %y )
  18         call <2 x i32> bitcast (i32 (i32*)* @b to <2 x i32> (i32*)*)( i32* inreg  null )                ; <<2 x i32>>:1 [#uses=0]
  19         %x = call i64 bitcast (i32 (i32*)* @b to i64 (i32)*)( i32 0 )           ; <i64> [#uses=0]
  20         call void bitcast (void (...)* @c to void (i32)*)( i32 0 )
  21         call void bitcast (void (...)* @c to void (i32)*)( i32 zeroext  0 )
  22         ret void
  23 }