1 // RUN: %strip_comments > %t.stripped.cpp 2 // RUN: %clang_cc1 -std=c++11 -fprofile-instrument=clang -fcoverage-mapping -dump-coverage-mapping -emit-llvm-only -main-file-name macro-expressions.cpp -w %t.stripped.cpp | FileCheck %s 3 #define EXPR(x) (x) 4 #define NEXPR(x) (!x) 5 #define DECL(T, x) T x 6 #define ASSIGN(x, y) x = y 7 #define LT(x, y) x < y 8 #define INC(x) ++x 9 #define ARR(T, x, y, z) (T[3]){x, y, z} 10 11 #define PRI_64_LENGTH_MODIFIER "ll" 12 #define PRIo64 PRI_64_LENGTH_MODIFIER "o" 13 #define PRIu64 PRI_64_LENGTH_MODIFIER "u" 14 15 #define STMT(s) s 16 17 void fn1() { 18 STMT(if (1)); 19 STMT(while (1)); 20 STMT(for (;;)); 21 STMT(if) (1); 22 STMT(while) (1); 23 STMT(for) (;;); 24 if (1) 25 STMT(if (1) 26 STMT(if (1))); 27 if (1) 28 STMT(if (1)) 0; 29 if (1) 30 STMT(while (1)) 0; 31 if (1) 32 STMT(for (;;)) 0; 33 while (1) 34 STMT(if (1)) 0; 35 while (1) 36 STMT(while (1)) 0; 37 while (1) 38 STMT(for (;;)) 0; 39 for (;;) 40 STMT(if (1)) 0; 41 for (;;) 42 STMT(while (1)) 0; 43 for (;;) 44 STMT(for (;;)) 0; 45 } 46 47 void STMT(fn2()) { 48 } 49 50 void STMT(fn3)() { 51 } 52 53 // CHECK: foo 54 // CHECK-NEXT: File 0, [[@LINE+1]]:17 -> {{[0-9]+}}:2 = #0 55 void foo(int i) { 56 // CHECK-NEXT: File 0, [[@LINE+2]]:7 -> [[@LINE+2]]:8 = #0 57 // CHECK: File 0, [[@LINE+1]]:10 -> [[@LINE+1]]:12 = #1 58 if (0) {} 59 60 // CHECK-NEXT: Expansion,File 0, [[@LINE+3]]:7 -> [[@LINE+3]]:11 = #0 61 // CHECK-NEXT: Gap,File 0, [[@LINE+2]]:15 -> [[@LINE+2]]:16 = #2 62 // CHECK-NEXT: File 0, [[@LINE+1]]:16 -> [[@LINE+1]]:18 = #2 63 if (EXPR(i)) {} 64 // CHECK-NEXT: Expansion,File 0, [[@LINE+2]]:9 -> [[@LINE+2]]:14 = (#0 + #3) 65 // CHECK: File 0, [[@LINE+1]]:20 -> [[@LINE+1]]:22 = #3 66 for (;NEXPR(i);) {} 67 // CHECK-NEXT: Expansion,File 0, [[@LINE+4]]:8 -> [[@LINE+4]]:14 = #0 68 // CHECK-NEXT: Expansion,File 0, [[@LINE+3]]:33 -> [[@LINE+3]]:35 = (#0 + #4) 69 // CHECK-NEXT: Expansion,File 0, [[@LINE+2]]:43 -> [[@LINE+2]]:46 = #4 70 // CHECK: File 0, [[@LINE+1]]:51 -> [[@LINE+1]]:53 = #4 71 for (ASSIGN(DECL(int, j), 0); LT(j, i); INC(j)) {} 72 // CHECK-NEXT: Expansion,File 0, [[@LINE+1]]:3 -> [[@LINE+1]]:9 = #0 73 ASSIGN(DECL(int, k), 0); 74 // CHECK-NEXT: Expansion,File 0, [[@LINE+4]]:10 -> [[@LINE+4]]:12 = (#0 + #5) 75 // CHECK-NEXT: Gap,File 0, [[@LINE+3]]:19 -> [[@LINE+3]]:20 = #5 76 // CHECK-NEXT: File 0, [[@LINE+2]]:20 -> [[@LINE+2]]:31 = #5 77 // CHECK-NEXT: Expansion,File 0, [[@LINE+1]]:22 -> [[@LINE+1]]:25 = #5 78 while (LT(k, i)) { INC(k); } 79 // CHECK-NEXT: File 0, [[@LINE+2]]:6 -> [[@LINE+2]]:8 = (#0 + #6) 80 // CHECK-NEXT: Expansion,File 0, [[@LINE+1]]:16 -> [[@LINE+1]]:21 = (#0 + #6) 81 do {} while (NEXPR(i)); 82 // CHECK-NEXT: Expansion,File 0, [[@LINE+3]]:8 -> [[@LINE+3]]:12 = #0 83 // CHECK-NEXT: Expansion,File 0, [[@LINE+2]]:23 -> [[@LINE+2]]:26 = #0 84 // CHECK: File 0, [[@LINE+1]]:42 -> [[@LINE+1]]:44 = #7 85 for (DECL(int, j) : ARR(int, 1, 2, 3)) {} 86 87 // CHECK-NEXT: Gap,File 0, [[@LINE+3]]:12 -> [[@LINE+3]]:14 = #8 88 // CHECK-NEXT: Expansion,File 0, [[@LINE+2]]:14 -> [[@LINE+2]]:20 = #0 89 // CHECK-NEXT: Expansion,File 0, [[@LINE+1]]:23 -> [[@LINE+1]]:29 = #0 90 (void)(i ? PRIo64 : PRIu64); 91 92 // CHECK: File 0, [[@LINE+5]]:14 -> [[@LINE+5]]:15 = #9 93 // CHECK-NEXT: Expansion,File 0, [[@LINE+4]]:18 -> [[@LINE+4]]:22 = (#0 - #9) 94 // CHECK-NEXT: File 0, [[@LINE+3]]:22 -> [[@LINE+3]]:33 = (#0 - #9) 95 // CHECK: File 0, [[@LINE+2]]:28 -> [[@LINE+2]]:29 = #10 96 // CHECK-NEXT: File 0, [[@LINE+1]]:32 -> [[@LINE+1]]:33 = ((#0 - #9) - #10) 97 (void)(i ? i : EXPR(i) ? i : 0); 98 // CHECK-NEXT: Expansion,File 0, [[@LINE+3]]:15 -> [[@LINE+3]]:19 = (#0 - #11) 99 // CHECK-NEXT: File 0, [[@LINE+2]]:19 -> [[@LINE+2]]:27 = (#0 - #11) 100 // CHECK-NEXT: File 0, [[@LINE+1]]:26 -> [[@LINE+1]]:27 = ((#0 - #11) - #12) 101 (void)(i ?: EXPR(i) ?: 0); 102 } 103 104 // CHECK-NEXT: File {{[0-9]+}}, 3:17 -> 3:20 = #0 105 // CHECK-NEXT: File {{[0-9]+}}, 4:18 -> 4:22 = (#0 + #3) 106 // CHECK-NEXT: File {{[0-9]+}}, 6:22 -> 6:27 = #0 107 // CHECK-NEXT: File {{[0-9]+}}, 8:16 -> 8:19 = #4 108 // CHECK-NEXT: File {{[0-9]+}}, 7:18 -> 7:23 = (#0 + #4) 109 // CHECK-NEXT: File {{[0-9]+}}, 6:22 -> 6:27 = #0 110 // CHECK-NEXT: File {{[0-9]+}}, 8:16 -> 8:19 = #5 111 // CHECK-NEXT: File {{[0-9]+}}, 7:18 -> 7:23 = (#0 + #5) 112 // CHECK-NEXT: File {{[0-9]+}}, 4:18 -> 4:22 = (#0 + #6) 113 // CHECK-NEXT: File {{[0-9]+}}, 5:20 -> 5:23 = #0 114 // CHECK-NEXT: File {{[0-9]+}}, 9:25 -> 9:40 = #0 115 // CHECK-NEXT: File {{[0-9]+}}, 12:16 -> 12:42 = #0 116 // CHECK-NEXT: Expansion,File {{[0-9]+}}, 12:16 -> 12:38 = #8 117 // CHECK-NEXT: File {{[0-9]+}}, 12:38 -> 12:42 = #8 118 // CHECK-NEXT: File {{[0-9]+}}, 13:16 -> 13:42 = #0 119 // CHECK-NEXT: Expansion,File {{[0-9]+}}, 13:16 -> 13:38 = (#0 - #8) 120 // CHECK-NEXT: File {{[0-9]+}}, 13:38 -> 13:42 = (#0 - #8) 121 // CHECK-NEXT: File {{[0-9]+}}, 3:17 -> 3:20 = (#0 - #9) 122 // CHECK-NEXT: File {{[0-9]+}}, 3:17 -> 3:20 = (#0 - #11) 123 // CHECK-NEXT: File {{[0-9]+}}, 11:32 -> 11:36 = #8 124 // CHECK-NEXT: File {{[0-9]+}}, 11:32 -> 11:36 = (#0 - #8) 125 126 // CHECK-NOT: File {{[0-9]+}}, 127 // CHECK: main 128 129 int main(int argc, const char *argv[]) { 130 foo(10); 131 } 132