diff options
| author | John McCall <rjmccall@apple.com> | 2010-11-14 09:40:28 +0000 |
|---|---|---|
| committer | John McCall <rjmccall@apple.com> | 2010-11-14 09:40:28 +0000 |
| commit | ff624c195e3a3f8dc697ead40bae78e84ca72c12 (patch) | |
| tree | f315b5c2c80a9cec12405d924e86bdffeab54b80 /test | |
| parent | f3ea8cfe6b1c2ef0702efe130561e9e66708d799 (diff) | |
Always emit full loads from volatile complex l-values.
Return the result of a complex assignment with the original values,
not by performing a load from the l-value; this is the correct
semantics in C, although not in C++.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@119037 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
| -rw-r--r-- | test/CodeGen/volatile-2.c | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/test/CodeGen/volatile-2.c b/test/CodeGen/volatile-2.c new file mode 100644 index 0000000000..1ceaf17dfc --- /dev/null +++ b/test/CodeGen/volatile-2.c @@ -0,0 +1,23 @@ +// RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -o - %s | FileCheck %s + +void test0() { + // CHECK: define void @test0() + // CHECK: [[F:%.*]] = alloca float + // CHECK-NEXT: [[REAL:%.*]] = volatile load float* getelementptr inbounds ({{%.*}} @test0_v, i32 0, i32 0) + // CHECK-NEXT: volatile load float* getelementptr inbounds ({{%.*}} @test0_v, i32 0, i32 1) + // CHECK-NEXT: store float [[REAL]], float* [[F]], align 4 + // CHECK-NEXT: ret void + extern volatile _Complex float test0_v; + float f = (float) test0_v; +} + +void test1() { + // CHECK: define void @test1() + // CHECK: [[REAL:%.*]] = volatile load float* getelementptr inbounds ({{%.*}} @test1_v, i32 0, i32 0) + // CHECK-NEXT: [[IMAG:%.*]] = volatile load float* getelementptr inbounds ({{%.*}} @test1_v, i32 0, i32 1) + // CHECK-NEXT: volatile store float [[REAL]], float* getelementptr inbounds ({{%.*}} @test1_v, i32 0, i32 0) + // CHECK-NEXT: volatile store float [[IMAG]], float* getelementptr inbounds ({{%.*}} @test1_v, i32 0, i32 1) + // CHECK-NEXT: ret void + extern volatile _Complex float test1_v; + test1_v = test1_v; +} |