[LLVMdev] Checked arithmetic

[Jonathan S. Shapiro]

On Tue, 2008-03-25 at 21:18 -0700, Chris Lattner wrote:

> > Given the IR as it stands, how does one go about *efficiently*
> > implementing a language that requires checked arithmetic? I do
> > understand that it can be done using intrinsics, but that  
> > implementation
> > is (to put it mildly) suboptimal.
> 
> Why?

Hmm. Perhaps I shouldn't have written so quickly. My assumption was that
intrinsics would likely entail a procedure call.

More later -- my three year old just woke up.


shap