214 lines · plain
1# RUN: llc -run-pass=block-placement %s -o - | FileCheck %s2 3--- |4 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"5 target triple = "x86_64-unknown-linux-gnu"6 7 define void @_Z3fn1v() !dbg !6 {8 entry:9 %d = alloca i8, align 110 br i1 1, label %for.cond.cleanup, label %for.body11 12 for.cond.cleanup:13 ret void14 15 for.body:16 br i1 1, label %for.cond.cleanup, label %for.body.117 18 for.body.1:19 br i1 1, label %for.cond.cleanup, label %for.body.220 21 for.body.2:22 br i1 1, label %for.cond.cleanup, label %for.body.323 24 for.body.3:25 br i1 1, label %for.cond.cleanup, label %for.body.426 27 for.body.4:28 br i1 1, label %for.cond.cleanup, label %for.body.529 30 for.body.5:31 br i1 1, label %for.cond.cleanup, label %for.body.632 33 for.body.6:34 br i1 1, label %for.cond.cleanup, label %for.body.735 36 for.body.7:37 br i1 1, label %for.cond.cleanup, label %for.body.838 39 for.body.8:40 br i1 1, label %for.cond.cleanup, label %for.body.941 42 for.body.9:43 br i1 1, label %for.cond.cleanup, label %for.body.1044 45 for.body.10:46 br i1 1, label %for.cond.cleanup, label %for.body.1147 48 for.body.11:49 %d.0.d.0..12 = load volatile i8, ptr %d, align 150 call void @llvm.dbg.value(metadata i8 %d.0.d.0..12, metadata !16, metadata !DIExpression()), !dbg !1951 br label %for.cond.cleanup52 }53 54 declare void @llvm.dbg.value(metadata, metadata, metadata)55 56 !llvm.dbg.cu = !{!0}57 !llvm.module.flags = !{!3, !4, !5}58 59 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, producer: "clang version 7.0.0 (trunk 326606)", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !2, globals: !2)60 !1 = !DIFile(filename: "repro.cpp", directory: "/home/mdavis/bugs/bz-189869")61 !2 = !{}62 !3 = !{i32 2, !"Dwarf Version", i32 4}63 !4 = !{i32 2, !"Debug Info Version", i32 3}64 !5 = !{i32 1, !"wchar_size", i32 4}65 !6 = distinct !DISubprogram(name: "fn1", linkageName: "_Z3fn1v", scope: !7, file: !7, line: 4, type: !8, isLocal: false, isDefinition: true, scopeLine: 4, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !15)66 !7 = !DIFile(filename: "./repro.cpp", directory: "/home/mdavis/bugs/bz-189869")67 !8 = !DISubroutineType(types: !9)68 !9 = !{}69 !15 = !{!16}70 !16 = !DILocalVariable(name: "d", scope: !6, file: !7, line: 6, type: !17)71 !17 = !DIDerivedType(tag: DW_TAG_volatile_type, baseType: !18)72 !18 = !DIBasicType(name: "char", size: 8, encoding: DW_ATE_signed_char)73 !19 = !DILocation(line: 6, column: 17, scope: !6)74 75...76---77# CHECK: name: _Z3fn1v78# CHECK: bb.10.for.body.979# CHECK: renamable $al80# CHECK-NEXT: TEST8rr killed renamable $al81# CHECK-NEXT: JCC_182# CHECK-NOT: $al = IMPLICIT_DEF83# CHECK: bb.12.for.body.1084 85name: _Z3fn1v86alignment: 1687tracksRegLiveness: true88constants: 89body: |90 bb.0.entry:91 successors: %bb.1, %bb.492 liveins: $rdi, $rbp, $r15, $r14, $r13, $r12, $rbx93 94 renamable $al = MOV8ri 195 TEST8rr renamable $al, renamable $al, implicit-def $eflags96 JCC_1 %bb.4, 5, implicit killed $eflags97 98 bb.1.for.cond.cleanup:99 successors: %bb.3, %bb.2100 liveins: $ecx, $rdi101 102 renamable $eax = MOV32rm $rsp, 1, $noreg, -16, $noreg 103 CMP32rm killed renamable $eax, $rip, 1, $noreg, $noreg, $noreg, implicit-def $eflags 104 JCC_1 %bb.3, 6, implicit $eflags105 106 bb.2:107 successors: %bb.3108 liveins: $ebp, $ebx, $edx, $esi, $rdi, $r8d, $r9d, $r10d, $r11d, $r12d, $r13d, $r14d, $r15d109 110 bb.3.for.cond.cleanup:111 liveins: $rdi, $xmm3, $xmm4, $xmm5, $xmm6, $xmm7, $xmm9, $xmm13, $xmm14112 RET64113 114 bb.4.for.body:115 successors: %bb.1, %bb.5116 liveins: $al, $rdi117 118 renamable $ecx = XOR32rr undef $ecx, undef $ecx, implicit-def dead $eflags119 TEST8rr killed renamable $al, renamable $al, implicit-def $eflags120 JCC_1 %bb.1, 5, implicit $eflags121 122 bb.5.for.body.1:123 successors: %bb.1, %bb.6124 liveins: $ecx, $rdi125 126 renamable $al = MOV8ri 1127 TEST8rr killed renamable $al, renamable $al, implicit-def $eflags128 JCC_1 %bb.1, 5, implicit $eflags129 130 bb.6.for.body.2:131 successors: %bb.1, %bb.7132 liveins: $ecx, $eflags, $rdi133 134 JCC_1 %bb.1, 5, implicit $eflags135 136 bb.7.for.body.3:137 successors: %bb.1, %bb.8138 liveins: $ecx, $rdi139 140 renamable $al = MOV8ri 1141 TEST8rr killed renamable $al, renamable $al, implicit-def $eflags142 JCC_1 %bb.1, 5, implicit $eflags143 144 bb.8.for.body.4:145 successors: %bb.1, %bb.9146 liveins: $ecx, $eflags, $rdi147 148 JCC_1 %bb.1, 5, implicit $eflags149 150 bb.9.for.body.5:151 successors: %bb.1, %bb.10152 liveins: $ecx, $rdi153 154 renamable $al = MOV8ri 1155 TEST8rr killed renamable $al, renamable $al, implicit-def $eflags156 JCC_1 %bb.1, 5, implicit $eflags157 158 bb.10.for.body.6:159 successors: %bb.1, %bb.11160 liveins: $ecx, $eflags, $rdi161 162 JCC_1 %bb.1, 5, implicit $eflags163 164 bb.11.for.body.7:165 successors: %bb.1, %bb.12166 liveins: $ecx, $rdi167 168 renamable $al = MOV8ri 1169 TEST8rr killed renamable $al, renamable $al, implicit-def $eflags170 JCC_1 %bb.1, 5, implicit $eflags171 172 bb.12.for.body.8:173 successors: %bb.1, %bb.13174 liveins: $ecx, $eflags, $rdi175 176 JCC_1 %bb.1, 5, implicit $eflags177 178 bb.13.for.body.9:179 successors: %bb.14, %bb.15180 liveins: $rdi181 182 renamable $al = MOV8ri 1183 TEST8rr killed renamable $al, renamable $al, implicit-def $eflags184 JCC_1 %bb.15, 4, implicit $eflags185 186 bb.14:187 successors: %bb.1188 liveins: $rdi189 190 renamable $ecx = XOR32rr undef $ecx, undef $ecx, implicit-def dead $eflags191 JMP_1 %bb.1192 193 bb.15.for.body.10:194 successors: %bb.16, %bb.17195 liveins: $eflags, $rdi196 197 JCC_1 %bb.17, 4, implicit killed $eflags198 199 bb.16:200 successors: %bb.1201 liveins: $rdi202 203 JMP_1 %bb.1204 205 bb.17.for.body.11:206 successors: %bb.1207 liveins: $rdi208 209 dead renamable $al = MOV8rm $rsp, 1, $noreg, -121, $noreg 210 DBG_VALUE $al, $noreg, !16, !DIExpression(), debug-location !19211 renamable $ecx = XOR32rr undef $ecx, undef $ecx, implicit-def dead $eflags212 JMP_1 %bb.1213...214