|
839 | 839 |
|
840 | 840 | ;; CHECK: (func $memory1_size (result i32)
|
841 | 841 | ;; CHECK-NEXT: (return
|
842 |
| -;; CHECK-NEXT: (i32.div_u |
| 842 | +;; CHECK-NEXT: (i32.shr_u |
843 | 843 | ;; CHECK-NEXT: (global.get $memory2_byte_offset)
|
844 |
| -;; CHECK-NEXT: (i32.const 65536) |
| 844 | +;; CHECK-NEXT: (i32.const 16) |
845 | 845 | ;; CHECK-NEXT: )
|
846 | 846 | ;; CHECK-NEXT: )
|
847 | 847 | ;; CHECK-NEXT: )
|
848 | 848 |
|
849 | 849 | ;; CHECK: (func $memory2_size (result i32)
|
850 | 850 | ;; CHECK-NEXT: (return
|
851 | 851 | ;; CHECK-NEXT: (i32.sub
|
852 |
| -;; CHECK-NEXT: (i32.div_u |
| 852 | +;; CHECK-NEXT: (i32.shr_u |
853 | 853 | ;; CHECK-NEXT: (global.get $memory3_byte_offset)
|
854 |
| -;; CHECK-NEXT: (i32.const 65536) |
| 854 | +;; CHECK-NEXT: (i32.const 16) |
855 | 855 | ;; CHECK-NEXT: )
|
856 |
| -;; CHECK-NEXT: (i32.div_u |
| 856 | +;; CHECK-NEXT: (i32.shr_u |
857 | 857 | ;; CHECK-NEXT: (global.get $memory2_byte_offset)
|
858 |
| -;; CHECK-NEXT: (i32.const 65536) |
| 858 | +;; CHECK-NEXT: (i32.const 16) |
859 | 859 | ;; CHECK-NEXT: )
|
860 | 860 | ;; CHECK-NEXT: )
|
861 | 861 | ;; CHECK-NEXT: )
|
|
865 | 865 | ;; CHECK-NEXT: (return
|
866 | 866 | ;; CHECK-NEXT: (i32.sub
|
867 | 867 | ;; CHECK-NEXT: (memory.size)
|
868 |
| -;; CHECK-NEXT: (i32.div_u |
| 868 | +;; CHECK-NEXT: (i32.shr_u |
869 | 869 | ;; CHECK-NEXT: (global.get $memory3_byte_offset)
|
870 |
| -;; CHECK-NEXT: (i32.const 65536) |
| 870 | +;; CHECK-NEXT: (i32.const 16) |
871 | 871 | ;; CHECK-NEXT: )
|
872 | 872 | ;; CHECK-NEXT: )
|
873 | 873 | ;; CHECK-NEXT: )
|
|
898 | 898 | ;; CHECK-NEXT: (memory.copy
|
899 | 899 | ;; CHECK-NEXT: (i32.add
|
900 | 900 | ;; CHECK-NEXT: (global.get $memory2_byte_offset)
|
901 |
| -;; CHECK-NEXT: (i32.mul |
| 901 | +;; CHECK-NEXT: (i32.shl |
902 | 902 | ;; CHECK-NEXT: (local.get $page_delta)
|
903 |
| -;; CHECK-NEXT: (i32.const 65536) |
| 903 | +;; CHECK-NEXT: (i32.const 16) |
904 | 904 | ;; CHECK-NEXT: )
|
905 | 905 | ;; CHECK-NEXT: )
|
906 | 906 | ;; CHECK-NEXT: (global.get $memory2_byte_offset)
|
907 | 907 | ;; CHECK-NEXT: (i32.sub
|
908 |
| -;; CHECK-NEXT: (i32.mul |
| 908 | +;; CHECK-NEXT: (i32.shl |
909 | 909 | ;; CHECK-NEXT: (local.get $memory_size)
|
910 |
| -;; CHECK-NEXT: (i32.const 65536) |
| 910 | +;; CHECK-NEXT: (i32.const 16) |
911 | 911 | ;; CHECK-NEXT: )
|
912 | 912 | ;; CHECK-NEXT: (global.get $memory2_byte_offset)
|
913 | 913 | ;; CHECK-NEXT: )
|
914 | 914 | ;; CHECK-NEXT: )
|
915 | 915 | ;; CHECK-NEXT: (global.set $memory2_byte_offset
|
916 | 916 | ;; CHECK-NEXT: (i32.add
|
917 | 917 | ;; CHECK-NEXT: (global.get $memory2_byte_offset)
|
918 |
| -;; CHECK-NEXT: (i32.mul |
| 918 | +;; CHECK-NEXT: (i32.shl |
919 | 919 | ;; CHECK-NEXT: (local.get $page_delta)
|
920 |
| -;; CHECK-NEXT: (i32.const 65536) |
| 920 | +;; CHECK-NEXT: (i32.const 16) |
921 | 921 | ;; CHECK-NEXT: )
|
922 | 922 | ;; CHECK-NEXT: )
|
923 | 923 | ;; CHECK-NEXT: )
|
924 | 924 | ;; CHECK-NEXT: (global.set $memory3_byte_offset
|
925 | 925 | ;; CHECK-NEXT: (i32.add
|
926 | 926 | ;; CHECK-NEXT: (global.get $memory3_byte_offset)
|
927 |
| -;; CHECK-NEXT: (i32.mul |
| 927 | +;; CHECK-NEXT: (i32.shl |
928 | 928 | ;; CHECK-NEXT: (local.get $page_delta)
|
929 |
| -;; CHECK-NEXT: (i32.const 65536) |
| 929 | +;; CHECK-NEXT: (i32.const 16) |
930 | 930 | ;; CHECK-NEXT: )
|
931 | 931 | ;; CHECK-NEXT: )
|
932 | 932 | ;; CHECK-NEXT: )
|
|
958 | 958 | ;; CHECK-NEXT: (memory.copy
|
959 | 959 | ;; CHECK-NEXT: (i32.add
|
960 | 960 | ;; CHECK-NEXT: (global.get $memory3_byte_offset)
|
961 |
| -;; CHECK-NEXT: (i32.mul |
| 961 | +;; CHECK-NEXT: (i32.shl |
962 | 962 | ;; CHECK-NEXT: (local.get $page_delta)
|
963 |
| -;; CHECK-NEXT: (i32.const 65536) |
| 963 | +;; CHECK-NEXT: (i32.const 16) |
964 | 964 | ;; CHECK-NEXT: )
|
965 | 965 | ;; CHECK-NEXT: )
|
966 | 966 | ;; CHECK-NEXT: (global.get $memory3_byte_offset)
|
967 | 967 | ;; CHECK-NEXT: (i32.sub
|
968 |
| -;; CHECK-NEXT: (i32.mul |
| 968 | +;; CHECK-NEXT: (i32.shl |
969 | 969 | ;; CHECK-NEXT: (local.get $memory_size)
|
970 |
| -;; CHECK-NEXT: (i32.const 65536) |
| 970 | +;; CHECK-NEXT: (i32.const 16) |
971 | 971 | ;; CHECK-NEXT: )
|
972 | 972 | ;; CHECK-NEXT: (global.get $memory3_byte_offset)
|
973 | 973 | ;; CHECK-NEXT: )
|
974 | 974 | ;; CHECK-NEXT: )
|
975 | 975 | ;; CHECK-NEXT: (global.set $memory3_byte_offset
|
976 | 976 | ;; CHECK-NEXT: (i32.add
|
977 | 977 | ;; CHECK-NEXT: (global.get $memory3_byte_offset)
|
978 |
| -;; CHECK-NEXT: (i32.mul |
| 978 | +;; CHECK-NEXT: (i32.shl |
979 | 979 | ;; CHECK-NEXT: (local.get $page_delta)
|
980 |
| -;; CHECK-NEXT: (i32.const 65536) |
| 980 | +;; CHECK-NEXT: (i32.const 16) |
981 | 981 | ;; CHECK-NEXT: )
|
982 | 982 | ;; CHECK-NEXT: )
|
983 | 983 | ;; CHECK-NEXT: )
|
|
1007 | 1007 |
|
1008 | 1008 | ;; BOUNDS: (func $memory1_size (result i32)
|
1009 | 1009 | ;; BOUNDS-NEXT: (return
|
1010 |
| -;; BOUNDS-NEXT: (i32.div_u |
| 1010 | +;; BOUNDS-NEXT: (i32.shr_u |
1011 | 1011 | ;; BOUNDS-NEXT: (global.get $memory2_byte_offset)
|
1012 |
| -;; BOUNDS-NEXT: (i32.const 65536) |
| 1012 | +;; BOUNDS-NEXT: (i32.const 16) |
1013 | 1013 | ;; BOUNDS-NEXT: )
|
1014 | 1014 | ;; BOUNDS-NEXT: )
|
1015 | 1015 | ;; BOUNDS-NEXT: )
|
1016 | 1016 |
|
1017 | 1017 | ;; BOUNDS: (func $memory2_size (result i32)
|
1018 | 1018 | ;; BOUNDS-NEXT: (return
|
1019 | 1019 | ;; BOUNDS-NEXT: (i32.sub
|
1020 |
| -;; BOUNDS-NEXT: (i32.div_u |
| 1020 | +;; BOUNDS-NEXT: (i32.shr_u |
1021 | 1021 | ;; BOUNDS-NEXT: (global.get $memory3_byte_offset)
|
1022 |
| -;; BOUNDS-NEXT: (i32.const 65536) |
| 1022 | +;; BOUNDS-NEXT: (i32.const 16) |
1023 | 1023 | ;; BOUNDS-NEXT: )
|
1024 |
| -;; BOUNDS-NEXT: (i32.div_u |
| 1024 | +;; BOUNDS-NEXT: (i32.shr_u |
1025 | 1025 | ;; BOUNDS-NEXT: (global.get $memory2_byte_offset)
|
1026 |
| -;; BOUNDS-NEXT: (i32.const 65536) |
| 1026 | +;; BOUNDS-NEXT: (i32.const 16) |
1027 | 1027 | ;; BOUNDS-NEXT: )
|
1028 | 1028 | ;; BOUNDS-NEXT: )
|
1029 | 1029 | ;; BOUNDS-NEXT: )
|
|
1033 | 1033 | ;; BOUNDS-NEXT: (return
|
1034 | 1034 | ;; BOUNDS-NEXT: (i32.sub
|
1035 | 1035 | ;; BOUNDS-NEXT: (memory.size)
|
1036 |
| -;; BOUNDS-NEXT: (i32.div_u |
| 1036 | +;; BOUNDS-NEXT: (i32.shr_u |
1037 | 1037 | ;; BOUNDS-NEXT: (global.get $memory3_byte_offset)
|
1038 |
| -;; BOUNDS-NEXT: (i32.const 65536) |
| 1038 | +;; BOUNDS-NEXT: (i32.const 16) |
1039 | 1039 | ;; BOUNDS-NEXT: )
|
1040 | 1040 | ;; BOUNDS-NEXT: )
|
1041 | 1041 | ;; BOUNDS-NEXT: )
|
|
1066 | 1066 | ;; BOUNDS-NEXT: (memory.copy
|
1067 | 1067 | ;; BOUNDS-NEXT: (i32.add
|
1068 | 1068 | ;; BOUNDS-NEXT: (global.get $memory2_byte_offset)
|
1069 |
| -;; BOUNDS-NEXT: (i32.mul |
| 1069 | +;; BOUNDS-NEXT: (i32.shl |
1070 | 1070 | ;; BOUNDS-NEXT: (local.get $page_delta)
|
1071 |
| -;; BOUNDS-NEXT: (i32.const 65536) |
| 1071 | +;; BOUNDS-NEXT: (i32.const 16) |
1072 | 1072 | ;; BOUNDS-NEXT: )
|
1073 | 1073 | ;; BOUNDS-NEXT: )
|
1074 | 1074 | ;; BOUNDS-NEXT: (global.get $memory2_byte_offset)
|
1075 | 1075 | ;; BOUNDS-NEXT: (i32.sub
|
1076 |
| -;; BOUNDS-NEXT: (i32.mul |
| 1076 | +;; BOUNDS-NEXT: (i32.shl |
1077 | 1077 | ;; BOUNDS-NEXT: (local.get $memory_size)
|
1078 |
| -;; BOUNDS-NEXT: (i32.const 65536) |
| 1078 | +;; BOUNDS-NEXT: (i32.const 16) |
1079 | 1079 | ;; BOUNDS-NEXT: )
|
1080 | 1080 | ;; BOUNDS-NEXT: (global.get $memory2_byte_offset)
|
1081 | 1081 | ;; BOUNDS-NEXT: )
|
1082 | 1082 | ;; BOUNDS-NEXT: )
|
1083 | 1083 | ;; BOUNDS-NEXT: (global.set $memory2_byte_offset
|
1084 | 1084 | ;; BOUNDS-NEXT: (i32.add
|
1085 | 1085 | ;; BOUNDS-NEXT: (global.get $memory2_byte_offset)
|
1086 |
| -;; BOUNDS-NEXT: (i32.mul |
| 1086 | +;; BOUNDS-NEXT: (i32.shl |
1087 | 1087 | ;; BOUNDS-NEXT: (local.get $page_delta)
|
1088 |
| -;; BOUNDS-NEXT: (i32.const 65536) |
| 1088 | +;; BOUNDS-NEXT: (i32.const 16) |
1089 | 1089 | ;; BOUNDS-NEXT: )
|
1090 | 1090 | ;; BOUNDS-NEXT: )
|
1091 | 1091 | ;; BOUNDS-NEXT: )
|
1092 | 1092 | ;; BOUNDS-NEXT: (global.set $memory3_byte_offset
|
1093 | 1093 | ;; BOUNDS-NEXT: (i32.add
|
1094 | 1094 | ;; BOUNDS-NEXT: (global.get $memory3_byte_offset)
|
1095 |
| -;; BOUNDS-NEXT: (i32.mul |
| 1095 | +;; BOUNDS-NEXT: (i32.shl |
1096 | 1096 | ;; BOUNDS-NEXT: (local.get $page_delta)
|
1097 |
| -;; BOUNDS-NEXT: (i32.const 65536) |
| 1097 | +;; BOUNDS-NEXT: (i32.const 16) |
1098 | 1098 | ;; BOUNDS-NEXT: )
|
1099 | 1099 | ;; BOUNDS-NEXT: )
|
1100 | 1100 | ;; BOUNDS-NEXT: )
|
|
1126 | 1126 | ;; BOUNDS-NEXT: (memory.copy
|
1127 | 1127 | ;; BOUNDS-NEXT: (i32.add
|
1128 | 1128 | ;; BOUNDS-NEXT: (global.get $memory3_byte_offset)
|
1129 |
| -;; BOUNDS-NEXT: (i32.mul |
| 1129 | +;; BOUNDS-NEXT: (i32.shl |
1130 | 1130 | ;; BOUNDS-NEXT: (local.get $page_delta)
|
1131 |
| -;; BOUNDS-NEXT: (i32.const 65536) |
| 1131 | +;; BOUNDS-NEXT: (i32.const 16) |
1132 | 1132 | ;; BOUNDS-NEXT: )
|
1133 | 1133 | ;; BOUNDS-NEXT: )
|
1134 | 1134 | ;; BOUNDS-NEXT: (global.get $memory3_byte_offset)
|
1135 | 1135 | ;; BOUNDS-NEXT: (i32.sub
|
1136 |
| -;; BOUNDS-NEXT: (i32.mul |
| 1136 | +;; BOUNDS-NEXT: (i32.shl |
1137 | 1137 | ;; BOUNDS-NEXT: (local.get $memory_size)
|
1138 |
| -;; BOUNDS-NEXT: (i32.const 65536) |
| 1138 | +;; BOUNDS-NEXT: (i32.const 16) |
1139 | 1139 | ;; BOUNDS-NEXT: )
|
1140 | 1140 | ;; BOUNDS-NEXT: (global.get $memory3_byte_offset)
|
1141 | 1141 | ;; BOUNDS-NEXT: )
|
1142 | 1142 | ;; BOUNDS-NEXT: )
|
1143 | 1143 | ;; BOUNDS-NEXT: (global.set $memory3_byte_offset
|
1144 | 1144 | ;; BOUNDS-NEXT: (i32.add
|
1145 | 1145 | ;; BOUNDS-NEXT: (global.get $memory3_byte_offset)
|
1146 |
| -;; BOUNDS-NEXT: (i32.mul |
| 1146 | +;; BOUNDS-NEXT: (i32.shl |
1147 | 1147 | ;; BOUNDS-NEXT: (local.get $page_delta)
|
1148 |
| -;; BOUNDS-NEXT: (i32.const 65536) |
| 1148 | +;; BOUNDS-NEXT: (i32.const 16) |
1149 | 1149 | ;; BOUNDS-NEXT: )
|
1150 | 1150 | ;; BOUNDS-NEXT: )
|
1151 | 1151 | ;; BOUNDS-NEXT: )
|
|
0 commit comments