wa-lang.org/wazero@v1.0.2/internal/integration_test/spectest/v2/testdata/int_literals.wast (about)

     1  (module
     2    (func (export "i32.test") (result i32) (return (i32.const 0x0bAdD00D)))
     3    (func (export "i32.umax") (result i32) (return (i32.const 0xffffffff)))
     4    (func (export "i32.smax") (result i32) (return (i32.const 0x7fffffff)))
     5    (func (export "i32.neg_smax") (result i32) (return (i32.const -0x7fffffff)))
     6    (func (export "i32.smin") (result i32) (return (i32.const -0x80000000)))
     7    (func (export "i32.alt_smin") (result i32) (return (i32.const 0x80000000)))
     8    (func (export "i32.inc_smin") (result i32) (return (i32.add (i32.const -0x80000000) (i32.const 1))))
     9    (func (export "i32.neg_zero") (result i32) (return (i32.const -0x0)))
    10    (func (export "i32.not_octal") (result i32) (return (i32.const 010)))
    11    (func (export "i32.unsigned_decimal") (result i32) (return (i32.const 4294967295)))
    12    (func (export "i32.plus_sign") (result i32) (return (i32.const +42)))
    13  
    14    (func (export "i64.test") (result i64) (return (i64.const 0x0CABBA6E0ba66a6e)))
    15    (func (export "i64.umax") (result i64) (return (i64.const 0xffffffffffffffff)))
    16    (func (export "i64.smax") (result i64) (return (i64.const 0x7fffffffffffffff)))
    17    (func (export "i64.neg_smax") (result i64) (return (i64.const -0x7fffffffffffffff)))
    18    (func (export "i64.smin") (result i64) (return (i64.const -0x8000000000000000)))
    19    (func (export "i64.alt_smin") (result i64) (return (i64.const 0x8000000000000000)))
    20    (func (export "i64.inc_smin") (result i64) (return (i64.add (i64.const -0x8000000000000000) (i64.const 1))))
    21    (func (export "i64.neg_zero") (result i64) (return (i64.const -0x0)))
    22    (func (export "i64.not_octal") (result i64) (return (i64.const 010)))
    23    (func (export "i64.unsigned_decimal") (result i64) (return (i64.const 18446744073709551615)))
    24    (func (export "i64.plus_sign") (result i64) (return (i64.const +42)))
    25  
    26    (func (export "i32-dec-sep1") (result i32) (i32.const 1_000_000))
    27    (func (export "i32-dec-sep2") (result i32) (i32.const 1_0_0_0))
    28    (func (export "i32-hex-sep1") (result i32) (i32.const 0xa_0f_00_99))
    29    (func (export "i32-hex-sep2") (result i32) (i32.const 0x1_a_A_0_f))
    30  
    31    (func (export "i64-dec-sep1") (result i64) (i64.const 1_000_000))
    32    (func (export "i64-dec-sep2") (result i64) (i64.const 1_0_0_0))
    33    (func (export "i64-hex-sep1") (result i64) (i64.const 0xa_f00f_0000_9999))
    34    (func (export "i64-hex-sep2") (result i64) (i64.const 0x1_a_A_0_f))
    35  )
    36  
    37  (assert_return (invoke "i32.test") (i32.const 195940365))
    38  (assert_return (invoke "i32.umax") (i32.const -1))
    39  (assert_return (invoke "i32.smax") (i32.const 2147483647))
    40  (assert_return (invoke "i32.neg_smax") (i32.const -2147483647))
    41  (assert_return (invoke "i32.smin") (i32.const -2147483648))
    42  (assert_return (invoke "i32.alt_smin") (i32.const -2147483648))
    43  (assert_return (invoke "i32.inc_smin") (i32.const -2147483647))
    44  (assert_return (invoke "i32.neg_zero") (i32.const 0))
    45  (assert_return (invoke "i32.not_octal") (i32.const 10))
    46  (assert_return (invoke "i32.unsigned_decimal") (i32.const -1))
    47  (assert_return (invoke "i32.plus_sign") (i32.const 42))
    48  
    49  (assert_return (invoke "i64.test") (i64.const 913028331277281902))
    50  (assert_return (invoke "i64.umax") (i64.const -1))
    51  (assert_return (invoke "i64.smax") (i64.const 9223372036854775807))
    52  (assert_return (invoke "i64.neg_smax") (i64.const -9223372036854775807))
    53  (assert_return (invoke "i64.smin") (i64.const -9223372036854775808))
    54  (assert_return (invoke "i64.alt_smin") (i64.const -9223372036854775808))
    55  (assert_return (invoke "i64.inc_smin") (i64.const -9223372036854775807))
    56  (assert_return (invoke "i64.neg_zero") (i64.const 0))
    57  (assert_return (invoke "i64.not_octal") (i64.const 10))
    58  (assert_return (invoke "i64.unsigned_decimal") (i64.const -1))
    59  (assert_return (invoke "i64.plus_sign") (i64.const 42))
    60  
    61  (assert_return (invoke "i32-dec-sep1") (i32.const 1000000))
    62  (assert_return (invoke "i32-dec-sep2") (i32.const 1000))
    63  (assert_return (invoke "i32-hex-sep1") (i32.const 0xa0f0099))
    64  (assert_return (invoke "i32-hex-sep2") (i32.const 0x1aa0f))
    65  
    66  (assert_return (invoke "i64-dec-sep1") (i64.const 1000000))
    67  (assert_return (invoke "i64-dec-sep2") (i64.const 1000))
    68  (assert_return (invoke "i64-hex-sep1") (i64.const 0xaf00f00009999))
    69  (assert_return (invoke "i64-hex-sep2") (i64.const 0x1aa0f))
    70  
    71  (assert_malformed
    72    (module quote "(global i32 (i32.const _100))")
    73    "unknown operator"
    74  )
    75  (assert_malformed
    76    (module quote "(global i32 (i32.const +_100))")
    77    "unknown operator"
    78  )
    79  (assert_malformed
    80    (module quote "(global i32 (i32.const -_100))")
    81    "unknown operator"
    82  )
    83  (assert_malformed
    84    (module quote "(global i32 (i32.const 99_))")
    85    "unknown operator"
    86  )
    87  (assert_malformed
    88    (module quote "(global i32 (i32.const 1__000))")
    89    "unknown operator"
    90  )
    91  (assert_malformed
    92    (module quote "(global i32 (i32.const _0x100))")
    93    "unknown operator"
    94  )
    95  (assert_malformed
    96    (module quote "(global i32 (i32.const 0_x100))")
    97    "unknown operator"
    98  )
    99  (assert_malformed
   100    (module quote "(global i32 (i32.const 0x_100))")
   101    "unknown operator"
   102  )
   103  (assert_malformed
   104    (module quote "(global i32 (i32.const 0x00_))")
   105    "unknown operator"
   106  )
   107  (assert_malformed
   108    (module quote "(global i32 (i32.const 0xff__ffff))")
   109    "unknown operator"
   110  )
   111  
   112  (assert_malformed
   113    (module quote "(global i64 (i64.const _100))")
   114    "unknown operator"
   115  )
   116  (assert_malformed
   117    (module quote "(global i64 (i64.const +_100))")
   118    "unknown operator"
   119  )
   120  (assert_malformed
   121    (module quote "(global i64 (i64.const -_100))")
   122    "unknown operator"
   123  )
   124  (assert_malformed
   125    (module quote "(global i64 (i64.const 99_))")
   126    "unknown operator"
   127  )
   128  (assert_malformed
   129    (module quote "(global i64 (i64.const 1__000))")
   130    "unknown operator"
   131  )
   132  (assert_malformed
   133    (module quote "(global i64 (i64.const _0x100))")
   134    "unknown operator"
   135  )
   136  (assert_malformed
   137    (module quote "(global i64 (i64.const 0_x100))")
   138    "unknown operator"
   139  )
   140  (assert_malformed
   141    (module quote "(global i64 (i64.const 0x_100))")
   142    "unknown operator"
   143  )
   144  (assert_malformed
   145    (module quote "(global i64 (i64.const 0x00_))")
   146    "unknown operator"
   147  )
   148  (assert_malformed
   149    (module quote "(global i64 (i64.const 0xff__ffff))")
   150    "unknown operator"
   151  )