llvm/test/DebugInfo/Generic/sroa-samesize.ll

   1 ; RUN: opt -passes='sroa' -S -o - %s | FileCheck %s
   2 ; Generated from clang -c  -O2 -g -target x86_64-pc-windows-msvc
   3 ; struct A { double x1[]; };
   4 ; struct x2 {
   5 ;   x2(int) : x3() {}
   6 ;   int x3;
   7 ; };
   8 ; int x4();
   9 ; x2 x5() {
  10 ;   x2 a(x4());
  11 ;   return a;
  12 ; }
  13 ; ptr operator new(size_t, ptr);
  14 ; struct B {
  15 ;   B() { new (x8.x1) x2(x5()); }
  16 ;   A x8;
  17 ; };
  18 ; void x9() { B(); }
  19 source_filename = "t.cpp"
  20 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
  21 target triple = "x86_64-pc-windows-msvc19.11.0"
  22
  23 %struct.B = type { %struct.A }
  24 %struct.A = type { [0 x double], [8 x i8] }
  25
  26 ; Function Attrs: nounwind readnone speculatable
  27 declare void @llvm.dbg.declare(metadata, metadata, metadata) #0
  28
  29 declare i32 @"\01?x4@@YAHXZ"() local_unnamed_addr
  30
  31 define void @"\01?x9@@YAXXZ"() local_unnamed_addr !dbg !8 {
  32 entry:
  33   %agg.tmp.ensured = alloca %struct.B, align 8
  34   call void @llvm.dbg.declare(metadata ptr %agg.tmp.ensured, metadata !11, metadata !DIExpression()), !dbg !24
  35   %call.i.i = call i32 @"\01?x4@@YAHXZ"(), !dbg !46, !noalias !47
  36   store i32 0, ptr %agg.tmp.ensured, align 4, !dbg !50, !tbaa !57, !alias.scope !47
  37   ; CHECK: call void @llvm.dbg.value(metadata i32 0, metadata ![[A:.*]], metadata !DIExpression())
  38   ; CHECK: ![[A]] = !DILocalVariable(name: "a",
  39   ret void, !dbg !62
  40 }
  41
  42 ; Function Attrs: nounwind readnone speculatable
  43 declare void @llvm.dbg.value(metadata, metadata, metadata) #0
  44
  45 attributes #0 = { nounwind readnone speculatable }
  46
  47 !llvm.dbg.cu = !{!0}
  48 !llvm.module.flags = !{!3, !4, !5, !6}
  49 !llvm.ident = !{!7}
  50
  51 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 6.0.0 (trunk 319058) (llvm/trunk 319066)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)
  52 !1 = !DIFile(filename: "t.cpp", directory: "/")
  53 !2 = !{}
  54 !3 = !{i32 2, !"Dwarf Version", i32 4}
  55 !4 = !{i32 2, !"Debug Info Version", i32 3}
  56 !5 = !{i32 1, !"wchar_size", i32 2}
  57 !6 = !{i32 7, !"PIC Level", i32 2}
  58 !7 = !{!"clang version 6.0.0 (trunk 319058) (llvm/trunk 319066)"}
  59 !8 = distinct !DISubprogram(name: "x9", linkageName: "\01?x9@@YAXXZ", scope: !1, file: !1, line: 16, type: !9, isLocal: false, isDefinition: true, scopeLine: 16, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !2)
  60 !9 = !DISubroutineType(types: !10)
  61 !10 = !{null}
  62 !11 = !DILocalVariable(name: "a", scope: !12, file: !1, line: 8, type: !15)
  63 !12 = distinct !DISubprogram(name: "x5", linkageName: "\01?x5@@YA?AUx2@@XZ", scope: !1, file: !1, line: 7, type: !13, isLocal: false, isDefinition: true, scopeLine: 7, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !23)
  64 !13 = !DISubroutineType(types: !14)
  65 !14 = !{!15}
  66 !15 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "x2", file: !1, line: 2, size: 32, elements: !16, identifier: ".?AUx2@@")
  67 !16 = !{!17, !19}
  68 !17 = !DIDerivedType(tag: DW_TAG_member, name: "x3", scope: !15, file: !1, line: 4, baseType: !18, size: 32)
  69 !18 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
  70 !19 = !DISubprogram(name: "x2", scope: !15, file: !1, line: 3, type: !20, isLocal: false, isDefinition: false, scopeLine: 3, flags: DIFlagPrototyped, isOptimized: true)
  71 !20 = !DISubroutineType(types: !21)
  72 !21 = !{null, !22, !18}
  73 !22 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !15, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
  74 !23 = !{!11}
  75 !24 = !DILocation(line: 8, column: 6, scope: !12, inlinedAt: !25)
  76 !25 = distinct !DILocation(line: 13, column: 24, scope: !26, inlinedAt: !45)
  77 !26 = distinct !DILexicalBlock(scope: !27, file: !1, line: 13, column: 7)
  78 !27 = distinct !DISubprogram(name: "B", linkageName: "\01??0B@@QEAA@XZ", scope: !28, file: !1, line: 13, type: !39, isLocal: false, isDefinition: true, scopeLine: 13, flags: DIFlagPrototyped, isOptimized: true, unit: !0, declaration: !38, retainedNodes: !42)
  79 !28 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "B", file: !1, line: 12, size: 64, elements: !29, identifier: ".?AUB@@")
  80 !29 = !{!30, !38}
  81 !30 = !DIDerivedType(tag: DW_TAG_member, name: "x8", scope: !28, file: !1, line: 14, baseType: !31, size: 64)
  82 !31 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "A", file: !1, line: 1, size: 64, elements: !32, identifier: ".?AUA@@")
  83 !32 = !{!33}
  84 !33 = !DIDerivedType(tag: DW_TAG_member, name: "x1", scope: !31, file: !1, line: 1, baseType: !34)
  85 !34 = !DICompositeType(tag: DW_TAG_array_type, baseType: !35, elements: !36)
  86 !35 = !DIBasicType(name: "double", size: 64, encoding: DW_ATE_float)
  87 !36 = !{!37}
  88 !37 = !DISubrange(count: -1)
  89 !38 = !DISubprogram(name: "B", scope: !28, file: !1, line: 13, type: !39, isLocal: false, isDefinition: false, scopeLine: 13, flags: DIFlagPrototyped, isOptimized: true)
  90 !39 = !DISubroutineType(types: !40)
  91 !40 = !{null, !41}
  92 !41 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !28, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer)
  93 !42 = !{!43}
  94 !43 = !DILocalVariable(name: "this", arg: 1, scope: !27, type: !44, flags: DIFlagArtificial | DIFlagObjectPointer)
  95 !44 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !28, size: 64)
  96 !45 = distinct !DILocation(line: 16, column: 13, scope: !8)
  97 !46 = !DILocation(line: 8, column: 8, scope: !12, inlinedAt: !25)
  98 !47 = !{!48}
  99 !48 = distinct !{!48, !49, !"\01?x5@@YA?AUx2@@XZ: %agg.result"}
 100 !49 = distinct !{!49, !"\01?x5@@YA?AUx2@@XZ"}
 101 !50 = !DILocation(line: 3, column: 13, scope: !51, inlinedAt: !56)
 102 !51 = distinct !DISubprogram(name: "x2", linkageName: "\01??0x2@@QEAA@H@Z", scope: !15, file: !1, line: 3, type: !20, isLocal: false, isDefinition: true, scopeLine: 3, flags: DIFlagPrototyped, isOptimized: true, unit: !0, declaration: !19, retainedNodes: !52)
 103 !52 = !{!53, !54}
 104 !53 = !DILocalVariable(arg: 2, scope: !51, file: !1, line: 3, type: !18)
 105 !54 = !DILocalVariable(name: "this", arg: 1, scope: !51, type: !55, flags: DIFlagArtificial | DIFlagObjectPointer)
 106 !55 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !15, size: 64)
 107 !56 = distinct !DILocation(line: 8, column: 6, scope: !12, inlinedAt: !25)
 108 !57 = !{!58, !59, i64 0}
 109 !58 = !{!"?AUx2@@", !59, i64 0}
 110 !59 = !{!"int", !60, i64 0}
 111 !60 = !{!"omnipotent char", !61, i64 0}
 112 !61 = !{!"Simple C++ TBAA"}
 113 !62 = !DILocation(line: 16, column: 18, scope: !8)