| ;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited. |
| |
| ;; Similar to reorder-globals, but this runs the "real" version, without |
| ;; "-always". That is, this tests the production code. The downside is we need |
| ;; 128+ globals to see any changes here, so we keep most testing in the other |
| ;; file. |
| |
| ;; RUN: foreach %s %t wasm-opt -all --reorder-globals -S -o - | filecheck %s |
| |
| ;; A situation where the simple greedy sort fails to be optimal. We have 129 |
| ;; globals, enough for the LEB size to grow by 1 for the last. One global, |
| ;; |other|, is independent of the rest. The second is in a chain with all the |
| ;; others: |
| ;; |
| ;; global1 <- global2 <- .. <- global128 |
| ;; |
| ;; other has a higher count than global1, so if we are greedy we pick it. But |
| ;; global128 has the highest count by far, so it is actually worth emitting the |
| ;; entire chain first, and only then other, which is the original order. |
| (module |
| ;; CHECK: (global $global1 i32 (i32.const 1)) |
| (global $global1 i32 (i32.const 1)) |
| ;; CHECK: (global $global2 i32 (global.get $global1)) |
| (global $global2 i32 (global.get $global1)) |
| ;; CHECK: (global $global3 i32 (global.get $global2)) |
| (global $global3 i32 (global.get $global2)) |
| ;; CHECK: (global $global4 i32 (global.get $global3)) |
| (global $global4 i32 (global.get $global3)) |
| ;; CHECK: (global $global5 i32 (global.get $global4)) |
| (global $global5 i32 (global.get $global4)) |
| ;; CHECK: (global $global6 i32 (global.get $global5)) |
| (global $global6 i32 (global.get $global5)) |
| ;; CHECK: (global $global7 i32 (global.get $global6)) |
| (global $global7 i32 (global.get $global6)) |
| ;; CHECK: (global $global8 i32 (global.get $global7)) |
| (global $global8 i32 (global.get $global7)) |
| ;; CHECK: (global $global9 i32 (global.get $global8)) |
| (global $global9 i32 (global.get $global8)) |
| ;; CHECK: (global $global10 i32 (global.get $global9)) |
| (global $global10 i32 (global.get $global9)) |
| ;; CHECK: (global $global11 i32 (global.get $global10)) |
| (global $global11 i32 (global.get $global10)) |
| ;; CHECK: (global $global12 i32 (global.get $global11)) |
| (global $global12 i32 (global.get $global11)) |
| ;; CHECK: (global $global13 i32 (global.get $global12)) |
| (global $global13 i32 (global.get $global12)) |
| ;; CHECK: (global $global14 i32 (global.get $global13)) |
| (global $global14 i32 (global.get $global13)) |
| ;; CHECK: (global $global15 i32 (global.get $global14)) |
| (global $global15 i32 (global.get $global14)) |
| ;; CHECK: (global $global16 i32 (global.get $global15)) |
| (global $global16 i32 (global.get $global15)) |
| ;; CHECK: (global $global17 i32 (global.get $global16)) |
| (global $global17 i32 (global.get $global16)) |
| ;; CHECK: (global $global18 i32 (global.get $global17)) |
| (global $global18 i32 (global.get $global17)) |
| ;; CHECK: (global $global19 i32 (global.get $global18)) |
| (global $global19 i32 (global.get $global18)) |
| ;; CHECK: (global $global20 i32 (global.get $global19)) |
| (global $global20 i32 (global.get $global19)) |
| ;; CHECK: (global $global21 i32 (global.get $global20)) |
| (global $global21 i32 (global.get $global20)) |
| ;; CHECK: (global $global22 i32 (global.get $global21)) |
| (global $global22 i32 (global.get $global21)) |
| ;; CHECK: (global $global23 i32 (global.get $global22)) |
| (global $global23 i32 (global.get $global22)) |
| ;; CHECK: (global $global24 i32 (global.get $global23)) |
| (global $global24 i32 (global.get $global23)) |
| ;; CHECK: (global $global25 i32 (global.get $global24)) |
| (global $global25 i32 (global.get $global24)) |
| ;; CHECK: (global $global26 i32 (global.get $global25)) |
| (global $global26 i32 (global.get $global25)) |
| ;; CHECK: (global $global27 i32 (global.get $global26)) |
| (global $global27 i32 (global.get $global26)) |
| ;; CHECK: (global $global28 i32 (global.get $global27)) |
| (global $global28 i32 (global.get $global27)) |
| ;; CHECK: (global $global29 i32 (global.get $global28)) |
| (global $global29 i32 (global.get $global28)) |
| ;; CHECK: (global $global30 i32 (global.get $global29)) |
| (global $global30 i32 (global.get $global29)) |
| ;; CHECK: (global $global31 i32 (global.get $global30)) |
| (global $global31 i32 (global.get $global30)) |
| ;; CHECK: (global $global32 i32 (global.get $global31)) |
| (global $global32 i32 (global.get $global31)) |
| ;; CHECK: (global $global33 i32 (global.get $global32)) |
| (global $global33 i32 (global.get $global32)) |
| ;; CHECK: (global $global34 i32 (global.get $global33)) |
| (global $global34 i32 (global.get $global33)) |
| ;; CHECK: (global $global35 i32 (global.get $global34)) |
| (global $global35 i32 (global.get $global34)) |
| ;; CHECK: (global $global36 i32 (global.get $global35)) |
| (global $global36 i32 (global.get $global35)) |
| ;; CHECK: (global $global37 i32 (global.get $global36)) |
| (global $global37 i32 (global.get $global36)) |
| ;; CHECK: (global $global38 i32 (global.get $global37)) |
| (global $global38 i32 (global.get $global37)) |
| ;; CHECK: (global $global39 i32 (global.get $global38)) |
| (global $global39 i32 (global.get $global38)) |
| ;; CHECK: (global $global40 i32 (global.get $global39)) |
| (global $global40 i32 (global.get $global39)) |
| ;; CHECK: (global $global41 i32 (global.get $global40)) |
| (global $global41 i32 (global.get $global40)) |
| ;; CHECK: (global $global42 i32 (global.get $global41)) |
| (global $global42 i32 (global.get $global41)) |
| ;; CHECK: (global $global43 i32 (global.get $global42)) |
| (global $global43 i32 (global.get $global42)) |
| ;; CHECK: (global $global44 i32 (global.get $global43)) |
| (global $global44 i32 (global.get $global43)) |
| ;; CHECK: (global $global45 i32 (global.get $global44)) |
| (global $global45 i32 (global.get $global44)) |
| ;; CHECK: (global $global46 i32 (global.get $global45)) |
| (global $global46 i32 (global.get $global45)) |
| ;; CHECK: (global $global47 i32 (global.get $global46)) |
| (global $global47 i32 (global.get $global46)) |
| ;; CHECK: (global $global48 i32 (global.get $global47)) |
| (global $global48 i32 (global.get $global47)) |
| ;; CHECK: (global $global49 i32 (global.get $global48)) |
| (global $global49 i32 (global.get $global48)) |
| ;; CHECK: (global $global50 i32 (global.get $global49)) |
| (global $global50 i32 (global.get $global49)) |
| ;; CHECK: (global $global51 i32 (global.get $global50)) |
| (global $global51 i32 (global.get $global50)) |
| ;; CHECK: (global $global52 i32 (global.get $global51)) |
| (global $global52 i32 (global.get $global51)) |
| ;; CHECK: (global $global53 i32 (global.get $global52)) |
| (global $global53 i32 (global.get $global52)) |
| ;; CHECK: (global $global54 i32 (global.get $global53)) |
| (global $global54 i32 (global.get $global53)) |
| ;; CHECK: (global $global55 i32 (global.get $global54)) |
| (global $global55 i32 (global.get $global54)) |
| ;; CHECK: (global $global56 i32 (global.get $global55)) |
| (global $global56 i32 (global.get $global55)) |
| ;; CHECK: (global $global57 i32 (global.get $global56)) |
| (global $global57 i32 (global.get $global56)) |
| ;; CHECK: (global $global58 i32 (global.get $global57)) |
| (global $global58 i32 (global.get $global57)) |
| ;; CHECK: (global $global59 i32 (global.get $global58)) |
| (global $global59 i32 (global.get $global58)) |
| ;; CHECK: (global $global60 i32 (global.get $global59)) |
| (global $global60 i32 (global.get $global59)) |
| ;; CHECK: (global $global61 i32 (global.get $global60)) |
| (global $global61 i32 (global.get $global60)) |
| ;; CHECK: (global $global62 i32 (global.get $global61)) |
| (global $global62 i32 (global.get $global61)) |
| ;; CHECK: (global $global63 i32 (global.get $global62)) |
| (global $global63 i32 (global.get $global62)) |
| ;; CHECK: (global $global64 i32 (global.get $global63)) |
| (global $global64 i32 (global.get $global63)) |
| ;; CHECK: (global $global65 i32 (global.get $global64)) |
| (global $global65 i32 (global.get $global64)) |
| ;; CHECK: (global $global66 i32 (global.get $global65)) |
| (global $global66 i32 (global.get $global65)) |
| ;; CHECK: (global $global67 i32 (global.get $global66)) |
| (global $global67 i32 (global.get $global66)) |
| ;; CHECK: (global $global68 i32 (global.get $global67)) |
| (global $global68 i32 (global.get $global67)) |
| ;; CHECK: (global $global69 i32 (global.get $global68)) |
| (global $global69 i32 (global.get $global68)) |
| ;; CHECK: (global $global70 i32 (global.get $global69)) |
| (global $global70 i32 (global.get $global69)) |
| ;; CHECK: (global $global71 i32 (global.get $global70)) |
| (global $global71 i32 (global.get $global70)) |
| ;; CHECK: (global $global72 i32 (global.get $global71)) |
| (global $global72 i32 (global.get $global71)) |
| ;; CHECK: (global $global73 i32 (global.get $global72)) |
| (global $global73 i32 (global.get $global72)) |
| ;; CHECK: (global $global74 i32 (global.get $global73)) |
| (global $global74 i32 (global.get $global73)) |
| ;; CHECK: (global $global75 i32 (global.get $global74)) |
| (global $global75 i32 (global.get $global74)) |
| ;; CHECK: (global $global76 i32 (global.get $global75)) |
| (global $global76 i32 (global.get $global75)) |
| ;; CHECK: (global $global77 i32 (global.get $global76)) |
| (global $global77 i32 (global.get $global76)) |
| ;; CHECK: (global $global78 i32 (global.get $global77)) |
| (global $global78 i32 (global.get $global77)) |
| ;; CHECK: (global $global79 i32 (global.get $global78)) |
| (global $global79 i32 (global.get $global78)) |
| ;; CHECK: (global $global80 i32 (global.get $global79)) |
| (global $global80 i32 (global.get $global79)) |
| ;; CHECK: (global $global81 i32 (global.get $global80)) |
| (global $global81 i32 (global.get $global80)) |
| ;; CHECK: (global $global82 i32 (global.get $global81)) |
| (global $global82 i32 (global.get $global81)) |
| ;; CHECK: (global $global83 i32 (global.get $global82)) |
| (global $global83 i32 (global.get $global82)) |
| ;; CHECK: (global $global84 i32 (global.get $global83)) |
| (global $global84 i32 (global.get $global83)) |
| ;; CHECK: (global $global85 i32 (global.get $global84)) |
| (global $global85 i32 (global.get $global84)) |
| ;; CHECK: (global $global86 i32 (global.get $global85)) |
| (global $global86 i32 (global.get $global85)) |
| ;; CHECK: (global $global87 i32 (global.get $global86)) |
| (global $global87 i32 (global.get $global86)) |
| ;; CHECK: (global $global88 i32 (global.get $global87)) |
| (global $global88 i32 (global.get $global87)) |
| ;; CHECK: (global $global89 i32 (global.get $global88)) |
| (global $global89 i32 (global.get $global88)) |
| ;; CHECK: (global $global90 i32 (global.get $global89)) |
| (global $global90 i32 (global.get $global89)) |
| ;; CHECK: (global $global91 i32 (global.get $global90)) |
| (global $global91 i32 (global.get $global90)) |
| ;; CHECK: (global $global92 i32 (global.get $global91)) |
| (global $global92 i32 (global.get $global91)) |
| ;; CHECK: (global $global93 i32 (global.get $global92)) |
| (global $global93 i32 (global.get $global92)) |
| ;; CHECK: (global $global94 i32 (global.get $global93)) |
| (global $global94 i32 (global.get $global93)) |
| ;; CHECK: (global $global95 i32 (global.get $global94)) |
| (global $global95 i32 (global.get $global94)) |
| ;; CHECK: (global $global96 i32 (global.get $global95)) |
| (global $global96 i32 (global.get $global95)) |
| ;; CHECK: (global $global97 i32 (global.get $global96)) |
| (global $global97 i32 (global.get $global96)) |
| ;; CHECK: (global $global98 i32 (global.get $global97)) |
| (global $global98 i32 (global.get $global97)) |
| ;; CHECK: (global $global99 i32 (global.get $global98)) |
| (global $global99 i32 (global.get $global98)) |
| ;; CHECK: (global $global100 i32 (global.get $global99)) |
| (global $global100 i32 (global.get $global99)) |
| ;; CHECK: (global $global101 i32 (global.get $global100)) |
| (global $global101 i32 (global.get $global100)) |
| ;; CHECK: (global $global102 i32 (global.get $global101)) |
| (global $global102 i32 (global.get $global101)) |
| ;; CHECK: (global $global103 i32 (global.get $global102)) |
| (global $global103 i32 (global.get $global102)) |
| ;; CHECK: (global $global104 i32 (global.get $global103)) |
| (global $global104 i32 (global.get $global103)) |
| ;; CHECK: (global $global105 i32 (global.get $global104)) |
| (global $global105 i32 (global.get $global104)) |
| ;; CHECK: (global $global106 i32 (global.get $global105)) |
| (global $global106 i32 (global.get $global105)) |
| ;; CHECK: (global $global107 i32 (global.get $global106)) |
| (global $global107 i32 (global.get $global106)) |
| ;; CHECK: (global $global108 i32 (global.get $global107)) |
| (global $global108 i32 (global.get $global107)) |
| ;; CHECK: (global $global109 i32 (global.get $global108)) |
| (global $global109 i32 (global.get $global108)) |
| ;; CHECK: (global $global110 i32 (global.get $global109)) |
| (global $global110 i32 (global.get $global109)) |
| ;; CHECK: (global $global111 i32 (global.get $global110)) |
| (global $global111 i32 (global.get $global110)) |
| ;; CHECK: (global $global112 i32 (global.get $global111)) |
| (global $global112 i32 (global.get $global111)) |
| ;; CHECK: (global $global113 i32 (global.get $global112)) |
| (global $global113 i32 (global.get $global112)) |
| ;; CHECK: (global $global114 i32 (global.get $global113)) |
| (global $global114 i32 (global.get $global113)) |
| ;; CHECK: (global $global115 i32 (global.get $global114)) |
| (global $global115 i32 (global.get $global114)) |
| ;; CHECK: (global $global116 i32 (global.get $global115)) |
| (global $global116 i32 (global.get $global115)) |
| ;; CHECK: (global $global117 i32 (global.get $global116)) |
| (global $global117 i32 (global.get $global116)) |
| ;; CHECK: (global $global118 i32 (global.get $global117)) |
| (global $global118 i32 (global.get $global117)) |
| ;; CHECK: (global $global119 i32 (global.get $global118)) |
| (global $global119 i32 (global.get $global118)) |
| ;; CHECK: (global $global120 i32 (global.get $global119)) |
| (global $global120 i32 (global.get $global119)) |
| ;; CHECK: (global $global121 i32 (global.get $global120)) |
| (global $global121 i32 (global.get $global120)) |
| ;; CHECK: (global $global122 i32 (global.get $global121)) |
| (global $global122 i32 (global.get $global121)) |
| ;; CHECK: (global $global123 i32 (global.get $global122)) |
| (global $global123 i32 (global.get $global122)) |
| ;; CHECK: (global $global124 i32 (global.get $global123)) |
| (global $global124 i32 (global.get $global123)) |
| ;; CHECK: (global $global125 i32 (global.get $global124)) |
| (global $global125 i32 (global.get $global124)) |
| ;; CHECK: (global $global126 i32 (global.get $global125)) |
| (global $global126 i32 (global.get $global125)) |
| ;; CHECK: (global $global127 i32 (global.get $global126)) |
| (global $global127 i32 (global.get $global126)) |
| ;; CHECK: (global $global128 i32 (global.get $global127)) |
| (global $global128 i32 (global.get $global127)) |
| |
| ;; CHECK: (global $other i32 (i32.const 0)) |
| (global $other i32 (i32.const 0)) |
| |
| ;; CHECK: (func $uses (type $0) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $other) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $other) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $global128) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $global128) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $global128) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $global128) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $global128) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $global128) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $global128) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $global128) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $global128) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $global128) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: ) |
| (func $uses |
| ;; Aside from the uses in the globals themselves (which means one use for |
| ;; each of global1..global127), we add two uses of other, to make it |
| ;; have a higher count than global1, and 10 uses of global128, to make it |
| ;; have the highest count by far. |
| (drop (global.get $other)) |
| (drop (global.get $other)) |
| |
| (drop (global.get $global128)) |
| (drop (global.get $global128)) |
| (drop (global.get $global128)) |
| (drop (global.get $global128)) |
| (drop (global.get $global128)) |
| (drop (global.get $global128)) |
| (drop (global.get $global128)) |
| (drop (global.get $global128)) |
| (drop (global.get $global128)) |
| (drop (global.get $global128)) |
| ) |
| ) |
| |
| ;; As above, but now the greedy sort is optimal. We remove all uses of |
| ;; $global128, so $other has the highest count and there is no other factor that |
| ;; matters here, so emitting $other first is best. |
| (module |
| ;; CHECK: (global $other i32 (i32.const 0)) |
| |
| ;; CHECK: (global $global1 i32 (i32.const 1)) |
| (global $global1 i32 (i32.const 1)) |
| ;; CHECK: (global $global2 i32 (global.get $global1)) |
| (global $global2 i32 (global.get $global1)) |
| ;; CHECK: (global $global3 i32 (global.get $global2)) |
| (global $global3 i32 (global.get $global2)) |
| ;; CHECK: (global $global4 i32 (global.get $global3)) |
| (global $global4 i32 (global.get $global3)) |
| ;; CHECK: (global $global5 i32 (global.get $global4)) |
| (global $global5 i32 (global.get $global4)) |
| ;; CHECK: (global $global6 i32 (global.get $global5)) |
| (global $global6 i32 (global.get $global5)) |
| ;; CHECK: (global $global7 i32 (global.get $global6)) |
| (global $global7 i32 (global.get $global6)) |
| ;; CHECK: (global $global8 i32 (global.get $global7)) |
| (global $global8 i32 (global.get $global7)) |
| ;; CHECK: (global $global9 i32 (global.get $global8)) |
| (global $global9 i32 (global.get $global8)) |
| ;; CHECK: (global $global10 i32 (global.get $global9)) |
| (global $global10 i32 (global.get $global9)) |
| ;; CHECK: (global $global11 i32 (global.get $global10)) |
| (global $global11 i32 (global.get $global10)) |
| ;; CHECK: (global $global12 i32 (global.get $global11)) |
| (global $global12 i32 (global.get $global11)) |
| ;; CHECK: (global $global13 i32 (global.get $global12)) |
| (global $global13 i32 (global.get $global12)) |
| ;; CHECK: (global $global14 i32 (global.get $global13)) |
| (global $global14 i32 (global.get $global13)) |
| ;; CHECK: (global $global15 i32 (global.get $global14)) |
| (global $global15 i32 (global.get $global14)) |
| ;; CHECK: (global $global16 i32 (global.get $global15)) |
| (global $global16 i32 (global.get $global15)) |
| ;; CHECK: (global $global17 i32 (global.get $global16)) |
| (global $global17 i32 (global.get $global16)) |
| ;; CHECK: (global $global18 i32 (global.get $global17)) |
| (global $global18 i32 (global.get $global17)) |
| ;; CHECK: (global $global19 i32 (global.get $global18)) |
| (global $global19 i32 (global.get $global18)) |
| ;; CHECK: (global $global20 i32 (global.get $global19)) |
| (global $global20 i32 (global.get $global19)) |
| ;; CHECK: (global $global21 i32 (global.get $global20)) |
| (global $global21 i32 (global.get $global20)) |
| ;; CHECK: (global $global22 i32 (global.get $global21)) |
| (global $global22 i32 (global.get $global21)) |
| ;; CHECK: (global $global23 i32 (global.get $global22)) |
| (global $global23 i32 (global.get $global22)) |
| ;; CHECK: (global $global24 i32 (global.get $global23)) |
| (global $global24 i32 (global.get $global23)) |
| ;; CHECK: (global $global25 i32 (global.get $global24)) |
| (global $global25 i32 (global.get $global24)) |
| ;; CHECK: (global $global26 i32 (global.get $global25)) |
| (global $global26 i32 (global.get $global25)) |
| ;; CHECK: (global $global27 i32 (global.get $global26)) |
| (global $global27 i32 (global.get $global26)) |
| ;; CHECK: (global $global28 i32 (global.get $global27)) |
| (global $global28 i32 (global.get $global27)) |
| ;; CHECK: (global $global29 i32 (global.get $global28)) |
| (global $global29 i32 (global.get $global28)) |
| ;; CHECK: (global $global30 i32 (global.get $global29)) |
| (global $global30 i32 (global.get $global29)) |
| ;; CHECK: (global $global31 i32 (global.get $global30)) |
| (global $global31 i32 (global.get $global30)) |
| ;; CHECK: (global $global32 i32 (global.get $global31)) |
| (global $global32 i32 (global.get $global31)) |
| ;; CHECK: (global $global33 i32 (global.get $global32)) |
| (global $global33 i32 (global.get $global32)) |
| ;; CHECK: (global $global34 i32 (global.get $global33)) |
| (global $global34 i32 (global.get $global33)) |
| ;; CHECK: (global $global35 i32 (global.get $global34)) |
| (global $global35 i32 (global.get $global34)) |
| ;; CHECK: (global $global36 i32 (global.get $global35)) |
| (global $global36 i32 (global.get $global35)) |
| ;; CHECK: (global $global37 i32 (global.get $global36)) |
| (global $global37 i32 (global.get $global36)) |
| ;; CHECK: (global $global38 i32 (global.get $global37)) |
| (global $global38 i32 (global.get $global37)) |
| ;; CHECK: (global $global39 i32 (global.get $global38)) |
| (global $global39 i32 (global.get $global38)) |
| ;; CHECK: (global $global40 i32 (global.get $global39)) |
| (global $global40 i32 (global.get $global39)) |
| ;; CHECK: (global $global41 i32 (global.get $global40)) |
| (global $global41 i32 (global.get $global40)) |
| ;; CHECK: (global $global42 i32 (global.get $global41)) |
| (global $global42 i32 (global.get $global41)) |
| ;; CHECK: (global $global43 i32 (global.get $global42)) |
| (global $global43 i32 (global.get $global42)) |
| ;; CHECK: (global $global44 i32 (global.get $global43)) |
| (global $global44 i32 (global.get $global43)) |
| ;; CHECK: (global $global45 i32 (global.get $global44)) |
| (global $global45 i32 (global.get $global44)) |
| ;; CHECK: (global $global46 i32 (global.get $global45)) |
| (global $global46 i32 (global.get $global45)) |
| ;; CHECK: (global $global47 i32 (global.get $global46)) |
| (global $global47 i32 (global.get $global46)) |
| ;; CHECK: (global $global48 i32 (global.get $global47)) |
| (global $global48 i32 (global.get $global47)) |
| ;; CHECK: (global $global49 i32 (global.get $global48)) |
| (global $global49 i32 (global.get $global48)) |
| ;; CHECK: (global $global50 i32 (global.get $global49)) |
| (global $global50 i32 (global.get $global49)) |
| ;; CHECK: (global $global51 i32 (global.get $global50)) |
| (global $global51 i32 (global.get $global50)) |
| ;; CHECK: (global $global52 i32 (global.get $global51)) |
| (global $global52 i32 (global.get $global51)) |
| ;; CHECK: (global $global53 i32 (global.get $global52)) |
| (global $global53 i32 (global.get $global52)) |
| ;; CHECK: (global $global54 i32 (global.get $global53)) |
| (global $global54 i32 (global.get $global53)) |
| ;; CHECK: (global $global55 i32 (global.get $global54)) |
| (global $global55 i32 (global.get $global54)) |
| ;; CHECK: (global $global56 i32 (global.get $global55)) |
| (global $global56 i32 (global.get $global55)) |
| ;; CHECK: (global $global57 i32 (global.get $global56)) |
| (global $global57 i32 (global.get $global56)) |
| ;; CHECK: (global $global58 i32 (global.get $global57)) |
| (global $global58 i32 (global.get $global57)) |
| ;; CHECK: (global $global59 i32 (global.get $global58)) |
| (global $global59 i32 (global.get $global58)) |
| ;; CHECK: (global $global60 i32 (global.get $global59)) |
| (global $global60 i32 (global.get $global59)) |
| ;; CHECK: (global $global61 i32 (global.get $global60)) |
| (global $global61 i32 (global.get $global60)) |
| ;; CHECK: (global $global62 i32 (global.get $global61)) |
| (global $global62 i32 (global.get $global61)) |
| ;; CHECK: (global $global63 i32 (global.get $global62)) |
| (global $global63 i32 (global.get $global62)) |
| ;; CHECK: (global $global64 i32 (global.get $global63)) |
| (global $global64 i32 (global.get $global63)) |
| ;; CHECK: (global $global65 i32 (global.get $global64)) |
| (global $global65 i32 (global.get $global64)) |
| ;; CHECK: (global $global66 i32 (global.get $global65)) |
| (global $global66 i32 (global.get $global65)) |
| ;; CHECK: (global $global67 i32 (global.get $global66)) |
| (global $global67 i32 (global.get $global66)) |
| ;; CHECK: (global $global68 i32 (global.get $global67)) |
| (global $global68 i32 (global.get $global67)) |
| ;; CHECK: (global $global69 i32 (global.get $global68)) |
| (global $global69 i32 (global.get $global68)) |
| ;; CHECK: (global $global70 i32 (global.get $global69)) |
| (global $global70 i32 (global.get $global69)) |
| ;; CHECK: (global $global71 i32 (global.get $global70)) |
| (global $global71 i32 (global.get $global70)) |
| ;; CHECK: (global $global72 i32 (global.get $global71)) |
| (global $global72 i32 (global.get $global71)) |
| ;; CHECK: (global $global73 i32 (global.get $global72)) |
| (global $global73 i32 (global.get $global72)) |
| ;; CHECK: (global $global74 i32 (global.get $global73)) |
| (global $global74 i32 (global.get $global73)) |
| ;; CHECK: (global $global75 i32 (global.get $global74)) |
| (global $global75 i32 (global.get $global74)) |
| ;; CHECK: (global $global76 i32 (global.get $global75)) |
| (global $global76 i32 (global.get $global75)) |
| ;; CHECK: (global $global77 i32 (global.get $global76)) |
| (global $global77 i32 (global.get $global76)) |
| ;; CHECK: (global $global78 i32 (global.get $global77)) |
| (global $global78 i32 (global.get $global77)) |
| ;; CHECK: (global $global79 i32 (global.get $global78)) |
| (global $global79 i32 (global.get $global78)) |
| ;; CHECK: (global $global80 i32 (global.get $global79)) |
| (global $global80 i32 (global.get $global79)) |
| ;; CHECK: (global $global81 i32 (global.get $global80)) |
| (global $global81 i32 (global.get $global80)) |
| ;; CHECK: (global $global82 i32 (global.get $global81)) |
| (global $global82 i32 (global.get $global81)) |
| ;; CHECK: (global $global83 i32 (global.get $global82)) |
| (global $global83 i32 (global.get $global82)) |
| ;; CHECK: (global $global84 i32 (global.get $global83)) |
| (global $global84 i32 (global.get $global83)) |
| ;; CHECK: (global $global85 i32 (global.get $global84)) |
| (global $global85 i32 (global.get $global84)) |
| ;; CHECK: (global $global86 i32 (global.get $global85)) |
| (global $global86 i32 (global.get $global85)) |
| ;; CHECK: (global $global87 i32 (global.get $global86)) |
| (global $global87 i32 (global.get $global86)) |
| ;; CHECK: (global $global88 i32 (global.get $global87)) |
| (global $global88 i32 (global.get $global87)) |
| ;; CHECK: (global $global89 i32 (global.get $global88)) |
| (global $global89 i32 (global.get $global88)) |
| ;; CHECK: (global $global90 i32 (global.get $global89)) |
| (global $global90 i32 (global.get $global89)) |
| ;; CHECK: (global $global91 i32 (global.get $global90)) |
| (global $global91 i32 (global.get $global90)) |
| ;; CHECK: (global $global92 i32 (global.get $global91)) |
| (global $global92 i32 (global.get $global91)) |
| ;; CHECK: (global $global93 i32 (global.get $global92)) |
| (global $global93 i32 (global.get $global92)) |
| ;; CHECK: (global $global94 i32 (global.get $global93)) |
| (global $global94 i32 (global.get $global93)) |
| ;; CHECK: (global $global95 i32 (global.get $global94)) |
| (global $global95 i32 (global.get $global94)) |
| ;; CHECK: (global $global96 i32 (global.get $global95)) |
| (global $global96 i32 (global.get $global95)) |
| ;; CHECK: (global $global97 i32 (global.get $global96)) |
| (global $global97 i32 (global.get $global96)) |
| ;; CHECK: (global $global98 i32 (global.get $global97)) |
| (global $global98 i32 (global.get $global97)) |
| ;; CHECK: (global $global99 i32 (global.get $global98)) |
| (global $global99 i32 (global.get $global98)) |
| ;; CHECK: (global $global100 i32 (global.get $global99)) |
| (global $global100 i32 (global.get $global99)) |
| ;; CHECK: (global $global101 i32 (global.get $global100)) |
| (global $global101 i32 (global.get $global100)) |
| ;; CHECK: (global $global102 i32 (global.get $global101)) |
| (global $global102 i32 (global.get $global101)) |
| ;; CHECK: (global $global103 i32 (global.get $global102)) |
| (global $global103 i32 (global.get $global102)) |
| ;; CHECK: (global $global104 i32 (global.get $global103)) |
| (global $global104 i32 (global.get $global103)) |
| ;; CHECK: (global $global105 i32 (global.get $global104)) |
| (global $global105 i32 (global.get $global104)) |
| ;; CHECK: (global $global106 i32 (global.get $global105)) |
| (global $global106 i32 (global.get $global105)) |
| ;; CHECK: (global $global107 i32 (global.get $global106)) |
| (global $global107 i32 (global.get $global106)) |
| ;; CHECK: (global $global108 i32 (global.get $global107)) |
| (global $global108 i32 (global.get $global107)) |
| ;; CHECK: (global $global109 i32 (global.get $global108)) |
| (global $global109 i32 (global.get $global108)) |
| ;; CHECK: (global $global110 i32 (global.get $global109)) |
| (global $global110 i32 (global.get $global109)) |
| ;; CHECK: (global $global111 i32 (global.get $global110)) |
| (global $global111 i32 (global.get $global110)) |
| ;; CHECK: (global $global112 i32 (global.get $global111)) |
| (global $global112 i32 (global.get $global111)) |
| ;; CHECK: (global $global113 i32 (global.get $global112)) |
| (global $global113 i32 (global.get $global112)) |
| ;; CHECK: (global $global114 i32 (global.get $global113)) |
| (global $global114 i32 (global.get $global113)) |
| ;; CHECK: (global $global115 i32 (global.get $global114)) |
| (global $global115 i32 (global.get $global114)) |
| ;; CHECK: (global $global116 i32 (global.get $global115)) |
| (global $global116 i32 (global.get $global115)) |
| ;; CHECK: (global $global117 i32 (global.get $global116)) |
| (global $global117 i32 (global.get $global116)) |
| ;; CHECK: (global $global118 i32 (global.get $global117)) |
| (global $global118 i32 (global.get $global117)) |
| ;; CHECK: (global $global119 i32 (global.get $global118)) |
| (global $global119 i32 (global.get $global118)) |
| ;; CHECK: (global $global120 i32 (global.get $global119)) |
| (global $global120 i32 (global.get $global119)) |
| ;; CHECK: (global $global121 i32 (global.get $global120)) |
| (global $global121 i32 (global.get $global120)) |
| ;; CHECK: (global $global122 i32 (global.get $global121)) |
| (global $global122 i32 (global.get $global121)) |
| ;; CHECK: (global $global123 i32 (global.get $global122)) |
| (global $global123 i32 (global.get $global122)) |
| ;; CHECK: (global $global124 i32 (global.get $global123)) |
| (global $global124 i32 (global.get $global123)) |
| ;; CHECK: (global $global125 i32 (global.get $global124)) |
| (global $global125 i32 (global.get $global124)) |
| ;; CHECK: (global $global126 i32 (global.get $global125)) |
| (global $global126 i32 (global.get $global125)) |
| ;; CHECK: (global $global127 i32 (global.get $global126)) |
| (global $global127 i32 (global.get $global126)) |
| ;; CHECK: (global $global128 i32 (global.get $global127)) |
| (global $global128 i32 (global.get $global127)) |
| |
| (global $other i32 (i32.const 0)) |
| |
| ;; CHECK: (func $uses (type $0) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $other) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $other) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: ) |
| (func $uses |
| (drop (global.get $other)) |
| (drop (global.get $other)) |
| ) |
| ) |
| |
| ;; As the last testcase, but one global fewer. As a result we only need a single |
| ;; LEB byte for them all, and we do not bother changing the sort here. |
| (module |
| ;; CHECK: (global $global1 i32 (i32.const 1)) |
| (global $global1 i32 (i32.const 1)) |
| ;; CHECK: (global $global2 i32 (global.get $global1)) |
| (global $global2 i32 (global.get $global1)) |
| ;; CHECK: (global $global3 i32 (global.get $global2)) |
| (global $global3 i32 (global.get $global2)) |
| ;; CHECK: (global $global4 i32 (global.get $global3)) |
| (global $global4 i32 (global.get $global3)) |
| ;; CHECK: (global $global5 i32 (global.get $global4)) |
| (global $global5 i32 (global.get $global4)) |
| ;; CHECK: (global $global6 i32 (global.get $global5)) |
| (global $global6 i32 (global.get $global5)) |
| ;; CHECK: (global $global7 i32 (global.get $global6)) |
| (global $global7 i32 (global.get $global6)) |
| ;; CHECK: (global $global8 i32 (global.get $global7)) |
| (global $global8 i32 (global.get $global7)) |
| ;; CHECK: (global $global9 i32 (global.get $global8)) |
| (global $global9 i32 (global.get $global8)) |
| ;; CHECK: (global $global10 i32 (global.get $global9)) |
| (global $global10 i32 (global.get $global9)) |
| ;; CHECK: (global $global11 i32 (global.get $global10)) |
| (global $global11 i32 (global.get $global10)) |
| ;; CHECK: (global $global12 i32 (global.get $global11)) |
| (global $global12 i32 (global.get $global11)) |
| ;; CHECK: (global $global13 i32 (global.get $global12)) |
| (global $global13 i32 (global.get $global12)) |
| ;; CHECK: (global $global14 i32 (global.get $global13)) |
| (global $global14 i32 (global.get $global13)) |
| ;; CHECK: (global $global15 i32 (global.get $global14)) |
| (global $global15 i32 (global.get $global14)) |
| ;; CHECK: (global $global16 i32 (global.get $global15)) |
| (global $global16 i32 (global.get $global15)) |
| ;; CHECK: (global $global17 i32 (global.get $global16)) |
| (global $global17 i32 (global.get $global16)) |
| ;; CHECK: (global $global18 i32 (global.get $global17)) |
| (global $global18 i32 (global.get $global17)) |
| ;; CHECK: (global $global19 i32 (global.get $global18)) |
| (global $global19 i32 (global.get $global18)) |
| ;; CHECK: (global $global20 i32 (global.get $global19)) |
| (global $global20 i32 (global.get $global19)) |
| ;; CHECK: (global $global21 i32 (global.get $global20)) |
| (global $global21 i32 (global.get $global20)) |
| ;; CHECK: (global $global22 i32 (global.get $global21)) |
| (global $global22 i32 (global.get $global21)) |
| ;; CHECK: (global $global23 i32 (global.get $global22)) |
| (global $global23 i32 (global.get $global22)) |
| ;; CHECK: (global $global24 i32 (global.get $global23)) |
| (global $global24 i32 (global.get $global23)) |
| ;; CHECK: (global $global25 i32 (global.get $global24)) |
| (global $global25 i32 (global.get $global24)) |
| ;; CHECK: (global $global26 i32 (global.get $global25)) |
| (global $global26 i32 (global.get $global25)) |
| ;; CHECK: (global $global27 i32 (global.get $global26)) |
| (global $global27 i32 (global.get $global26)) |
| ;; CHECK: (global $global28 i32 (global.get $global27)) |
| (global $global28 i32 (global.get $global27)) |
| ;; CHECK: (global $global29 i32 (global.get $global28)) |
| (global $global29 i32 (global.get $global28)) |
| ;; CHECK: (global $global30 i32 (global.get $global29)) |
| (global $global30 i32 (global.get $global29)) |
| ;; CHECK: (global $global31 i32 (global.get $global30)) |
| (global $global31 i32 (global.get $global30)) |
| ;; CHECK: (global $global32 i32 (global.get $global31)) |
| (global $global32 i32 (global.get $global31)) |
| ;; CHECK: (global $global33 i32 (global.get $global32)) |
| (global $global33 i32 (global.get $global32)) |
| ;; CHECK: (global $global34 i32 (global.get $global33)) |
| (global $global34 i32 (global.get $global33)) |
| ;; CHECK: (global $global35 i32 (global.get $global34)) |
| (global $global35 i32 (global.get $global34)) |
| ;; CHECK: (global $global36 i32 (global.get $global35)) |
| (global $global36 i32 (global.get $global35)) |
| ;; CHECK: (global $global37 i32 (global.get $global36)) |
| (global $global37 i32 (global.get $global36)) |
| ;; CHECK: (global $global38 i32 (global.get $global37)) |
| (global $global38 i32 (global.get $global37)) |
| ;; CHECK: (global $global39 i32 (global.get $global38)) |
| (global $global39 i32 (global.get $global38)) |
| ;; CHECK: (global $global40 i32 (global.get $global39)) |
| (global $global40 i32 (global.get $global39)) |
| ;; CHECK: (global $global41 i32 (global.get $global40)) |
| (global $global41 i32 (global.get $global40)) |
| ;; CHECK: (global $global42 i32 (global.get $global41)) |
| (global $global42 i32 (global.get $global41)) |
| ;; CHECK: (global $global43 i32 (global.get $global42)) |
| (global $global43 i32 (global.get $global42)) |
| ;; CHECK: (global $global44 i32 (global.get $global43)) |
| (global $global44 i32 (global.get $global43)) |
| ;; CHECK: (global $global45 i32 (global.get $global44)) |
| (global $global45 i32 (global.get $global44)) |
| ;; CHECK: (global $global46 i32 (global.get $global45)) |
| (global $global46 i32 (global.get $global45)) |
| ;; CHECK: (global $global47 i32 (global.get $global46)) |
| (global $global47 i32 (global.get $global46)) |
| ;; CHECK: (global $global48 i32 (global.get $global47)) |
| (global $global48 i32 (global.get $global47)) |
| ;; CHECK: (global $global49 i32 (global.get $global48)) |
| (global $global49 i32 (global.get $global48)) |
| ;; CHECK: (global $global50 i32 (global.get $global49)) |
| (global $global50 i32 (global.get $global49)) |
| ;; CHECK: (global $global51 i32 (global.get $global50)) |
| (global $global51 i32 (global.get $global50)) |
| ;; CHECK: (global $global52 i32 (global.get $global51)) |
| (global $global52 i32 (global.get $global51)) |
| ;; CHECK: (global $global53 i32 (global.get $global52)) |
| (global $global53 i32 (global.get $global52)) |
| ;; CHECK: (global $global54 i32 (global.get $global53)) |
| (global $global54 i32 (global.get $global53)) |
| ;; CHECK: (global $global55 i32 (global.get $global54)) |
| (global $global55 i32 (global.get $global54)) |
| ;; CHECK: (global $global56 i32 (global.get $global55)) |
| (global $global56 i32 (global.get $global55)) |
| ;; CHECK: (global $global57 i32 (global.get $global56)) |
| (global $global57 i32 (global.get $global56)) |
| ;; CHECK: (global $global58 i32 (global.get $global57)) |
| (global $global58 i32 (global.get $global57)) |
| ;; CHECK: (global $global59 i32 (global.get $global58)) |
| (global $global59 i32 (global.get $global58)) |
| ;; CHECK: (global $global60 i32 (global.get $global59)) |
| (global $global60 i32 (global.get $global59)) |
| ;; CHECK: (global $global61 i32 (global.get $global60)) |
| (global $global61 i32 (global.get $global60)) |
| ;; CHECK: (global $global62 i32 (global.get $global61)) |
| (global $global62 i32 (global.get $global61)) |
| ;; CHECK: (global $global63 i32 (global.get $global62)) |
| (global $global63 i32 (global.get $global62)) |
| ;; CHECK: (global $global64 i32 (global.get $global63)) |
| (global $global64 i32 (global.get $global63)) |
| ;; CHECK: (global $global65 i32 (global.get $global64)) |
| (global $global65 i32 (global.get $global64)) |
| ;; CHECK: (global $global66 i32 (global.get $global65)) |
| (global $global66 i32 (global.get $global65)) |
| ;; CHECK: (global $global67 i32 (global.get $global66)) |
| (global $global67 i32 (global.get $global66)) |
| ;; CHECK: (global $global68 i32 (global.get $global67)) |
| (global $global68 i32 (global.get $global67)) |
| ;; CHECK: (global $global69 i32 (global.get $global68)) |
| (global $global69 i32 (global.get $global68)) |
| ;; CHECK: (global $global70 i32 (global.get $global69)) |
| (global $global70 i32 (global.get $global69)) |
| ;; CHECK: (global $global71 i32 (global.get $global70)) |
| (global $global71 i32 (global.get $global70)) |
| ;; CHECK: (global $global72 i32 (global.get $global71)) |
| (global $global72 i32 (global.get $global71)) |
| ;; CHECK: (global $global73 i32 (global.get $global72)) |
| (global $global73 i32 (global.get $global72)) |
| ;; CHECK: (global $global74 i32 (global.get $global73)) |
| (global $global74 i32 (global.get $global73)) |
| ;; CHECK: (global $global75 i32 (global.get $global74)) |
| (global $global75 i32 (global.get $global74)) |
| ;; CHECK: (global $global76 i32 (global.get $global75)) |
| (global $global76 i32 (global.get $global75)) |
| ;; CHECK: (global $global77 i32 (global.get $global76)) |
| (global $global77 i32 (global.get $global76)) |
| ;; CHECK: (global $global78 i32 (global.get $global77)) |
| (global $global78 i32 (global.get $global77)) |
| ;; CHECK: (global $global79 i32 (global.get $global78)) |
| (global $global79 i32 (global.get $global78)) |
| ;; CHECK: (global $global80 i32 (global.get $global79)) |
| (global $global80 i32 (global.get $global79)) |
| ;; CHECK: (global $global81 i32 (global.get $global80)) |
| (global $global81 i32 (global.get $global80)) |
| ;; CHECK: (global $global82 i32 (global.get $global81)) |
| (global $global82 i32 (global.get $global81)) |
| ;; CHECK: (global $global83 i32 (global.get $global82)) |
| (global $global83 i32 (global.get $global82)) |
| ;; CHECK: (global $global84 i32 (global.get $global83)) |
| (global $global84 i32 (global.get $global83)) |
| ;; CHECK: (global $global85 i32 (global.get $global84)) |
| (global $global85 i32 (global.get $global84)) |
| ;; CHECK: (global $global86 i32 (global.get $global85)) |
| (global $global86 i32 (global.get $global85)) |
| ;; CHECK: (global $global87 i32 (global.get $global86)) |
| (global $global87 i32 (global.get $global86)) |
| ;; CHECK: (global $global88 i32 (global.get $global87)) |
| (global $global88 i32 (global.get $global87)) |
| ;; CHECK: (global $global89 i32 (global.get $global88)) |
| (global $global89 i32 (global.get $global88)) |
| ;; CHECK: (global $global90 i32 (global.get $global89)) |
| (global $global90 i32 (global.get $global89)) |
| ;; CHECK: (global $global91 i32 (global.get $global90)) |
| (global $global91 i32 (global.get $global90)) |
| ;; CHECK: (global $global92 i32 (global.get $global91)) |
| (global $global92 i32 (global.get $global91)) |
| ;; CHECK: (global $global93 i32 (global.get $global92)) |
| (global $global93 i32 (global.get $global92)) |
| ;; CHECK: (global $global94 i32 (global.get $global93)) |
| (global $global94 i32 (global.get $global93)) |
| ;; CHECK: (global $global95 i32 (global.get $global94)) |
| (global $global95 i32 (global.get $global94)) |
| ;; CHECK: (global $global96 i32 (global.get $global95)) |
| (global $global96 i32 (global.get $global95)) |
| ;; CHECK: (global $global97 i32 (global.get $global96)) |
| (global $global97 i32 (global.get $global96)) |
| ;; CHECK: (global $global98 i32 (global.get $global97)) |
| (global $global98 i32 (global.get $global97)) |
| ;; CHECK: (global $global99 i32 (global.get $global98)) |
| (global $global99 i32 (global.get $global98)) |
| ;; CHECK: (global $global100 i32 (global.get $global99)) |
| (global $global100 i32 (global.get $global99)) |
| ;; CHECK: (global $global101 i32 (global.get $global100)) |
| (global $global101 i32 (global.get $global100)) |
| ;; CHECK: (global $global102 i32 (global.get $global101)) |
| (global $global102 i32 (global.get $global101)) |
| ;; CHECK: (global $global103 i32 (global.get $global102)) |
| (global $global103 i32 (global.get $global102)) |
| ;; CHECK: (global $global104 i32 (global.get $global103)) |
| (global $global104 i32 (global.get $global103)) |
| ;; CHECK: (global $global105 i32 (global.get $global104)) |
| (global $global105 i32 (global.get $global104)) |
| ;; CHECK: (global $global106 i32 (global.get $global105)) |
| (global $global106 i32 (global.get $global105)) |
| ;; CHECK: (global $global107 i32 (global.get $global106)) |
| (global $global107 i32 (global.get $global106)) |
| ;; CHECK: (global $global108 i32 (global.get $global107)) |
| (global $global108 i32 (global.get $global107)) |
| ;; CHECK: (global $global109 i32 (global.get $global108)) |
| (global $global109 i32 (global.get $global108)) |
| ;; CHECK: (global $global110 i32 (global.get $global109)) |
| (global $global110 i32 (global.get $global109)) |
| ;; CHECK: (global $global111 i32 (global.get $global110)) |
| (global $global111 i32 (global.get $global110)) |
| ;; CHECK: (global $global112 i32 (global.get $global111)) |
| (global $global112 i32 (global.get $global111)) |
| ;; CHECK: (global $global113 i32 (global.get $global112)) |
| (global $global113 i32 (global.get $global112)) |
| ;; CHECK: (global $global114 i32 (global.get $global113)) |
| (global $global114 i32 (global.get $global113)) |
| ;; CHECK: (global $global115 i32 (global.get $global114)) |
| (global $global115 i32 (global.get $global114)) |
| ;; CHECK: (global $global116 i32 (global.get $global115)) |
| (global $global116 i32 (global.get $global115)) |
| ;; CHECK: (global $global117 i32 (global.get $global116)) |
| (global $global117 i32 (global.get $global116)) |
| ;; CHECK: (global $global118 i32 (global.get $global117)) |
| (global $global118 i32 (global.get $global117)) |
| ;; CHECK: (global $global119 i32 (global.get $global118)) |
| (global $global119 i32 (global.get $global118)) |
| ;; CHECK: (global $global120 i32 (global.get $global119)) |
| (global $global120 i32 (global.get $global119)) |
| ;; CHECK: (global $global121 i32 (global.get $global120)) |
| (global $global121 i32 (global.get $global120)) |
| ;; CHECK: (global $global122 i32 (global.get $global121)) |
| (global $global122 i32 (global.get $global121)) |
| ;; CHECK: (global $global123 i32 (global.get $global122)) |
| (global $global123 i32 (global.get $global122)) |
| ;; CHECK: (global $global124 i32 (global.get $global123)) |
| (global $global124 i32 (global.get $global123)) |
| ;; CHECK: (global $global125 i32 (global.get $global124)) |
| (global $global125 i32 (global.get $global124)) |
| ;; CHECK: (global $global126 i32 (global.get $global125)) |
| (global $global126 i32 (global.get $global125)) |
| ;; CHECK: (global $global127 i32 (global.get $global126)) |
| (global $global127 i32 (global.get $global126)) |
| |
| ;; $global128 was removed |
| |
| ;; CHECK: (global $other i32 (i32.const 0)) |
| (global $other i32 (i32.const 0)) |
| |
| ;; CHECK: (func $uses (type $0) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $other) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: (drop |
| ;; CHECK-NEXT: (global.get $other) |
| ;; CHECK-NEXT: ) |
| ;; CHECK-NEXT: ) |
| (func $uses |
| (drop (global.get $other)) |
| (drop (global.get $other)) |
| ) |
| ) |
