64 lines · cpp
1// RUN: %clang_cc1 %std_cxx11-14 %s -O0 -triple=x86_64-apple-darwin -target-feature +avx2 -fmax-type-align=16 -emit-llvm -o - -Werror | FileCheck %s --check-prefixes=CHECK,PRE172// RUN: %clang_cc1 %std_cxx17- %s -O0 -triple=x86_64-apple-darwin -target-feature +avx2 -fmax-type-align=16 -emit-llvm -o - -Werror | FileCheck %s --check-prefixes=CHECK,CXX173 4typedef float AVX2Float __attribute__((__vector_size__(32)));5 6 7#if __cplusplus < 202002L8volatile9#endif10float TestAlign(void)11{12 volatile AVX2Float *p = new AVX2Float;13 *p = *p;14 AVX2Float r = *p;15 return r[0];16}17 18// CHECK: [[R:%.*]] = alloca <8 x float>, align 3219// PRE17-NEXT: [[CALL:%.*]] = call noalias noundef nonnull ptr @_Znwm(i64 noundef 32)20// CXX17-NEXT: [[CALL:%.*]] = call noalias noundef nonnull align 32 ptr @_ZnwmSt11align_val_t(i64 noundef 32, i64 noundef 32)21// CHECK-NEXT: store ptr [[CALL]], ptr [[P:%.*]], align 822// CHECK-NEXT: [[ONE:%.*]] = load ptr, ptr [[P]], align 823// CHECK-NEXT: [[TWO:%.*]] = load volatile <8 x float>, ptr [[ONE]], align 1624// CHECK-NEXT: [[THREE:%.*]] = load ptr, ptr [[P]], align 825// CHECK-NEXT: store volatile <8 x float> [[TWO]], ptr [[THREE]], align 1626// CHECK-NEXT: [[FOUR:%.*]] = load ptr, ptr [[P]], align 827// CHECK-NEXT: [[FIVE:%.*]] = load volatile <8 x float>, ptr [[FOUR]], align 1628// CHECK-NEXT: store <8 x float> [[FIVE]], ptr [[R]], align 3229// CHECK-NEXT: [[SIX:%.*]] = load <8 x float>, ptr [[R]], align 3230// CHECK-NEXT: [[VECEXT:%.*]] = extractelement <8 x float> [[SIX]], i32 031// CHECK-NEXT: ret float [[VECEXT]]32 33typedef float AVX2Float_Explicitly_aligned __attribute__((__vector_size__(32))) __attribute__((aligned (32)));34 35typedef AVX2Float_Explicitly_aligned AVX2Float_indirect;36 37typedef AVX2Float_indirect AVX2Float_use_existing_align;38 39#if __cplusplus < 202002L40volatile41#endif42float TestAlign2(void)43{44 volatile AVX2Float_use_existing_align *p = new AVX2Float_use_existing_align;45 *p = *p;46 AVX2Float_use_existing_align r = *p;47 return r[0];48}49 50// CHECK: [[R:%.*]] = alloca <8 x float>, align 3251// PRE17-NEXT: [[CALL:%.*]] = call noalias noundef nonnull ptr @_Znwm(i64 noundef 32)52// CXX17-NEXT: [[CALL:%.*]] = call noalias noundef nonnull align 32 ptr @_ZnwmSt11align_val_t(i64 noundef 32, i64 noundef 32)53// CHECK-NEXT: store ptr [[CALL]], ptr [[P:%.*]], align 854// CHECK-NEXT: [[ONE:%.*]] = load ptr, ptr [[P]], align 855// CHECK-NEXT: [[TWO:%.*]] = load volatile <8 x float>, ptr [[ONE]], align 3256// CHECK-NEXT: [[THREE:%.*]] = load ptr, ptr [[P]], align 857// CHECK-NEXT: store volatile <8 x float> [[TWO]], ptr [[THREE]], align 3258// CHECK-NEXT: [[FOUR:%.*]] = load ptr, ptr [[P]], align 859// CHECK-NEXT: [[FIVE:%.*]] = load volatile <8 x float>, ptr [[FOUR]], align 3260// CHECK-NEXT: store <8 x float> [[FIVE]], ptr [[R]], align 3261// CHECK-NEXT: [[SIX:%.*]] = load <8 x float>, ptr [[R]], align 3262// CHECK-NEXT: [[VECEXT:%.*]] = extractelement <8 x float> [[SIX]], i32 063// CHECK-NEXT: ret float [[VECEXT]]64