| Matt Arsenault | fbfdced | 2013-06-28 01:29:35 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -instcombine -S | FileCheck %s |
| Duncan Sands | 55e5090 | 2008-01-06 10:12:28 +0000 | [diff] [blame] | 2 | |
| 3 | define void @f(i16 %y) { |
| Matt Arsenault | cacbb23 | 2013-07-30 20:45:05 +0000 | [diff] [blame] | 4 | ret void |
| Duncan Sands | 55e5090 | 2008-01-06 10:12:28 +0000 | [diff] [blame] | 5 | } |
| Matt Arsenault | cacbb23 | 2013-07-30 20:45:05 +0000 | [diff] [blame] | 6 | |
| Duncan Sands | 55e5090 | 2008-01-06 10:12:28 +0000 | [diff] [blame] | 7 | define i32 @g(i32 %y) { |
| Matt Arsenault | cacbb23 | 2013-07-30 20:45:05 +0000 | [diff] [blame] | 8 | ; CHECK-LABEL: @g( |
| 9 | ; CHECK: call i32 bitcast |
| 10 | %x = call i32 bitcast (void (i16)* @f to i32 (i32)*)( i32 %y ) ; <i32> [#uses=1] |
| 11 | ret i32 %x |
| Duncan Sands | 55e5090 | 2008-01-06 10:12:28 +0000 | [diff] [blame] | 12 | } |