@@ -1491,6 +1491,122 @@ fn append_instruction(ctx: &mut ValidationContext, inst: Operator, loc: InstrLoc
1491
1491
ordering : _,
1492
1492
global_index : _,
1493
1493
}
1494
+ | Operator :: TableAtomicGet {
1495
+ ordering : _,
1496
+ table_index : _,
1497
+ }
1498
+ | Operator :: TableAtomicSet {
1499
+ ordering : _,
1500
+ table_index : _,
1501
+ }
1502
+ | Operator :: TableAtomicRmwXchg {
1503
+ ordering : _,
1504
+ table_index : _,
1505
+ }
1506
+ | Operator :: TableAtomicRmwCmpxchg {
1507
+ ordering : _,
1508
+ table_index : _,
1509
+ }
1510
+ | Operator :: StructAtomicGet {
1511
+ ordering : _,
1512
+ struct_type_index : _,
1513
+ field_index : _,
1514
+ }
1515
+ | Operator :: StructAtomicGetS {
1516
+ ordering : _,
1517
+ struct_type_index : _,
1518
+ field_index : _,
1519
+ }
1520
+ | Operator :: StructAtomicGetU {
1521
+ ordering : _,
1522
+ struct_type_index : _,
1523
+ field_index : _,
1524
+ }
1525
+ | Operator :: StructAtomicSet {
1526
+ ordering : _,
1527
+ struct_type_index : _,
1528
+ field_index : _,
1529
+ }
1530
+ | Operator :: StructAtomicRmwAdd {
1531
+ ordering : _,
1532
+ struct_type_index : _,
1533
+ field_index : _,
1534
+ }
1535
+ | Operator :: StructAtomicRmwSub {
1536
+ ordering : _,
1537
+ struct_type_index : _,
1538
+ field_index : _,
1539
+ }
1540
+ | Operator :: StructAtomicRmwAnd {
1541
+ ordering : _,
1542
+ struct_type_index : _,
1543
+ field_index : _,
1544
+ }
1545
+ | Operator :: StructAtomicRmwOr {
1546
+ ordering : _,
1547
+ struct_type_index : _,
1548
+ field_index : _,
1549
+ }
1550
+ | Operator :: StructAtomicRmwXor {
1551
+ ordering : _,
1552
+ struct_type_index : _,
1553
+ field_index : _,
1554
+ }
1555
+ | Operator :: StructAtomicRmwXchg {
1556
+ ordering : _,
1557
+ struct_type_index : _,
1558
+ field_index : _,
1559
+ }
1560
+ | Operator :: StructAtomicRmwCmpxchg {
1561
+ ordering : _,
1562
+ struct_type_index : _,
1563
+ field_index : _,
1564
+ }
1565
+ | Operator :: ArrayAtomicGet {
1566
+ ordering : _,
1567
+ array_type_index : _,
1568
+ }
1569
+ | Operator :: ArrayAtomicGetS {
1570
+ ordering : _,
1571
+ array_type_index : _,
1572
+ }
1573
+ | Operator :: ArrayAtomicGetU {
1574
+ ordering : _,
1575
+ array_type_index : _,
1576
+ }
1577
+ | Operator :: ArrayAtomicSet {
1578
+ ordering : _,
1579
+ array_type_index : _,
1580
+ }
1581
+ | Operator :: ArrayAtomicRmwAdd {
1582
+ ordering : _,
1583
+ array_type_index : _,
1584
+ }
1585
+ | Operator :: ArrayAtomicRmwSub {
1586
+ ordering : _,
1587
+ array_type_index : _,
1588
+ }
1589
+ | Operator :: ArrayAtomicRmwAnd {
1590
+ ordering : _,
1591
+ array_type_index : _,
1592
+ }
1593
+ | Operator :: ArrayAtomicRmwOr {
1594
+ ordering : _,
1595
+ array_type_index : _,
1596
+ }
1597
+ | Operator :: ArrayAtomicRmwXor {
1598
+ ordering : _,
1599
+ array_type_index : _,
1600
+ }
1601
+ | Operator :: ArrayAtomicRmwXchg {
1602
+ ordering : _,
1603
+ array_type_index : _,
1604
+ }
1605
+ | Operator :: ArrayAtomicRmwCmpxchg {
1606
+ ordering : _,
1607
+ array_type_index : _,
1608
+ }
1609
+ | Operator :: RefI31Shared
1494
1610
| Operator :: CallRef { type_index : _ }
1495
1611
| Operator :: ReturnCallRef { type_index : _ }
1496
1612
| Operator :: RefAsNonNull
0 commit comments