149 lines · cpp
1// RUN: %clang_cc1 -mllvm -emptyline-comment-coverage=false -std=c++11 -fprofile-instrument=clang -fcoverage-mapping -dump-coverage-mapping -emit-llvm-only -main-file-name macro-expressions.cpp -w %s | FileCheck %s2 3#define EXPR(x) (x)4#define NEXPR(x) (!x)5#define DECL(T, x) T x6#define ASSIGN(x, y) x = y7#define LT(x, y) x < y8#define INC(x) ++x9#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) s16 17void 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 47void STMT(fn2()) {48}49 50void STMT(fn3)() {51}52 53// CHECK: foo54// CHECK-NEXT: File 0, [[@LINE+1]]:17 -> {{[0-9]+}}:2 = #055void foo(int i) {56 // CHECK-NEXT: File 0, [[@LINE+3]]:7 -> [[@LINE+3]]:8 = #057 // CHECK: Gap,File 0, [[@LINE+2]]:9 -> [[@LINE+2]]:10 = #158 // CHECK-NEXT: File 0, [[@LINE+1]]:10 -> [[@LINE+1]]:12 = #159 if (0) {}60 61 // CHECK-NEXT: Expansion,File 0, [[@LINE+3]]:7 -> [[@LINE+3]]:11 = #062 // CHECK-NEXT: Gap,File 0, [[@LINE+2]]:15 -> [[@LINE+2]]:16 = #263 // CHECK-NEXT: File 0, [[@LINE+1]]:16 -> [[@LINE+1]]:18 = #264 if (EXPR(i)) {}65 // CHECK-NEXT: Expansion,File 0, [[@LINE+3]]:9 -> [[@LINE+3]]:14 = (#0 + #3)66 // CHECK-NEXT: Gap,File 0, [[@LINE+2]]:19 -> [[@LINE+2]]:20 = #367 // CHECK-NEXT: File 0, [[@LINE+1]]:20 -> [[@LINE+1]]:22 = #368 for (;NEXPR(i);) {}69 // CHECK-NEXT: Expansion,File 0, [[@LINE+5]]:8 -> [[@LINE+5]]:14 = #070 // CHECK-NEXT: Expansion,File 0, [[@LINE+4]]:33 -> [[@LINE+4]]:35 = (#0 + #4)71 // CHECK-NEXT: Expansion,File 0, [[@LINE+3]]:43 -> [[@LINE+3]]:46 = #472 // CHECK-NEXT: Gap,File 0, [[@LINE+2]]:50 -> [[@LINE+2]]:51 = #473 // CHECK: File 0, [[@LINE+1]]:51 -> [[@LINE+1]]:53 = #474 for (ASSIGN(DECL(int, j), 0); LT(j, i); INC(j)) {}75 // CHECK-NEXT: Expansion,File 0, [[@LINE+1]]:3 -> [[@LINE+1]]:9 = #076 ASSIGN(DECL(int, k), 0);77 // CHECK-NEXT: Expansion,File 0, [[@LINE+4]]:10 -> [[@LINE+4]]:12 = (#0 + #5)78 // CHECK-NEXT: Gap,File 0, [[@LINE+3]]:19 -> [[@LINE+3]]:20 = #579 // CHECK-NEXT: File 0, [[@LINE+2]]:20 -> [[@LINE+2]]:31 = #580 // CHECK-NEXT: Expansion,File 0, [[@LINE+1]]:22 -> [[@LINE+1]]:25 = #581 while (LT(k, i)) { INC(k); }82 // CHECK-NEXT: File 0, [[@LINE+2]]:6 -> [[@LINE+2]]:8 = (#0 + #6)83 // CHECK-NEXT: Expansion,File 0, [[@LINE+1]]:16 -> [[@LINE+1]]:21 = (#0 + #6)84 do {} while (NEXPR(i));85 // CHECK-NEXT: Expansion,File 0, [[@LINE+5]]:8 -> [[@LINE+5]]:12 = #086 // CHECK-NEXT: Branch,File 0, [[@LINE+4]]:21 -> [[@LINE+4]]:22 = #7, #087 // CHECK-NEXT: Expansion,File 0, [[@LINE+3]]:23 -> [[@LINE+3]]:26 = #088 // CHECK-NEXT: Gap,File 0, [[@LINE+2]]:41 -> [[@LINE+2]]:42 = #789 // CHECK: File 0, [[@LINE+1]]:42 -> [[@LINE+1]]:44 = #790 for (DECL(int, j) : ARR(int, 1, 2, 3)) {}91 92 // CHECK-NEXT: File 0, [[@LINE+5]]:10 -> [[@LINE+5]]:11 = #093 // CHECK-NEXT: Branch,File 0, [[@LINE+4]]:10 -> [[@LINE+4]]:11 = #8, (#0 - #8)94 // CHECK-NEXT: Gap,File 0, [[@LINE+3]]:13 -> [[@LINE+3]]:14 = #895 // CHECK-NEXT: Expansion,File 0, [[@LINE+2]]:14 -> [[@LINE+2]]:20 = #096 // CHECK-NEXT: Expansion,File 0, [[@LINE+1]]:23 -> [[@LINE+1]]:29 = #097 (void)(i ? PRIo64 : PRIu64);98 99 // CHECK-NEXT: File 0, [[@LINE+6]]:10 -> [[@LINE+6]]:11 = #0100 // CHECK: File 0, [[@LINE+5]]:14 -> [[@LINE+5]]:15 = #9101 // CHECK-NEXT: File 0, [[@LINE+4]]:18 -> [[@LINE+4]]:33 = (#0 - #9)102 // CHECK-NEXT: Expansion,File 0, [[@LINE+3]]:18 -> [[@LINE+3]]:22 = (#0 - #9)103 // CHECK: File 0, [[@LINE+2]]:28 -> [[@LINE+2]]:29 = #10104 // CHECK-NEXT: File 0, [[@LINE+1]]:32 -> [[@LINE+1]]:33 = ((#0 - #9) - #10)105 (void)(i ? i : EXPR(i) ? i : 0);106 // CHECK-NEXT: File 0, [[@LINE+5]]:10 -> [[@LINE+5]]:11 = #0107 // CHECK-NEXT: Branch,File 0, [[@LINE+4]]:10 -> [[@LINE+4]]:11 = #11, (#0 - #11)108 // CHECK-NEXT: File 0, [[@LINE+3]]:15 -> [[@LINE+3]]:27 = (#0 - #11)109 // CHECK-NEXT: Expansion,File 0, [[@LINE+2]]:15 -> [[@LINE+2]]:19 = (#0 - #11)110 // CHECK-NEXT: File 0, [[@LINE+1]]:26 -> [[@LINE+1]]:27 = ((#0 - #11) - #12)111 (void)(i ?: EXPR(i) ?: 0);112}113 114// CHECK-NEXT: File {{[0-9]+}}, 3:17 -> 3:20 = #0115// CHECK-NEXT: Branch,File {{[0-9]+}}, 3:17 -> 3:20 = #2, (#0 - #2)116// CHECK-NEXT: File {{[0-9]+}}, 4:18 -> 4:22 = (#0 + #3)117// CHECK-NEXT: Branch,File {{[0-9]+}}, 4:18 -> 4:22 = #3, #0118// CHECK-NEXT: File {{[0-9]+}}, 6:22 -> 6:27 = #0119// CHECK-NEXT: File {{[0-9]+}}, 8:16 -> 8:19 = #4120// CHECK-NEXT: File {{[0-9]+}}, 7:18 -> 7:23 = (#0 + #4)121// CHECK-NEXT: Branch,File {{[0-9]+}}, 7:18 -> 7:23 = #4, #0122// CHECK-NEXT: File {{[0-9]+}}, 6:22 -> 6:27 = #0123// CHECK-NEXT: File {{[0-9]+}}, 8:16 -> 8:19 = #5124// CHECK-NEXT: File {{[0-9]+}}, 7:18 -> 7:23 = (#0 + #5)125// CHECK-NEXT: Branch,File {{[0-9]+}}, 7:18 -> 7:23 = #5, #0126// CHECK-NEXT: File {{[0-9]+}}, 4:18 -> 4:22 = (#0 + #6)127// CHECK-NEXT: Branch,File {{[0-9]+}}, 4:18 -> 4:22 = #6, #0128// CHECK-NEXT: File {{[0-9]+}}, 5:20 -> 5:23 = #0129// CHECK-NEXT: File {{[0-9]+}}, 9:25 -> 9:40 = #0130// CHECK-NEXT: File {{[0-9]+}}, 12:16 -> 12:42 = #0131// CHECK-NEXT: Expansion,File {{[0-9]+}}, 12:16 -> 12:38 = #8132// CHECK-NEXT: File {{[0-9]+}}, 12:38 -> 12:42 = #8133// CHECK-NEXT: File {{[0-9]+}}, 13:16 -> 13:42 = #0134// CHECK-NEXT: Expansion,File {{[0-9]+}}, 13:16 -> 13:38 = (#0 - #8)135// CHECK-NEXT: File {{[0-9]+}}, 13:38 -> 13:42 = (#0 - #8)136// CHECK-NEXT: File {{[0-9]+}}, 3:17 -> 3:20 = (#0 - #9)137// CHECK-NEXT: Branch,File {{[0-9]+}}, 3:17 -> 3:20 = #10, ((#0 - #9) - #10)138// CHECK-NEXT: File {{[0-9]+}}, 3:17 -> 3:20 = (#0 - #11)139// CHECK-NEXT: Branch,File {{[0-9]+}}, 3:17 -> 3:20 = #12, ((#0 - #11) - #12)140// CHECK-NEXT: File {{[0-9]+}}, 11:32 -> 11:36 = #8141// CHECK-NEXT: File {{[0-9]+}}, 11:32 -> 11:36 = (#0 - #8)142 143// CHECK-NOT: File {{[0-9]+}},144// CHECK: main145 146int main(int argc, const char *argv[]) {147 foo(10);148}149