llvm/test/DebugInfo/COFF/pieces.ll

   1 ; RUN: llc < %s -experimental-debug-variable-locations=true | FileCheck %s --check-prefix=ASM
   2 ; RUN: llc < %s -filetype=obj -experimental-debug-variable-locations=true | llvm-readobj --codeview - | FileCheck %s --check-prefix=OBJ
   3
   4 ; Compile with -O1 as C
   5
   6 ; struct IntPair { int x, y; };
   7 ; struct PadRight { long a; int b; };
   8 ; struct PadLeft { int a; long b; };
   9 ; struct Nested { struct PadLeft a[2]; };
  10 ;
  11 ; extern int g(int r);
  12 ; extern int i;
  13 ; extern int n;
  14 ;
  15 ; int loop_csr() {
  16 ;   struct IntPair o = {0, 0};
  17 ;   for (i = 0; i < n; i++) {
  18 ;     o.x = g(o.x);
  19 ;     o.y = g(o.y);
  20 ;   }
  21 ;   return o.x + o.y;
  22 ; }
  23 ;
  24 ; int pad_right(struct PadRight o) {
  25 ;   return o.b;
  26 ; }
  27 ;
  28 ; int pad_left(struct PadLeft o) {
  29 ;   return o.a;
  30 ; }
  31 ;
  32 ; int nested(struct Nested o) {
  33 ;   struct PadLeft p = o.a[1];
  34 ;   return p.b;
  35 ; }
  36
  37 ; ASM-LABEL: loop_csr: # @loop_csr
  38 ; ASM:        #DEBUG_VALUE: loop_csr:o <- [DW_OP_LLVM_fragment 0 32] 0
  39 ; ASM:        #DEBUG_VALUE: loop_csr:o <- [DW_OP_LLVM_fragment 32 32] 0
  40 ; ASM: # %bb.2:                                 # %for.body.preheader
  41 ; ASM:         xorl    %edi, %edi
  42 ; ASM:         xorl    %esi, %esi
  43 ; ASM: [[oy_ox_start:\.Ltmp[0-9]+]]:
  44 ; ASM:         .p2align        4, 0x90
  45 ; ASM: .LBB0_3:                                # %for.body
  46 ; ASM:        #DEBUG_VALUE: loop_csr:o <- [DW_OP_LLVM_fragment 0 32] $edi
  47 ; ASM:        #DEBUG_VALUE: loop_csr:o <- [DW_OP_LLVM_fragment 32 32] $esi
  48 ; ASM:        .cv_loc 0 1 13 11               # t.c:13:11
  49 ; ASM:        movl    %edi, %ecx
  50 ; ASM:        callq   g
  51 ; ASM:        movl    %eax, %edi
  52 ; ASM: [[ox_start:\.Ltmp[0-9]+]]:
  53 ; ASM:         #DEBUG_VALUE: loop_csr:o <- [DW_OP_LLVM_fragment 0 32] $edi
  54 ; ASM:         .cv_loc 0 1 14 11               # t.c:14:11
  55 ; ASM:         movl    %esi, %ecx
  56 ; ASM:         callq   g
  57 ; ASM:         movl    %eax, %esi
  58 ; ASM: [[oy_start:\.Ltmp[0-9]+]]:
  59 ; ASM:         #DEBUG_VALUE: loop_csr:o <- [DW_OP_LLVM_fragment 32 32] $esi
  60 ; ASM:         cmpl    n(%rip), %eax
  61 ; ASM:         jl      .LBB0_3
  62 ; ASM: [[loopskip_start:\.Ltmp[0-9]+]]:
  63 ; ASM:         #DEBUG_VALUE: loop_csr:o <- [DW_OP_LLVM_fragment 0 32] 0
  64 ; ASM:         xorl    %esi, %esi
  65 ; ASM:         xorl    %edi, %edi
  66 ; ASM: [[oy_end:\.Ltmp[0-9]+]]:
  67 ; ASM:         addl    %edi, %esi
  68 ; ASM:         movl    %esi, %eax
  69
  70 ; XXX FIXME: the debug value line after loopskip_start should be repeated
  71 ; because both fields of 'o' are zero flowing into this block. However, it
  72 ; appears livedebugvalues doesn't account for fragments.
  73
  74 ; ASM-LABEL: pad_right: # @pad_right
  75 ; ASM:         movq    %rcx, %rax
  76 ; ASM: [[pad_right_tmp:\.Ltmp[0-9]+]]:
  77 ; ASM:         #DEBUG_VALUE: pad_right:o <- [DW_OP_LLVM_fragment 32 32] $eax
  78 ; ASM:         retq
  79 ; ASM: [[pad_right_end:\.Lfunc_end1]]:
  80
  81
  82 ; ASM-LABEL: pad_left: # @pad_left
  83 ; ASM:         .cv_loc 2 1 24 3                # t.c:24:3
  84 ; ASM:         movq    %rcx, %rax
  85 ; ASM: [[pad_left_tmp:\.Ltmp[0-9]+]]:
  86 ; ASM:         #DEBUG_VALUE: pad_left:o <- [DW_OP_LLVM_fragment 0 32] $ecx
  87 ; ASM:         retq
  88 ; ASM: [[pad_left_end:\.Lfunc_end2]]:
  89
  90
  91 ; ASM-LABEL: nested: # @nested
  92 ; ASM:         #DEBUG_VALUE: nested:o <- [DW_OP_deref] [$rcx+0]
  93 ; ASM:         movl    12(%rcx), %eax
  94 ; ASM: [[p_start:\.Ltmp[0-9]+]]:
  95 ; ASM:         #DEBUG_VALUE: nested:p <- [DW_OP_LLVM_fragment 32 32] $eax
  96 ; ASM:         retq
  97
  98 ; ASM-LABEL: bitpiece_spill: # @bitpiece_spill
  99 ; ASM:         #DEBUG_VALUE: bitpiece_spill:o <- [DW_OP_LLVM_fragment 0 32] 0
 100 ; ASM:         xorl    %ecx, %ecx
 101 ; ASM:         callq   g
 102 ; ASM:         movl    %eax, [[offset_o_x:[0-9]+]](%rsp)          # 4-byte Spill
 103 ; ASM: [[spill_o_x_start:\.Ltmp[0-9]+]]:
 104 ; ASM:         #DEBUG_VALUE: bitpiece_spill:o <- [DW_OP_plus_uconst [[offset_o_x]], DW_OP_deref, DW_OP_LLVM_fragment 32 32] $rsp\r
 105 ; ASM:         #APP
 106 ; ASM:         #NO_APP
 107 ; ASM:         movl    [[offset_o_x]](%rsp), %eax          # 4-byte Reload
 108 ; ASM:         retq
 109 ; ASM: [[spill_o_x_end_func:\.Ltmp[0-9]+]]:
 110 ; ASM-NEXT: .Lfunc_end4:
 111
 112
 113 ; ASM-LABEL:  .short  4423                    # Record kind: S_GPROC32_ID
 114 ; ASM:        .asciz  "loop_csr"              # Function name
 115 ; ASM:        .short    4359                    # Record kind: S_CONSTANT
 116 ; ASM:          .long   4099                      # Type
 117 ; ASM:        .byte     0x00, 0x00                # Value
 118 ; ASM:        .asciz  "o"
 119
 120
 121 ; OBJ-LABEL: GlobalProcIdSym {
 122 ; OBJ:         Kind: S_GPROC32_ID (0x1147)
 123 ; OBJ:         DisplayName: loop_csr
 124 ; OBJ:       }
 125 ; OBJ:       ConstantSym {
 126 ; OBJ:         Kind: S_CONSTANT (0x1107)
 127 ; OBJ:         Type: IntPair (0x1003)
 128 ; OBJ:         Value: 0
 129 ; OBJ:         Name: o
 130 ; OBJ:       }
 131 ; OBJ:       ProcEnd {
 132 ; OBJ:       }
 133
 134 ; ASM-LABEL:  .short  4423                    # Record kind: S_GPROC32_ID
 135 ; ASM:        .asciz  "pad_right"             # Function name
 136 ; ASM:        .short  4414                    # Record kind: S_LOCAL
 137 ; ASM:        .asciz  "o"
 138 ; ASM:        .cv_def_range    [[pad_right_tmp]] [[pad_right_end]], subfield_reg, 17, 4
 139
 140 ; OBJ-LABEL: GlobalProcIdSym {
 141 ; OBJ:         Kind: S_GPROC32_ID (0x1147)
 142 ; OBJ:         DisplayName: pad_right
 143 ; OBJ:       }
 144 ; OBJ:       LocalSym {
 145 ; OBJ:         VarName: o
 146 ; OBJ:       }
 147 ; OBJ:       DefRangeSubfieldRegisterSym {
 148 ; OBJ:         Register: EAX (0x11)
 149 ; OBJ:         MayHaveNoName: 0
 150 ; OBJ:         OffsetInParent: 4
 151 ; OBJ:         LocalVariableAddrRange {
 152 ; OBJ:         }
 153 ; OBJ:       }
 154 ; OBJ:       ProcEnd {
 155 ; OBJ:       }
 156
 157 ; ASM-LABEL:  .short  4423                    # Record kind: S_GPROC32_ID
 158 ; ASM:        .asciz  "pad_left"              # Function name
 159 ; ASM:        .short  4414                    # Record kind: S_LOCAL
 160 ; ASM:        .asciz  "o"
 161 ; ASM:        .cv_def_range    [[pad_left_tmp]] [[pad_left_end]], subfield_reg, 18, 0
 162
 163 ; OBJ-LABEL: GlobalProcIdSym {
 164 ; OBJ:         Kind: S_GPROC32_ID (0x1147)
 165 ; OBJ:         DisplayName: pad_left
 166 ; OBJ:       }
 167 ; OBJ:       LocalSym {
 168 ; OBJ:         VarName: o
 169 ; OBJ:       }
 170 ; OBJ:       DefRangeSubfieldRegisterSym {
 171 ; OBJ:         Register: ECX (0x12)
 172 ; OBJ:         MayHaveNoName: 0
 173 ; OBJ:         OffsetInParent: 0
 174 ; OBJ:         LocalVariableAddrRange {
 175 ; OBJ:         }
 176 ; OBJ:       }
 177 ; OBJ:       ProcEnd {
 178 ; OBJ:       }
 179
 180 ; ASM-LABEL:  .short  4423                    # Record kind: S_GPROC32_ID
 181 ; ASM:        .asciz  "nested"                # Function name
 182 ; ASM:        .short  4414                    # Record kind: S_LOCAL
 183 ; ASM:        .asciz  "o"
 184 ; ASM:        .cv_def_range    .Lfunc_begin3 .Lfunc_end3, reg_rel, 330, 0, 0
 185 ; ASM:        .short  4414                    # Record kind: S_LOCAL
 186 ; ASM:        .asciz  "p"
 187 ; ASM:        .cv_def_range    [[p_start]] .Lfunc_end3, subfield_reg, 17, 4
 188
 189 ; OBJ-LABEL: GlobalProcIdSym {
 190 ; OBJ:         Kind: S_GPROC32_ID (0x1147)
 191 ; OBJ:         DisplayName: nested
 192 ; OBJ:       }
 193 ; OBJ:       LocalSym {
 194 ; OBJ:         Type: Nested&
 195 ; OBJ:         VarName: o
 196 ; OBJ:       }
 197 ; OBJ:       DefRangeRegisterRelSym {
 198 ; OBJ:         BaseRegister: RCX (0x14A)
 199 ; OBJ:         HasSpilledUDTMember: No
 200 ; OBJ:         OffsetInParent: 0
 201 ; OBJ:         BasePointerOffset: 0
 202 ; OBJ:         LocalVariableAddrRange {
 203 ; OBJ:         }
 204 ; OBJ:       }
 205 ; OBJ:       LocalSym {
 206 ; OBJ:         VarName: p
 207 ; OBJ:       }
 208 ; OBJ:       DefRangeSubfieldRegisterSym {
 209 ; OBJ:         Register: EAX (0x11)
 210 ; OBJ:         MayHaveNoName: 0
 211 ; OBJ:         OffsetInParent: 4
 212 ; OBJ:         LocalVariableAddrRange {
 213 ; OBJ:         }
 214 ; OBJ:       }
 215 ; OBJ:       ProcEnd {
 216 ; OBJ:       }
 217
 218
 219 ; ASM-LABEL:  .short  4423                    # Record kind: S_GPROC32_ID
 220 ; ASM:        .asciz  "bitpiece_spill"        # Function name
 221 ; ASM:          .short  4359                    # Record kind: S_CONSTANT
 222 ; ASM:          .long   4099                      # Type
 223 ; ASM:          .byte   0x00, 0x00                # Value
 224 ; ASM:        .asciz  "o"                     # Name
 225
 226 ; OBJ-LABEL: GlobalProcIdSym {
 227 ; OBJ:         Kind: S_GPROC32_ID (0x1147)
 228 ; OBJ:         DisplayName: bitpiece_spill
 229 ; OBJ:       }
 230 ; OBJ:       ConstantSym {
 231 ; OBJ:         Kind: S_CONSTANT (0x1107)
 232 ; OBJ:         Type: IntPair (0x1003)
 233 ; OBJ:         Value: 0
 234 ; OBJ:         Name: o
 235 ; OBJ:       }
 236 ; OBJ:       ProcEnd {
 237 ; OBJ:       }
 238
 239
 240
 241 ; ModuleID = 't.c'
 242 source_filename = "t.c"
 243 target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
 244 target triple = "x86_64-pc-windows-msvc19.0.24210"
 245
 246 %struct.IntPair = type { i32, i32 }
 247 %struct.PadRight = type { i32, i32 }
 248 %struct.PadLeft = type { i32, i32 }
 249 %struct.Nested = type { [2 x %struct.PadLeft] }
 250
 251 @i = external local_unnamed_addr global i32, align 4
 252 @n = external local_unnamed_addr global i32, align 4
 253
 254 ; Function Attrs: nounwind uwtable
 255 define i32 @loop_csr() local_unnamed_addr #0 !dbg !7 {
 256 entry:
 257   tail call void @llvm.dbg.declare(metadata ptr undef, metadata !12, metadata !17), !dbg !18
 258   tail call void @llvm.dbg.value(metadata i32 0, metadata !12, metadata !19), !dbg !18
 259   tail call void @llvm.dbg.value(metadata i32 0, metadata !12, metadata !20), !dbg !18
 260   tail call void @llvm.dbg.value(metadata i32 0, metadata !12, metadata !19), !dbg !18
 261   tail call void @llvm.dbg.value(metadata i32 0, metadata !12, metadata !20), !dbg !18
 262   store i32 0, ptr @i, align 4, !dbg !21, !tbaa !24
 263   %0 = load i32, ptr @n, align 4, !dbg !28, !tbaa !24
 264   %cmp9 = icmp sgt i32 %0, 0, !dbg !29
 265   br i1 %cmp9, label %for.body, label %for.end, !dbg !30
 266
 267 for.body:                                         ; preds = %entry, %for.body
 268   %o.sroa.0.011 = phi i32 [ %call, %for.body ], [ 0, %entry ]
 269   %o.sroa.5.010 = phi i32 [ %call2, %for.body ], [ 0, %entry ]
 270   tail call void @llvm.dbg.value(metadata i32 %o.sroa.0.011, metadata !12, metadata !19), !dbg !18
 271   tail call void @llvm.dbg.value(metadata i32 %o.sroa.5.010, metadata !12, metadata !20), !dbg !18
 272   %call = tail call i32 @g(i32 %o.sroa.0.011) #5, !dbg !31
 273   tail call void @llvm.dbg.value(metadata i32 %call, metadata !12, metadata !19), !dbg !18
 274   %call2 = tail call i32 @g(i32 %o.sroa.5.010) #5, !dbg !33
 275   tail call void @llvm.dbg.value(metadata i32 %call2, metadata !12, metadata !20), !dbg !18
 276   %1 = load i32, ptr @i, align 4, !dbg !21, !tbaa !24
 277   %inc = add nsw i32 %1, 1, !dbg !21
 278   store i32 %inc, ptr @i, align 4, !dbg !21, !tbaa !24
 279   %2 = load i32, ptr @n, align 4, !dbg !28, !tbaa !24
 280   %cmp = icmp slt i32 %inc, %2, !dbg !29
 281   br i1 %cmp, label %for.body, label %for.end, !dbg !30, !llvm.loop !34
 282
 283 for.end:                                          ; preds = %for.body, %entry
 284   %o.sroa.5.0.lcssa = phi i32 [ 0, %entry ], [ %call2, %for.body ]
 285   %o.sroa.0.0.lcssa = phi i32 [ 0, %entry ], [ %call, %for.body ]
 286   %add = add nsw i32 %o.sroa.0.0.lcssa, %o.sroa.5.0.lcssa, !dbg !36
 287   ret i32 %add, !dbg !37
 288 }
 289
 290 ; Function Attrs: nounwind readnone
 291 declare void @llvm.dbg.declare(metadata, metadata, metadata) #1
 292
 293 declare i32 @g(i32) local_unnamed_addr #2
 294
 295 ; Function Attrs: nounwind readnone uwtable
 296 define i32 @pad_right(i64 %o.coerce) local_unnamed_addr #3 !dbg !38 {
 297 entry:
 298   %o.sroa.1.0.extract.shift = lshr i64 %o.coerce, 32
 299   %o.sroa.1.0.extract.trunc = trunc i64 %o.sroa.1.0.extract.shift to i32
 300   tail call void @llvm.dbg.value(metadata i32 %o.sroa.1.0.extract.trunc, metadata !47, metadata !20), !dbg !48
 301   tail call void @llvm.dbg.declare(metadata ptr undef, metadata !47, metadata !17), !dbg !48
 302   ret i32 %o.sroa.1.0.extract.trunc, !dbg !49
 303 }
 304
 305 ; Function Attrs: nounwind readnone uwtable
 306 define i32 @pad_left(i64 %o.coerce) local_unnamed_addr #3 !dbg !50 {
 307 entry:
 308   %o.sroa.0.0.extract.trunc = trunc i64 %o.coerce to i32
 309   tail call void @llvm.dbg.value(metadata i32 %o.sroa.0.0.extract.trunc, metadata !58, metadata !19), !dbg !59
 310   tail call void @llvm.dbg.declare(metadata ptr undef, metadata !58, metadata !17), !dbg !59
 311   ret i32 %o.sroa.0.0.extract.trunc, !dbg !60
 312 }
 313
 314 ; Function Attrs: nounwind readonly uwtable
 315 define i32 @nested(ptr nocapture readonly %o) local_unnamed_addr #4 !dbg !61 {
 316 entry:
 317   tail call void @llvm.dbg.declare(metadata ptr %o, metadata !71, metadata !73), !dbg !74
 318   tail call void @llvm.dbg.declare(metadata ptr undef, metadata !72, metadata !17), !dbg !75
 319   %p.sroa.3.0..sroa_idx2 = getelementptr inbounds %struct.Nested, ptr %o, i64 0, i32 0, i64 1, i32 1, !dbg !76
 320   %p.sroa.3.0.copyload = load i32, ptr %p.sroa.3.0..sroa_idx2, align 4, !dbg !76
 321   tail call void @llvm.dbg.value(metadata i32 %p.sroa.3.0.copyload, metadata !72, metadata !20), !dbg !75
 322   ret i32 %p.sroa.3.0.copyload, !dbg !77
 323 }
 324
 325 ; Function Attrs: nounwind uwtable
 326 define i32 @bitpiece_spill() local_unnamed_addr #0 !dbg !78 {
 327 entry:
 328   tail call void @llvm.dbg.declare(metadata ptr undef, metadata !80, metadata !17), !dbg !81
 329   tail call void @llvm.dbg.value(metadata i32 0, metadata !80, metadata !19), !dbg !81
 330   %call = tail call i32 @g(i32 0) #5, !dbg !82
 331   tail call void @llvm.dbg.value(metadata i32 %call, metadata !80, metadata !20), !dbg !81
 332   tail call void asm sideeffect "", "~{rax},~{rbx},~{rcx},~{rdx},~{rsi},~{rdi},~{rbp},~{r8},~{r9},~{r10},~{r11},~{r12},~{r13},~{r14},~{r15},~{dirflag},~{fpsr},~{flags}"() #5, !dbg !83, !srcloc !84
 333   ret i32 %call, !dbg !85
 334 }
 335
 336 ; Function Attrs: nounwind readnone
 337 declare void @llvm.dbg.value(metadata, metadata, metadata) #1
 338
 339 attributes #0 = { nounwind uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 340 attributes #1 = { nounwind readnone }
 341 attributes #2 = { "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 342 attributes #3 = { nounwind readnone uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 343 attributes #4 = { nounwind readonly uwtable "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="x86-64" "target-features"="+fxsr,+mmx,+sse,+sse2,+x87" "unsafe-fp-math"="false" "use-soft-float"="false" }
 344 attributes #5 = { nounwind }
 345
 346 !llvm.dbg.cu = !{!0}
 347 !llvm.module.flags = !{!3, !4, !5}
 348 !llvm.ident = !{!6}
 349
 350 !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !1, producer: "clang version 4.0.0 (trunk 283332) (llvm/trunk 283355)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2)
 351 !1 = !DIFile(filename: "t.c", directory: "C:\5Csrc\5Cllvm\5Cbuild")
 352 !2 = !{}
 353 !3 = !{i32 2, !"CodeView", i32 1}
 354 !4 = !{i32 2, !"Debug Info Version", i32 3}
 355 !5 = !{i32 1, !"PIC Level", i32 2}
 356 !6 = !{!"clang version 4.0.0 (trunk 283332) (llvm/trunk 283355)"}
 357 !7 = distinct !DISubprogram(name: "loop_csr", scope: !1, file: !1, line: 10, type: !8, isLocal: false, isDefinition: true, scopeLine: 10, isOptimized: true, unit: !0, retainedNodes: !11)
 358 !8 = !DISubroutineType(types: !9)
 359 !9 = !{!10}
 360 !10 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
 361 !11 = !{!12}
 362 !12 = !DILocalVariable(name: "o", scope: !7, file: !1, line: 11, type: !13)
 363 !13 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "IntPair", file: !1, line: 1, size: 64, align: 32, elements: !14)
 364 !14 = !{!15, !16}
 365 !15 = !DIDerivedType(tag: DW_TAG_member, name: "x", scope: !13, file: !1, line: 1, baseType: !10, size: 32, align: 32)
 366 !16 = !DIDerivedType(tag: DW_TAG_member, name: "y", scope: !13, file: !1, line: 1, baseType: !10, size: 32, align: 32, offset: 32)
 367 !17 = !DIExpression()
 368 !18 = !DILocation(line: 11, column: 18, scope: !7)
 369 !19 = !DIExpression(DW_OP_LLVM_fragment, 0, 32)
 370 !20 = !DIExpression(DW_OP_LLVM_fragment, 32, 32)
 371 !21 = !DILocation(line: 12, column: 23, scope: !22)
 372 !22 = distinct !DILexicalBlock(scope: !23, file: !1, line: 12, column: 3)
 373 !23 = distinct !DILexicalBlock(scope: !7, file: !1, line: 12, column: 3)
 374 !24 = !{!25, !25, i64 0}
 375 !25 = !{!"int", !26, i64 0}
 376 !26 = !{!"omnipotent char", !27, i64 0}
 377 !27 = !{!"Simple C/C++ TBAA"}
 378 !28 = !DILocation(line: 12, column: 19, scope: !22)
 379 !29 = !DILocation(line: 12, column: 17, scope: !22)
 380 !30 = !DILocation(line: 12, column: 3, scope: !23)
 381 !31 = !DILocation(line: 13, column: 11, scope: !32)
 382 !32 = distinct !DILexicalBlock(scope: !22, file: !1, line: 12, column: 27)
 383 !33 = !DILocation(line: 14, column: 11, scope: !32)
 384 !34 = distinct !{!34, !35}
 385 !35 = !DILocation(line: 12, column: 3, scope: !7)
 386 !36 = !DILocation(line: 16, column: 14, scope: !7)
 387 !37 = !DILocation(line: 16, column: 3, scope: !7)
 388 !38 = distinct !DISubprogram(name: "pad_right", scope: !1, file: !1, line: 19, type: !39, isLocal: false, isDefinition: true, scopeLine: 19, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !46)
 389 !39 = !DISubroutineType(types: !40)
 390 !40 = !{!10, !41}
 391 !41 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "PadRight", file: !1, line: 2, size: 64, align: 32, elements: !42)
 392 !42 = !{!43, !45}
 393 !43 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !41, file: !1, line: 2, baseType: !44, size: 32, align: 32)
 394 !44 = !DIBasicType(name: "long int", size: 32, align: 32, encoding: DW_ATE_signed)
 395 !45 = !DIDerivedType(tag: DW_TAG_member, name: "b", scope: !41, file: !1, line: 2, baseType: !10, size: 32, align: 32, offset: 32)
 396 !46 = !{!47}
 397 !47 = !DILocalVariable(name: "o", arg: 1, scope: !38, file: !1, line: 19, type: !41)
 398 !48 = !DILocation(line: 19, column: 31, scope: !38)
 399 !49 = !DILocation(line: 20, column: 3, scope: !38)
 400 !50 = distinct !DISubprogram(name: "pad_left", scope: !1, file: !1, line: 23, type: !51, isLocal: false, isDefinition: true, scopeLine: 23, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !57)
 401 !51 = !DISubroutineType(types: !52)
 402 !52 = !{!10, !53}
 403 !53 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "PadLeft", file: !1, line: 3, size: 64, align: 32, elements: !54)
 404 !54 = !{!55, !56}
 405 !55 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !53, file: !1, line: 3, baseType: !10, size: 32, align: 32)
 406 !56 = !DIDerivedType(tag: DW_TAG_member, name: "b", scope: !53, file: !1, line: 3, baseType: !44, size: 32, align: 32, offset: 32)
 407 !57 = !{!58}
 408 !58 = !DILocalVariable(name: "o", arg: 1, scope: !50, file: !1, line: 23, type: !53)
 409 !59 = !DILocation(line: 23, column: 29, scope: !50)
 410 !60 = !DILocation(line: 24, column: 3, scope: !50)
 411 !61 = distinct !DISubprogram(name: "nested", scope: !1, file: !1, line: 27, type: !62, isLocal: false, isDefinition: true, scopeLine: 27, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !70)
 412 !62 = !DISubroutineType(types: !63)
 413 !63 = !{!10, !64}
 414 !64 = distinct !DICompositeType(tag: DW_TAG_structure_type, name: "Nested", file: !1, line: 4, size: 128, align: 32, elements: !65)
 415 !65 = !{!66}
 416 !66 = !DIDerivedType(tag: DW_TAG_member, name: "a", scope: !64, file: !1, line: 4, baseType: !67, size: 128, align: 32)
 417 !67 = !DICompositeType(tag: DW_TAG_array_type, baseType: !53, size: 128, align: 32, elements: !68)
 418 !68 = !{!69}
 419 !69 = !DISubrange(count: 2)
 420 !70 = !{!71, !72}
 421 !71 = !DILocalVariable(name: "o", arg: 1, scope: !61, file: !1, line: 27, type: !64)
 422 !72 = !DILocalVariable(name: "p", scope: !61, file: !1, line: 28, type: !53)
 423 !73 = !DIExpression(DW_OP_deref)
 424 !74 = !DILocation(line: 27, column: 26, scope: !61)
 425 !75 = !DILocation(line: 28, column: 18, scope: !61)
 426 !76 = !DILocation(line: 28, column: 22, scope: !61)
 427 !77 = !DILocation(line: 29, column: 3, scope: !61)
 428 !78 = distinct !DISubprogram(name: "bitpiece_spill", scope: !1, file: !1, line: 32, type: !8, isLocal: false, isDefinition: true, scopeLine: 32, isOptimized: true, unit: !0, retainedNodes: !79)
 429 !79 = !{!80}
 430 !80 = !DILocalVariable(name: "o", scope: !78, file: !1, line: 33, type: !13)
 431 !81 = !DILocation(line: 33, column: 18, scope: !78)
 432 !82 = !DILocation(line: 33, column: 26, scope: !78)
 433 !83 = !DILocation(line: 35, column: 3, scope: !78)
 434 !84 = !{i32 603}
 435 !85 = !DILocation(line: 37, column: 3, scope: !78)