[LLVMdev] Helping the optimizer along (__assume)

Mike Stump mrs at apple.com
Thu Oct 23 09:18:39 PDT 2008

On Oct 23, 2008, at 5:30 AM, Duncan Sands wrote:
> gcc uses the equivalent of:
> 	%p2 = call @llvm.assume(i32 %p, "ne", i32 0)

I don't see the value in the additional complexity.  We already can  
express (p != 0), so I see this as isomorphic to assume (cond).  I  
like the simplicity of just assume (cond).

More information about the llvm-dev mailing list