// RUN: %clang_cc1 -no-opaque-pointers -triple x86_64-unknown-unknown -emit-llvm %s -o - | FileCheck %s

typedef __attribute__(( ext_vector_type(4) )) float float4;
// CHECK: @test
void test(void)
{
  float4 va;
  va.hi[0] = 3.0;
// CHECK:  [[VA:%.*]] = alloca <4 x float>
// CHECK:  [[CONV:%.*]] = bitcast <4 x float>* [[VA]] to float*
// CHECK:  [[ADD:%.*]] = getelementptr inbounds float, float* [[CONV]], i64 2
// CHECK:  [[ARRIDX:%.*]] = getelementptr inbounds float, float* [[ADD]], i64 0
// CHECK:   store float 3.000000e+00, float* [[ARRIDX]]
}