Thanks for the clarification Alon :) I saw the doc on varying the optimization levels here https://kripken.github.io/emscripten-site/docs/optimizing/Optimizing-Code.html under "Trading off code size and performance". The doc on using the same optimization level for both object file and Javascript generation can be found under the section "Troubleshooting poor performance" and in the following page https://kripken.github.io/emscripten-site/docs/compiling/Building-Projects.html under "Building projects with optimizations".
On Tuesday, May 8, 2018 at 2:57:21 AM UTC+8, Alon Zakai wrote: > > Generally speaking, the same optimization level is a good idea - in > particular, sometimes people forget to optimize in one place or the other ;) > > But it's fine to specify -Oz for some files and -O2 for others and to link > with -O3, for example. > > Perhaps the docs are not clear enough - which page did you see that on? > > On Sun, May 6, 2018 at 9:40 AM, awt <[email protected] <javascript:>> > wrote: > >> Hi, >> >> My project hierarchy contains a number of .bc files that gets linked into >> a single wasm application. I would like to have a different optimization >> level for specific .bc files e.g. Oz for non-performance sensitive files >> and O3 for performance sensitive files. However, I also read that both the >> compilation to the bc and linking to the final wasm should use the same >> optimization level for optimum performance. >> >> How can I use the same optimization level for both compilation and >> linking for specific .bc files and still build into the same wasm >> application with optimum performance? Thanks. >> >> -- >> You received this message because you are subscribed to the Google Groups >> "emscripten-discuss" group. >> To unsubscribe from this group and stop receiving emails from it, send an >> email to [email protected] <javascript:>. >> For more options, visit https://groups.google.com/d/optout. >> > > -- You received this message because you are subscribed to the Google Groups "emscripten-discuss" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
