1 ; RUN: opt < %s -constprop -S | FileCheck %s 2 3 ; CHECK-LABEL: @test1 4 define i32 @test1() { 5 %A = bitcast i32 2139171423 to float 6 %B = insertelement <1 x float> undef, float %A, i32 0 7 %C = extractelement <1 x float> %B, i32 0 8 %D = bitcast float %C to i32 9 ret i32 %D 10 ; CHECK: ret i32 2139171423 11 } 12 13 ; CHECK-LABEL: @insertelement 14 define <4 x i64> @insertelement() { 15 %vec1 = insertelement <4 x i64> undef, i64 -1, i32 0 16 %vec2 = insertelement <4 x i64> %vec1, i64 -2, i32 1 17 %vec3 = insertelement <4 x i64> %vec2, i64 -3, i32 2 18 %vec4 = insertelement <4 x i64> %vec3, i64 -4, i32 3 19 ; CHECK: ret <4 x i64> <i64 -1, i64 -2, i64 -3, i64 -4> 20 ret <4 x i64> %vec4 21 } 22 23 ; CHECK-LABEL: @insertelement_undef 24 define <4 x i64> @insertelement_undef() { 25 %vec1 = insertelement <4 x i64> undef, i64 -1, i32 0 26 %vec2 = insertelement <4 x i64> %vec1, i64 -2, i32 1 27 %vec3 = insertelement <4 x i64> %vec2, i64 -3, i32 2 28 %vec4 = insertelement <4 x i64> %vec3, i64 -4, i32 3 29 %vec5 = insertelement <4 x i64> %vec3, i64 -5, i32 4 30 ; CHECK: ret <4 x i64> undef 31 ret <4 x i64> %vec5 32 } 33
