| Rafael Espindola | 8c97e19 | 2015-02-19 16:08:20 +0000 | [diff] [blame^] | 1 | ; RUN: opt < %s -constprop -S | FileCheck %s |
| 2 | |||||
| 3 | define i32 @test1() { | ||||
| 4 | %A = bitcast i32 2139171423 to float | ||||
| 5 | %B = insertelement <1 x float> undef, float %A, i32 0 | ||||
| 6 | %C = extractelement <1 x float> %B, i32 0 | ||||
| 7 | %D = bitcast float %C to i32 | ||||
| 8 | ret i32 %D | ||||
| 9 | ; CHECK: @test1 | ||||
| 10 | ; CHECK: ret i32 2139171423 | ||||
| 11 | } | ||||
| 12 | |||||