[LLVMdev] Helping the optimizer along (__assume)

[Eli Friedman]

On Wed, Oct 22, 2008 at 3:28 PM, Paul Biggar <paul.biggar at gmail.com> wrote:
> Hi,
>
> I'm interested in whether or not there is a way of providing
> source-level annotations to help LLVM with optimizations, similar to
> VisualC++'s __assume facility
> (http://msdn.microsoft.com/en-us/library/1b3fsfxw.aspx).

No, nothing of the sort exists.  There have been some rough
discussions of what would be involved, but there isn't really a plan
for how to implement it.  It would probably end up being similar to
TBAA.

-Eli