<div dir="ltr">Forgot to mention, we don't have specific timings yet, but we're seeing files take >15min to compile that were previously taking a minute or two -- so it's a pretty large increase.</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Jul 8, 2019 at 4:24 PM Jordan Rupprecht <<a href="mailto:rupprecht@google.com">rupprecht@google.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Hi Jeremy,<div>We're seeing some compilation timeouts as a result of this patch. Mind if we revert this until we can get a public reproducer w/ timings showing the regression?</div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Jun 27, 2019 at 3:20 AM Jeremy Morse via llvm-commits <<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Author: jmorse<br>
Date: Thu Jun 27 03:20:27 2019<br>
New Revision: 364515<br>
<br>
URL: <a href="http://llvm.org/viewvc/llvm-project?rev=364515&view=rev" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project?rev=364515&view=rev</a><br>
Log:<br>
[DebugInfo] Avoid register coalesing unsoundly changing DBG_VALUE locations<br>
<br>
Once MIR code leaves SSA form and the liveness of a vreg is considered,<br>
DBG_VALUE insts are able to refer to non-live vregs, because their<br>
debug-uses do not contribute to liveness. This non-liveness becomes<br>
problematic for optimizations like register coalescing, as they can't<br>
``see'' the debug uses in the liveness analyses.<br>
<br>
As a result registers get coalesced regardless of debug uses, and that can<br>
lead to invalid variable locations containing unexpected values. In the<br>
added test case, the first vreg operand of ADD32rr is merged with various<br>
copies of the vreg (great for performance), but a DBG_VALUE of the<br>
unmodified operand is blindly updated to the modified operand. This changes<br>
what value the variable will appear to have in a debugger.<br>
<br>
Fix this by changing any DBG_VALUE whose operand will be resurrected by<br>
register coalescing to be a $noreg DBG_VALUE, i.e. give the variable no<br>
location. This is an overapproximation as some coalesced locations are<br>
safe (others are not) -- an extra domination analysis would be required to<br>
work out which, and it would be better if we just don't generate non-live<br>
DBG_VALUEs.<br>
<br>
This fixes PR40010.<br>
<br>
Differential Revision: <a href="https://reviews.llvm.org/D56151" rel="noreferrer" target="_blank">https://reviews.llvm.org/D56151</a><br>
<br>
Added:<br>
  Â  llvm/trunk/test/DebugInfo/MIR/X86/regcoalescing-clears-dead-dbgvals.mir<br>
Modified:<br>
  Â  llvm/trunk/lib/CodeGen/RegisterCoalescer.cpp<br>
<br>
Modified: llvm/trunk/lib/CodeGen/RegisterCoalescer.cpp<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/RegisterCoalescer.cpp?rev=364515&r1=364514&r2=364515&view=diff" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/CodeGen/RegisterCoalescer.cpp?rev=364515&r1=364514&r2=364515&view=diff</a><br>
==============================================================================<br>
--- llvm/trunk/lib/CodeGen/RegisterCoalescer.cpp (original)<br>
+++ llvm/trunk/lib/CodeGen/RegisterCoalescer.cpp Thu Jun 27 03:20:27 2019<br>
@@ -265,6 +265,14 @@ namespace {<br>
  Â  Â /// Return true if a copy involving a physreg should be joined.<br>
  Â  Â bool canJoinPhys(const CoalescerPair &CP);<br>
<br>
+  Â  /// When merging SrcReg and DstReg together, and the operand of the<br>
+  Â  /// specified DBG_VALUE refers to one of them, would the def that a<br>
+  Â  /// DBG_VALUE refers to change? This can happen when the DBG_VALUEs<br>
+  Â  /// operand is dead and it's merged into a different live value,<br>
+  Â  /// meaning the DBG_VALUE operands must be updated.<br>
+  Â  bool mergingChangesDbgValue(MachineInstr *DbgV, unsigned SrcReg,<br>
+  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  unsigned DstReg) const;<br>
+<br>
  Â  Â /// Replace all defs and uses of SrcReg to DstReg and update the subregister<br>
  Â  Â /// number if it is not zero. If DstReg is a physical register and the<br>
  Â  Â /// existing subregister number of the def / use being updated is not zero,<br>
@@ -1641,8 +1649,59 @@ void RegisterCoalescer::addUndefFlag(con<br>
  Â }<br>
 }<br>
<br>
-void RegisterCoalescer::updateRegDefsUses(unsigned SrcReg,<br>
-  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  unsigned DstReg,<br>
+bool RegisterCoalescer::mergingChangesDbgValue(MachineInstr *DbgV,<br>
+  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â unsigned SrcReg,<br>
+  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â unsigned DstReg) const {<br>
+  assert(DbgV->isDebugValue());<br>
+  assert(DbgV->getParent() && "DbgValue with no parent");<br>
+  assert(DbgV->getOperand(0).isReg());<br>
+  unsigned DbgReg = DbgV->getOperand(0).getReg();<br>
+<br>
+  SlotIndex MIIdx = LIS->getSlotIndexes()->getIndexAfter(*DbgV);<br>
+  const LiveInterval &SrcLI = LIS->getInterval(SrcReg);<br>
+<br>
+  // Is the source register live across the DBG_VALUE?<br>
+  bool SrcLive = false;<br>
+  auto LII = SrcLI.find(MIIdx);<br>
+  if (LII != SrcLI.end() && LII->contains(MIIdx))<br>
+  Â  SrcLive = true;<br>
+<br>
+  bool DstLive = false;<br>
+  // Destination register can be physical or virtual.<br>
+  if (TargetRegisterInfo::isVirtualRegister(DstReg)) {<br>
+  Â  // Is DstReg live across the DBG_VALUE?<br>
+  Â  const LiveInterval &DstLI = LIS->getInterval(DstReg);<br>
+  Â  LII = DstLI.find(MIIdx);<br>
+  Â  DstLive = (LII != DstLI.end() && LII->contains(MIIdx));<br>
+  } else if (MRI->isConstantPhysReg(DstReg)) {<br>
+  Â  // Constant physical registers are always live.<br>
+  Â  DstLive = true;<br>
+  } else {<br>
+  Â  // For physical registers, see if any register unit containing DstReg<br>
+  Â  // is live across the DBG_VALUE.<br>
+  Â  for (MCRegUnitIterator UI(DstReg, TRI); UI.isValid(); ++UI) {<br>
+  Â  Â  const LiveRange &DstLI = LIS->getRegUnit(*UI);<br>
+  Â  Â  auto DstLII = DstLI.find(MIIdx);<br>
+  Â  Â  if (DstLII != DstLI.end() && DstLII->contains(MIIdx)) {<br>
+  Â  Â  Â  DstLive = true;<br>
+  Â  Â  Â  break;<br>
+  Â  Â  }<br>
+  Â  }<br>
+  }<br>
+<br>
+  // We now know whether src and dst are live. Best case: we have a DBG_VALUE<br>
+  // of a live register, coalesing won't change its value.<br>
+  if ((DstLive && DbgReg == DstReg) || (SrcLive && DbgReg == SrcReg))<br>
+  Â  return false;<br>
+  // If neither register are live, no damage done.<br>
+  if (!DstLive && !SrcLive)<br>
+  Â  return false;<br>
+  // Otherwise, we will end up resurrecting the DBG_VALUE with a different<br>
+  // register, which is unsafe.<br>
+  return true;<br>
+}<br>
+<br>
+void RegisterCoalescer::updateRegDefsUses(unsigned SrcReg, unsigned DstReg,<br>
  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â unsigned SubIdx) {<br>
  Â bool DstIsPhys = TargetRegisterInfo::isPhysicalRegister(DstReg);<br>
  Â LiveInterval *DstInt = DstIsPhys ? nullptr : &LIS->getInterval(DstReg);<br>
@@ -1854,6 +1913,20 @@ bool RegisterCoalescer::joinCopy(Machine<br>
  Â ShrinkMask = LaneBitmask::getNone();<br>
  Â ShrinkMainRange = false;<br>
<br>
+  // Although we can update the DBG_VALUEs to the merged register, as debug uses<br>
+  // do not contribute to liveness it might not be a sound update. Collect<br>
+  // DBG_VALUEs that would change value were this interval merging to succeed.<br>
+  SmallVector<MachineInstr *, 4> DbgValuesToChange;<br>
+  auto CheckForDbgUser = [this, &CP, &DbgValuesToChange](MachineInstr &MI) {<br>
+  Â  if (MI.isDebugValue() && MI.getOperand(0).isReg() &&<br>
+  Â  Â  Â  mergingChangesDbgValue(&MI, CP.getSrcReg(), CP.getDstReg()))<br>
+  Â  Â  DbgValuesToChange.push_back(&MI);<br>
+  };<br>
+  for (auto &RegIt : MRI->reg_instructions(CP.getSrcReg()))<br>
+  Â  CheckForDbgUser(RegIt);<br>
+  for (auto &RegIt : MRI->reg_instructions(CP.getDstReg()))<br>
+  Â  CheckForDbgUser(RegIt);<br>
+<br>
  Â // Okay, attempt to join these two intervals.  On failure, this returns false.<br>
  Â // Otherwise, if one of the intervals being joined is a physreg, this method<br>
  Â // always canonicalizes DstInt to be it.  The output "SrcInt" will not have<br>
@@ -1922,6 +1995,16 @@ bool RegisterCoalescer::joinCopy(Machine<br>
  Â  Â updateRegDefsUses(CP.getDstReg(), CP.getDstReg(), CP.getDstIdx());<br>
  Â updateRegDefsUses(CP.getSrcReg(), CP.getDstReg(), CP.getSrcIdx());<br>
<br>
+  // The updates to these DBG_VALUEs are not sound -- mark them undef.<br>
+  // FIXME: further analysis might recover them, this is the minimal sound<br>
+  // solution.<br>
+  for (MachineInstr *MI : DbgValuesToChange) {<br>
+  Â  assert(MI->getOperand(0).isReg());<br>
+  Â  LLVM_DEBUG(dbgs() << "Update of " << MI->getOperand(0) << " would be "<br>
+  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  << "unsound, setting undef\n");<br>
+  Â  MI->getOperand(0).setReg(0);<br>
+  }<br>
+<br>
  Â // Shrink subregister ranges if necessary.<br>
  Â if (ShrinkMask.any()) {<br>
  Â  Â LiveInterval &LI = LIS->getInterval(CP.getDstReg());<br>
<br>
Added: llvm/trunk/test/DebugInfo/MIR/X86/regcoalescing-clears-dead-dbgvals.mir<br>
URL: <a href="http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/MIR/X86/regcoalescing-clears-dead-dbgvals.mir?rev=364515&view=auto" rel="noreferrer" target="_blank">http://llvm.org/viewvc/llvm-project/llvm/trunk/test/DebugInfo/MIR/X86/regcoalescing-clears-dead-dbgvals.mir?rev=364515&view=auto</a><br>
==============================================================================<br>
--- llvm/trunk/test/DebugInfo/MIR/X86/regcoalescing-clears-dead-dbgvals.mir (added)<br>
+++ llvm/trunk/test/DebugInfo/MIR/X86/regcoalescing-clears-dead-dbgvals.mir Thu Jun 27 03:20:27 2019<br>
@@ -0,0 +1,243 @@<br>
+# RUN: llc %s -o - -run-pass=simple-register-coalescing | FileCheck %s<br>
+# PR40010: DBG_VALUEs do not contribute to the liveness of virtual registers,<br>
+# and the register coalescer would merge new live values on top of DBG_VALUEs,<br>
+# leading to them presenting new (wrong) values to the debugger. Test that<br>
+# when out of liveness, coalescing will mark DBG_VALUEs in non-live locations<br>
+# as undef.<br>
+--- |<br>
+  ; ModuleID = './test.ll'<br>
+  source_filename = "./test.ll"<br>
+  target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"<br>
+<br>
+  ; Function Attrs: nounwind readnone speculatable<br>
+  declare void @llvm.dbg.value(metadata, metadata, metadata) #0<br>
+<br>
+  ; Original IR source here:<br>
+  define i32 @test(i32* %pin) {<br>
+  entry:<br>
+  Â  br label %start.test1<br>
+<br>
+  start.test1:  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â ; preds = %start, %entry<br>
+  Â  %foo = phi i32 [ 0, %entry ], [ %bar, %start.test1 ]<br>
+  Â  %baz = load i32, i32* %pin, align 1<br>
+  Â  %qux = xor i32 %baz, 1234<br>
+  Â  %bar = add i32 %qux, %foo<br>
+  Â  call void @llvm.dbg.value(metadata i32 %foo, metadata !3, metadata !DIExpression()), !dbg !5<br>
+  Â  %cmp = icmp ugt i32 %bar, 1000000<br>
+  Â  br i1 %cmp, label %leave, label %start.test1<br>
+<br>
+  leave:  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  Â  ; preds = %start<br>
+  Â  ret i32 %bar<br>
+  }<br>
+<br>
+  ; Stubs to appease the MIR parser<br>
+  define i32 @test2(i32* %pin) {<br>
+  entry:<br>
+  Â  ret i32 0<br>
+  start.test2:<br>
+  Â  ret i32 0<br>
+  leave:<br>
+  Â  ret i32 0<br>
+  }<br>
+<br>
+  define i32 @test3(i32* %pin) {<br>
+  entry:<br>
+  Â  ret i32 0<br>
+  start.test3:<br>
+  Â  ret i32 0<br>
+  leave:<br>
+  Â  ret i32 0<br>
+  }<br>
+<br>
+  define i32 @test4(i32* %pin) {<br>
+  entry:<br>
+  Â  ret i32 0<br>
+  start.test4:<br>
+  Â  ret i32 0<br>
+  leave:<br>
+  Â  ret i32 0<br>
+  }<br>
+<br>
+  ; Function Attrs: nounwind<br>
+  declare void @llvm.stackprotector(i8*, i8**) #1<br>
+<br>
+  attributes #0 = { nounwind readnone speculatable }<br>
+  attributes #1 = { nounwind }<br>
+<br>
+  !llvm.module.flags = !{!0}<br>
+  !<a href="http://llvm.dbg.cu" rel="noreferrer" target="_blank">llvm.dbg.cu</a> = !{!1}<br>
+<br>
+  !0 = !{i32 2, !"Debug Info Version", i32 3}<br>
+  !1 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !2, producer: "beards", isOptimized: true, runtimeVersion: 4, emissionKind: FullDebug)<br>
+  !2 = !DIFile(filename: "bees.cpp", directory: "")<br>
+  !3 = !DILocalVariable(name: "bees", scope: !4)<br>
+  !4 = distinct !DISubprogram(name: "nope", scope: !1, file: !2, line: 1, spFlags: DISPFlagDefinition, unit: !1)<br>
+  !5 = !DILocation(line: 0, scope: !4)<br>
+<br>
+...<br>
+---<br>
+name:  Â  Â  Â  Â  Â  test<br>
+tracksRegLiveness: true<br>
+body:  Â  Â  Â  Â  Â  Â |<br>
+  bb.0.entry:<br>
+  Â  successors: %bb.1(0x80000000)<br>
+  Â  liveins: $rdi<br>
+<br>
+  Â  %2:gr64 = COPY killed $rdi<br>
+  Â  %3:gr32 = MOV32r0 implicit-def dead $eflags<br>
+  Â  %4:gr32 = MOV32ri 1234<br>
+  Â  %7:gr32 = COPY killed %3<br>
+<br>
+  bb.1.start.test1:<br>
+  Â  successors: %bb.2(0x04000000), %bb.1(0x7c000000)<br>
+<br>
+  Â  ; CHECK-LABEL: name: test<br>
+  Â  ;<br>
+  Â  ; We currently expect %1 and %0 to merge into %7<br>
+  Â  ;<br>
+  Â  ; CHECK: %[[REG1:[0-9]+]]:gr32 = MOV32rm<br>
+  Â  ; CHECK-NEXT: %[[REG2:[0-9]+]]:gr32 = XOR32rr %[[REG1]]<br>
+  Â  ; CHECK-NEXT: %[[REG3:[0-9]+]]:gr32 = ADD32rr %[[REG3]], %[[REG2]]<br>
+  Â  ; CHECK-NEXT: DBG_VALUE $noreg<br>
+<br>
+  Â  %0:gr32 = COPY killed %7<br>
+  Â  %8:gr32 = MOV32rm %2, 1, $noreg, 0, $noreg :: (load 4 from %ir.pin, align 1)<br>
+  Â  %5:gr32 = COPY killed %8<br>
+  Â  %5:gr32 = XOR32rr %5, %4, implicit-def dead $eflags<br>
+  Â  %1:gr32 = COPY killed %0<br>
+  Â  %1:gr32 = ADD32rr %1, killed %5, implicit-def dead $eflags<br>
+  Â  DBG_VALUE %0, $noreg, !3, !DIExpression(), debug-location !5<br>
+  Â  CMP32ri %1, 1000001, implicit-def $eflags<br>
+  Â  %7:gr32 = COPY %1<br>
+  Â  JCC_1 %bb.1, 2, implicit killed $eflags<br>
+  Â  JMP_1 %bb.2<br>
+<br>
+  bb.2.leave:<br>
+  Â  $eax = COPY killed %1<br>
+  Â  RET 0, killed $eax<br>
+<br>
+...<br>
+---<br>
+name:  Â  Â  Â  Â  Â  test2<br>
+tracksRegLiveness: true<br>
+body:  Â  Â  Â  Â  Â  Â |<br>
+  bb.0.entry:<br>
+  Â  successors: %bb.1(0x80000000)<br>
+  Â  liveins: $rdi<br>
+<br>
+  Â  %2:gr64 = COPY killed $rdi<br>
+  Â  %3:gr32 = MOV32r0 implicit-def dead $eflags<br>
+  Â  %4:gr32 = MOV32ri 1234<br>
+  Â  %7:gr32 = COPY killed %3<br>
+<br>
+  bb.1.start.test2:<br>
+  Â  successors: %bb.2(0x04000000), %bb.1(0x7c000000)<br>
+<br>
+  Â  ; CHECK-LABEL: name: test2<br>
+  Â  ;<br>
+  Â  ; %0 should be merged into %7, but as %0 is live at this location the<br>
+  Â  ; DBG_VALUE should be preserved and point at the operand of ADD32rr.<br>
+  Â  ;<br>
+  Â  ; CHECK: %[[REG11:[0-9]+]]:gr32 = MOV32rm<br>
+  Â  ; CHECK-NEXT: %[[REG12:[0-9]+]]:gr32 = XOR32rr %[[REG11]]<br>
+  Â  ; CHECK-NEXT: DBG_VALUE %[[REG13:[0-9]+]]<br>
+  Â  ; CHECK-NEXT: %[[REG13]]:gr32 = ADD32rr %[[REG13]], %[[REG12]]<br>
+<br>
+  Â  %0:gr32 = COPY killed %7<br>
+  Â  %8:gr32 = MOV32rm %2, 1, $noreg, 0, $noreg :: (load 4 from %ir.pin, align 1)<br>
+  Â  %5:gr32 = COPY killed %8<br>
+  Â  %5:gr32 = XOR32rr %5, %4, implicit-def dead $eflags<br>
+  Â  DBG_VALUE %0, $noreg, !3, !DIExpression(), debug-location !5<br>
+  Â  %1:gr32 = COPY killed %0<br>
+  Â  %1:gr32 = ADD32rr %1, killed %5, implicit-def dead $eflags<br>
+  Â  CMP32ri %1, 1000001, implicit-def $eflags<br>
+  Â  %7:gr32 = COPY %1<br>
+  Â  JCC_1 %bb.1, 2, implicit killed $eflags<br>
+  Â  JMP_1 %bb.2<br>
+<br>
+  bb.2.leave:<br>
+  Â  $eax = COPY killed %1<br>
+  Â  RET 0, killed $eax<br>
+<br>
+...<br>
+---<br>
+name:  Â  Â  Â  Â  Â  test3<br>
+tracksRegLiveness: true<br>
+body:  Â  Â  Â  Â  Â  Â |<br>
+  bb.0.entry:<br>
+  Â  successors: %bb.1(0x80000000)<br>
+  Â  liveins: $rdi<br>
+<br>
+  Â  %2:gr64 = COPY killed $rdi<br>
+  Â  %3:gr32 = MOV32r0 implicit-def dead $eflags<br>
+  Â  %4:gr32 = MOV32ri 1234<br>
+  Â  %7:gr32 = COPY killed %3<br>
+<br>
+  bb.1.start.test3:<br>
+  Â  successors: %bb.2(0x04000000), %bb.1(0x7c000000)<br>
+<br>
+  Â  ; CHECK-LABEL: name: test3<br>
+  Â  ;<br>
+  Â  ; This is a use-before-def, merging new registers into %0 could unsoundly<br>
+  Â  ; make it live again, on merge mark it undef.<br>
+  Â  ;<br>
+  Â  ; CHECK: DBG_VALUE $noreg<br>
+<br>
+  Â  DBG_VALUE %0, $noreg, !3, !DIExpression(), debug-location !5<br>
+  Â  %0:gr32 = COPY killed %7<br>
+  Â  %8:gr32 = MOV32rm %2, 1, $noreg, 0, $noreg :: (load 4 from %ir.pin, align 1)<br>
+  Â  %5:gr32 = COPY killed %8<br>
+  Â  %5:gr32 = XOR32rr %5, %4, implicit-def dead $eflags<br>
+  Â  %1:gr32 = COPY killed %0<br>
+  Â  %1:gr32 = ADD32rr %1, killed %5, implicit-def dead $eflags<br>
+  Â  CMP32ri %1, 1000001, implicit-def $eflags<br>
+  Â  %7:gr32 = COPY %1<br>
+  Â  JCC_1 %bb.1, 2, implicit killed $eflags<br>
+  Â  JMP_1 %bb.2<br>
+<br>
+  bb.2.leave:<br>
+  Â  $eax = COPY killed %1<br>
+  Â  RET 0, killed $eax<br>
+<br>
+...<br>
+---<br>
+name:  Â  Â  Â  Â  Â  test4<br>
+tracksRegLiveness: true<br>
+body:  Â  Â  Â  Â  Â  Â |<br>
+  bb.0.entry:<br>
+  Â  successors: %bb.1(0x80000000)<br>
+  Â  liveins: $rdi<br>
+<br>
+  Â  %2:gr64 = COPY killed $rdi<br>
+  Â  %3:gr32 = MOV32r0 implicit-def dead $eflags<br>
+  Â  %4:gr32 = MOV32ri 1234<br>
+  Â  %7:gr32 = COPY killed %3<br>
+<br>
+  bb.1.start.test4:<br>
+  Â  successors: %bb.2(0x04000000), %bb.1(0x7c000000)<br>
+<br>
+  Â  ; CHECK-LABEL: name: test4<br>
+  Â  ;<br>
+  Â  ; Using a dead register, even if we coalesce it to the right value, should<br>
+  Â  ; be marked undef. The coalescer can't prove it's correct without<br>
+  Â  ; considering control flow in the general case.<br>
+  Â  ;<br>
+  Â  ; CHECK: DBG_VALUE $noreg<br>
+<br>
+  Â  %0:gr32 = COPY killed %7<br>
+  Â  DBG_VALUE %7, $noreg, !3, !DIExpression(), debug-location !5<br>
+  Â  %8:gr32 = MOV32rm %2, 1, $noreg, 0, $noreg :: (load 4 from %ir.pin, align 1)<br>
+  Â  %5:gr32 = COPY killed %8<br>
+  Â  %5:gr32 = XOR32rr %5, %4, implicit-def dead $eflags<br>
+  Â  %1:gr32 = COPY killed %0<br>
+  Â  %1:gr32 = ADD32rr %1, killed %5, implicit-def dead $eflags<br>
+  Â  CMP32ri %1, 1000001, implicit-def $eflags<br>
+  Â  %7:gr32 = COPY %1<br>
+  Â  JCC_1 %bb.1, 2, implicit killed $eflags<br>
+  Â  JMP_1 %bb.2<br>
+<br>
+  bb.2.leave:<br>
+  Â  $eax = COPY killed %1<br>
+  Â  RET 0, killed $eax<br>
+<br>
+...<br>
<br>
<br>
_______________________________________________<br>
llvm-commits mailing list<br>
<a href="mailto:llvm-commits@lists.llvm.org" target="_blank">llvm-commits@lists.llvm.org</a><br>
<a href="https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits" rel="noreferrer" target="_blank">https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-commits</a><br>
</blockquote></div>
</blockquote></div>