[LLVMdev] precondition suggestion to LLVM

[Xi Wang]

You may want to check this out:

http://lists.cs.uiuc.edu/pipermail/llvmdev/2012-October/053924.html

and also

http://llvm.org/PR810

- xi

On 10/22/12 6:05 PM, Niko Zarzani wrote:
> Hi all,
> Is there any way to tell LLVM some additional information about the 
> variables in the code in order to make better optimization?
> For example, if my function has a certain precondition (such as x>0) 
> then it will be possible to better optimize the code given that 
> information (which the compiler does not know).
> I am new in this field and I don't know if there are ways to tell the 
> compiler preconditions (such as by using some preprocessing directives).
> Thank you in advance,
> Niko Zarzani