Adrian Prantl | 5ca58a0 | 2013-03-12 21:40:00 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -g -emit-llvm -o - %s | FileCheck %s |
| 2 | |
| 3 | // Make sure that clang outputs distinct debug info for a function |
| 4 | // that is inlined twice on the same line. Otherwise it would appear |
| 5 | // as if the function was only inlined once. |
Adrian Prantl | 00df5ea | 2013-03-12 20:43:25 +0000 | [diff] [blame] | 6 | |
| 7 | #define INLINE inline __attribute__((always_inline)) |
| 8 | |
| 9 | INLINE int |
| 10 | product (int x, int y) |
| 11 | { |
| 12 | int result = x * y; |
| 13 | return result; |
| 14 | } |
| 15 | |
| 16 | INLINE int |
| 17 | sum (int a, int b) |
| 18 | { |
| 19 | int result = a + b; |
| 20 | return result; |
| 21 | } |
| 22 | |
| 23 | int |
| 24 | strange_max (int m, int n) |
| 25 | { |
| 26 | if (m > n) |
| 27 | return m; |
| 28 | else if (n > m) |
| 29 | return n; |
| 30 | else |
| 31 | return 0; |
| 32 | } |
| 33 | |
| 34 | int |
| 35 | foo (int i, int j) |
| 36 | { |
| 37 | if (strange_max (i, j) == i) |
| 38 | return product (i, j); |
| 39 | else if (strange_max (i, j) == j) |
| 40 | return sum (i, j); |
| 41 | else |
| 42 | return product (sum (i, i), sum (j, j)); |
| 43 | } |
| 44 | |
| 45 | int |
| 46 | main(int argc, char const *argv[]) |
| 47 | { |
| 48 | |
| 49 | int array[3]; |
Adrian Prantl | 6b6a9b3 | 2013-03-15 17:09:05 +0000 | [diff] [blame] | 50 | int n; |
Adrian Prantl | 00df5ea | 2013-03-12 20:43:25 +0000 | [diff] [blame] | 51 | |
| 52 | array[0] = foo (1238, 78392); |
| 53 | array[1] = foo (379265, 23674); |
| 54 | array[2] = foo (872934, 234); |
| 55 | |
Adrian Prantl | 6b6a9b3 | 2013-03-15 17:09:05 +0000 | [diff] [blame] | 56 | n = strange_max(array[0], strange_max(array[1], array[2])); |
| 57 | |
| 58 | return n & 0xf; |
Adrian Prantl | 00df5ea | 2013-03-12 20:43:25 +0000 | [diff] [blame] | 59 | } |
| 60 | |
Adrian Prantl | b38b3cd | 2013-03-13 16:14:44 +0000 | [diff] [blame] | 61 | // CHECK: define {{.*}} @_Z3fooii |
Adrian Prantl | 5ca58a0 | 2013-03-12 21:40:00 +0000 | [diff] [blame] | 62 | // i |
| 63 | // CHECK: call void @llvm.dbg.declare |
| 64 | // j |
| 65 | // CHECK: call void @llvm.dbg.declare |
| 66 | // x |
| 67 | // CHECK: call void @llvm.dbg.declare |
| 68 | // y |
| 69 | // CHECK: call void @llvm.dbg.declare |
| 70 | // result |
| 71 | // CHECK: call void @llvm.dbg.declare |
| 72 | |
| 73 | // CHECK: call void @llvm.dbg.declare(metadata !{i32* %{{.*}}}, metadata ![[A_MD:[0-9]+]]), !dbg ![[A_DI:[0-9]+]] |
| 74 | // CHECK: call void @llvm.dbg.declare(metadata !{i32* %{{.*}}}, metadata ![[B_MD:[0-9]+]]), !dbg ![[B_DI:[0-9]+]] |
| 75 | // result |
| 76 | // CHECK: call void @llvm.dbg.declare |
| 77 | |
| 78 | // We want to see a distinct !dbg node. |
| 79 | // CHECK-NOT: call void @llvm.dbg.declare(metadata !{i32* %{{.*}}}, metadata ![[A_MD]]), !dbg ![[A_DI]] |
| 80 | // CHECK: call void @llvm.dbg.declare(metadata !{i32* %{{.*}}}, metadata ![[A_MD]]), !dbg !{{.*}} |
| 81 | // CHECK-NOT: call void @llvm.dbg.declare(metadata !{i32* %{{.*}}}, metadata ![[B_MD]]), !dbg ![[B_DI]] |
| 82 | // CHECK: call void @llvm.dbg.declare(metadata !{i32* %{{.*}}}, metadata ![[B_MD]]), !dbg !{{.*}} |
| 83 | // result |
| 84 | // CHECK: call void @llvm.dbg.declare |
Adrian Prantl | 6b6a9b3 | 2013-03-15 17:09:05 +0000 | [diff] [blame] | 85 | |
| 86 | // CHECK: define {{.*}} @main |
| 87 | // CHECK: call {{.*}} @_Z3fooii |
| 88 | // CHECK: call {{.*}} @_Z3fooii |
| 89 | // CHECK: call {{.*}} @_Z3fooii |
| 90 | // CHECK: store |
| 91 | // CHECK: getelementptr |
| 92 | // We want to see the same !dbg node for non-inlined functions. |
| 93 | // Needed for GDB compatibility. |
| 94 | // CHECK: load {{.*}} !dbg ![[DBG:.*]] |
| 95 | // CHECK: load {{.*}} !dbg ![[DBG]] |
| 96 | // CHECK: load {{.*}} !dbg ![[DBG]] |
Adrian Prantl | fd44d34 | 2013-03-19 18:20:35 +0000 | [diff] [blame] | 97 | // CHECK: call {{.*}} @_Z11strange_maxii(i32 {{.*}}, i32 {{.*}}), !dbg ![[DBG]] |
| 98 | // CHECK: call {{.*}} @_Z11strange_maxii(i32 {{.*}}, i32 {{.*}}), !dbg ![[DBG]] |