search for: lindper

hi! I'm using LLVM 3.2. Does it optimize away llvm.pow(llvm.sqrt(x), 2) to `x` with any settings? I tried with llc -O3, but that didn't do it. Would be nice to write |v|² in my language ('v' being a 2D vector say and |...| and ...² being two separate infix "operators") -- when I could compare squares of lengths as well as lengths, and know that the sqrt is optimized

...ogrammed much in C/C++ for years -- mostly been a JVM guy. But at one point I may want to look into bindings or even creating a bootstrapped compiler. On Wed, Mar 20, 2013 at 11:33 PM, Eric Christopher <echristo at gmail.com>wrote: > > > > On Wed, Mar 20, 2013 at 2:21 PM, Erkki Lindpere <villane at gmail.com> wrote: > >> Hi, >> >> I wanted to add debug info to my language (compiler written in Scala, >> outputs .ll files), but I found it really hard to do based on the >> documentation provided at http://llvm.org/docs/SourceLevelDebugging.html...

That's a pretty seriously unsafe floating point optimization. It could be done in fast-math mode, but I doubt we currently do it. --Owen On Apr 23, 2013, at 1:12 PM, Erkki Lindpere <villane at gmail.com> wrote: > hi! > > I'm using LLVM 3.2. Does it optimize away llvm.pow(llvm.sqrt(x), 2) to `x` with any settings? I tried with llc -O3, but that didn't do it. > > Would be nice to write |v|² in my language ('v' being a 2D vector say and |...

Thanks for the reply On Fri, Jul 29, 2011 at 2:06 AM, David A. Greene <greened at obbligato.org>wrote: > Erkki Lindpere <villane at gmail.com> writes: > Ok. Do you ever need to grab the address of something on the stack? If > so you're going to need an alloca. AFAIK, it's the only way to generate > an address for a local object. This is by design of the IR and it > greatly simplifies a...

...ructures by-value. I haven't investigated at which sizes does that become worse than passing pointers. Maybe a better alternative would be to allocate memory for every local value, and let the mem2reg pass optimize? I hope these kind of questions are appropriate for this list. Regards, Erkki Lindpere -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20110729/4ed5524d/attachment.html>

On Wed, Mar 20, 2013 at 2:21 PM, Erkki Lindpere <villane at gmail.com> wrote: > Hi, > > I wanted to add debug info to my language (compiler written in Scala, > outputs .ll files), but I found it really hard to do based on the > documentation provided at http://llvm.org/docs/SourceLevelDebugging.html(I looked at the specifi...

Erkki Lindpere <villane at gmail.com> writes: > I want to experiment with avoiding mutable state as far as I can. At > the moment there are no mutable variables -- only immutable value > types (numerics, bool, vectors, tuples) and I've been doing everything > in LLVM registers. The compile...

Hi, I wanted to add debug info to my language (compiler written in Scala, outputs .ll files), but I found it really hard to do based on the documentation provided at http://llvm.org/docs/SourceLevelDebugging.html (I looked at the specific doc for LLVM 3.0 though) With LLVM 3.0, DI version 8 (which is documented there) seemed to work, except DW_TAG_auto_variable for which I used version tag 11

...lvm.sqrt(x) by definition has undefined behavior and so returning x from llvm.pow(llvm.sqrt(x),2) is acceptable. The same should be true for -inf. Only the result for -0.0 changes from 0.0 to -0.0. Is there something I overlooked? > --Owen Christoph > On Apr 23, 2013, at 1:12 PM, Erkki Lindpere <villane at gmail.com> wrote: > > hi! > > > > I'm using LLVM 3.2. Does it optimize away llvm.pow(llvm.sqrt(x), 2) to `x` > > with any settings? I tried with llc -O3, but that didn't do it. > > > > Would be nice to write |v|² in my language ('...