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