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