[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.
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