conditionalize when it can avoid costly side-effect free code

1 files changed, 60 insertions, 1 deletions

diff --git a/tools/test-js-optimizer-asm-pre.js b/tools/test-js-optimizer-asm-pre.js
index 00ebd7d7..b9773bb5 100644
--- a/tools/test-js-optimizer-asm-pre.js
+++ b/tools/test-js-optimizer-asm-pre.js
@@ -550,4 +550,63 @@ function fcomp() {
  if (!(5 < ($b|0))) return 5;
  if (!(5 < 5)) return 5;
 }
-// EMSCRIPTEN_GENERATED_FUNCTIONS: ["a", "b", "rett", "ret2t", "retf", "i32_8", "tempDoublePtr", "boxx", "_main", "badf", "badf2", "fcomp"]
+function conditionalizeMe() {
+ if ((x > 1) & (x+y+z+w > 12)) {
+  b();
+ }
+ if ((a() > 1) & (x+y+z+w > 12)) {
+  b();
+ }
+ if ((x > 1) & (x+y+z+k() > 12)) {
+  b();
+ }
+ if ((a() > 1) & (x+y+z+k() > 12)) {
+  b();
+ }
+ if ((x > 1) | (x+y+z+w > 12)) {
+  b();
+ }
+ if ((a() > 1) | (x+y+z+w > 12)) {
+  b();
+ }
+ if ((x > 1) | (x+y+z+k() > 12)) {
+  b();
+ }
+ if ((a() > 1) | (x+y+z+k() > 12)) {
+  b();
+ }
+ if ((x+y+z+w > 12) | (x > 1)) {
+  b();
+ }
+ if ((x+y+z+w > 12) | (a() > 1)) {
+  b();
+ }
+ if ((x+y+z+k() > 12) | (x > 1)) {
+  b();
+ }
+ if ((x+y+z+k() > 12) | (a() > 1)) {
+  b();
+ }
+ while ((x > 1) & (x+y+z+w > 12)) {
+  b();
+ }
+ while ((a() > 1) & (x+y+z+w > 12)) {
+  b();
+ }
+ while ((x > 1) & (x+y+z+k() > 12)) {
+  b();
+ }
+ while ((a() > 1) & (x+y+z+k() > 12)) {
+  b();
+ }
+ if (!($sub$i480 >= Math_fround(+0)) | !($sub4$i483 >= Math_fround(+0))) {
+  b();
+ }
+ if (!($sub$i480 >= Math_fround(+0)) | !($sub4$i483 >= Math_fround(HEAPF32[x+y|0]))) {
+  b();
+ }
+ if (x > 10 | HEAP[20] > 5) {
+  b();
+ }
+}
+// EMSCRIPTEN_GENERATED_FUNCTIONS: ["a", "b", "rett", "ret2t", "retf", "i32_8", "tempDoublePtr", "boxx", "_main", "badf", "badf2", "fcomp", "conditionalizeMe"]