| Jim Grosbach | 0ab5418 | 2012-02-03 00:00:50 +0000 | [diff] [blame] | 1 | ; Ignore stderr, we expect warnings there |
| Matt Arsenault | fbfdced | 2013-06-28 01:29:35 +0000 | [diff] [blame] | 2 | ; RUN: opt < %s -instcombine 2> /dev/null -S | FileCheck %s |
| 3 | |
| 4 | ; CHECK-NOT: bitcast |
| Jim Grosbach | 0ab5418 | 2012-02-03 00:00:50 +0000 | [diff] [blame] | 5 | |
| 6 | define void @a() { |
| Matt Arsenault | cacbb23 | 2013-07-30 20:45:05 +0000 | [diff] [blame] | 7 | ret void |
| Jim Grosbach | 0ab5418 | 2012-02-03 00:00:50 +0000 | [diff] [blame] | 8 | } |
| 9 | |
| 10 | define signext i32 @b(i32* inreg %x) { |
| Matt Arsenault | cacbb23 | 2013-07-30 20:45:05 +0000 | [diff] [blame] | 11 | ret i32 0 |
| Jim Grosbach | 0ab5418 | 2012-02-03 00:00:50 +0000 | [diff] [blame] | 12 | } |
| 13 | |
| 14 | define void @c(...) { |
| Matt Arsenault | cacbb23 | 2013-07-30 20:45:05 +0000 | [diff] [blame] | 15 | ret void |
| Jim Grosbach | 0ab5418 | 2012-02-03 00:00:50 +0000 | [diff] [blame] | 16 | } |
| 17 | |
| 18 | define void @g(i32* %y) { |
| Matt Arsenault | cacbb23 | 2013-07-30 20:45:05 +0000 | [diff] [blame] | 19 | ; CHECK-LABEL: @g( |
| 20 | ; CHECK: call i64 bitcast (i32 (i32*)* @b to i64 (i32)*)(i32 0) |
| Jim Grosbach | 0ab5418 | 2012-02-03 00:00:50 +0000 | [diff] [blame] | 21 | %x = call i64 bitcast (i32 (i32*)* @b to i64 (i32)*)( i32 0 ) ; <i64> [#uses=0] |
| Matt Arsenault | cacbb23 | 2013-07-30 20:45:05 +0000 | [diff] [blame] | 22 | |
| 23 | ; The rest should not have bitcasts remaining |
| 24 | ; CHECK-NOT: bitcast |
| 25 | call void bitcast (void ()* @a to void (i32*)*)( i32* noalias %y ) |
| 26 | call <2 x i32> bitcast (i32 (i32*)* @b to <2 x i32> (i32*)*)( i32* inreg null ) ; <<2 x i32>>:1 [#uses=0] |
| 27 | call void bitcast (void (...)* @c to void (i32)*)( i32 0 ) |
| 28 | call void bitcast (void (...)* @c to void (i32)*)( i32 zeroext 0 ) |
| 29 | ret void |
| Jim Grosbach | 0ab5418 | 2012-02-03 00:00:50 +0000 | [diff] [blame] | 30 | } |