| 1 | // RUN: %clang_cc1 -fprofile-instrument=clang -fcoverage-mapping -dump-coverage-mapping -emit-llvm-only -std=c++1z -triple %itanium_abi_triple -main-file-name if.cpp %s | FileCheck %s |
|---|
| 2 | |
|---|
| 3 | int nop() { return 0; } |
|---|
| 4 | |
|---|
| 5 | // CHECK-LABEL: _Z3foov: |
|---|
| 6 | // CHECK-NEXT: [[@LINE+1]]:12 -> [[@LINE+6]]:2 = #0 |
|---|
| 7 | void foo() { // CHECK-NEXT: Gap,File 0, [[@LINE+1]]:20 -> [[@LINE+1]]:22 = #2 |
|---|
| 8 | if (int j = true ? nop() // CHECK-NEXT: [[@LINE]]:22 -> [[@LINE]]:27 = #2 |
|---|
| 9 | : nop(); // CHECK-NEXT: [[@LINE]]:22 -> [[@LINE]]:27 = (#0 - #2) |
|---|
| 10 | j) // CHECK-NEXT: [[@LINE]]:7 -> [[@LINE]]:8 = #0 |
|---|
| 11 | ++j; // CHECK-NEXT: [[@LINE-1]]:9 -> [[@LINE]]:5 = #1 |
|---|
| 12 | } // CHECK-NEXT: [[@LINE-1]]:5 -> [[@LINE-1]]:8 = #1 |
|---|
| 13 | |
|---|
| 14 | // CHECK-LABEL: main: |
|---|
| 15 | int main() { // CHECK: File 0, [[@LINE]]:12 -> {{[0-9]+}}:2 = #0 |
|---|
| 16 | int i = 0; |
|---|
| 17 | // CHECK-NEXT: File 0, [[@LINE+2]]:6 -> [[@LINE+2]]:12 = #0 |
|---|
| 18 | // CHECK-NEXT: Gap,File 0, [[@LINE+1]]:13 -> [[@LINE+1]]:14 = #1 |
|---|
| 19 | if(i == 0) i = 1; // CHECK-NEXT: File 0, [[@LINE]]:14 -> [[@LINE]]:19 = #1 |
|---|
| 20 | |
|---|
| 21 | // CHECK-NEXT: File 0, [[@LINE+1]]:6 -> [[@LINE+1]]:12 = #0 |
|---|
| 22 | if(i == 1) // CHECK-NEXT: Gap,File 0, [[@LINE]]:13 -> [[@LINE+1]]:5 = #2 |
|---|
| 23 | i = 2; // CHECK-NEXT: File 0, [[@LINE]]:5 -> [[@LINE]]:10 = #2 |
|---|
| 24 | |
|---|
| 25 | // CHECK-NEXT: File 0, [[@LINE+1]]:6 -> [[@LINE+1]]:12 = #0 |
|---|
| 26 | if(i == 0) { i = 1; // CHECK-NEXT: Gap,File 0, [[@LINE]]:13 -> [[@LINE]]:14 = #3 |
|---|
| 27 | i = 2; // CHECK-NEXT: File 0, [[@LINE-1]]:14 -> [[@LINE+1]]:4 = #3 |
|---|
| 28 | } |
|---|
| 29 | // CHECK-NEXT: File 0, [[@LINE+1]]:6 -> [[@LINE+1]]:12 = #0 |
|---|
| 30 | if(i != 0) { // CHECK-NEXT: Gap,File 0, [[@LINE]]:13 -> [[@LINE]]:14 = #4 |
|---|
| 31 | i = 1; // CHECK-NEXT: File 0, [[@LINE-1]]:14 -> [[@LINE+1]]:4 = #4 |
|---|
| 32 | } else { // CHECK-NEXT: Gap,File 0, [[@LINE]]:4 -> [[@LINE]]:10 = (#0 - #4) |
|---|
| 33 | i = 3; // CHECK-NEXT: File 0, [[@LINE-1]]:10 -> [[@LINE+1]]:4 = (#0 - #4) |
|---|
| 34 | } |
|---|
| 35 | |
|---|
| 36 | i = i == 0? // CHECK-NEXT: Gap,File 0, [[@LINE]]:13 -> [[@LINE+1]]:9 = #5 |
|---|
| 37 | i + 1 : // CHECK-NEXT: File 0, [[@LINE]]:9 -> [[@LINE]]:14 = #5 |
|---|
| 38 | i + 2; // CHECK-NEXT: File 0, [[@LINE]]:9 -> [[@LINE]]:14 = (#0 - #5) |
|---|
| 39 | |
|---|
| 40 | // CHECK-NEXT: Gap,File 0, [[@LINE+2]]:13 -> [[@LINE+2]]:14 = #6 |
|---|
| 41 | // CHECK-NEXT: File 0, [[@LINE+1]]:14 -> [[@LINE+1]]:20 = #6 |
|---|
| 42 | i = i == 0?i + 12:i + 10; // CHECK-NEXT: File 0, [[@LINE]]:21 -> [[@LINE]]:27 = (#0 - #6) |
|---|
| 43 | |
|---|
| 44 | return 0; |
|---|
| 45 | } |
|---|
| 46 | |
|---|
| 47 | #define FOO true |
|---|
| 48 | |
|---|
| 49 | // CHECK-LABEL: _Z7ternaryv: |
|---|
| 50 | void ternary() { |
|---|
| 51 | true ? FOO : FOO; // CHECK-NOT: Gap,{{.*}}, [[@LINE]]:8 -> |
|---|
| 52 | } |
|---|
| 53 | |
|---|