| Jim Grosbach | 0ab5418 | 2012-02-03 00:00:50 +0000 | [diff] [blame^] | 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 signext i32 @b(i32* inreg %x) { |
| 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 | } |