| Richard Smith | 6c18f7d | 2020-07-22 13:34:07 -0700 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-linux -w -S -o - -emit-llvm -DT=float %s | FileCheck %s --check-prefixes=CHECK,CHECK-FLOAT |
| 2 | // RUN: %clang_cc1 -triple x86_64-linux -w -S -o - -emit-llvm -DT=double %s | FileCheck %s --check-prefixes=CHECK,CHECK-DOUBLE |
| 3 | // RUN: %clang_cc1 -triple x86_64-linux -w -S -o - -emit-llvm -DT="long double" %s | FileCheck %s --check-prefixes=CHECK,CHECK-FP80 |
| 4 | // RUN: %clang_cc1 -triple x86_64-linux -w -S -o - -emit-llvm -DT=__float128 %s | FileCheck %s --check-prefixes=CHECK,CHECK-FP128 |
| 5 | // FIXME: If we start to support _Complex __fp16 or _Complex _Float16, add tests for them too. |
| 6 | |
| 7 | // CHECK-FLOAT: @global = global { [[T:float]], [[T]] } { [[T]] 1.0{{.*}}, [[T]] 2.0{{.*}} } |
| 8 | // CHECK-DOUBLE: @global = global { [[T:double]], [[T]] } { [[T]] 1.0{{.*}}, [[T]] 2.0{{.*}} } |
| 9 | // CHECK-FP80: @global = global { [[T:x86_fp80]], [[T]] } { [[T]] 0xK3FFF8000000000000000, [[T]] 0xK40008000000000000000 } |
| 10 | // CHECK-FP128: @global = global { [[T:fp128]], [[T]] } { [[T]] 0xL00000000000000003FFF000000000000, [[T]] 0xL00000000000000004000000000000000 } |
| 11 | _Complex T global = __builtin_complex(1.0, 2.0); |
| 12 | |
| 13 | // CHECK-LABEL: @test |
| 14 | _Complex T test(T a, T b) { |
| 15 | return __builtin_complex(a, b); |
| 16 | // CHECK: %[[A:.*]] = load [[T]], [[T]]* %a.addr, |
| 17 | // CHECK: %[[B:.*]] = load [[T]], [[T]]* %b.addr, |
| 18 | // CHECK: %[[RET_RE:.*]] = getelementptr inbounds { [[T]], [[T]] }, { [[T]], [[T]] }* %[[RET:[^,]*]], i32 0, i32 0 |
| 19 | // CHECK: %[[RET_IM:.*]] = getelementptr inbounds { [[T]], [[T]] }, { [[T]], [[T]] }* %[[RET]], i32 0, i32 1 |
| 20 | // CHECK: store [[T]] %[[A]], [[T]]* %[[RET_RE]], |
| 21 | // CHECK: store [[T]] %[[B]], [[T]]* %[[RET_IM]], |
| 22 | } |