| 1 | // RUN: %clang_cc1 %s -O2 -std=c++11 -triple x86_64-unknown-linux-gnu -target-cpu x86-64 -target-feature +sse4.2 -target-feature +avx -emit-llvm -o - | FileCheck %s |
|---|
| 2 | |
|---|
| 3 | // Testcase from llvm.org/PR32056 |
|---|
| 4 | |
|---|
| 5 | extern "C" int printf (const char *__restrict __format, ...); |
|---|
| 6 | |
|---|
| 7 | typedef double __m256d __attribute__((__vector_size__(32))); |
|---|
| 8 | |
|---|
| 9 | static __inline __m256d __attribute__((__always_inline__, __nodebug__, |
|---|
| 10 | __target__("avx"))) |
|---|
| 11 | _mm256_setr_pd(double __a, double __b, double __c, double __d) { |
|---|
| 12 | return (__m256d){ __a, __b, __c, __d }; |
|---|
| 13 | } |
|---|
| 14 | |
|---|
| 15 | struct A { |
|---|
| 16 | A () { |
|---|
| 17 | // Check that the TBAA information generated for the stores to the |
|---|
| 18 | // union members is based on the omnipotent char. |
|---|
| 19 | // CHECK: store <4 x double> |
|---|
| 20 | // CHECK: tbaa ![[OCPATH:[0-9]+]] |
|---|
| 21 | // CHECK: store <4 x double> |
|---|
| 22 | // CHECK: tbaa ![[OCPATH]] |
|---|
| 23 | // CHECK: call |
|---|
| 24 | a = _mm256_setr_pd(0.0, 1.0, 2.0, 3.0); |
|---|
| 25 | b = _mm256_setr_pd(4.0, 5.0, 6.0, 7.0); |
|---|
| 26 | } |
|---|
| 27 | |
|---|
| 28 | const double *begin() { return c; } |
|---|
| 29 | const double *end() { return c+8; } |
|---|
| 30 | |
|---|
| 31 | union { |
|---|
| 32 | struct { __m256d a, b; }; |
|---|
| 33 | double c[8]; |
|---|
| 34 | }; |
|---|
| 35 | }; |
|---|
| 36 | |
|---|
| 37 | int main(int argc, char *argv[]) { |
|---|
| 38 | A a; |
|---|
| 39 | for (double value : a) |
|---|
| 40 | printf("%f ", value); |
|---|
| 41 | return 0; |
|---|
| 42 | } |
|---|
| 43 | |
|---|
| 44 | // CHECK-DAG: ![[CHAR:[0-9]+]] = !{!"omnipotent char" |
|---|
| 45 | // CHECK-DAG: ![[OCPATH]] = !{![[CHAR]], ![[CHAR]], i64 0} |
|---|
| 46 | |
|---|