1# RUN: llc -mtriple=x86_64-unknown-unknown -mcpu=btver2 -run-pass=post-RA-sched -o - %s | FileCheck %s 2# RUN: llc -mtriple=x86_64-unknown-unknown -mcpu=btver2 -run-pass=post-RA-sched -o - %s -experimental-debug-variable-locations| FileCheck %s 3 4# Test that multiple DBG_VALUE's and DBG_PHIs following an instruction whose 5# register needs # to be changed during the post-RA scheduler pass are updated 6# correctly. 7 8# Test case was derived from the output from the following command and 9# the source code below. DBG_PHIs added manually later: 10# 11# clang -S -emit-llvm -target x86_64 -march=btver2 -O2 -g -o - <srcfile> | 12# llc -stop-before=post-RA-sched -o - 13# 14# Source code reduced from the original 8MB source file: 15# 16# struct a; 17# class b { 18# public: 19# a *c = ap; 20# unsigned *d() { return (unsigned *)c; } 21# a *ap; 22# }; 23# enum { e = 2 }; 24# template <typename f> f *g(f *h, f *i) { 25# long j = long(i), k = -!h; 26# return reinterpret_cast<f *>(long(h) | k & j); 27# } 28# class l { 29# public: 30# l(int); 31# int m; 32# }; 33# unsigned *n; 34# unsigned o; 35# class p { 36# public: 37# int aa(); 38# unsigned *q() { 39# n = r.d(); 40# return g(n, &o); 41# } 42# b r; 43# }; 44# class s : l { 45# public: 46# p t; 47# s(int h) : l(h), ab(t), ac(~0 << h) { ae(); } 48# p &ab; 49# int ac; 50# void ae() { 51# const unsigned *v; 52# const unsigned u = 0; 53# v = ab.q(); 54# const unsigned *x = g(v, &u); 55# int w = x[m] & ac; 56# while (w) { 57# int z = (ab.aa() - 1) / e; 58# if (m <= z) 59# return; 60# } 61# } 62# }; 63# class ad { 64# public: 65# ~ad() { 66# for (y();;) 67# ; 68# } 69# class y { 70# public: 71# y() : af(0) {} 72# s af; 73# }; 74# }; 75# class ag { 76# ad ah; 77# }; 78# enum ai {}; 79# class aj { 80# public: 81# aj(unsigned(ai)); 82# ag ak; 83# }; 84# struct al { 85# static unsigned am(ai); 86# }; 87# template <int> struct an : al { static aj ao; }; 88# template <> aj an<0>::ao(am); 89 90--- | 91 92 %class.s = type <{ %class.l, [4 x i8], %class.p, %class.p*, i32, [4 x i8] }> 93 %class.l = type { i32 } 94 %class.p = type { %class.b } 95 %class.b = type { %struct.a*, %struct.a* } 96 %struct.a = type opaque 97 98 @n = local_unnamed_addr global i32* null, align 8 99 @o = global i32 0, align 4 100 101 define linkonce_odr void @_ZN1sC2Ei(%class.s*, i32) unnamed_addr #0 align 2 !dbg !4 { 102 %3 = alloca i32, align 4 103 %4 = bitcast %class.s* %0 to %class.l* 104 tail call void @_ZN1lC2Ei(%class.l* %4, i32 %1) 105 %5 = getelementptr inbounds %class.s, %class.s* %0, i64 0, i32 2 106 tail call void @llvm.dbg.value(metadata %class.p* %5, i64 0, metadata !10, metadata !17), !dbg !18 107 tail call void @llvm.dbg.value(metadata %class.p* %5, i64 0, metadata !20, metadata !17), !dbg !27 108 %6 = getelementptr inbounds %class.s, %class.s* %0, i64 0, i32 2, i32 0, i32 1 109 %7 = bitcast %struct.a** %6 to i64* 110 %8 = load i64, i64* %7, align 8 111 %9 = bitcast %class.p* %5 to i64* 112 store i64 %8, i64* %9, align 8 113 %10 = getelementptr inbounds %class.s, %class.s* %0, i64 0, i32 3 114 store %class.p* %5, %class.p** %10, align 8 115 %11 = getelementptr inbounds %class.s, %class.s* %0, i64 0, i32 4 116 %12 = shl i32 -1, %1 117 store i32 %12, i32* %11, align 8 118 store i32 0, i32* %3, align 4 119 %13 = bitcast %class.p* %5 to i32** 120 %14 = load i32*, i32** %13, align 8 121 store i32* %14, i32** @n, align 8 122 %15 = icmp eq i32* %14, null 123 %16 = ptrtoint i32* %14 to i64 124 %17 = select i1 %15, i64 ptrtoint (i32* @o to i64), i64 0 125 %18 = or i64 %17, %16 126 tail call void @llvm.dbg.value(metadata i32* %3, i64 0, metadata !29, metadata !35), !dbg !36 127 tail call void @llvm.dbg.value(metadata i32* %3, i64 0, metadata !39, metadata !17), !dbg !44 128 %19 = ptrtoint i32* %3 to i64 129 call void @llvm.dbg.value(metadata i64 %19, i64 0, metadata !46, metadata !17), !dbg !48 130 %20 = icmp eq i64 %18, 0 131 %21 = select i1 %20, i64 %19, i64 0 132 %22 = or i64 %21, %18 133 %23 = inttoptr i64 %22 to i32* 134 %24 = bitcast %class.s* %0 to i32* 135 %25 = load i32, i32* %24, align 8 136 %26 = sext i32 %25 to i64 137 %27 = getelementptr inbounds i32, i32* %23, i64 %26 138 %28 = load i32, i32* %27, align 4 139 %29 = and i32 %12, %28 140 %30 = icmp eq i32 %29, 0 141 br i1 %30, label %47, label %31 142 143 ; <label>:31: ; preds = %2 144 %32 = bitcast %class.s* %0 to i32* 145 %33 = call i32 @_ZN1p2aaEv(%class.p* %5) 146 %34 = add nsw i32 %33, -1 147 %35 = sdiv i32 %34, 2 148 %36 = load i32, i32* %32, align 8 149 %37 = icmp sgt i32 %36, %35 150 br i1 %37, label %38, label %47 151 152 ; <label>:38: ; preds = %31 153 br label %39 154 155 ; <label>:39: ; preds = %39, %38 156 %40 = bitcast %class.s* %0 to i32* 157 %sunkaddr = ptrtoint %class.s* %0 to i64 158 %sunkaddr1 = add i64 %sunkaddr, 24 159 %sunkaddr2 = inttoptr i64 %sunkaddr1 to %class.p** 160 %41 = load %class.p*, %class.p** %sunkaddr2, align 8 161 %42 = call i32 @_ZN1p2aaEv(%class.p* %41) 162 %43 = add nsw i32 %42, -1 163 %44 = sdiv i32 %43, 2 164 %45 = load i32, i32* %40, align 8 165 %46 = icmp sgt i32 %45, %44 166 br i1 %46, label %39, label %47 167 168 ; <label>:47: ; preds = %39, %31, %2 169 ret void 170 } 171 172 declare void @_ZN1lC2Ei(%class.l*, i32) unnamed_addr #1 173 174 declare i32 @_ZN1p2aaEv(%class.p*) local_unnamed_addr #1 175 176 ; Function Attrs: nounwind readnone 177 declare void @llvm.dbg.value(metadata, i64, metadata, metadata) #2 178 179 !llvm.dbg.cu = !{!0} 180 !llvm.module.flags = !{!2, !3} 181 182 !0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !1, isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug) 183 !1 = !DIFile(filename: "test.cpp", directory: "") 184 !2 = !{i32 2, !"Dwarf Version", i32 4} 185 !3 = !{i32 2, !"Debug Info Version", i32 3} 186 !4 = distinct !DISubprogram(name: "s", linkageName: "_ZN1sC2Ei", scope: !5, file: !1, line: 32, type: !6, isLocal: false, isDefinition: true, scopeLine: 32, flags: DIFlagPrototyped, isOptimized: true, unit: !0) 187 !5 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "s", file: !1, line: 29, size: 320, identifier: "_ZTS1s") 188 !6 = !DISubroutineType(types: !7) 189 !7 = !{null, !8, !9} 190 !8 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !5, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer) 191 !9 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed) 192 !10 = !DILocalVariable(name: "this", arg: 1, scope: !11, type: !16, flags: DIFlagArtificial | DIFlagObjectPointer) 193 !11 = distinct !DISubprogram(name: "p", linkageName: "_ZN1pC2Ev", scope: !12, file: !1, line: 20, type: !13, isLocal: false, isDefinition: true, scopeLine: 20, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: true, unit: !0) 194 !12 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "p", file: !1, line: 20, size: 128, identifier: "_ZTS1p") 195 !13 = !DISubroutineType(types: !14) 196 !14 = !{null, !15} 197 !15 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !12, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer) 198 !16 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !12, size: 64) 199 !17 = !DIExpression() 200 !18 = !DILocation(line: 0, scope: !11, inlinedAt: !19) 201 !19 = distinct !DILocation(line: 32, column: 3, scope: !4) 202 !20 = !DILocalVariable(name: "this", arg: 1, scope: !21, type: !26, flags: DIFlagArtificial | DIFlagObjectPointer) 203 !21 = distinct !DISubprogram(name: "b", linkageName: "_ZN1bC2Ev", scope: !22, file: !1, line: 2, type: !23, isLocal: false, isDefinition: true, scopeLine: 2, flags: DIFlagArtificial | DIFlagPrototyped, isOptimized: true, unit: !0) 204 !22 = distinct !DICompositeType(tag: DW_TAG_class_type, name: "b", file: !1, line: 2, size: 128, identifier: "_ZTS1b") 205 !23 = !DISubroutineType(types: !24) 206 !24 = !{null, !25} 207 !25 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !22, size: 64, flags: DIFlagArtificial | DIFlagObjectPointer) 208 !26 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !22, size: 64) 209 !27 = !DILocation(line: 0, scope: !21, inlinedAt: !28) 210 !28 = distinct !DILocation(line: 20, column: 7, scope: !11, inlinedAt: !19) 211 !29 = !DILocalVariable(name: "u", scope: !30, file: !1, line: 37, type: !33) 212 !30 = distinct !DISubprogram(name: "ae", linkageName: "_ZN1s2aeEv", scope: !5, file: !1, line: 35, type: !31, isLocal: false, isDefinition: true, scopeLine: 35, flags: DIFlagPrototyped, isOptimized: true, unit: !0) 213 !31 = !DISubroutineType(types: !32) 214 !32 = !{null, !8} 215 !33 = !DIDerivedType(tag: DW_TAG_const_type, baseType: !34) 216 !34 = !DIBasicType(name: "unsigned int", size: 32, encoding: DW_ATE_unsigned) 217 !35 = !DIExpression(DW_OP_deref) 218 !36 = !DILocation(line: 37, column: 20, scope: !30, inlinedAt: !37) 219 !37 = distinct !DILocation(line: 32, column: 41, scope: !38) 220 !38 = distinct !DILexicalBlock(scope: !4, file: !1, line: 32, column: 39) 221 !39 = !DILocalVariable(name: "i", arg: 2, scope: !40, file: !1, line: 9, type: !43) 222 !40 = distinct !DISubprogram(name: "g<const unsigned int>", linkageName: "_Z1gIKjEPT_S2_S2_", scope: !1, file: !1, line: 9, type: !41, isLocal: false, isDefinition: true, scopeLine: 9, flags: DIFlagPrototyped, isOptimized: true, unit: !0) 223 !41 = !DISubroutineType(types: !42) 224 !42 = !{!43, !43, !43} 225 !43 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !33, size: 64) 226 !44 = !DILocation(line: 9, column: 37, scope: !40, inlinedAt: !45) 227 !45 = distinct !DILocation(line: 39, column: 25, scope: !30, inlinedAt: !37) 228 !46 = !DILocalVariable(name: "j", scope: !40, file: !1, line: 10, type: !47) 229 !47 = !DIBasicType(name: "long int", size: 64, encoding: DW_ATE_signed) 230 !48 = !DILocation(line: 10, column: 8, scope: !40, inlinedAt: !45) 231 232# CHECK: ![[I_VAR:[0-9]+]] = !DILocalVariable(name: "i", {{.*}}line: 9, {{.*}}) 233# CHECK: ![[I_LOC:[0-9]+]] = !DILocation(line: 9, column: 37, {{.*}}) 234# CHECK: ![[J_VAR:[0-9]+]] = !DILocalVariable(name: "j", {{.*}}line: 10, {{.*}}) 235# CHECK: ![[J_LOC:[0-9]+]] = !DILocation(line: 10, column: 8, {{.*}}) 236 237... 238--- 239name: _ZN1sC2Ei 240tracksRegLiveness: true 241liveins: 242 - { reg: '$rdi' } 243 - { reg: '$esi' } 244fixedStack: 245 - { id: 0, type: spill-slot, offset: -32, size: 8, alignment: 16, callee-saved-register: '$rbx' } 246 - { id: 1, type: spill-slot, offset: -24, size: 8, alignment: 8, callee-saved-register: '$r14' } 247 - { id: 2, type: spill-slot, offset: -16, size: 8, alignment: 16 } 248stack: 249 - { id: 0, offset: -36, size: 4, alignment: 4 } 250body: | 251 bb.0: 252 successors: %bb.3, %bb.2 253 liveins: $esi, $rdi, $r14, $rbx, $rbp 254 255 ; CHECK: [[REGISTER:\$r[a-z0-9]+]] = LEA64r {{\$r[a-z0-9]+}}, 1, $noreg, -20, $noreg 256 ; CHECK-NEXT: DBG_VALUE [[REGISTER]], $noreg, ![[J_VAR]], !DIExpression(), debug-location ![[J_LOC]] 257 ; CHECK-NEXT: DBG_VALUE [[REGISTER]], $noreg, ![[I_VAR]], !DIExpression(), debug-location ![[I_LOC]] 258 ; CHECK-NEXT: DBG_PHI [[REGISTER]], 0 259 ; CHECK-NEXT: DBG_PHI [[REGISTER]], 1 260 261 frame-setup PUSH64r killed $rbp, implicit-def $rsp, implicit $rsp 262 CFI_INSTRUCTION def_cfa_offset 16 263 CFI_INSTRUCTION offset $rbp, -16 264 $rbp = frame-setup MOV64rr $rsp 265 CFI_INSTRUCTION def_cfa_register $rbp 266 frame-setup PUSH64r killed $r14, implicit-def $rsp, implicit $rsp 267 frame-setup PUSH64r killed $rbx, implicit-def $rsp, implicit $rsp 268 $rsp = frame-setup SUB64ri8 $rsp, 16, implicit-def dead $eflags 269 CFI_INSTRUCTION offset $rbx, -32 270 CFI_INSTRUCTION offset $r14, -24 271 $r14d = MOV32rr $esi 272 $rbx = MOV64rr $rdi 273 CALL64pcrel32 @_ZN1lC2Ei, csr_64, implicit $rsp, implicit $rdi, implicit $esi, implicit-def $rsp 274 $rdi = LEA64r $rbx, 1, $noreg, 8, $noreg 275 DBG_VALUE $rdi, $noreg, !20, !17, debug-location !27 276 DBG_VALUE $rdi, $noreg, !10, !17, debug-location !18 277 $rax = MOV64rm $rbx, 1, $noreg, 16, $noreg :: (load (s64)) 278 MOV64mr $rbx, 1, $noreg, 8, $noreg, killed $rax :: (store (s64)) 279 MOV64mr $rbx, 1, $noreg, 24, $noreg, $rdi :: (store (s64)) 280 $eax = MOV32ri -1 281 $cl = MOV8rr $r14b, implicit killed $r14d 282 $eax = SHL32rCL killed $eax, implicit-def dead $eflags, implicit $cl 283 MOV32mr $rbx, 1, $noreg, 32, $noreg, $eax :: (store (s32), align 8) 284 MOV32mi $rbp, 1, $noreg, -20, $noreg, 0 :: (store (s32)) 285 $rcx = MOV64rm $rbx, 1, $noreg, 8, $noreg :: (load (s64)) 286 MOV64mr $rip, 1, $noreg, @n, $noreg, $rcx :: (store (s64)) 287 $edx = XOR32rr undef $edx, undef $edx, implicit-def dead $eflags, implicit-def $rdx 288 TEST64rr $rcx, $rcx, implicit-def $eflags 289 $esi = MOV32ri @o, implicit-def $rsi 290 $rsi = CMOV64rr killed $rsi, $rdx, 5, implicit killed $eflags 291 $rsi = OR64rr killed $rsi, killed $rcx, implicit-def $eflags 292 $rcx = LEA64r $rbp, 1, $noreg, -20, $noreg 293 DBG_VALUE $rcx, $noreg, !46, !17, debug-location !48 294 DBG_VALUE $rcx, $noreg, !39, !17, debug-location !44 295 DBG_PHI $rcx, 0 296 DBG_PHI $rcx, 1 297 DBG_VALUE $rbp, -20, !29, !17, debug-location !36 298 $rcx = CMOV64rr killed $rcx, killed $rdx, 5, implicit killed $eflags 299 $rcx = OR64rr killed $rcx, killed $rsi, implicit-def dead $eflags 300 $rdx = MOVSX64rm32 $rbx, 1, $noreg, 0, $noreg :: (load (s32), align 8) 301 DBG_INSTR_REF 1, 0, !46, !17, debug-location !48 302 DBG_INSTR_REF 2, 0, !39, !17, debug-location !44 303 TEST32mr killed $rcx, 4, killed $rdx, 0, $noreg, killed $eax, implicit-def $eflags :: (load (s32)) 304 JCC_1 %bb.2, 5, implicit $eflags 305 JMP_1 %bb.3 306 307 bb.1: 308 successors: %bb.2 309 liveins: $rbx, $rbp 310 311 $rdi = MOV64rm $rbx, 1, $noreg, 24, $noreg :: (load (s64)) 312 313 bb.2: 314 successors: %bb.1, %bb.3 315 liveins: $rbx, $rbp, $rsp, $rdi 316 317 CALL64pcrel32 @_ZN1p2aaEv, csr_64, implicit $rsp, implicit $rdi, implicit-def $rsp, implicit-def $eax 318 $eax = KILL $eax, implicit-def $rax 319 $ecx = LEA64_32r $rax, 1, $noreg, -1, $noreg, implicit-def $rcx 320 $ecx = SHR32ri $ecx, 31, implicit-def dead $eflags, implicit killed $rcx, implicit-def $rcx 321 $eax = LEA64_32r killed $rax, 1, killed $rcx, -1, $noreg 322 $eax = SAR32r1 killed $eax, implicit-def dead $eflags 323 CMP32mr $rbx, 1, $noreg, 0, $noreg, killed $eax, implicit-def $eflags :: (load (s32), align 8), (load (s32), align 8) 324 JCC_1 %bb.1, 15, implicit killed $eflags 325 326 bb.3: 327 liveins: $rbp 328 329 $rsp = ADD64ri8 $rsp, 16, implicit-def dead $eflags 330 $rbx = POP64r implicit-def $rsp, implicit $rsp 331 $r14 = POP64r implicit-def $rsp, implicit $rsp 332 $rbp = POP64r implicit-def $rsp, implicit $rsp 333 RETQ 334 335... 336