test/CoverageMapping/macro-expressions.cpp

   1 // RUN: %clang_cc1 -std=c++11 -fprofile-instr-generate -fcoverage-mapping -dump-coverage-mapping -emit-llvm-only -main-file-name macro-expressions.cpp %s | FileCheck %s
   2
   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 // CHECK: foo
  16 // CHECK-NEXT: File 0, [[@LINE+1]]:17 -> {{[0-9]+}}:2 = #0
  17 void foo(int i) {
  18   // CHECK-NEXT: File 0, [[@LINE+2]]:7 -> [[@LINE+2]]:8 = #0
  19   // CHECK-NEXT: File 0, [[@LINE+1]]:10 -> [[@LINE+1]]:12 = #1
  20   if (0) {}
  21
  22   // CHECK-NEXT: Expansion,File 0, [[@LINE+2]]:7 -> [[@LINE+2]]:11 = #0
  23   // CHECK-NEXT: File 0, [[@LINE+1]]:16 -> [[@LINE+1]]:18 = #2
  24   if (EXPR(i)) {}
  25   // CHECK-NEXT: Expansion,File 0, [[@LINE+2]]:9 -> [[@LINE+2]]:14 = (#0 + #3)
  26   // CHECK-NEXT: File 0, [[@LINE+1]]:20 -> [[@LINE+1]]:22 = #3
  27   for (;NEXPR(i);) {}
  28   // CHECK-NEXT: Expansion,File 0, [[@LINE+4]]:8 -> [[@LINE+4]]:14 = #0
  29   // CHECK-NEXT: Expansion,File 0, [[@LINE+3]]:33 -> [[@LINE+3]]:35 = (#0 + #4)
  30   // CHECK-NEXT: Expansion,File 0, [[@LINE+2]]:43 -> [[@LINE+2]]:46 = #4
  31   // CHECK-NEXT: File 0, [[@LINE+1]]:51 -> [[@LINE+1]]:53 = #4
  32   for (ASSIGN(DECL(int, j), 0); LT(j, i); INC(j)) {}
  33   // CHECK-NEXT: Expansion,File 0, [[@LINE+1]]:3 -> [[@LINE+1]]:9 = #0
  34   ASSIGN(DECL(int, k), 0);
  35   // CHECK-NEXT: Expansion,File 0, [[@LINE+3]]:10 -> [[@LINE+3]]:12 = (#0 + #5)
  36   // CHECK-NEXT: File 0, [[@LINE+2]]:20 -> [[@LINE+2]]:31 = #5
  37   // CHECK-NEXT: Expansion,File 0, [[@LINE+1]]:22 -> [[@LINE+1]]:25 = #5
  38   while (LT(k, i)) { INC(k); }
  39   // CHECK-NEXT: File 0, [[@LINE+2]]:6 -> [[@LINE+2]]:8 = (#0 + #6)
  40   // CHECK-NEXT: Expansion,File 0, [[@LINE+1]]:16 -> [[@LINE+1]]:21 = (#0 + #6)
  41   do {} while (NEXPR(i));
  42   // CHECK-NEXT: Expansion,File 0, [[@LINE+3]]:8 -> [[@LINE+3]]:12 = #0
  43   // CHECK-NEXT: Expansion,File 0, [[@LINE+2]]:23 -> [[@LINE+2]]:26 = #0
  44   // CHECK-NEXT: File 0, [[@LINE+1]]:42 -> [[@LINE+1]]:44 = #7
  45   for (DECL(int, j) : ARR(int, 1, 2, 3)) {}
  46
  47   // CHECK-NEXT: Expansion,File 0, [[@LINE+2]]:14 -> [[@LINE+2]]:20 = #0
  48   // CHECK-NEXT: Expansion,File 0, [[@LINE+1]]:23 -> [[@LINE+1]]:29 = #0
  49   (void)(i ? PRIo64 : PRIu64);
  50
  51   // CHECK-NEXT: File 0, [[@LINE+5]]:14 -> [[@LINE+5]]:15 = #9
  52   // CHECK-NEXT: Expansion,File 0, [[@LINE+4]]:18 -> [[@LINE+4]]:22 = (#0 - #9)
  53   // CHECK-NEXT: File 0, [[@LINE+3]]:22 -> [[@LINE+3]]:33 = (#0 - #9)
  54   // CHECK-NEXT: File 0, [[@LINE+2]]:28 -> [[@LINE+2]]:29 = #10
  55   // CHECK-NEXT: File 0, [[@LINE+1]]:32 -> [[@LINE+1]]:33 = ((#0 - #9) - #10)
  56   (void)(i ? i : EXPR(i) ? i : 0);
  57   // CHECK-NEXT: Expansion,File 0, [[@LINE+3]]:15 -> [[@LINE+3]]:19 = (#0 - #11)
  58   // CHECK-NEXT: File 0, [[@LINE+2]]:19 -> [[@LINE+2]]:27 = (#0 - #11)
  59   // CHECK-NEXT: File 0, [[@LINE+1]]:26 -> [[@LINE+1]]:27 = ((#0 - #11) - #12)
  60   (void)(i ?: EXPR(i) ?: 0);
  61 }
  62
  63 // CHECK-NEXT: File {{[0-9]+}}, 3:17 -> 3:20 = #0
  64 // CHECK-NEXT: File {{[0-9]+}}, 4:18 -> 4:22 = (#0 + #3)
  65 // CHECK-NEXT: File {{[0-9]+}}, 6:22 -> 6:27 = #0
  66 // CHECK-NEXT: File {{[0-9]+}}, 8:16 -> 8:19 = #4
  67 // CHECK-NEXT: File {{[0-9]+}}, 7:18 -> 7:23 = (#0 + #4)
  68 // CHECK-NEXT: File {{[0-9]+}}, 6:22 -> 6:27 = #0
  69 // CHECK-NEXT: File {{[0-9]+}}, 8:16 -> 8:19 = #5
  70 // CHECK-NEXT: File {{[0-9]+}}, 7:18 -> 7:23 = (#0 + #5)
  71 // CHECK-NEXT: File {{[0-9]+}}, 4:18 -> 4:22 = (#0 + #6)
  72 // CHECK-NEXT: File {{[0-9]+}}, 5:20 -> 5:23 = #0
  73 // CHECK-NEXT: File {{[0-9]+}}, 9:25 -> 9:40 = #0
  74 // CHECK-NEXT: File {{[0-9]+}}, 12:16 -> 12:42 = #0
  75 // CHECK-NEXT: Expansion,File {{[0-9]+}}, 12:16 -> 12:38 = #8
  76 // CHECK-NEXT: File {{[0-9]+}}, 12:38 -> 12:42 = #8
  77 // CHECK-NEXT: File {{[0-9]+}}, 13:16 -> 13:42 = #0
  78 // CHECK-NEXT: Expansion,File {{[0-9]+}}, 13:16 -> 13:38 = (#0 - #8)
  79 // CHECK-NEXT: File {{[0-9]+}}, 13:38 -> 13:42 = (#0 - #8)
  80 // CHECK-NEXT: File {{[0-9]+}}, 3:17 -> 3:20 = (#0 - #9)
  81 // CHECK-NEXT: File {{[0-9]+}}, 3:17 -> 3:20 = (#0 - #11)
  82 // CHECK-NEXT: File {{[0-9]+}}, 11:32 -> 11:36 = #8
  83 // CHECK-NEXT: File {{[0-9]+}}, 11:32 -> 11:36 = (#0 - #8)
  84
  85 // CHECK-NOT: File {{[0-9]+}},
  86 // CHECK: main
  87
  88 int main(int argc, const char *argv[]) {
  89   foo(10);
  90 }