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  )