[LLVMdev] Stupid '-load-vn -licm' question (LLVM 1.6)

[Eric Kidd]

On Mar 17, 2006, at 12:19 PM, Chris Lattner wrote:
> Great.  Note that -cee is a beta pass... it has some known bugs and  
> isn't planned to be worked on in the immediate future. :(

After a bit of digging, I found one open bug and two failing test  
cases, all of which appear to be feature requests:

   #217: LLVM needs a generic dominator update mechanism
   nullpointer.ll: "a load or store of a pointer indicates that the  
pointer is not null."
   looptest.ll: "Note that this is a "feature" test, not a  
correctness test."

All the other test cases pass, and none of the other unassigned bugs  
mention CEE. (I checked Bugzilla by hand--since searching for  
"correlated" doesn't even find bug #217--so I might have missed  
something.) Google doesn't seem to turn up anything, either.

Does -cee actually produce incorrect code for some inputs? Or is it  
merely incomplete?

I'm looking for an optimizer pass to tweak (as a learning exercise),  
and if -cee isn't too hairy, I'd be happy to add support for 'switch'  
instructions and fix a few minor bugs. :-)

Cheers,
Eric