[llvm-dev] Early CSE clobbering llvm.assume

Daniel Berlin via llvm-dev llvm-dev at lists.llvm.org
Fri Jun 10 17:38:56 PDT 2016


On Fri, Jun 10, 2016 at 5:34 PM, Lawrence, Peter via llvm-dev <
llvm-dev at lists.llvm.org> wrote:

> My (dumb?) question would be:  why is llvm.assume being handled any
> differently than llvm.assert ?
>

There is no llvm.assert intrinsic, so i'm not sure what you mean here. Care
to give an example?


> Other than one trapping and one not-trapping, they should be identical, in
> both cases they are giving
>
> The optimizers information,  and that shouldn’t be any different from
> being inside an “if” statement with the same condition ?
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20160610/f81a3474/attachment.html>


More information about the llvm-dev mailing list