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 13
