HomePhabricator

[MachineVerifier] Improve checks of target instructions operands.

Authored by jonpa on Nov 1 2019, 2:14 AM.

Description

[MachineVerifier] Improve checks of target instructions operands.

While working with a patch for instruction selection, the splitting of a
large immediate ended up begin treated incorrectly by the backend. Where a
register operand should have been created, it instead became an immediate. To
my surprise the machine verifier failed to report this, which at the time
would have been helpful.

This patch improves the verifier so that it will report this type of error.

This patch XFAILs CodeGen/SPARC/fp128.ll, which has been reported at
https://bugs.llvm.org/show_bug.cgi?id=44091

Review: thegameg, arsenm, fhahn
https://reviews.llvm.org/D63973

Details

Committed
jonpaDec 3 2019, 1:20 AM
Parents
rG9091f06994f0: [NFC] Slightly improve wording in the comments
Branches
Unknown
Tags
Unknown