106 lines · c
1// RUN: %clang_cc1 -triple %itanium_abi_triple -emit-llvm %s -o %t -debug-info-kind=limited2// RUN: FileCheck %s -input-file=%t -check-prefix=CHECK-GLOBALS3// RUN: FileCheck %s -input-file=%t -check-prefix=CHECK-14// RUN: FileCheck %s -input-file=%t -check-prefix=CHECK-25// RUN: FileCheck %s -input-file=%t -check-prefix=CHECK-36 7typedef __INTPTR_TYPE__ intptr_t;8 9int foo(void);10int global;11 12// Single statement13void test1(void) {14 int i = 0;15 #pragma clang __debug captured16 {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.023 //24 // CHECK-1: @test1(25 // CHECK-1: alloca %struct.anon26 // CHECK-1: getelementptr inbounds nuw %struct.anon, ptr27 // CHECK-1: store ptr %i28 // CHECK-1: call void @[[HelperName:__captured_stmt[\.0-9]+]]29}30 31// CHECK-1: define internal {{.*}}void @[[HelperName]](ptr32// CHECK-1: getelementptr inbounds nuw %struct.anon{{.*}}, i32 0, i32 033// CHECK-1: load ptr, ptr34// CHECK-1: load i32, ptr35// CHECK-1: add nsw i3236// CHECK-1: store i3237 38// Compound statement with local variable39void test2(int x) {40 #pragma clang __debug captured41 {42 int i;43 for (i = 0; i < x; i++)44 foo();45 }46 // CHECK-2: @test2(47 // CHECK-2-NOT: %i48 // 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 i3254 55// Capture array56void test3(int size) {57 int arr[] = {1, 2, 3, 4, 5};58 int vla_arr[size];59 #pragma clang __debug captured60 {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_stmt66}67 68// Capture VLA array69void test4(intptr_t size, intptr_t vla_arr[size]) {70 #pragma clang __debug captured71 {72 vla_arr[0] = 1;73 }74 // CHECK-3: test4([[INTPTR_T:i.+]] noundef {{.*}}[[SIZE_ARG:%.+]], ptr75 // 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 inbounds78 // CHECK-3: store [[INTPTR_T]] [[SIZE]], ptr [[REF]]79 // CHECK-3: call void @__captured_stmt80}81 82void dont_capture_global(void) {83 static int s;84 extern int e;85 #pragma clang __debug captured86 {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: ret98// CHECK-GLOBALS: load i32, ptr @global99// CHECK-GLOBALS: load i32, ptr @100// CHECK-GLOBALS: load i32, ptr @e101 102// CHECK-GLOBALS-NOT: DIFlagObjectPointer103// CHECK-1-NOT: DIFlagObjectPointer104// CHECK-2-NOT: DIFlagObjectPointer105// CHECK-3-NOT: DIFlagObjectPointer106