diff options
author | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2009-05-16 00:33:53 +0000 |
---|---|---|
committer | Jakob Stoklund Olesen <stoklund@2pi.dk> | 2009-05-16 00:33:53 +0000 |
commit | 48872e0d84b47769be6c13ae98bf88468b59d921 (patch) | |
tree | 8f2ebd00a53ab7743265cf4e646e128e0c39b798 /lib/CodeGen/CMakeLists.txt | |
parent | 3b00162fa1574e4aab6df15ef757bb36b8d4b958 (diff) | |
download | external_llvm-48872e0d84b47769be6c13ae98bf88468b59d921.zip external_llvm-48872e0d84b47769be6c13ae98bf88468b59d921.tar.gz external_llvm-48872e0d84b47769be6c13ae98bf88468b59d921.tar.bz2 |
Pass to verify generated machine code.
The following is checked:
* Operand counts: All explicit operands must be present.
* Register classes: All physical and virtual register operands must be
compatible with the register class required by the instruction descriptor.
* Register live intervals: Registers must be defined only once, and must be
defined before use.
The machine code verifier is enabled with the command-line option
'-verify-machineinstrs', or by defining the environment variable
LLVM_VERIFY_MACHINEINSTRS to the name of a file that will receive all the
verifier errors.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@71918 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/CodeGen/CMakeLists.txt')
-rw-r--r-- | lib/CodeGen/CMakeLists.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/CodeGen/CMakeLists.txt b/lib/CodeGen/CMakeLists.txt index 9be7cf3..2866e0e 100644 --- a/lib/CodeGen/CMakeLists.txt +++ b/lib/CodeGen/CMakeLists.txt @@ -26,6 +26,7 @@ add_llvm_library(LLVMCodeGen MachinePassRegistry.cpp MachineRegisterInfo.cpp MachineSink.cpp + MachineVerifier.cpp OcamlGC.cpp PBQP.cpp PHIElimination.cpp |