[PATCH] D33650: MachineVerifier: Verify liveins list

[Matthias Braun via Phabricator via llvm-commits]

MatzeB updated this revision to Diff 117073.
MatzeB added a comment.

- Rebased on ToT.
- Now that we have the `Restored` member on CalleeSavedInfo we can deal with the ARM/LR problems cleanly.
- Factor out the pristine/reserved register check to a separate commit for now, it's hard enough to get tests passing without them.
- Various fixes.

This cannot be applied yet as a number of tests fail the new check:
test/CodeGen/ARM/cmpxchg-O0-be.ll
test/CodeGen/ARM/cmpxchg-O0.ll
test/CodeGen/BPF/objdump_intrinsics.ll
test/CodeGen/Hexagon/livephysregs-lane-masks.mir
test/CodeGen/Hexagon/livephysregs-lane-masks2.mir
test/CodeGen/Hexagon/rdf-phi-up.ll
test/CodeGen/PowerPC/2006-11-10-DAGCombineMiscompile.ll
test/CodeGen/PowerPC/2006-12-07-SelectCrash.ll
test/CodeGen/PowerPC/2008-03-17-RegScavengerCrash.ll
test/CodeGen/PowerPC/2008-06-23-LiveVariablesCrash.ll
test/CodeGen/PowerPC/2008-10-28-f128-i32.ll
test/CodeGen/PowerPC/2011-12-06-SpillAndRestoreCR.ll
test/CodeGen/PowerPC/2012-09-16-TOC-entry-check.ll
test/CodeGen/PowerPC/crbit-asm.ll
test/CodeGen/PowerPC/ctrloop-sh.ll
test/CodeGen/PowerPC/ctrloops.ll
test/CodeGen/PowerPC/expand-contiguous-isel.ll
test/CodeGen/PowerPC/fast-isel-conversion.ll
test/CodeGen/PowerPC/float-to-int.ll
test/CodeGen/PowerPC/fold-zero.ll
test/CodeGen/PowerPC/fp-to-int-to-fp.ll
test/CodeGen/PowerPC/i1-ext-fold.ll
test/CodeGen/PowerPC/i1-to-double.ll
test/CodeGen/PowerPC/i64_fp_round.ll
test/CodeGen/PowerPC/ifcvt.ll
test/CodeGen/PowerPC/int-fp-conv-1.ll
test/CodeGen/PowerPC/isel.ll
test/CodeGen/PowerPC/mul-with-overflow.ll
test/CodeGen/PowerPC/p8-isel-sched.ll
test/CodeGen/PowerPC/ppc32-lshrti3.ll
test/CodeGen/PowerPC/ppc64-32bit-addic.ll
test/CodeGen/PowerPC/ppc64-toc.ll
test/CodeGen/PowerPC/ppcf128sf.ll
test/CodeGen/PowerPC/select-i1-vs-i1.ll
test/CodeGen/PowerPC/select_const.ll
test/CodeGen/PowerPC/subreg-postra.ll
test/CodeGen/X86/catchret-fallthrough.ll
test/CodeGen/X86/win-catchpad-csrs.ll
test/CodeGen/X86/win-catchpad-nested-cxx.ll
test/CodeGen/X86/win-catchpad.ll
test/CodeGen/X86/win-cleanuppad.ll


Repository:
  rL LLVM

https://reviews.llvm.org/D33650

Files:
  lib/CodeGen/MachineVerifier.cpp
  test/CodeGen/AArch64/machine-copy-remove.mir
  test/CodeGen/AArch64/machine-zero-copy-remove.mir
  test/CodeGen/Hexagon/livephysregs-lane-masks.mir
  test/CodeGen/Hexagon/livephysregs-lane-masks2.mir
  test/CodeGen/MIR/ARM/cfi-same-value.mir
  test/CodeGen/X86/block-placement.mir
  test/CodeGen/X86/implicit-null-checks.mir

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D33650.117073.patch
Type: text/x-patch
Size: 13621 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170928/4a97843c/attachment-0001.bin>