[llvm-commits] [llvm] r71918 - in /llvm/trunk: include/llvm/CodeGen/Passes.h lib/CodeGen/CMakeLists.txt lib/CodeGen/LLVMTargetMachine.cpp lib/CodeGen/MachineVerifier.cpp

[Jakob Stoklund Olesen]

On 16/05/2009, at 02.33, Jakob Stoklund Olesen wrote:

> Pass to verify generated machine code.

Here is a summary of running the machine code verifier on the DejaGnu  
test suite:

$ LLVM_VERIFY_MACHINEINSTRS=verify.out make ENABLE_OPTIMIZED=1 check

...
		===  Summary ===

# of expected passes		3518
# of unexpected failures	379
# of expected failures		24

$ find test -name verify.out | xargs fgrep '*** Bad machine' | sort |  
uniq -c
   16 test/CodeGen/ARM/Output/verify.out:*** Bad machine code: Illegal  
physical register for instruction ***
   10 test/CodeGen/ARM/Output/verify.out:*** Bad machine code: Live-in  
physical register is not live-out from predecessor ***
   53 test/CodeGen/ARM/Output/verify.out:*** Bad machine code:  
Redefining a live physical register ***
   13 test/CodeGen/ARM/Output/verify.out:*** Bad machine code: Using  
an undefined physical register ***
   56 test/CodeGen/Alpha/Output/verify.out:*** Bad machine code:  
Redefining a live physical register ***
   40 test/CodeGen/Alpha/Output/verify.out:*** Bad machine code: Using  
an undefined physical register ***
   19 test/CodeGen/CellSPU/Output/verify.out:*** Bad machine code:  
Redefining a live physical register ***
    4 test/CodeGen/CellSPU/Output/verify.out:*** Bad machine code:  
Using an undefined physical register ***
    4 test/CodeGen/Generic/Output/verify.out:*** Bad machine code:  
Live-in physical register is not live-out from predecessor ***
   53 test/CodeGen/Generic/Output/verify.out:*** Bad machine code:  
Redefining a live physical register ***
    1 test/CodeGen/IA64/Output/verify.out:*** Bad machine code:  
Illegal physical register for instruction ***
    1 test/CodeGen/IA64/Output/verify.out:*** Bad machine code:  
Illegal virtual register for instruction ***
    4 test/CodeGen/IA64/Output/verify.out:*** Bad machine code: Using  
an undefined physical register ***
   10 test/CodeGen/Mips/Output/verify.out:*** Bad machine code:  
Redefining a live physical register ***
   12 test/CodeGen/PowerPC/Output/verify.out:*** Bad machine code:  
Illegal physical register for instruction ***
  384 test/CodeGen/PowerPC/Output/verify.out:*** Bad machine code:  
Illegal virtual register for instruction ***
    5 test/CodeGen/PowerPC/Output/verify.out:*** Bad machine code:  
Live-in physical register is not live-out from predecessor ***
    1 test/CodeGen/PowerPC/Output/verify.out:*** Bad machine code:  
Missing PHI operand ***
   94 test/CodeGen/PowerPC/Output/verify.out:*** Bad machine code:  
Redefining a live physical register ***
    1 test/CodeGen/SPARC/Output/verify.out:*** Bad machine code:  
Redefining a live physical register ***
    2 test/CodeGen/X86/Output/verify.out:*** Bad machine code: Illegal  
physical register for instruction ***
  246 test/CodeGen/X86/Output/verify.out:*** Bad machine code: Live-in  
physical register is not live-out from predecessor ***
    3 test/CodeGen/X86/Output/verify.out:*** Bad machine code: MBB  
live-in list contains non-physical register ***
  266 test/CodeGen/X86/Output/verify.out:*** Bad machine code:  
Redefining a live physical register ***
   69 test/CodeGen/X86/Output/verify.out:*** Bad machine code: Using  
an undefined physical register ***
    1 test/CodeGen/XCore/Output/verify.out:*** Bad machine code:  
Redefining a live physical register ***
    3 test/DebugInfo/Output/verify.out:*** Bad machine code:  
Redefining a live physical register ***
    6 test/ExecutionEngine/Output/verify.out:*** Bad machine code:  
Redefining a live physical register ***
    5 test/FrontendC++/Output/verify.out:*** Bad machine code:  
Redefining a live physical register ***
    1 test/LLVMC/Output/verify.out:*** Bad machine code: Redefining a  
live physical register ***