[LLVMdev] subregisters, def-kill

[Jakob Stoklund Olesen]

On May 19, 2011, at 11:22 PM, Jonas Paulsson wrote:

> I see, thanks. 
> 
> I used to work with GCC, which has an SSA-property verification run after each pass. It is surprising to find that LLVM does not check this!

It should. Here is how you can fix it:

- Add a flag to MachineRegisterInfo: isSSA(). It should be true initially and cleared by the 2-addr and phi-elim passes.

- Add code to MachineVerifier.cpp that checks for multiple virtual register defs when MRI->isSSA() is true.

Then send your patches to llvm-commits!

Thanks,

/jakob

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110520/755c26a2/attachment.html>