[LLVMdev] Helping the optimizer along (__assume)

[Mike Stump]

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).