Skip to content

Commit ae1dcc2

Browse files
sunfishcodesunfishcode
committed
update to spec repo 3725d1a51ece93c22b353c2a6fbdb7466e25c215
1 parent aabd5c2 commit ae1dcc2

File tree

2 files changed

+93
-2
lines changed

2 files changed

+93
-2
lines changed

‎const.wast

+90
Original file line numberDiff line numberDiff line change
@@ -45,3 +45,93 @@
4545
(module quote "(func (i64.const -9223372036854775809) drop)")
4646
"constant out of range"
4747
)
48+
49+
(module (func (f32.const 0x1p127) drop))
50+
(module (func (f32.const -0x1p127) drop))
51+
(module (func (f32.const 0x1.fffffep127) drop))
52+
(module (func (f32.const -0x1.fffffep127) drop))
53+
(module (func (f32.const 0x1.fffffe7p127) drop))
54+
(module (func (f32.const -0x1.fffffe7p127) drop))
55+
(assert_malformed
56+
(module quote "(func (f32.const 0x1p128) drop)")
57+
"constant out of range"
58+
)
59+
(assert_malformed
60+
(module quote "(func (f32.const -0x1p128) drop)")
61+
"constant out of range"
62+
)
63+
(assert_malformed
64+
(module quote "(func (f32.const 0x1.ffffffp127) drop)")
65+
"constant out of range"
66+
)
67+
(assert_malformed
68+
(module quote "(func (f32.const -0x1.ffffffp127) drop)")
69+
"constant out of range"
70+
)
71+
72+
(module (func (f32.const 1e38) drop))
73+
(module (func (f32.const -1e38) drop))
74+
(assert_malformed
75+
(module quote "(func (f32.const 1e39) drop)")
76+
"constant out of range"
77+
)
78+
(assert_malformed
79+
(module quote "(func (f32.const -1e39) drop)")
80+
"constant out of range"
81+
)
82+
83+
(module (func (f32.const 340282356779733623858607532500980858880) drop))
84+
(module (func (f32.const -340282356779733623858607532500980858880) drop))
85+
(assert_malformed
86+
(module quote "(func (f32.const 340282356779733661637539395458142568448) drop)")
87+
"constant out of range"
88+
)
89+
(assert_malformed
90+
(module quote "(func (f32.const -340282356779733661637539395458142568448) drop)")
91+
"constant out of range"
92+
)
93+
94+
(module (func (f64.const 0x1p1023) drop))
95+
(module (func (f64.const -0x1p1023) drop))
96+
(module (func (f64.const 0x1.fffffffffffffp1023) drop))
97+
(module (func (f64.const -0x1.fffffffffffffp1023) drop))
98+
(module (func (f64.const 0x1.fffffffffffff7p1023) drop))
99+
(module (func (f64.const -0x1.fffffffffffff7p1023) drop))
100+
(assert_malformed
101+
(module quote "(func (f64.const 0x1p1024) drop)")
102+
"constant out of range"
103+
)
104+
(assert_malformed
105+
(module quote "(func (f64.const -0x1p1024) drop)")
106+
"constant out of range"
107+
)
108+
(assert_malformed
109+
(module quote "(func (f64.const 0x1.fffffffffffff8p1023) drop)")
110+
"constant out of range"
111+
)
112+
(assert_malformed
113+
(module quote "(func (f64.const -0x1.fffffffffffff8p1023) drop)")
114+
"constant out of range"
115+
)
116+
117+
(module (func (f64.const 1e308) drop))
118+
(module (func (f64.const -1e308) drop))
119+
(assert_malformed
120+
(module quote "(func (f64.const 1e309) drop)")
121+
"constant out of range"
122+
)
123+
(assert_malformed
124+
(module quote "(func (f64.const -1e309) drop)")
125+
"constant out of range"
126+
)
127+
128+
(module (func (f64.const 179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368) drop))
129+
(module (func (f64.const -179769313486231570814527423731704356798070567525844996598917476803157260780028538760589558632766878171540458953514382464234321326889464182768467546703537516986049910576551282076245490090389328944075868508455133942304583236903222948165808559332123348274797826204144723168738177180919299881250404026184124858368) drop))
130+
(assert_malformed
131+
(module quote "(func (f64.const 269653970229347356221791135597556535197105851288767494898376215204735891170042808140884337949150317257310688430271573696351481990334196274152701320055306275479074865864826923114368235135583993416113802762682700913456874855354834422248712838998185022412196739306217084753107265771378949821875606039276187287552) drop)")
132+
"constant out of range"
133+
)
134+
(assert_malformed
135+
(module quote "(func (f64.const -269653970229347356221791135597556535197105851288767494898376215204735891170042808140884337949150317257310688430271573696351481990334196274152701320055306275479074865864826923114368235135583993416113802762682700913456874855354834422248712838998185022412196739306217084753107265771378949821875606039276187287552) drop)")
136+
"constant out of range"
137+
)

‎type.wast

+3-2
Original file line numberDiff line numberDiff line change
@@ -48,11 +48,12 @@
4848
(module quote "(type (func (result $x i32)))")
4949
"unexpected token"
5050
)
51+
5152
(assert_invalid
52-
(module quote "(type (func (result i32 i32)))")
53+
(module (type (func (result i32 i32))))
5354
"invalid result arity"
5455
)
5556
(assert_invalid
56-
(module quote "(type (func (result i32) (result i32)))")
57+
(module (type (func (result i32) (result i32))))
5758
"invalid result arity"
5859
)

0 commit comments

Comments
 (0)