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