| ; RUN: opt < %s -instcombine -S | grep bitcast | count 2 | |
| define signext i32 @b(i32* inreg %x) { | |
| ret i32 0 | |
| } | |
| define void @c(...) { | |
| ret void | |
| } | |
| define void @g(i32* %y) { | |
| call i32 bitcast (i32 (i32*)* @b to i32 (i32)*)( i32 zeroext 0 ) ; <i32>:2 [#uses=0] | |
| call void bitcast (void (...)* @c to void (i32*)*)( i32* sret null ) | |
| ret void | |
| } |