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  )