63 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-linux-gnu -gkey-instructions %s -gno-column-info -debug-info-kind=line-tables-only -emit-llvm -o - \2// RUN: | FileCheck %s3 4// g::h can be memcpy'd (in this case emitted as load/stored), check the5// assignment gets Key Instructions metadata.6 7struct e {8 e(e&);9 e& operator=(const e&);10};11 12struct g {13 e f;14 int h;15};16 17// Copy assignment operator.18// CHECK: define{{.*}}ptr @_ZN1gaSERKS_19// CHECK-NEXT: entry:20// CHECK-NEXT: %this.addr = alloca ptr, align 821// CHECK-NEXT: %.addr = alloca ptr, align 822// CHECK-NEXT: store ptr %this, ptr %this.addr, align 823// CHECK-NEXT: store ptr %0, ptr %.addr, align 824// CHECK-NEXT: %this1 = load ptr, ptr %this.addr, align 825// CHECK-NEXT: %1 = load ptr, ptr %.addr, align 826// CHECK-NEXT: %call = call {{.*}}ptr @_ZN1eaSERKS_(ptr {{.*}}%this1, ptr {{.*}}%1)27// CHECK-NEXT: %2 = load ptr, ptr %.addr, align 828// CHECK-NEXT: %h = getelementptr inbounds nuw %struct.g, ptr %2, i32 0, i32 129// CHECK-NEXT: %3 = load i32, ptr %h, align 4, !dbg [[S1_G1R2:!.*]]30// CHECK-NEXT: %h2 = getelementptr inbounds nuw %struct.g, ptr %this1, i32 0, i32 131// CHECK-NEXT: store i32 %3, ptr %h2, align 4, !dbg [[S1_G1R1:!.*]]32// CHECK-NEXT: ret ptr %this1, !dbg33 34// Copy ctor.35// CHECK: define{{.*}}void @_ZN1gC2ERS_36// CHECK-NEXT: entry:37// CHECK-NEXT: %this.addr = alloca ptr, align 838// CHECK-NEXT: %.addr = alloca ptr, align 839// CHECK-NEXT: store ptr %this, ptr %this.addr, align 840// CHECK-NEXT: store ptr %0, ptr %.addr, align 841// CHECK-NEXT: %this1 = load ptr, ptr %this.addr, align 842// CHECK-NEXT: %1 = load ptr, ptr %.addr, align 843// CHECK-NEXT: call void @_ZN1eC1ERS_44// CHECK-NEXT: %h = getelementptr inbounds nuw %struct.g, ptr %this1, i32 0, i32 145// CHECK-NEXT: %2 = load ptr, ptr %.addr, align 846// CHECK-NEXT: %h2 = getelementptr inbounds nuw %struct.g, ptr %2, i32 0, i32 147// CHECK-NEXT: %3 = load i32, ptr %h2, align 4, !dbg [[S2_G1R2:!.*]]48// CHECK-NEXT: store i32 %3, ptr %h, align 4, !dbg [[S2_G1R1:!.*]]49// CHECK-NEXT: ret void, !dbg50 51// CHECK: [[S1:!.*]] = distinct !DISubprogram(name: "operator=",52// CHECK: [[S1_G1R2]] = !DILocation(line: 12, scope: [[S1]], atomGroup: 1, atomRank: 2)53// CHECK: [[S1_G1R1]] = !DILocation(line: 12, scope: [[S1]], atomGroup: 1, atomRank: 1)54 55// CHECK: [[S2:!.*]] = distinct !DISubprogram(name: "g",56// CHECK: [[S2_G1R2]] = !DILocation(line: 12, scope: [[S2]], atomGroup: 1, atomRank: 2)57// CHECK: [[S2_G1R1]] = !DILocation(line: 12, scope: [[S2]], atomGroup: 1, atomRank: 1)58 59void fun(g *x) {60 g y = g(*x);61 y = *x;62}63