1*67e74705SXin Li // RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm %s -o - | FileCheck %s
2*67e74705SXin Li
3*67e74705SXin Li // Validate that volatile _Complex loads and stores are generated
4*67e74705SXin Li // properly, including their alignment (even when overaligned).
5*67e74705SXin Li //
6*67e74705SXin Li // This test assumes that floats are 32-bit aligned and doubles are
7*67e74705SXin Li // 64-bit aligned, and uses x86-64 as a target that should have this
8*67e74705SXin Li // property.
9*67e74705SXin Li
10*67e74705SXin Li volatile _Complex float cf;
11*67e74705SXin Li volatile _Complex double cd;
12*67e74705SXin Li volatile _Complex float cf32 __attribute__((aligned(32)));
13*67e74705SXin Li volatile _Complex double cd32 __attribute__((aligned(32)));
14*67e74705SXin Li
15*67e74705SXin Li // CHECK-LABEL: define void @test_cf()
test_cf()16*67e74705SXin Li void test_cf() {
17*67e74705SXin Li // CHECK: load volatile float, float* getelementptr inbounds ({ float, float }, { float, float }* @cf, i32 0, i32 0), align 4
18*67e74705SXin Li // CHECK-NEXT: load volatile float, float* getelementptr inbounds ({ float, float }, { float, float }* @cf, i32 0, i32 1), align 4
19*67e74705SXin Li (void)(cf);
20*67e74705SXin Li // CHECK-NEXT: [[R:%.*]] = load volatile float, float* getelementptr inbounds ({ float, float }, { float, float }* @cf, i32 0, i32 0), align 4
21*67e74705SXin Li // CHECK-NEXT: [[I:%.*]] = load volatile float, float* getelementptr inbounds ({ float, float }, { float, float }* @cf, i32 0, i32 1), align 4
22*67e74705SXin Li // CHECK-NEXT: store volatile float [[R]], float* getelementptr inbounds ({ float, float }, { float, float }* @cf, i32 0, i32 0), align 4
23*67e74705SXin Li // CHECK-NEXT: store volatile float [[I]], float* getelementptr inbounds ({ float, float }, { float, float }* @cf, i32 0, i32 1), align 4
24*67e74705SXin Li (void)(cf=cf);
25*67e74705SXin Li // CHECK-NEXT: ret void
26*67e74705SXin Li }
27*67e74705SXin Li
28*67e74705SXin Li // CHECK-LABEL: define void @test_cd()
test_cd()29*67e74705SXin Li void test_cd() {
30*67e74705SXin Li // CHECK: load volatile double, double* getelementptr inbounds ({ double, double }, { double, double }* @cd, i32 0, i32 0), align 8
31*67e74705SXin Li // CHECK-NEXT: load volatile double, double* getelementptr inbounds ({ double, double }, { double, double }* @cd, i32 0, i32 1), align 8
32*67e74705SXin Li (void)(cd);
33*67e74705SXin Li // CHECK-NEXT: [[R:%.*]] = load volatile double, double* getelementptr inbounds ({ double, double }, { double, double }* @cd, i32 0, i32 0), align 8
34*67e74705SXin Li // CHECK-NEXT: [[I:%.*]] = load volatile double, double* getelementptr inbounds ({ double, double }, { double, double }* @cd, i32 0, i32 1), align 8
35*67e74705SXin Li // CHECK-NEXT: store volatile double [[R]], double* getelementptr inbounds ({ double, double }, { double, double }* @cd, i32 0, i32 0), align 8
36*67e74705SXin Li // CHECK-NEXT: store volatile double [[I]], double* getelementptr inbounds ({ double, double }, { double, double }* @cd, i32 0, i32 1), align 8
37*67e74705SXin Li (void)(cd=cd);
38*67e74705SXin Li // CHECK-NEXT: ret void
39*67e74705SXin Li }
40*67e74705SXin Li
41*67e74705SXin Li // CHECK-LABEL: define void @test_cf32()
test_cf32()42*67e74705SXin Li void test_cf32() {
43*67e74705SXin Li // CHECK: load volatile float, float* getelementptr inbounds ({ float, float }, { float, float }* @cf32, i32 0, i32 0), align 32
44*67e74705SXin Li // CHECK-NEXT: load volatile float, float* getelementptr inbounds ({ float, float }, { float, float }* @cf32, i32 0, i32 1), align 4
45*67e74705SXin Li (void)(cf32);
46*67e74705SXin Li // CHECK-NEXT: [[R:%.*]] = load volatile float, float* getelementptr inbounds ({ float, float }, { float, float }* @cf32, i32 0, i32 0), align 32
47*67e74705SXin Li // CHECK-NEXT: [[I:%.*]] = load volatile float, float* getelementptr inbounds ({ float, float }, { float, float }* @cf32, i32 0, i32 1), align 4
48*67e74705SXin Li // CHECK-NEXT: store volatile float [[R]], float* getelementptr inbounds ({ float, float }, { float, float }* @cf32, i32 0, i32 0), align 32
49*67e74705SXin Li // CHECK-NEXT: store volatile float [[I]], float* getelementptr inbounds ({ float, float }, { float, float }* @cf32, i32 0, i32 1), align 4
50*67e74705SXin Li (void)(cf32=cf32);
51*67e74705SXin Li // CHECK-NEXT: ret void
52*67e74705SXin Li }
53*67e74705SXin Li
54*67e74705SXin Li // CHECK-LABEL: define void @test_cd32()
test_cd32()55*67e74705SXin Li void test_cd32() {
56*67e74705SXin Li // CHECK: load volatile double, double* getelementptr inbounds ({ double, double }, { double, double }* @cd32, i32 0, i32 0), align 32
57*67e74705SXin Li // CHECK-NEXT: load volatile double, double* getelementptr inbounds ({ double, double }, { double, double }* @cd32, i32 0, i32 1), align 8
58*67e74705SXin Li (void)(cd32);
59*67e74705SXin Li // CHECK-NEXT: [[R:%.*]] = load volatile double, double* getelementptr inbounds ({ double, double }, { double, double }* @cd32, i32 0, i32 0), align 32
60*67e74705SXin Li // CHECK-NEXT: [[I:%.*]] = load volatile double, double* getelementptr inbounds ({ double, double }, { double, double }* @cd32, i32 0, i32 1), align 8
61*67e74705SXin Li // CHECK-NEXT: store volatile double [[R]], double* getelementptr inbounds ({ double, double }, { double, double }* @cd32, i32 0, i32 0), align 32
62*67e74705SXin Li // CHECK-NEXT: store volatile double [[I]], double* getelementptr inbounds ({ double, double }, { double, double }* @cd32, i32 0, i32 1), align 8
63*67e74705SXin Li (void)(cd32=cd32);
64*67e74705SXin Li // CHECK-NEXT: ret void
65*67e74705SXin Li }
66