[PATCH] D33819: Add placeholder for more extensive verification of psuedo ops

[Philip Reames via Phabricator via llvm-commits]

reames created this revision.
Herald added subscribers: mcrosier, sanjoy, qcolombet.

This initial patch doesn't actually do much useful.  It's just to show where the new code goes.  Once this is in, I'll extend the verification logic to check more useful properties.

For those curious, the more complicated version of this patch already found one very suspicious thing.

p.s. At the time of posting, this hasn't actually finished building.  For some reason my incremental build decided to do a full rebuild which takes a while.  That's not the main point of the review anyways; I'm mostly curious about placement/purpose comments.


https://reviews.llvm.org/D33819

Files:
  lib/CodeGen/MachineVerifier.cpp
  test/CodeGen/X86/statepoint-allocas.ll
  test/CodeGen/X86/statepoint-call-lowering.ll
  test/CodeGen/X86/statepoint-far-call.ll
  test/CodeGen/X86/statepoint-forward.ll
  test/CodeGen/X86/statepoint-gctransition-call-lowering.ll
  test/CodeGen/X86/statepoint-invoke.ll
  test/CodeGen/X86/statepoint-live-in.ll
  test/CodeGen/X86/statepoint-stack-usage.ll
  test/CodeGen/X86/statepoint-stackmap-format.ll
  test/CodeGen/X86/statepoint-uniqueing.ll
  test/CodeGen/X86/statepoint-vector-bad-spill.ll
  test/CodeGen/X86/statepoint-vector.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D33819.101161.patch
Type: text/x-patch
Size: 6836 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20170602/fe0c5d2e/attachment.bin>