60 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 and i can be memcpy'd, check the assignment gets Key Instructions metadata.5 6struct e {7 e(e &);8 e& operator=(const e&);9};10 11struct g {12 e f;13 int h;14 int i;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: %h = getelementptr inbounds nuw %struct.g, ptr %this1, i32 0, i32 128// CHECK-NEXT: %2 = load ptr, ptr %.addr, align 829// CHECK-NEXT: %h2 = getelementptr inbounds nuw %struct.g, ptr %2, i32 0, i32 130// CHECK-NEXT: call void @llvm.memcpy{{.*}}(ptr align 4 %h, ptr align 4 %h2, i64 8, i1 false), !dbg [[S1_G1R1:!.*]]31// CHECK-NEXT: ret ptr %this1, !dbg32 33// Copy ctor.34// CHECK: define{{.*}}void @_ZN1gC2ERS_35// CHECK-NEXT: entry:36// CHECK-NEXT: %this.addr = alloca ptr, align 837// CHECK-NEXT: %.addr = alloca ptr, align 838// CHECK-NEXT: store ptr %this, ptr %this.addr, align 839// CHECK-NEXT: store ptr %0, ptr %.addr, align 840// CHECK-NEXT: %this1 = load ptr, ptr %this.addr, align 841// CHECK-NEXT: %1 = load ptr, ptr %.addr, align 842// CHECK-NEXT: call void @_ZN1eC1ERS_43// CHECK-NEXT: %h = getelementptr inbounds nuw %struct.g, ptr %this1, i32 0, i32 144// CHECK-NEXT: %2 = load ptr, ptr %.addr, align 845// CHECK-NEXT: %h2 = getelementptr inbounds nuw %struct.g, ptr %2, i32 0, i32 146// CHECK-NEXT: call void @llvm.memcpy{{.*}}(ptr align 4 %h, ptr align 4 %h2, i64 8, i1 false), !dbg [[S2_G1R1:!.*]]47// CHECK-NEXT: ret void, !dbg48 49// CHECK: [[S1:!.*]] = distinct !DISubprogram(name: "operator=",50// CHECK: [[S1_G1R1]] = !DILocation(line: 11, scope: [[S1]], atomGroup: 1, atomRank: 1)51 52// CHECK: [[S2:!.*]] = distinct !DISubprogram(name: "g",53// CHECK: [[S2_G1R1]] = !DILocation(line: 11, scope: [[S2]], atomGroup: 1, atomRank: 1)54 55[[gnu::nodebug]]56void fun(g *x) {57 g y = g(*x);58 y = *x;59}60