[LLVMdev] Integer divide by zero

[Cameron McInally]

Hey Duncan,

On Sun, Apr 7, 2013 at 11:22 AM, Duncan Sands <baldrick at free.fr> wrote:
...

> can't front-ends implement this themselves using the "select" constant
> expression?  For example, rather than dividing by "x" you can divide by
> "x == 0 ? 1 : x".
>

I'm not sure that I follow. I would like to see the division by zero
execute and trap at runtime.

For example, x = 2/0. It looks like your suggestion would generate the
expression 2/1, which wouldn't trap as expected.

Am I misinterpreting your suggestion?

Thanks,
Cameron

P.S. Is it your intention to hide the simple constant expression from the
constant folder? I.e. (x == 0) ? 0 : x.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20130407/c885822c/attachment.html>