; RUN: opt -S -passes='dxil-legalize' -mtriple=dxil-pc-shadermodel6.3-library %s | FileCheck %s define noundef <4 x float> @float4_extract(<4 x float> noundef %a) { entry: ; CHECK: [[ee0:%.*]] = extractelement <4 x float> %a, i32 0 ; CHECK: [[ee1:%.*]] = extractelement <4 x float> %a, i32 1 ; CHECK: [[ee2:%.*]] = extractelement <4 x float> %a, i32 2 ; CHECK: [[ee3:%.*]] = extractelement <4 x float> %a, i32 3 ; CHECK: insertelement <4 x float> poison, float [[ee0]], i32 0 ; CHECK: insertelement <4 x float> %{{.*}}, float [[ee1]], i32 1 ; CHECK: insertelement <4 x float> %{{.*}}, float [[ee2]], i32 2 ; CHECK: insertelement <4 x float> %{{.*}}, float [[ee3]], i32 3 %a.i0 = extractelement <4 x float> %a, i64 0 %a.i1 = extractelement <4 x float> %a, i64 1 %a.i2 = extractelement <4 x float> %a, i64 2 %a.i3 = extractelement <4 x float> %a, i64 3 %.upto0 = insertelement <4 x float> poison, float %a.i0, i64 0 %.upto1 = insertelement <4 x float> %.upto0, float %a.i1, i64 1 %.upto2 = insertelement <4 x float> %.upto1, float %a.i2, i64 2 %0 = insertelement <4 x float> %.upto2, float %a.i3, i64 3 ret <4 x float> %0 }