98 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-none-linux-gnu -debug-info-kind=standalone -O0 \2// RUN: -emit-llvm -fexperimental-assignment-tracking=forced %s -o - \3// RUN: -disable-O0-optnone \4// RUN: | FileCheck %s --implicit-check-not="call void @llvm.dbg"5 6// Based on llvm/test/DebugInfo/Generic/track-assignments.ll - check that using7// -Xclang -fexperimental-assignment-tracking results in emitting (or, as it is8// set up currently, telling llvm to create) assignment tracking metadata.9//10// See the original test for more info.11 12struct Inner { int A, B; };13struct Outer { Inner A, B; };14struct Large { int A[10]; };15struct LCopyCtor { int A[4]; LCopyCtor(); LCopyCtor(LCopyCtor const &); };16int Value, Index, Cond;17Inner InnerA, InnerB;18Large L;19 20void zeroInit() { int Z[3] = {0, 0, 0}; }21// CHECK-LABEL: define dso_local void @_Z8zeroInitv22// CHECK: %Z = alloca [3 x i32], align 4, !DIAssignID ![[ID_0:[0-9]+]]23// CHECK-NEXT: #dbg_assign(i1 poison, ![[VAR_0:[0-9]+]], !DIExpression(), ![[ID_0]], ptr %Z, !DIExpression(),24// CHECK: @llvm.memset{{.*}}, !DIAssignID ![[ID_1:[0-9]+]]25// CHECK-NEXT: #dbg_assign(i8 0, ![[VAR_0]], !DIExpression(), ![[ID_1]], ptr %Z, !DIExpression(),26 27void memcpyInit() { int A[4] = {0, 1, 2, 3}; }28// CHECK-LABEL: define dso_local void @_Z10memcpyInitv29// CHECK: %A = alloca [4 x i32], align 16, !DIAssignID ![[ID_2:[0-9]+]]30// CHECK-NEXT: #dbg_assign(i1 poison, ![[VAR_1:[0-9]+]], !DIExpression(), ![[ID_2]], ptr %A, !DIExpression(),31// CHECK: @llvm.memcpy{{.*}}, !DIAssignID ![[ID_3:[0-9]+]]32// CHECK-NEXT: #dbg_assign(i1 poison, ![[VAR_1]], !DIExpression(), ![[ID_3]], ptr %A, !DIExpression(),33 34void setField() {35 Outer O;36 O.A.B = Value;37}38// CHECK-LABEL: define dso_local void @_Z8setFieldv39// CHECK: %O = alloca %struct.Outer, align 4, !DIAssignID ![[ID_4:[0-9]+]]40// CHECK-NEXT: #dbg_assign(i1 poison, ![[VAR_2:[0-9]+]], !DIExpression(), ![[ID_4]], ptr %O, !DIExpression(),41// CHECK: store i32 %0, ptr %B, align 4,{{.*}}!DIAssignID ![[ID_5:[0-9]+]]42// CHECK-NEXT: #dbg_assign(i32 %0, ![[VAR_2]], !DIExpression(DW_OP_LLVM_fragment, 32, 32), ![[ID_5]], ptr %B, !DIExpression(),43 44void unknownOffset() {45 int A[2];46 A[Index] = Value;47}48// CHECK-LABEL: define dso_local void @_Z13unknownOffsetv49// CHECK: %A = alloca [2 x i32], align 4, !DIAssignID ![[ID_6:[0-9]+]]50// CHECK-NEXT: #dbg_assign(i1 poison, ![[VAR_3:[0-9]+]], !DIExpression(), ![[ID_6]], ptr %A, !DIExpression(),51 52Inner sharedAlloca() {53 if (Cond) {54 Inner A = InnerA;55 return A;56 } else {57 Inner B = InnerB;58 return B;59 }60}61// CHECK-LABEL: define dso_local i64 @_Z12sharedAllocav62// CHECK: %retval = alloca %struct.Inner, align 4, !DIAssignID ![[ID_7:[0-9]+]]63// CHECK-NEXT: #dbg_assign(i1 poison, ![[VAR_4:[0-9]+]], !DIExpression(), ![[ID_7]], ptr %retval, !DIExpression(),64// CHECK-NEXT: #dbg_assign(i1 poison, ![[VAR_5:[0-9]+]], !DIExpression(), ![[ID_7]], ptr %retval, !DIExpression(),65// CHECK: if.then:66// CHECK: call void @llvm.memcpy{{.*}}, !DIAssignID ![[ID_8:[0-9]+]]67// CHECK-NEXT: #dbg_assign(i1 poison, ![[VAR_4]], !DIExpression(), ![[ID_8]], ptr %retval, !DIExpression(),68// CHECK-NEXT: #dbg_assign(i1 poison, ![[VAR_5]], !DIExpression(), ![[ID_8]], ptr %retval, !DIExpression(),69// CHECK: if.else:70// CHECK: call void @llvm.memcpy{{.*}}, !DIAssignID ![[ID_9:[0-9]+]]71// CHECK-NEXT: #dbg_assign(i1 poison, ![[VAR_4]], !DIExpression(), ![[ID_9]], ptr %retval, !DIExpression(),72// CHECK-NEXT: #dbg_assign(i1 poison, ![[VAR_5]], !DIExpression(), ![[ID_9]], ptr %retval, !DIExpression(),73 74Large sret() {75 Large X = L;76 return X;77}78// CHECK-LABEL: define dso_local void @_Z4sretv79// CHECK: #dbg_declare80 81void byval(Large X) {}82// CHECK-LABEL: define dso_local void @_Z5byval5Large83// CHECK: #dbg_declare84 85LCopyCtor indirectReturn() {86 LCopyCtor R;87 return R;88}89// CHECK-LABEL: define dso_local void @_Z14indirectReturnv90// CHECK: #dbg_declare91 92// CHECK-DAG: ![[VAR_0]] = !DILocalVariable(name: "Z",93// CHECK-DAG: ![[VAR_1]] = !DILocalVariable(name: "A",94// CHECK-DAG: ![[VAR_2]] = !DILocalVariable(name: "O",95// CHECK-DAG: ![[VAR_3]] = !DILocalVariable(name: "A",96// CHECK-DAG: ![[VAR_4]] = !DILocalVariable(name: "B",97// CHECK-DAG: ![[VAR_5]] = !DILocalVariable(name: "A",98