Displaying 3 results from an estimated 3 matches for "add_with_cary".
2008 Mar 26
0
[LLVMdev] Checked arithmetic
...>> overflow bit as an i1?
>
> Chris:
>
> I understand several simple ways to implement add with carry. Your
> suggestion is one of them. What I'm trying to understand is how to
> handle the conditional code issue generally.
I'm suggesting basically:
res,overflow = add_with_cary(a,b);
if (overflow) goto somewhere
use(res)
-Chris
--
http://nondot.org/sabre/
http://llvm.org/
2008 Mar 26
2
[LLVMdev] Checked arithmetic
On Wed, 2008-03-26 at 11:02 -0700, Chris Lattner wrote:
> 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
> >
2008 Mar 26
2
[LLVMdev] Checked arithmetic
...t; Chris:
> >
> > I understand several simple ways to implement add with carry. Your
> > suggestion is one of them. What I'm trying to understand is how to
> > handle the conditional code issue generally.
>
> I'm suggesting basically:
>
> res,overflow = add_with_cary(a,b);
> if (overflow) goto somewhere
> use(res)
>
> -Chris
Yes. Sorry. I do see that that will work, and I had not intended to
sound ungrateful for your response. It is my nature, when I look at a
design problem, to try to consider the whole problem before implementing
some part. It m...