github.com/wasilibs/wazerox@v0.0.0-20240124024944-4923be63ab5f/internal/integration_test/fuzzcases/testdata/730.wat (about)

     1  (module
     2    (func (export "f32x4.max") (result v128)
     3      v128.const i32x4 0x80000000 0x80000000 0x00000000 0x00000000 ;; (-0 -0, 0,  0)
     4      v128.const i32x4 0x00000000 0x80000000 0x80000000 0x80000000 ;; (0, -0, 0, -0)
     5      f32x4.max  ;; (0, -0, 0, 0)
     6    )
     7    (func (export "f32x4.min") (result v128)
     8      v128.const i32x4 0x80000000 0x00000000 0x00000000 0x00000000 ;; (-0 -0, 0,  0)
     9      v128.const i32x4 0x00000000 0x00000000 0x80000000 0x80000000 ;; (0, -0, 0, -0)
    10      f32x4.min  ;; (-0,  0, -0, -0)
    11    )
    12    (func (export "f64x2.max") (result v128)
    13      v128.const i64x2 0x8000000000000000 0x0000000000000000 ;; (-0  0)
    14      v128.const i64x2 0x0000000000000000 0x8000000000000000 ;; (0, -0)
    15      f64x2.max  ;; (0, 0)
    16    )
    17    (func (export "f64x2.min") (result v128)
    18      v128.const i64x2 0x8000000000000000 0x0000000000000000 ;; (-0  0)
    19      v128.const i64x2 0x0000000000000000 0x8000000000000000 ;; (0, -0)
    20      f64x2.min  ;; (-0, -0)
    21    )
    22    (func (export "f64x2.max/mix") (result v128)
    23      v128.const i64x2 0x8000000000000000 0x8000000000000000 ;; (-0, -0)
    24      v128.const i64x2 0x0000000000000000 0x8000000000000000 ;; (0,  -0)
    25      f64x2.max  ;; (0, -0)
    26    )
    27    (func (export "f64x2.min/mix") (result v128)
    28      v128.const i64x2 0x8000000000000000 0x0000000000000000 ;; (-0, 0)
    29      v128.const i64x2 0x0000000000000000 0x0000000000000000 ;; (0,  0)
    30      f64x2.min  ;; (-0, 0)
    31    )
    32  )