[LLVMdev] Checked arithmetic
sabre at nondot.org
Wed Mar 26 11:02:16 PDT 2008
On Wed, 26 Mar 2008, Jonathan S. Shapiro wrote:
> I want to background process this for a bit, but it would be helpful to
> discuss some approaches first.
> There would appear to be three approaches:
> 1. Introduce a CC register class into the IR. This seems to be a
> fairly major overhaul.
> 2. Introduce a set of scalar and fp computation quasi-instructions
> that accept the same arguments as their computational counterparts,
> but produce *only* the condition code. For example:
Why not define an "add with overflow" intrinsic that returns its value and
overflow bit as an i1?
More information about the llvm-dev