test/DebugInfo/COFF/pieces.ll

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