github.com/tetratelabs/wazero@v1.7.3-0.20240513003603-48f702e154b5/internal/integration_test/fuzzcases/testdata/2031.wat (about) 1 (module 2 (func (param i32) (result f32 f64) 3 i32.const 1 4 f32.convert_i32_s 5 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 6 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 7 f32.demote_f64 8 i32.const 1 9 f64.convert_i32_s 10 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 11 f32.demote_f64 12 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 13 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 14 f32.demote_f64 15 f64.const 0x1.c7c7c3c7c7c7cp+968 (;=4441722447000897000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 16 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 17 f32.demote_f64 18 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 19 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 20 f32.demote_f64 21 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 22 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 23 f32.demote_f64 24 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 25 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 26 f32.demote_f64 27 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 28 f64.const 0x1.a0a7c7c7c7c7cp-863 (;=0.00000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002646371332579738;) 29 i64.const 0 30 i64.const 0 31 i64.const 0 32 i64.const 0 33 i64.const 0 34 i64.const 0 35 i32.const 0 36 f32.const -0x1.a3a3a2p+36 (;=-112646040000;) 37 f64.const -0x1.c41b44c4abff8p-791 (;=-0.0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000001356045409382692;) 38 f64.const 0x1.c7c7c7c7c7c3fp+968 (;=4441723041807626700000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 39 f32.demote_f64 40 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 41 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 42 f32.demote_f64 43 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 44 f32.const -0x1.658afep-39 (;=-0.0000000000025404954;) 45 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 46 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 47 f32.demote_f64 48 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 49 f64.const 0x1.79cb0d6961b45p+710 (;=7948973738950113000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 50 f32.demote_f64 51 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 52 f64.const -0x1.f7c7c7c7c7c7cp-775 (;=-0.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000009902723550684624;) 53 f32.demote_f64 54 f64.const 0x1.c7c7c7c3f7c7cp+968 (;=4441723039593109000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 55 f64.const 0x0p+0 (;=0;) 56 f32.demote_f64 57 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 58 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 59 f32.demote_f64 60 f64.const 0x1.c7c7c7c7c7c7cp+968 (;=4441723041807660500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000;) 61 f32.demote_f64 62 global.set $result1 63 global.get $result1 64 f64.promote_f32 65 global.set $result2 66 global.get $result2 67 local.get 0 68 i32.eqz 69 if 70 global.get $result1 71 global.get $result2 72 return 73 else 74 end 75 76 i64.reinterpret_f64 77 global.get 0 78 i64.xor 79 global.set 0 80 global.get 1 81 global.set 1 82 global.get 1 83 global.set 1 84 global.get 1 85 global.set 1 86 i32.reinterpret_f32 87 global.get 1 88 i32.xor 89 global.set 1 90 i64.reinterpret_f64 91 global.get 0 92 i64.xor 93 global.set 0 94 i32.reinterpret_f32 95 global.get 1 96 i32.xor 97 global.set 1 98 i64.reinterpret_f64 99 global.get 0 100 i64.xor 101 global.set 0 102 i32.reinterpret_f32 103 global.get 1 104 i32.xor 105 global.set 1 106 i64.reinterpret_f64 107 global.get 0 108 i64.xor 109 global.set 0 110 i32.reinterpret_f32 111 global.get 1 112 i32.xor 113 global.set 1 114 i64.reinterpret_f64 115 global.get 0 116 i64.xor 117 global.set 0 118 i32.reinterpret_f32 119 global.get 1 120 i32.xor 121 global.set 1 122 i64.reinterpret_f64 123 global.get 0 124 i64.xor 125 global.set 0 126 i32.reinterpret_f32 127 global.get 1 128 i32.xor 129 global.set 1 130 i64.reinterpret_f64 131 global.get 0 132 i64.xor 133 global.set 0 134 i32.reinterpret_f32 135 global.get 1 136 i32.xor 137 global.set 1 138 i64.reinterpret_f64 139 global.get 0 140 i64.xor 141 global.set 0 142 i32.reinterpret_f32 143 global.get 1 144 i32.xor 145 global.set 1 146 i64.reinterpret_f64 147 global.get 0 148 i64.xor 149 global.set 0 150 i32.reinterpret_f32 151 global.get 1 152 i32.xor 153 global.set 1 154 global.get 1 155 i32.xor 156 global.set 1 157 global.get 0 158 i64.xor 159 global.set 0 160 global.get 0 161 i64.xor 162 global.set 0 163 global.get 0 164 i64.xor 165 global.set 0 166 global.get 0 167 i64.xor 168 global.set 0 169 global.get 0 170 i64.xor 171 global.set 0 172 global.get 0 173 i64.xor 174 global.set 0 175 i64.reinterpret_f64 176 global.get 0 177 i64.xor 178 global.set 0 179 i64.reinterpret_f64 180 global.get 0 181 i64.xor 182 global.set 0 183 i32.reinterpret_f32 184 global.get 1 185 i32.xor 186 global.set 1 187 i64.reinterpret_f64 188 global.get 0 189 i64.xor 190 global.set 0 191 i32.reinterpret_f32 192 global.get 1 193 i32.xor 194 global.set 1 195 i64.reinterpret_f64 196 global.get 0 197 i64.xor 198 global.set 0 199 i32.reinterpret_f32 200 global.get 1 201 i32.xor 202 global.set 1 203 i64.reinterpret_f64 204 global.get 0 205 i64.xor 206 global.set 0 207 i32.reinterpret_f32 208 global.get 1 209 i32.xor 210 global.set 1 211 i64.reinterpret_f64 212 global.get 0 213 i64.xor 214 global.set 0 215 i32.reinterpret_f32 216 global.get 1 217 i32.xor 218 global.set 1 219 i64.reinterpret_f64 220 global.get 0 221 i64.xor 222 global.set 0 223 i32.reinterpret_f32 224 global.get 1 225 i32.xor 226 global.set 1 227 i64.reinterpret_f64 228 global.get 0 229 i64.xor 230 global.set 0 231 i32.reinterpret_f32 232 global.get 1 233 i32.xor 234 global.set 1 235 i64.reinterpret_f64 236 global.get 0 237 i64.xor 238 global.set 0 239 i32.reinterpret_f32 240 global.get 1 241 i32.xor 242 global.set 1 243 unreachable 244 ) 245 (global (;0;) (mut i64) i64.const 0) 246 (global (;2;) (mut i32) i32.const 0) 247 (global $result1 (mut f32) f32.const 0) 248 (global $result2 (mut f64) f64.const 0) 249 (global (mut f64) f64.const 0) ;; dummy 250 (export "" (func 0)) 251 )