This is an archive of the discontinued LLVM Phabricator instance.

[TwoAddressInstruction] Remove ad hoc machine verification
ClosedPublic

Authored by foad on Oct 12 2021, 1:21 AM.

Details

Summary

With the -early-live-intervals command line flag,
TwoAddressInstructionPass::runOnMachineFunction would call
MachineFunction::verify before returning to check the live intervals.
But there was not much benefit to doing this since -verify-machineinstrs
and LLVM_ENABLE_EXPENSIVE_CHECKS provide a more general way of
scheduling machine verification after every pass.

Also it caused problems on targets like Lanai which are marked as "not
machine verifier clean", since verification would fail for known
target-specific problems which are nothing to do with LiveIntervals.

Diff Detail

Event Timeline

foad created this revision.Oct 12 2021, 1:21 AM
foad requested review of this revision.Oct 12 2021, 1:21 AM
Herald added a project: Restricted Project. · View Herald TranscriptOct 12 2021, 1:21 AM
MatzeB accepted this revision.Oct 12 2021, 8:07 AM

LGTM

This revision is now accepted and ready to land.Oct 12 2021, 8:07 AM
This revision was automatically updated to reflect the committed changes.