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)
View as plain text