1 // RUN: %clang_cc1 -triple %itanium_abi_triple -emit-llvm %s -o %t -debug-info-kind=limited 2 // RUN: FileCheck %s -input-file=%t -check-prefix=CHECK-GLOBALS 3 // RUN: FileCheck %s -input-file=%t -check-prefix=CHECK-1 4 // RUN: FileCheck %s -input-file=%t -check-prefix=CHECK-2 5 // RUN: FileCheck %s -input-file=%t -check-prefix=CHECK-3 6 7 typedef __INTPTR_TYPE__ intptr_t; 8 9 int foo(void); 10 int global; 11 12 // Single statement 13 void test1(void) { 14 int i = 0; 15 #pragma clang __debug captured 16 { 17 static float inner = 3.0; 18 (void)inner; 19 i++; 20 } 21 // CHECK-1: %struct.anon = type { ptr } 22 // CHECK-1: {{.+}} global float 3.0 23 // 24 // CHECK-1: @test1( 25 // CHECK-1: alloca %struct.anon 26 // CHECK-1: getelementptr inbounds nuw %struct.anon, ptr 27 // CHECK-1: store ptr %i 28 // CHECK-1: call void @[[HelperName:__captured_stmt[\.0-9]+]] 29 } 30 31 // CHECK-1: define internal {{.*}}void @[[HelperName]](ptr 32 // CHECK-1: getelementptr inbounds nuw %struct.anon{{.*}}, i32 0, i32 0 33 // CHECK-1: load ptr, ptr 34 // CHECK-1: load i32, ptr 35 // CHECK-1: add nsw i32 36 // CHECK-1: store i32 37 38 // Compound statement with local variable 39 void test2(int x) { 40 #pragma clang __debug captured 41 { 42 int i; 43 for (i = 0; i < x; i++) 44 foo(); 45 } 46 // CHECK-2: @test2( 47 // CHECK-2-NOT: %i 48 // CHECK-2: call void @[[HelperName:__captured_stmt[\.0-9]+]] 49 } 50 51 // CHECK-2: define internal {{.*}}void @[[HelperName]] 52 // CHECK-2-NOT: } 53 // CHECK-2: %i = alloca i32 54 55 // Capture array 56 void test3(int size) { 57 int arr[] = {1, 2, 3, 4, 5}; 58 int vla_arr[size]; 59 #pragma clang __debug captured 60 { 61 arr[2] = vla_arr[size - 1]; 62 } 63 // CHECK-3: @test3( 64 // CHECK-3: alloca [5 x i32] 65 // CHECK-3: call void @__captured_stmt 66 } 67 68 // Capture VLA array 69 void test4(intptr_t size, intptr_t vla_arr[size]) { 70 #pragma clang __debug captured 71 { 72 vla_arr[0] = 1; 73 } 74 // CHECK-3: test4([[INTPTR_T:i.+]] noundef {{.*}}[[SIZE_ARG:%.+]], ptr 75 // CHECK-3: store [[INTPTR_T]] {{.*}}[[SIZE_ARG]], ptr [[SIZE_ADDR:%.+]], 76 // CHECK-3: [[SIZE:%.+]] = load [[INTPTR_T]], ptr [[SIZE_ADDR]], 77 // CHECK-3: [[REF:%.+]] = getelementptr inbounds 78 // CHECK-3: store [[INTPTR_T]] [[SIZE]], ptr [[REF]] 79 // CHECK-3: call void @__captured_stmt 80 } 81 82 void dont_capture_global(void) { 83 static int s; 84 extern int e; 85 #pragma clang __debug captured 86 { 87 global++; 88 s++; 89 e++; 90 } 91 92 // CHECK-GLOBALS: %[[Capture:struct\.anon[\.0-9]*]] = type {} 93 // CHECK-GLOBALS: call void @__captured_stmt[[HelperName:\.4]]( 94 } 95 96 // CHECK-GLOBALS: define internal {{.*}}void @__captured_stmt[[HelperName]] 97 // CHECK-GLOBALS-NOT: ret 98 // CHECK-GLOBALS: load i32, ptr @global 99 // CHECK-GLOBALS: load i32, ptr @ 100 // CHECK-GLOBALS: load i32, ptr @e 101 102 // CHECK-GLOBALS-NOT: DIFlagObjectPointer 103 // CHECK-1-NOT: DIFlagObjectPointer 104 // CHECK-2-NOT: DIFlagObjectPointer 105 // CHECK-3-NOT: DIFlagObjectPointer 106