1;;! simd = true
2
3(module
4    (func (export "f32x4_lane0") (result v128)
5        v128.const f32x4 2 3 4 5
6        f32.const 1
7        f32x4.replace_lane 0
8    )
9
10    (func (export "f32x4_lane1") (result v128)
11        v128.const f32x4 2 3 4 5
12        f32.const 1
13        f32x4.replace_lane 1
14    )
15
16    (func (export "f64x2_lane0") (result v128)
17        v128.const f64x2 2 3
18        f64.const 1
19        f64x2.replace_lane 0
20    )
21
22    (func (export "f64x2_lane1") (result v128)
23        v128.const f64x2 2 3
24        f64.const 1
25        f64x2.replace_lane 1
26    )
27)
28
29(assert_return (invoke "f32x4_lane0") (v128.const f32x4 1 3 4 5))
30(assert_return (invoke "f32x4_lane1") (v128.const f32x4 2 1 4 5))
31(assert_return (invoke "f64x2_lane0") (v128.const f64x2 1 3))
32(assert_return (invoke "f64x2_lane1") (v128.const f64x2 2 1))
33