| David Gross | ff06759 | 2016-12-14 18:52:33 +0000 | [diff] [blame^] | 1 | // RUN: %clang_cc1 -emit-llvm -O0 -debug-info-kind=limited %s -o - | \ |
| 2 | // RUN: FileCheck --check-prefixes CHECK %s |
| 3 | |
| 4 | // RUN: %clang_cc1 -triple hexagon-unknown--elf -emit-llvm -O0 -debug-info-kind=limited %s -o - | \ |
| 5 | // RUN: FileCheck --check-prefixes CHECK,CHECK-LDsm %s |
| 6 | |
| 7 | // RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm -O0 -debug-info-kind=limited %s -o - | \ |
| 8 | // RUN: FileCheck --check-prefixes CHECK,CHECK-LDlg %s |
| David Gross | 1118d59 | 2016-12-08 20:02:46 +0000 | [diff] [blame] | 9 | |
| 10 | // Per PR26619, check that for referenced static const of floating-point type, |
| David Gross | ff06759 | 2016-12-14 18:52:33 +0000 | [diff] [blame^] | 11 | // we emit its constant value in debug info. |
| 12 | // |
| 13 | // NOTE that __fp16 is assumed to be 16 bits, float is assumed to be |
| 14 | // 32 bits, and double is assumed to be 64 bits. Size of long double |
| 15 | // is not known (for example, it is 64 bits for hexagon-unknown--elf, |
| 16 | // but 128 bits for x86_64-unknown-linux-gnu). Therefore, we specify |
| 17 | // target triples where it has a known size, and check accordingly: |
| 18 | // for the absence of a constant (CHECK-LDlg) when the size exceeds 64 |
| 19 | // bits, and for the presence of a constant (CHECK-LDsm) but not its |
| 20 | // value when the size does not exceed 64 bits. |
| 21 | // |
| 22 | // NOTE that PR26619 is not yet fixed for types greater than 64 bits. |
| David Gross | 1118d59 | 2016-12-08 20:02:46 +0000 | [diff] [blame] | 23 | |
| 24 | static const __fp16 hVal = 29/13.0f; // 2.2307692307692307692 (2.23046875) |
| 25 | |
| 26 | static const float fVal = -147/17.0f; // -8.6470588235294117647 (-8.64705849) |
| 27 | |
| 28 | static const double dVal = 19637/7.0; // 2805.2857142857142857 (2805.2857142857142) |
| 29 | |
| David Gross | ff06759 | 2016-12-14 18:52:33 +0000 | [diff] [blame^] | 30 | static const long double ldVal = 3/1234567.0L; // 2.4300017739012949479e-06 (<depends on size of long double>) |
| David Gross | 1118d59 | 2016-12-08 20:02:46 +0000 | [diff] [blame] | 31 | |
| 32 | int main() { |
| 33 | return hVal + fVal + dVal + ldVal; |
| 34 | } |
| 35 | |
| 36 | // CHECK: !DIGlobalVariable(name: "hVal", {{.*}}, isLocal: true, isDefinition: true, expr: ![[HEXPR:[0-9]+]] |
| 37 | // CHECK: ![[HEXPR]] = !DIExpression(DW_OP_constu, 16502, DW_OP_stack_value) |
| 38 | |
| 39 | // CHECK: !DIGlobalVariable(name: "fVal", {{.*}}, isLocal: true, isDefinition: true, expr: ![[FEXPR:[0-9]+]] |
| 40 | // CHECK: ![[FEXPR]] = !DIExpression(DW_OP_constu, 3238681178, DW_OP_stack_value) |
| 41 | |
| 42 | // CHECK: !DIGlobalVariable(name: "dVal", {{.*}}, isLocal: true, isDefinition: true, expr: ![[DEXPR:[0-9]+]] |
| 43 | // CHECK: ![[DEXPR]] = !DIExpression(DW_OP_constu, 4658387303597904457, DW_OP_stack_value) |
| 44 | |
| David Gross | ff06759 | 2016-12-14 18:52:33 +0000 | [diff] [blame^] | 45 | // CHECK-LDlg: !DIGlobalVariable(name: "ldVal", {{.*}}, isLocal: true, isDefinition: true) |
| 46 | // CHECK-LDsm: !DIGlobalVariable(name: "ldVal", {{.*}}, isLocal: true, isDefinition: true, expr: |