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