search for: leeckhou

...s. Have you tried emitting loads and stores of the scalar elements to see if mem2reg can eliminate the allocas then? — Gordon P.S. This is not a trivial problem domain. Here's an interesting paper on the subject. COLE: Compiler Optimization Level Exploration http://users.elis.ugent.be/~leeckhou/papers/cgo08.pdf

...tore struct elements any other way because the OCaml bindings do not yet have insertvalue and extractvalue. > P.S. This is not a trivial problem domain. Here's an interesting paper > on the subject. > > COLE: Compiler Optimization Level Exploration > http://users.elis.ugent.be/~leeckhou/papers/cgo08.pdf I'll check it out, thanks. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e

I'm toying with benchmarks on my HLVM and am unable to get any performance improvement from optimization passes. Moreover, some of my programs generate a lot of redundant code (e.g. alloca a struct, store a struct into it and read only one field without using the rest of the struct) and this does not appear to be optimized away. I simply copied the use of PassManager from the Kaleidoscope