Mikael Holmen 9b4c058bb3 [MachineVerifier] Add check that tied physregs aren't different. ...

Summary: Added MachineVerifier code to check register ties more thoroughly, especially so that physical registers that are tied are the same. This may help e.g. when creating MIR files.

Original patch by Jesper Antonsson

Reviewers: stoklund, sanjoy, qcolombet

Reviewed By: qcolombet

Subscribers: qcolombet, llvm-commits

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

llvm-svn: 307259

2017-07-06 13:18:21 +00:00

..

auto-successor.mir

…

basic-block-liveins.mir

…

basic-block-not-at-start-of-line-error.mir

…

block-address-operands.mir

…

branch-probabilities.mir

…

callee-saved-info.mir

[Improve CodeGen Testing] This patch renables MIRPrinter print fields which have value equal to its default.

2017-06-06 08:16:19 +00:00

cfi-def-cfa-offset.mir

…

cfi-def-cfa-register.mir

…

cfi-offset.mir

…

constant-pool-item-redefinition-error.mir

…

constant-pool.mir

…

constant-value-error.mir

…

dead-register-flag.mir

…

def-register-already-tied-error.mir

…

duplicate-memory-operand-flag.mir

…

duplicate-register-flag-error.mir

…

dynamic-regmask.ll

…

early-clobber-register-flag.mir

…

empty0.mir

CodeGen: Refactor MIR parsing

2017-06-06 00:44:35 +00:00

empty1.mir

CodeGen: Refactor MIR parsing

2017-06-06 00:44:35 +00:00

empty2.mir

CodeGen: Refactor MIR parsing

2017-06-06 00:44:35 +00:00

expected-align-in-memory-operand.mir

…

expected-alignment-after-align-in-memory-operand.mir

…

expected-basic-block-at-start-of-body.mir

…

expected-block-reference-in-blockaddress.mir

…

expected-comma-after-cfi-register.mir

…

expected-comma-after-memory-operand.mir

…

expected-different-implicit-operand.mir

…

expected-different-implicit-register-flag.mir

…

expected-function-reference-after-blockaddress.mir

…

expected-global-value-after-blockaddress.mir

…

expected-integer-after-offset-sign.mir

…

expected-integer-after-tied-def.mir

…

expected-integer-in-successor-weight.mir

…

expected-load-or-store-in-memory-operand.mir

…

expected-machine-operand.mir

…

expected-metadata-node-after-debug-location.mir

…

expected-metadata-node-after-exclaim.mir

…

expected-metadata-node-in-stack-object.mir

…

expected-named-register-in-allocation-hint.mir

…

expected-named-register-in-callee-saved-register.mir

…

expected-named-register-in-functions-livein.mir

…

expected-named-register-livein.mir

…

expected-newline-at-end-of-list.mir

…

expected-number-after-bb.mir

…

expected-offset-after-cfi-operand.mir

…

expected-pointer-value-in-memory-operand.mir

…

expected-positive-alignment-after-align.mir

…

expected-register-after-cfi-operand.mir

…

expected-register-after-flags.mir

…

expected-size-integer-after-memory-operation.mir

…

expected-stack-object.mir

…

expected-subregister-after-colon.mir

…

expected-target-flag-name.mir

…

expected-tied-def-after-lparen.mir

…

expected-value-in-memory-operand.mir

…

expected-virtual-register-in-functions-livein.mir

…

external-symbol-operands.mir

…

fixed-stack-memory-operands.mir

…

fixed-stack-object-redefinition-error.mir

…

fixed-stack-objects.mir

[Improve CodeGen Testing] This patch renables MIRPrinter print fields which have value equal to its default.

2017-06-06 08:16:19 +00:00

frame-info-save-restore-points.mir

Add extra operand to CALLSEQ_START to keep frame part set up previously

2017-05-09 13:35:13 +00:00

frame-info-stack-references.mir

…

frame-setup-instruction-flag.mir

…

function-liveins.mir

…

generic-instr-type.mir

[Improve CodeGen Testing] This patch renables MIRPrinter print fields which have value equal to its default.

2017-06-06 08:16:19 +00:00

global-value-operands.mir

…

immediate-operands.mir

…

implicit-register-flag.mir

…

inline-asm-registers.mir

…

inline-asm.mir

MIRPrinter: Avoid assert() when printing empty INLINEASM strings.

2017-06-06 19:00:58 +00:00

instructions-debug-location.mir

…

invalid-constant-pool-item.mir

…

invalid-metadata-node-type.mir

…

invalid-target-flag-name.mir

…

invalid-tied-def-index-error.mir

…

jump-table-info.mir

…

jump-table-redefinition-error.mir

…

killed-register-flag.mir

…

large-cfi-offset-number-error.mir

…

large-immediate-operand-error.mir

…

large-index-number-error.mir

…

large-offset-number-error.mir

…

large-size-in-memory-operand-error.mir

…

lit.local.cfg

…

liveout-register-mask.mir

…

machine-basic-block-operands.mir

…

machine-instructions.mir

…

machine-verifier.mir

…

memory-operands.mir

…

metadata-operands.mir

…

missing-closing-quote.mir

…

missing-comma.mir

…

missing-implicit-operand.mir

…

named-registers.mir

…

newline-handling.mir

…

null-register-operands.mir

…

register-mask-operands.mir

…

register-operand-class-invalid0.mir

…

register-operand-class-invalid1.mir

…

register-operand-class.mir

[Improve CodeGen Testing] This patch renables MIRPrinter print fields which have value equal to its default.

2017-06-06 08:16:19 +00:00

register-operands-target-flag-error.mir

…

roundtrip.mir

llc: Add ability to parse mir from stdin

2017-06-06 20:06:57 +00:00

simple-register-allocation-hints.mir

[Improve CodeGen Testing] This patch renables MIRPrinter print fields which have value equal to its default.

2017-06-06 08:16:19 +00:00

spill-slot-fixed-stack-object-aliased.mir

…

spill-slot-fixed-stack-object-immutable.mir

…

spill-slot-fixed-stack-objects.mir

[Improve CodeGen Testing] This patch renables MIRPrinter print fields which have value equal to its default.

2017-06-06 08:16:19 +00:00

stack-object-debug-info.mir

[Improve CodeGen Testing] This patch renables MIRPrinter print fields which have value equal to its default.

2017-06-06 08:16:19 +00:00

stack-object-invalid-name.mir

…

stack-object-operand-name-mismatch-error.mir

…

stack-object-operands.mir

…

stack-object-redefinition-error.mir

…

stack-objects.mir

[Improve CodeGen Testing] This patch renables MIRPrinter print fields which have value equal to its default.

2017-06-06 08:16:19 +00:00

standalone-register-error.mir

…

subreg-on-physreg.mir

…

subregister-index-operands.mir

…

subregister-operands.mir

…

successor-basic-blocks-weights.mir

…

successor-basic-blocks.mir

…

tied-def-operand-invalid.mir

…

tied-physical-regs-match.mir

[MachineVerifier] Add check that tied physregs aren't different.

2017-07-06 13:18:21 +00:00

undef-register-flag.mir

…

undefined-fixed-stack-object.mir

…

undefined-global-value.mir

…

undefined-ir-block-in-blockaddress.mir

…

undefined-ir-block-slot-in-blockaddress.mir

…

undefined-jump-table-id.mir

…

undefined-named-global-value.mir

…

undefined-register-class.mir

…

undefined-stack-object.mir

…

undefined-value-in-memory-operand.mir

…

undefined-virtual-register.mir

…

unexpected-type-phys.mir

…

unknown-instruction.mir

…

unknown-machine-basic-block.mir

…

unknown-metadata-keyword.mir

…

unknown-metadata-node.mir

…

unknown-named-machine-basic-block.mir

…

unknown-register.mir

…

unknown-subregister-index-op.mir

…

unknown-subregister-index.mir

…

unrecognized-character.mir

…

variable-sized-stack-object-size-error.mir

…

variable-sized-stack-objects.mir

[Improve CodeGen Testing] This patch renables MIRPrinter print fields which have value equal to its default.

2017-06-06 08:16:19 +00:00

virtual-register-redefinition-error.mir

…

virtual-registers.mir

[Improve CodeGen Testing] This patch renables MIRPrinter print fields which have value equal to its default.

2017-06-06 08:16:19 +00:00