add drop and tee expressions

1 files changed, 127 insertions, 119 deletions

diff --git a/test/emcc_O2_hello_world.fromasm.no-opts b/test/emcc_O2_hello_world.fromasm.no-opts
index e75c5e4b2..2c1f718ff 100644
--- a/test/emcc_O2_hello_world.fromasm.no-opts
+++ b/test/emcc_O2_hello_world.fromasm.no-opts
@@ -228,7 +228,7 @@
                   (get_local $i10)
                 )
               )
-              (block $do-once$2
+              (block $do-once$19
                 (if
                   (i32.ne
                     (get_local $i7)
@@ -266,7 +266,7 @@
                           (get_local $i8)
                           (get_local $i11)
                         )
-                        (br $do-once$2)
+                        (br $do-once$19)
                       )
                       (call_import $_abort)
                     )
@@ -499,7 +499,7 @@
                       (get_local $i12)
                     )
                   )
-                  (block $do-once$4
+                  (block $do-once$21
                     (if
                       (i32.ne
                         (get_local $i15)
@@ -542,7 +542,7 @@
                                 (i32.const 184)
                               )
                             )
-                            (br $do-once$4)
+                            (br $do-once$21)
                           )
                           (call_import $_abort)
                         )
@@ -881,7 +881,7 @@
                   (set_local $i7
                     (get_local $i10)
                   )
-                  (loop $while-out$6 $while-in$7
+                  (loop $while-out$23 $while-in$24
                     (set_local $i10
                       (i32.load
                         (i32.add
@@ -914,7 +914,7 @@
                             (set_local $i22
                               (get_local $i7)
                             )
-                            (br $while-out$6)
+                            (br $while-out$23)
                           )
                           (set_local $i23
                             (get_local $i15)
@@ -962,7 +962,7 @@
                         (get_local $i7)
                       )
                     )
-                    (br $while-in$7)
+                    (br $while-in$24)
                   )
                   (set_local $i7
                     (i32.load
@@ -1005,7 +1005,7 @@
                       )
                     )
                   )
-                  (block $do-once$8
+                  (block $do-once$25
                     (if
                       (i32.eq
                         (get_local $i12)
@@ -1047,7 +1047,7 @@
                                 (set_local $i24
                                   (i32.const 0)
                                 )
-                                (br $do-once$8)
+                                (br $do-once$25)
                               )
                               (block
                                 (set_local $i25
@@ -1068,7 +1068,7 @@
                             )
                           )
                         )
-                        (loop $while-out$10 $while-in$11
+                        (loop $while-out$27 $while-in$28
                           (set_local $i14
                             (i32.add
                               (get_local $i25)
@@ -1089,7 +1089,7 @@
                               (set_local $i26
                                 (get_local $i14)
                               )
-                              (br $while-in$11)
+                              (br $while-in$28)
                             )
                           )
                           (set_local $i14
@@ -1114,7 +1114,7 @@
                               (set_local $i28
                                 (get_local $i26)
                               )
-                              (br $while-out$10)
+                              (br $while-out$27)
                             )
                             (block
                               (set_local $i25
@@ -1125,7 +1125,7 @@
                               )
                             )
                           )
-                          (br $while-in$11)
+                          (br $while-in$28)
                         )
                         (if
                           (i32.lt_u
@@ -1141,7 +1141,7 @@
                             (set_local $i24
                               (get_local $i27)
                             )
-                            (br $do-once$8)
+                            (br $do-once$25)
                           )
                         )
                       )
@@ -1201,14 +1201,14 @@
                             (set_local $i24
                               (get_local $i12)
                             )
-                            (br $do-once$8)
+                            (br $do-once$25)
                           )
                           (call_import $_abort)
                         )
                       )
                     )
                   )
-                  (block $do-once$12
+                  (block $do-once$29
                     (if
                       (get_local $i5)
                       (block
@@ -1261,7 +1261,7 @@
                                     )
                                   )
                                 )
-                                (br $do-once$12)
+                                (br $do-once$29)
                               )
                             )
                           )
@@ -1304,7 +1304,7 @@
                               (i32.eqz
                                 (get_local $i24)
                               )
-                              (br $do-once$12)
+                              (br $do-once$29)
                             )
                           )
                         )
@@ -1335,7 +1335,7 @@
                             )
                           )
                         )
-                        (block $do-once$14
+                        (block $do-once$31
                           (if
                             (get_local $i7)
                             (if
@@ -1359,7 +1359,7 @@
                                   )
                                   (get_local $i24)
                                 )
-                                (br $do-once$14)
+                                (br $do-once$31)
                               )
                             )
                           )
@@ -1397,7 +1397,7 @@
                                 )
                                 (get_local $i24)
                               )
-                              (br $do-once$12)
+                              (br $do-once$29)
                             )
                           )
                         )
@@ -1830,7 +1830,7 @@
                       (set_local $i8
                         (i32.const 0)
                       )
-                      (loop $while-out$17 $while-in$18
+                      (loop $while-out$3 $while-in$4
                         (set_local $i16
                           (i32.and
                             (i32.load
@@ -1953,7 +1953,7 @@
                             (set_local $i36
                               (i32.const 86)
                             )
-                            (br $while-out$17)
+                            (br $while-out$3)
                           )
                           (block
                             (set_local $i12
@@ -1979,7 +1979,7 @@
                             )
                           )
                         )
-                        (br $while-in$18)
+                        (br $while-in$4)
                       )
                     )
                   )
@@ -2180,7 +2180,7 @@
                     (get_local $i36)
                     (i32.const 90)
                   )
-                  (loop $while-out$19 $while-in$20
+                  (loop $while-out$5 $while-in$6
                     (set_local $i36
                       (i32.const 0)
                     )
@@ -2241,7 +2241,7 @@
                         (set_local $i36
                           (i32.const 90)
                         )
-                        (br $while-in$20)
+                        (br $while-in$6)
                       )
                     )
                     (set_local $i38
@@ -2263,7 +2263,7 @@
                         (set_local $i44
                           (get_local $i8)
                         )
-                        (br $while-out$19)
+                        (br $while-out$5)
                       )
                       (block
                         (set_local $i37
@@ -2277,7 +2277,7 @@
                         )
                       )
                     )
-                    (br $while-in$20)
+                    (br $while-in$6)
                   )
                 )
                 (if
@@ -2339,7 +2339,7 @@
                         )
                       )
                     )
-                    (block $do-once$21
+                    (block $do-once$7
                       (if
                         (i32.eq
                           (get_local $i7)
@@ -2381,7 +2381,7 @@
                                   (set_local $i45
                                     (i32.const 0)
                                   )
-                                  (br $do-once$21)
+                                  (br $do-once$7)
                                 )
                                 (block
                                   (set_local $i46
@@ -2402,7 +2402,7 @@
                               )
                             )
                           )
-                          (loop $while-out$23 $while-in$24
+                          (loop $while-out$9 $while-in$10
                             (set_local $i2
                               (i32.add
                                 (get_local $i46)
@@ -2423,7 +2423,7 @@
                                 (set_local $i47
                                   (get_local $i2)
                                 )
-                                (br $while-in$24)
+                                (br $while-in$10)
                               )
                             )
                             (set_local $i2
@@ -2448,7 +2448,7 @@
                                 (set_local $i49
                                   (get_local $i47)
                                 )
-                                (br $while-out$23)
+                                (br $while-out$9)
                               )
                               (block
                                 (set_local $i46
@@ -2459,7 +2459,7 @@
                                 )
                               )
                             )
-                            (br $while-in$24)
+                            (br $while-in$10)
                           )
                           (if
                             (i32.lt_u
@@ -2475,7 +2475,7 @@
                               (set_local $i45
                                 (get_local $i48)
                               )
-                              (br $do-once$21)
+                              (br $do-once$7)
                             )
                           )
                         )
@@ -2535,14 +2535,14 @@
                               (set_local $i45
                                 (get_local $i7)
                               )
-                              (br $do-once$21)
+                              (br $do-once$7)
                             )
                             (call_import $_abort)
                           )
                         )
                       )
                     )
-                    (block $do-once$25
+                    (block $do-once$11
                       (if
                         (get_local $i3)
                         (block
@@ -2595,7 +2595,7 @@
                                       )
                                     )
                                   )
-                                  (br $do-once$25)
+                                  (br $do-once$11)
                                 )
                               )
                             )
@@ -2638,7 +2638,7 @@
                                 (i32.eqz
                                   (get_local $i45)
                                 )
-                                (br $do-once$25)
+                                (br $do-once$11)
                               )
                             )
                           )
@@ -2669,7 +2669,7 @@
                               )
                             )
                           )
-                          (block $do-once$27
+                          (block $do-once$13
                             (if
                               (get_local $i15)
                               (if
@@ -2693,7 +2693,7 @@
                                     )
                                     (get_local $i45)
                                   )
-                                  (br $do-once$27)
+                                  (br $do-once$13)
                                 )
                               )
                             )
@@ -2731,14 +2731,14 @@
                                   )
                                   (get_local $i45)
                                 )
-                                (br $do-once$25)
+                                (br $do-once$11)
                               )
                             )
                           )
                         )
                       )
                     )
-                    (block $do-once$29
+                    (block $do-once$15
                       (if
                         (i32.ge_u
                           (get_local $i43)
@@ -2886,7 +2886,7 @@
                                 )
                                 (get_local $i15)
                               )
-                              (br $do-once$29)
+                              (br $do-once$15)
                             )
                           )
                           (set_local $i15
@@ -3083,7 +3083,7 @@
                                 )
                                 (get_local $i8)
                               )
-                              (br $do-once$29)
+                              (br $do-once$15)
                             )
                           )
                           (set_local $i4
@@ -3110,7 +3110,7 @@
                               (get_local $i3)
                             )
                           )
-                          (loop $while-out$31 $while-in$32
+                          (loop $while-out$17 $while-in$18
                             (if
                               (i32.eq
                                 (i32.and
@@ -3131,7 +3131,7 @@
                                 (set_local $i36
                                   (i32.const 148)
                                 )
-                                (br $while-out$31)
+                                (br $while-out$17)
                               )
                             )
                             (set_local $i3
@@ -3168,7 +3168,7 @@
                                 (set_local $i36
                                   (i32.const 145)
                                 )
-                                (br $while-out$31)
+                                (br $while-out$17)
                               )
                               (block
                                 (set_local $i4
@@ -3182,7 +3182,7 @@
                                 )
                               )
                             )
-                            (br $while-in$32)
+                            (br $while-in$18)
                           )
                           (if
                             (i32.eq
@@ -3223,7 +3223,7 @@
                                   )
                                   (get_local $i8)
                                 )
-                                (br $do-once$29)
+                                (br $do-once$15)
                               )
                             )
                             (if
@@ -3292,7 +3292,7 @@
                                       )
                                       (i32.const 0)
                                     )
-                                    (br $do-once$29)
+                                    (br $do-once$15)
                                   )
                                   (call_import $_abort)
                                 )
@@ -4092,8 +4092,10 @@
                         (i32.const -1)
                       )
                       (block
-                        (call_import $_sbrk
-                          (get_local $i45)
+                        (drop
+                          (call_import $_sbrk
+                            (get_local $i45)
+                          )
                         )
                         (br $label$break$L279)
                       )
@@ -4268,7 +4270,7 @@
               (set_local $i63
                 (i32.const 624)
               )
-              (loop $do-out$46 $do-in$47
+              (loop $do-out$48 $do-in$49
                 (set_local $i43
                   (i32.load
                     (get_local $i63)
@@ -4309,7 +4311,7 @@
                     (set_local $i36
                       (i32.const 203)
                     )
-                    (br $do-out$46)
+                    (br $do-out$48)
                   )
                 )
                 (set_local $i63
@@ -4320,7 +4322,7 @@
                     )
                   )
                 )
-                (br_if $do-in$47
+                (br_if $do-in$49
                   (i32.ne
                     (get_local $i63)
                     (i32.const 0)
@@ -4479,7 +4481,7 @@
               (set_local $i63
                 (i32.const 624)
               )
-              (loop $while-out$48 $while-in$49
+              (loop $while-out$50 $while-in$51
                 (if
                   (i32.eq
                     (i32.load
@@ -4497,7 +4499,7 @@
                     (set_local $i36
                       (i32.const 211)
                     )
-                    (br $while-out$48)
+                    (br $while-out$50)
                   )
                 )
                 (set_local $i63
@@ -4516,10 +4518,10 @@
                     (set_local $i71
                       (i32.const 624)
                     )
-                    (br $while-out$48)
+                    (br $while-out$50)
                   )
                 )
-                (br $while-in$49)
+                (br $while-in$51)
               )
               (if
                 (i32.eq
@@ -4639,7 +4641,7 @@
                         (i32.const 3)
                       )
                     )
-                    (block $do-once$50
+                    (block $do-once$52
                       (if
                         (i32.ne
                           (get_local $i43)
@@ -4687,7 +4689,7 @@
                                 )
                                 (get_local $i62)
                               )
-                              (br $do-once$50)
+                              (br $do-once$52)
                             )
                           )
                           (set_local $i62
@@ -4742,7 +4744,7 @@
                                         )
                                       )
                                     )
-                                    (block $do-once$53
+                                    (block $do-once$59
                                       (if
                                         (i32.eq
                                           (get_local $i55)
@@ -4784,7 +4786,7 @@
                                                   (set_local $i72
                                                     (i32.const 0)
                                                   )
-                                                  (br $do-once$53)
+                                                  (br $do-once$59)
                                                 )
                                                 (block
                                                   (set_local $i73
@@ -4805,7 +4807,7 @@
                                               )
                                             )
                                           )
-                                          (loop $while-out$55 $while-in$56
+                                          (loop $while-out$61 $while-in$62
                                             (set_local $i5
                                               (i32.add
                                                 (get_local $i73)
@@ -4826,7 +4828,7 @@
                                                 (set_local $i74
                                                   (get_local $i5)
                                                 )
-                                                (br $while-in$56)
+                                                (br $while-in$62)
                                               )
                                             )
                                             (set_local $i5
@@ -4851,7 +4853,7 @@
                                                 (set_local $i76
                                                   (get_local $i74)
                                                 )
-                                                (br $while-out$55)
+                                                (br $while-out$61)
                                               )
                                               (block
                                                 (set_local $i73
@@ -4862,7 +4864,7 @@
                                                 )
                                               )
                                             )
-                                            (br $while-in$56)
+                                            (br $while-in$62)
                                           )
                                           (if
                                             (i32.lt_u
@@ -4878,7 +4880,7 @@
                                               (set_local $i72
                                                 (get_local $i75)
                                               )
-                                              (br $do-once$53)
+                                              (br $do-once$59)
                                             )
                                           )
                                         )
@@ -4938,7 +4940,7 @@
                                               (set_local $i72
                                                 (get_local $i55)
                                               )
-                                              (br $do-once$53)
+                                              (br $do-once$59)
                                             )
                                             (call_import $_abort)
                                           )
@@ -4968,7 +4970,7 @@
                                         )
                                       )
                                     )
-                                    (block $do-once$57
+                                    (block $do-once$63
                                       (if
                                         (i32.ne
                                           (get_local $i43)
@@ -5025,7 +5027,7 @@
                                           )
                                           (if
                                             (get_local $i72)
-                                            (br $do-once$57)
+                                            (br $do-once$63)
                                           )
                                           (i32.store
                                             (i32.const 180)
@@ -5076,7 +5078,7 @@
                                         (get_local $i5)
                                       )
                                     )
-                                    (block $do-once$59
+                                    (block $do-once$65
                                       (if
                                         (get_local $i45)
                                         (if
@@ -5100,7 +5102,7 @@
                                               )
                                               (get_local $i72)
                                             )
-                                            (br $do-once$59)
+                                            (br $do-once$65)
                                           )
                                         )
                                       )
@@ -5175,7 +5177,7 @@
                                         )
                                       )
                                     )
-                                    (block $do-once$61
+                                    (block $do-once$55
                                       (if
                                         (i32.ne
                                           (get_local $i45)
@@ -5199,7 +5201,7 @@
                                               )
                                               (get_local $i43)
                                             )
-                                            (br $do-once$61)
+                                            (br $do-once$55)
                                           )
                                           (call_import $_abort)
                                         )
@@ -5229,7 +5231,7 @@
                                         (br $label$break$L331)
                                       )
                                     )
-                                    (block $do-once$63
+                                    (block $do-once$57
                                       (if
                                         (i32.eq
                                           (get_local $i55)
@@ -5266,7 +5268,7 @@
                                               (set_local $i77
                                                 (get_local $i5)
                                               )
-                                              (br $do-once$63)
+                                              (br $do-once$57)
                                             )
                                           )
                                           (call_import $_abort)
@@ -5376,7 +5378,7 @@
                                   (get_local $i56)
                                 )
                               )
-                              (block $do-once$65
+                              (block $do-once$67
                                 (if
                                   (i32.eqz
                                     (i32.and
@@ -5428,7 +5430,7 @@
                                         (set_local $i81
                                           (get_local $i52)
                                         )
-                                        (br $do-once$65)
+                                        (br $do-once$67)
                                       )
                                     )
                                     (call_import $_abort)
@@ -5460,7 +5462,7 @@
                                 )
                                 (get_local $i62)
                               )
-                              (br $do-once$50)
+                              (br $do-once$52)
                             )
                           )
                           (set_local $i5
@@ -5469,7 +5471,7 @@
                               (i32.const 8)
                             )
                           )
-                          (block $do-once$67
+                          (block $do-once$69
                             (if
                               (i32.eqz
                                 (get_local $i5)
@@ -5487,7 +5489,7 @@
                                     (set_local $i82
                                       (i32.const 31)
                                     )
-                                    (br $do-once$67)
+                                    (br $do-once$69)
                                   )
                                 )
                                 (set_local $i54
@@ -5664,7 +5666,7 @@
                                 )
                                 (get_local $i63)
                               )
-                              (br $do-once$50)
+                              (br $do-once$52)
                             )
                           )
                           (set_local $i50
@@ -5691,7 +5693,7 @@
                               (get_local $i5)
                             )
                           )
-                          (loop $while-out$69 $while-in$70
+                          (loop $while-out$71 $while-in$72
                             (if
                               (i32.eq
                                 (i32.and
@@ -5712,7 +5714,7 @@
                                 (set_local $i36
                                   (i32.const 281)
                                 )
-                                (br $while-out$69)
+                                (br $while-out$71)
                               )
                             )
                             (set_local $i5
@@ -5749,7 +5751,7 @@
                                 (set_local $i36
                                   (i32.const 278)
                                 )
-                                (br $while-out$69)
+                                (br $while-out$71)
                               )
                               (block
                                 (set_local $i50
@@ -5763,7 +5765,7 @@
                                 )
                               )
                             )
-                            (br $while-in$70)
+                            (br $while-in$72)
                           )
                           (if
                             (i32.eq
@@ -5804,7 +5806,7 @@
                                   )
                                   (get_local $i63)
                                 )
-                                (br $do-once$50)
+                                (br $do-once$52)
                               )
                             )
                             (if
@@ -5873,7 +5875,7 @@
                                       )
                                       (i32.const 0)
                                     )
-                                    (br $do-once$50)
+                                    (br $do-once$52)
                                   )
                                   (call_import $_abort)
                                 )
@@ -5926,7 +5928,7 @@
                   )
                 )
               )
-              (loop $while-out$71 $while-in$72
+              (loop $while-out$73 $while-in$74
                 (set_local $i63
                   (i32.load
                     (get_local $i71)
@@ -5961,7 +5963,7 @@
                     (set_local $i86
                       (get_local $i53)
                     )
-                    (br $while-out$71)
+                    (br $while-out$73)
                   )
                 )
                 (set_local $i71
@@ -5972,7 +5974,7 @@
                     )
                   )
                 )
-                (br $while-in$72)
+                (br $while-in$74)
               )
               (set_local $i44
                 (i32.add
@@ -6169,7 +6171,7 @@
                   (i32.const 24)
                 )
               )
-              (loop $do-out$73 $do-in$74
+              (loop $do-out$75 $do-in$76
                 (set_local $i63
                   (i32.add
                     (get_local $i63)
@@ -6180,7 +6182,7 @@
                   (get_local $i63)
                   (i32.const 7)
                 )
-                (br_if $do-in$74
+                (br_if $do-in$76
                   (i32.lt_u
                     (i32.add
                       (get_local $i63)
@@ -6557,7 +6559,7 @@
                       (get_local $i43)
                     )
                   )
-                  (loop $while-out$75 $while-in$76
+                  (loop $while-out$77 $while-in$78
                     (if
                       (i32.eq
                         (i32.and
@@ -6578,7 +6580,7 @@
                         (set_local $i36
                           (i32.const 307)
                         )
-                        (br $while-out$75)
+                        (br $while-out$77)
                       )
                     )
                     (set_local $i43
@@ -6615,7 +6617,7 @@
                         (set_local $i36
                           (i32.const 304)
                         )
-                        (br $while-out$75)
+                        (br $while-out$77)
                       )
                       (block
                         (set_local $i5
@@ -6629,7 +6631,7 @@
                         )
                       )
                     )
-                    (br $while-in$76)
+                    (br $while-in$78)
                   )
                   (if
                     (i32.eq
@@ -6796,7 +6798,7 @@
               (set_local $i5
                 (i32.const 0)
               )
-              (loop $do-out$77 $do-in$78
+              (loop $do-out$46 $do-in$47
                 (set_local $i62
                   (i32.add
                     (i32.const 216)
@@ -6829,7 +6831,7 @@
                     (i32.const 1)
                   )
                 )
-                (br_if $do-in$78
+                (br_if $do-in$47
                   (i32.ne
                     (get_local $i5)
                     (i32.const 32)
@@ -9874,10 +9876,12 @@
               )
             )
           )
-          (call $_memcpy
-            (get_local $i12)
-            (get_local $i11)
-            (get_local $i10)
+          (drop
+            (call $_memcpy
+              (get_local $i12)
+              (get_local $i11)
+              (get_local $i10)
+            )
           )
           (i32.store
             (get_local $i5)
@@ -10499,22 +10503,24 @@
           )
         )
         (block
-          (call_indirect $FUNCSIG$iiii
-            (i32.add
-              (i32.and
-                (i32.load
-                  (i32.add
-                    (get_local $i1)
-                    (i32.const 36)
+          (drop
+            (call_indirect $FUNCSIG$iiii
+              (i32.add
+                (i32.and
+                  (i32.load
+                    (i32.add
+                      (get_local $i1)
+                      (i32.const 36)
+                    )
                   )
+                  (i32.const 7)
                 )
-                (i32.const 7)
+                (i32.const 2)
               )
-              (i32.const 2)
+              (get_local $i1)
+              (i32.const 0)
+              (i32.const 0)
             )
-            (get_local $i1)
-            (i32.const 0)
-            (i32.const 0)
           )
           (i32.eq
             (i32.load
@@ -11874,8 +11880,10 @@
     )
   )
   (func $_main (result i32)
-    (call $_puts
-      (i32.const 672)
+    (drop
+      (call $_puts
+        (i32.const 672)
+      )
     )
     (return
       (i32.const 0)