[LLVMdev] Checked arithmetic

Jonathan S. Shapiro shap at eros-os.com
Tue Mar 25 21:49:36 PDT 2008

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.


More information about the llvm-dev mailing list