github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/fuzzcases/testdata/1793d.wat (about) 1 (module 2 (type (;0;) (func (result i64))) 3 (func (;0;) (type 0) (result i64) 4 (local f64 f64 f64 f64 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128 v128) 5 global.get 2 6 i32.eqz 7 if ;; label = @1 8 unreachable 9 end 10 global.get 2 11 i32.const 1 12 i32.sub 13 global.set 2 14 i64.const 39584465551547 15 i64.popcnt 16 ref.null extern 17 local.get 1 18 f64.neg 19 f64.neg 20 f64.neg 21 f64.neg 22 f64.neg 23 f64.neg 24 f64.neg 25 f64.neg 26 f64.neg 27 f64.neg 28 f64.neg 29 f64.neg 30 f64.neg 31 f64.neg 32 f64.neg 33 f64.floor 34 local.tee 3 35 f64.const nan (;=NaN;) 36 local.get 3 37 local.get 3 38 f64.eq 39 select 40 i32.trunc_f64_u 41 v128.const i32x4 0xffffffff 0xffffffff 0xffffffff 0xffffffff 42 f64x2.nearest 43 local.tee 4 44 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 45 local.get 4 46 local.get 4 47 f64x2.eq 48 v128.bitselect 49 f64x2.nearest 50 local.tee 5 51 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 52 local.get 5 53 local.get 5 54 f64x2.eq 55 v128.bitselect 56 f64x2.nearest 57 local.tee 6 58 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 59 local.get 6 60 local.get 6 61 f64x2.eq 62 v128.bitselect 63 f64x2.nearest 64 local.tee 7 65 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 66 local.get 7 67 local.get 7 68 f64x2.eq 69 v128.bitselect 70 f64x2.nearest 71 local.tee 8 72 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 73 local.get 8 74 local.get 8 75 f64x2.eq 76 v128.bitselect 77 f64x2.nearest 78 local.tee 9 79 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 80 local.get 9 81 local.get 9 82 f64x2.eq 83 v128.bitselect 84 f64x2.nearest 85 local.tee 10 86 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 87 local.get 10 88 local.get 10 89 f64x2.eq 90 v128.bitselect 91 f64x2.nearest 92 local.tee 11 93 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 94 local.get 11 95 local.get 11 96 f64x2.eq 97 v128.bitselect 98 f64x2.nearest 99 local.tee 12 100 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 101 local.get 12 102 local.get 12 103 f64x2.eq 104 v128.bitselect 105 f64x2.nearest 106 local.tee 13 107 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 108 local.get 13 109 local.get 13 110 f64x2.eq 111 v128.bitselect 112 f64x2.nearest 113 local.tee 14 114 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 115 local.get 14 116 local.get 14 117 f64x2.eq 118 v128.bitselect 119 f64x2.nearest 120 local.tee 15 121 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 122 local.get 15 123 local.get 15 124 f64x2.eq 125 v128.bitselect 126 f64x2.nearest 127 local.tee 16 128 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 129 local.get 16 130 local.get 16 131 f64x2.eq 132 v128.bitselect 133 f64x2.nearest 134 local.tee 17 135 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 136 local.get 17 137 local.get 17 138 f64x2.eq 139 v128.bitselect 140 f64x2.nearest 141 local.tee 18 142 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 143 local.get 18 144 local.get 18 145 f64x2.eq 146 v128.bitselect 147 f64x2.nearest 148 local.tee 19 149 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 150 local.get 19 151 local.get 19 152 f64x2.eq 153 v128.bitselect 154 f64x2.nearest 155 local.tee 20 156 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 157 local.get 20 158 local.get 20 159 f64x2.eq 160 v128.bitselect 161 f64x2.nearest 162 local.tee 21 163 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 164 local.get 21 165 local.get 21 166 f64x2.eq 167 v128.bitselect 168 f64x2.nearest 169 local.tee 22 170 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 171 local.get 22 172 local.get 22 173 f64x2.eq 174 v128.bitselect 175 f64x2.nearest 176 local.tee 23 177 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 178 local.get 23 179 local.get 23 180 f64x2.eq 181 v128.bitselect 182 i64.const 720575940379279359 183 i32.wrap_i64 184 i8x16.shr_s 185 f32x4.convert_i32x4_s 186 f64x2.floor 187 local.tee 24 188 v128.const i32x4 0x00000000 0x7ff80000 0x00000000 0x7ff80000 189 local.get 24 190 local.get 24 191 f64x2.eq 192 v128.bitselect 193 global.get 0 194 v128.xor 195 global.set 0 196 global.get 1 197 i32.xor 198 global.set 1 199 drop 200 ) 201 (global (;0;) (mut v128) v128.const i32x4 0x00000000 0x00000000 0x00000000 0x00000000) 202 (global (;1;) (mut i32) i32.const 0) 203 (global (;2;) (mut i32) i32.const 1000) 204 (export "" (func 0)) 205 (export "1" (global 0)) 206 (export "2" (global 1)) 207 )