|
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