Bjorn Pettersson 32a3289434 [MachineVerifier] Relax checkLivenessAtDef regarding dead subreg defs
Summary:
Consider an instruction that has multiple defs of the same
vreg, but defining different subregs:
  %7.sub1:rc, dead %7.sub2:rc = inst

Calling checkLivenessAtDef for the live interval associated
with %7 incorrectly reported "live range continues after a
dead def". The live range for %7 has a dead def at the slot
index for "inst" even if the live range continues (given that
there are later uses of %7.sub1).

This patch adjusts MachineVerifier::checkLivenessAtDef
to allow dead subregister definitions, unless we are checking
a subrange (when tracking subregister liveness).

A limitation is that we do not detect the situation when the
live range continues past an instruction that defines the
full virtual register by multiple dead subreg defines.

I also removed some dead code related to physical register
in checkLivenessAtDef. Wwe only call that method for virtual
registers, so I added an assertion instead.

Reviewers: kparzysz

Reviewed By: kparzysz

Subscribers: llvm-commits

Differential Revision: https://reviews.llvm.org/D52237

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@342618 91177308-0d34-0410-b5e6-96231b3b80d8
2018-09-20 06:59:18 +00:00
..
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-26 17:53:48 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-06 19:15:58 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-06 19:15:58 +00:00
2017-10-18 18:07:07 +00:00
2018-03-12 14:01:28 +00:00
2018-03-06 19:15:58 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-06 19:07:21 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-06 19:15:58 +00:00
2018-03-06 19:15:58 +00:00
2018-03-06 19:15:58 +00:00
2018-03-06 19:15:58 +00:00
2018-03-06 19:15:58 +00:00
2018-03-12 14:01:28 +00:00
2018-03-06 19:15:58 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-06 19:15:58 +00:00
2018-03-12 14:01:28 +00:00
2018-03-06 19:15:58 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-06 19:15:58 +00:00
2018-03-06 19:15:58 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-06 19:15:58 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2017-10-18 18:07:07 +00:00
2018-06-26 18:44:05 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2017-11-22 20:43:00 +00:00
2018-03-12 14:01:28 +00:00
2018-09-07 13:36:21 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2017-10-18 18:07:07 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-19 19:03:18 +00:00
2018-03-12 14:01:28 +00:00
2015-10-16 20:38:54 +00:00
2015-10-16 20:38:54 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2015-10-16 19:43:56 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-26 17:53:48 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-26 17:53:48 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2015-10-16 20:38:54 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2017-10-18 18:07:07 +00:00
2017-10-18 18:07:07 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-26 17:53:48 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2017-10-18 18:07:07 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00
2018-03-12 14:01:28 +00:00