Displaying 2 results from an estimated 2 matches for "preames".
Did you mean:
reames
2012 Oct 23
0
[LLVMdev] precondition suggestion to LLVM
On Mon, Oct 22, 2012 at 9:33 PM, Niko Zarzani <koni10 at hotmail.it> wrote:
> Thank you, it was what I really was searching for :)
>
> However, I don't know if I well understood. I've find this link in the
> second link which seemed what i was looking for:
> http://nondot.org/sabre/LLVMNotes/BuiltinUnreachable.txt .
> If I put around the code block (inside my
2012 Oct 23
3
[LLVMdev] precondition suggestion to LLVM
Thank you, it was what I really was searching for :)
However, I don't know if I well understood. I've find this link in the second link which seemed what i was looking for: http://nondot.org/sabre/LLVMNotes/BuiltinUnreachable.txt .If I put around the code block (inside my function with precondition (x>0 && y>0)) a contruct like that that use __builtin_unreachable:
int foo(int