wasmtime / issue #4889 cranelift: Tracking issue for Inte... · git-wasmtime · Zulip Chat Archive

Stream: git-wasmtime

Topic: wasmtime / issue #4889 cranelift: Tracking issue for Inte...

Wasmtime GitHub notifications bot (Sep 09 2022 at 14:48):

afonso360 opened issue #4889:

Hey,

I did a roundup of what is supported in the interpreter and what is tested or not. Now that we have multiple people working on the interpreter this is probably a better way to keep track of what is going on an who is working on what.

Labels:

:check_mark: - Implemented and tested for all types
🟡 - Implemented for some types / Missing some tests
❌ - Unimplemented

Opcodes

[x] Opcode::Jump - :check_mark:

[ ] Opcode::Brz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Brnz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::BrIcmp - 🟡
- [ ] I128 tests disabled

[x] Opcode::BrTable - :check_mark:

[ ] Opcode::Trap - 🟡
- [ ] Missing tests

[ ] Opcode::Debugtrap - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrap - 🟡
- [ ] Missing tests

[ ] Opcode::Trapz - 🟡
- [ ] Missing tests

[ ] Opcode::Trapnz - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrapnz - 🟡
- [ ] Missing tests

[x] Opcode::Return - :check_mark:

[x] Opcode::Call - :check_mark:

[ ] Opcode::CallIndirect - :cross_mark:

[ ] Opcode::FuncAddr - :cross_mark:

[x] Opcode::Load - :check_mark:

[ ] Opcode::Uload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload8x8 - :cross_mark:

[ ] Opcode::Sload8x8 - :cross_mark:

[ ] Opcode::Uload16x4 - :cross_mark:

[ ] Opcode::Sload16x4 - :cross_mark:

[ ] Opcode::Uload32x2 - :cross_mark:

[ ] Opcode::Sload32x2 - :cross_mark:

[x] Opcode::Store - :check_mark:

[ ] Opcode::Istore8 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore16 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore32 - 🟡
- [ ] Missing tests

[x] Opcode::StackLoad - :check_mark:

[x] Opcode::StackStore - :check_mark:

[x] Opcode::StackAddr - :check_mark:

[ ] Opcode::DynamicStackAddr - :cross_mark:

[ ] Opcode::DynamicStackLoad - :cross_mark:

[ ] Opcode::DynamicStackStore - :cross_mark:

[x] Opcode::GlobalValue - :check_mark:

[ ] Opcode::SymbolValue - :cross_mark:

[ ] Opcode::TlsValue - :cross_mark:

[x] Opcode::HeapAddr - :check_mark:

[x] Opcode::GetPinnedReg - :check_mark:

[x] Opcode::SetPinnedReg - :check_mark:

[x] Opcode::TableAddr - :check_mark:

[x] Opcode::Iconst - :check_mark:

[x] Opcode::F32const - :check_mark:

[x] Opcode::F64const - :check_mark:

[x] Opcode::Bconst - :check_mark:

[x] Opcode::Vconst - :check_mark:

[ ] Opcode::Null - :cross_mark:

[ ] Opcode::Nop - 🟡
- [ ] Missing tests

[ ] Opcode::Select - 🟡
- [ ] Missing tests

[ ] Opcode::Bitselect - 🟡
- [ ] Missing tests

[ ] Opcode::Copy - 🟡
- [ ] Missing tests

[x] Opcode::Icmp - :check_mark:

[ ] Opcode::Imin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Imax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::AvgRound - 🟡
- [ ] Implemented for scalar, but not tested
- [ ] SIMD tests disabled

[x] Opcode::Iadd - :check_mark:

[x] Opcode::UaddSat - :check_mark:

[x] Opcode::SaddSat - :check_mark:

[x] Opcode::Isub - :check_mark:

[x] Opcode::UsubSat - :check_mark:

[x] Opcode::SsubSat - :check_mark:

[ ] Opcode::Ineg - 🟡
- [ ] Only tested for i32x4

[ ] Opcode::Iabs - 🟡
- [ ] Missing i128 tests

[x] Opcode::Imul - :check_mark:

[x] Opcode::Umulhi - :check_mark:

[x] Opcode::Smulhi - :check_mark:

[x] Opcode::Udiv - :check_mark:

[x] Opcode::Sdiv - :check_mark:

[x] Opcode::Urem - :check_mark:

[x] Opcode::Srem - :check_mark:

[ ] Opcode::IaddCin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCarry - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBorrow - 🟡
- [ ] Missing I128 tests

[ ] Opcode::Band - 🟡
- [ ] Missing tests

[ ] Opcode::Bor - 🟡
- [ ] Missing tests

[ ] Opcode::Bxor - 🟡
- [ ] Missing tests

[ ] Opcode::Bnot - 🟡
- [ ] Tests are disabled

[ ] Opcode::BandNot - 🟡
- [ ] Missing tests

[ ] Opcode::BorNot - 🟡
- [ ] Missing tests

[ ] Opcode::BxorNot - 🟡
- [ ] Missing tests

[x] Opcode::Rotl - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Rotr - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Ishl - :check_mark:
- [ ] SIMD tests disabled

[x] Opcode::Ushr - :check_mark:
- [ ] SIMD tests disabled

[ ] Opcode::Sshr - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Bitrev - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Clz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Cls - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Ctz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Popcnt - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Fcmp - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Fadd - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fsub - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmul - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fdiv - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Sqrt - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fma - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fneg - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fabs - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fcopysign - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmin - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FminPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmax - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FmaxPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Ceil - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Floor - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Trunc - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Nearest - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::IsNull - :cross_mark:

[ ] Opcode::IsInvalid - :cross_mark:

[ ] Opcode::Bitcast - 🟡
- [ ] Missing tests for all types

[ ] Opcode::RawBitcast - 🟡
- [ ] Missing tests for scalar types

[ ] Opcode::ScalarToVector - 🟡
- [ ] Tests disabled

[x] Opcode::Breduce - :check_mark:

[x] Opcode::Bextend - :check_mark:

[x] Opcode::Ireduce - :check_mark:

[ ] Opcode::Bint - 🟡
- [ ] Missing SIMD tests

[x] Opcode::Snarrow - :check_mark:

[x] Opcode::Unarrow - :check_mark:

[x] Opcode::Uunarrow - :check_mark:

[x] Opcode::Bmask - :check_mark:

[x] Opcode::Sextend - :check_mark:

[x] Opcode::Uextend - :check_mark:

[ ] Opcode::Fpromote - 🟡
- [ ] Tests disabled

[ ] Opcode::Fdemote - 🟡
- [ ] Tests disabled

[x] Opcode::Shuffle - :check_mark:

[ ] Opcode::Swizzle - 🟡
- [ ] Only tested for i8x16

[ ] Opcode::Splat - 🟡
- [ ] Tests disabled

[ ] Opcode::Insertlane - 🟡
- [ ] Missing tests

[ ] Opcode::Extractlane - 🟡
- [ ] Missing tests

[x] Opcode::VhighBits - :check_mark:

[ ] Opcode::Vsplit - :cross_mark:

[ ] Opcode::Vconcat - :cross_mark:

[x] Opcode::Vselect - :check_mark:

[x] Opcode::VanyTrue - :check_mark:

[x] Opcode::VallTrue - :check_mark:

[x] Opcode::SwidenLow - :check_mark:

[x] Opcode::SwidenHigh - :check_mark:

[x] Opcode::UwidenLow - :check_mark:

[x] Opcode::UwidenHigh - :check_mark:

[ ] Opcode::FcvtToUint - :cross_mark:

[ ] Opcode::FcvtToUintSat - :cross_mark:

[ ] Opcode::FcvtToSint - :cross_mark:

[ ] Opcode::FcvtToSintSat - :cross_mark:

[ ] Opcode::FcvtFromUint - :cross_mark:

[ ] Opcode::FcvtFromSint - :cross_mark:

[ ] Opcode::FcvtLowFromSint - :cross_mark:

[ ] Opcode::FvpromoteLow - :cross_mark:

[ ] Opcode::Fvdemote - :cross_mark:

[x] Opcode::Isplit - :check_mark:

[x] Opcode::Iconcat - :check_mark:

[ ] Opcode::AtomicRmw - :cross_mark:

[ ] Opcode::AtomicCas - :cross_mark:

[ ] Opcode::AtomicLoad - :cross_mark:

[ ] Opcode::AtomicStore - :cross_mark:

[ ] Opcode::Fence - :cross_mark:

[x] Opcode::WideningPairwiseDotProductS - :check_mark:

[ ] Opcode::SqmulRoundSat - 🟡
- [ ] Missing tests for types other than i16x8

[x] Opcode::IaddPairwise - :check_mark:

[ ] Opcode::ExtractVector - :cross_mark:

[ ] Opcode::GetFramePointer - :cross_mark:

[ ] Opcode::GetStackPointer - :cross_mark:

[ ] Opcode::GetReturnAddress - :cross_mark:

Op+Imm

These may be going away, see: #4721

[ ] Opcode::IaddImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::ImulImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IrsubImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BandImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BxorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IshlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IcmpImm - 🟡
- [ ] Missing tests for some types

Flag Ops

These may be going away, see: #3249

[ ] Opcode::Brif - 🟡
- [ ] Missing tests

[ ] Opcode::Brff - 🟡
- [ ] Missing tests

[ ] Opcode::Trueif - 🟡
- [ ] Missing tests

[ ] Opcode::Trueff - 🟡
- [ ] Missing tests

[ ] Opcode::IsubIfbout - :cross_mark:

[ ] Opcode::IaddIfcin - :cross_mark:

[ ] Opcode::IaddIfcout - :cross_mark:

[ ] Opcode::IaddIfcarry - :cross_mark:

[ ] Opcode::IsubIfbin - :cross_mark:

[ ] Opcode::IsubIfborrow - :cross_mark:

[ ] Opcode::Ffcmp - 🟡
- [ ] Missing tests

[ ] Opcode::Ifcmp - 🟡
- [ ] Missing tests

[ ] Opcode::IfcmpImm - 🟡
- [ ] Missing tests

[ ] Opcode::Trapif - 🟡
- [ ] Missing tests

[ ] `Opcode::Tr
[message truncated]

Wasmtime GitHub notifications bot (Sep 09 2022 at 14:49):

afonso360 edited issue #4889:

Hey,

I did a roundup of what is supported in the interpreter and what is tested or not. Now that we have multiple people working on the interpreter this is probably a better way to keep track of what is going on an who is working on what.

Labels:

:check_mark: - Implemented and tested for all types
🟡 - Implemented for some types (i.e. only scalar but no SIMD) / Missing some tests
❌ - Unimplemented

Opcodes

[x] Opcode::Jump - :check_mark:

[ ] Opcode::Brz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Brnz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::BrIcmp - 🟡
- [ ] I128 tests disabled

[x] Opcode::BrTable - :check_mark:

[ ] Opcode::Trap - 🟡
- [ ] Missing tests

[ ] Opcode::Debugtrap - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrap - 🟡
- [ ] Missing tests

[ ] Opcode::Trapz - 🟡
- [ ] Missing tests

[ ] Opcode::Trapnz - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrapnz - 🟡
- [ ] Missing tests

[x] Opcode::Return - :check_mark:

[x] Opcode::Call - :check_mark:

[ ] Opcode::CallIndirect - :cross_mark:

[ ] Opcode::FuncAddr - :cross_mark:

[x] Opcode::Load - :check_mark:

[ ] Opcode::Uload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload8x8 - :cross_mark:

[ ] Opcode::Sload8x8 - :cross_mark:

[ ] Opcode::Uload16x4 - :cross_mark:

[ ] Opcode::Sload16x4 - :cross_mark:

[ ] Opcode::Uload32x2 - :cross_mark:

[ ] Opcode::Sload32x2 - :cross_mark:

[x] Opcode::Store - :check_mark:

[ ] Opcode::Istore8 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore16 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore32 - 🟡
- [ ] Missing tests

[x] Opcode::StackLoad - :check_mark:

[x] Opcode::StackStore - :check_mark:

[x] Opcode::StackAddr - :check_mark:

[ ] Opcode::DynamicStackAddr - :cross_mark:

[ ] Opcode::DynamicStackLoad - :cross_mark:

[ ] Opcode::DynamicStackStore - :cross_mark:

[x] Opcode::GlobalValue - :check_mark:

[ ] Opcode::SymbolValue - :cross_mark:

[ ] Opcode::TlsValue - :cross_mark:

[x] Opcode::HeapAddr - :check_mark:

[x] Opcode::GetPinnedReg - :check_mark:

[x] Opcode::SetPinnedReg - :check_mark:

[x] Opcode::TableAddr - :check_mark:

[x] Opcode::Iconst - :check_mark:

[x] Opcode::F32const - :check_mark:

[x] Opcode::F64const - :check_mark:

[x] Opcode::Bconst - :check_mark:

[x] Opcode::Vconst - :check_mark:

[ ] Opcode::Null - :cross_mark:

[ ] Opcode::Nop - 🟡
- [ ] Missing tests

[ ] Opcode::Select - 🟡
- [ ] Missing tests

[ ] Opcode::Bitselect - 🟡
- [ ] Missing tests

[ ] Opcode::Copy - 🟡
- [ ] Missing tests

[x] Opcode::Icmp - :check_mark:

[ ] Opcode::Imin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Imax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::AvgRound - 🟡
- [ ] Implemented for scalar, but not tested
- [ ] SIMD tests disabled

[x] Opcode::Iadd - :check_mark:

[x] Opcode::UaddSat - :check_mark:

[x] Opcode::SaddSat - :check_mark:

[x] Opcode::Isub - :check_mark:

[x] Opcode::UsubSat - :check_mark:

[x] Opcode::SsubSat - :check_mark:

[ ] Opcode::Ineg - 🟡
- [ ] Only tested for i32x4

[ ] Opcode::Iabs - 🟡
- [ ] Missing i128 tests

[x] Opcode::Imul - :check_mark:

[x] Opcode::Umulhi - :check_mark:

[x] Opcode::Smulhi - :check_mark:

[x] Opcode::Udiv - :check_mark:

[x] Opcode::Sdiv - :check_mark:

[x] Opcode::Urem - :check_mark:

[x] Opcode::Srem - :check_mark:

[ ] Opcode::IaddCin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCarry - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBorrow - 🟡
- [ ] Missing I128 tests

[ ] Opcode::Band - 🟡
- [ ] Missing tests

[ ] Opcode::Bor - 🟡
- [ ] Missing tests

[ ] Opcode::Bxor - 🟡
- [ ] Missing tests

[ ] Opcode::Bnot - 🟡
- [ ] Tests are disabled

[ ] Opcode::BandNot - 🟡
- [ ] Missing tests

[ ] Opcode::BorNot - 🟡
- [ ] Missing tests

[ ] Opcode::BxorNot - 🟡
- [ ] Missing tests

[x] Opcode::Rotl - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Rotr - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Ishl - :check_mark:
- [ ] SIMD tests disabled

[x] Opcode::Ushr - :check_mark:
- [ ] SIMD tests disabled

[ ] Opcode::Sshr - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Bitrev - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Clz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Cls - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Ctz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Popcnt - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Fcmp - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Fadd - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fsub - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmul - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fdiv - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Sqrt - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fma - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fneg - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fabs - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fcopysign - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmin - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FminPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmax - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FmaxPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Ceil - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Floor - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Trunc - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Nearest - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::IsNull - :cross_mark:

[ ] Opcode::IsInvalid - :cross_mark:

[ ] Opcode::Bitcast - 🟡
- [ ] Missing tests for all types

[ ] Opcode::RawBitcast - 🟡
- [ ] Missing tests for scalar types

[ ] Opcode::ScalarToVector - 🟡
- [ ] Tests disabled

[x] Opcode::Breduce - :check_mark:

[x] Opcode::Bextend - :check_mark:

[x] Opcode::Ireduce - :check_mark:

[ ] Opcode::Bint - 🟡
- [ ] Missing SIMD tests

[x] Opcode::Snarrow - :check_mark:

[x] Opcode::Unarrow - :check_mark:

[x] Opcode::Uunarrow - :check_mark:

[x] Opcode::Bmask - :check_mark:

[x] Opcode::Sextend - :check_mark:

[x] Opcode::Uextend - :check_mark:

[ ] Opcode::Fpromote - 🟡
- [ ] Tests disabled

[ ] Opcode::Fdemote - 🟡
- [ ] Tests disabled

[x] Opcode::Shuffle - :check_mark:

[ ] Opcode::Swizzle - 🟡
- [ ] Only tested for i8x16

[ ] Opcode::Splat - 🟡
- [ ] Tests disabled

[ ] Opcode::Insertlane - 🟡
- [ ] Missing tests

[ ] Opcode::Extractlane - 🟡
- [ ] Missing tests

[x] Opcode::VhighBits - :check_mark:

[ ] Opcode::Vsplit - :cross_mark:

[ ] Opcode::Vconcat - :cross_mark:

[x] Opcode::Vselect - :check_mark:

[x] Opcode::VanyTrue - :check_mark:

[x] Opcode::VallTrue - :check_mark:

[x] Opcode::SwidenLow - :check_mark:

[x] Opcode::SwidenHigh - :check_mark:

[x] Opcode::UwidenLow - :check_mark:

[x] Opcode::UwidenHigh - :check_mark:

[ ] Opcode::FcvtToUint - :cross_mark:

[ ] Opcode::FcvtToUintSat - :cross_mark:

[ ] Opcode::FcvtToSint - :cross_mark:

[ ] Opcode::FcvtToSintSat - :cross_mark:

[ ] Opcode::FcvtFromUint - :cross_mark:

[ ] Opcode::FcvtFromSint - :cross_mark:

[ ] Opcode::FcvtLowFromSint - :cross_mark:

[ ] Opcode::FvpromoteLow - :cross_mark:

[ ] Opcode::Fvdemote - :cross_mark:

[x] Opcode::Isplit - :check_mark:

[x] Opcode::Iconcat - :check_mark:

[ ] Opcode::AtomicRmw - :cross_mark:

[ ] Opcode::AtomicCas - :cross_mark:

[ ] Opcode::AtomicLoad - :cross_mark:

[ ] Opcode::AtomicStore - :cross_mark:

[ ] Opcode::Fence - :cross_mark:

[x] Opcode::WideningPairwiseDotProductS - :check_mark:

[ ] Opcode::SqmulRoundSat - 🟡
- [ ] Missing tests for types other than i16x8

[x] Opcode::IaddPairwise - :check_mark:

[ ] Opcode::ExtractVector - :cross_mark:

[ ] Opcode::GetFramePointer - :cross_mark:

[ ] Opcode::GetStackPointer - :cross_mark:

[ ] Opcode::GetReturnAddress - :cross_mark:

Op+Imm

These may be going away, see: #4721

[ ] Opcode::IaddImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::ImulImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IrsubImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BandImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BxorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IshlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IcmpImm - 🟡
- [ ] Missing tests for some types

Flag Ops

These may be going away, see: #3249

[ ] Opcode::Brif - 🟡
- [ ] Missing tests

[ ] Opcode::Brff - 🟡
- [ ] Missing tests

[ ] Opcode::Trueif - 🟡
- [ ] Missing tests

[ ] Opcode::Trueff - 🟡
- [ ] Missing tests

[ ] Opcode::IsubIfbout - :cross_mark:

[ ] Opcode::IaddIfcin - :cross_mark:

[ ] Opcode::IaddIfcout - :cross_mark:

[ ] Opcode::IaddIfcarry - :cross_mark:

[ ] Opcode::IsubIfbin - :cross_mark:

[ ] Opcode::IsubIfborrow - :cross_mark:

[ ] Opcode::Ffcmp - 🟡
- [ ] Missing tests

[ ] Opcode::Ifcmp - 🟡
- [ ] Missing tests

[ ] Opcode::IfcmpImm - 🟡
- [ ] Missing tests

[ ] Opcode::Trapif - 🟡
- [ ] M
[message truncated]

Wasmtime GitHub notifications bot (Sep 12 2022 at 09:46):

akirilov-arm labeled issue #4889:

Hey,

I did a roundup of what is supported in the interpreter and what is tested or not. Now that we have multiple people working on the interpreter this is probably a better way to keep track of what is going on an who is working on what.

Labels:

:check_mark: - Implemented and tested for all types
🟡 - Implemented for some types (i.e. only scalar but no SIMD) / Missing some tests
❌ - Unimplemented

Opcodes

[x] Opcode::Jump - :check_mark:

[ ] Opcode::Brz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Brnz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::BrIcmp - 🟡
- [ ] I128 tests disabled

[x] Opcode::BrTable - :check_mark:

[ ] Opcode::Trap - 🟡
- [ ] Missing tests

[ ] Opcode::Debugtrap - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrap - 🟡
- [ ] Missing tests

[ ] Opcode::Trapz - 🟡
- [ ] Missing tests

[ ] Opcode::Trapnz - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrapnz - 🟡
- [ ] Missing tests

[x] Opcode::Return - :check_mark:

[x] Opcode::Call - :check_mark:

[ ] Opcode::CallIndirect - :cross_mark:

[ ] Opcode::FuncAddr - :cross_mark:

[x] Opcode::Load - :check_mark:

[ ] Opcode::Uload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload8x8 - :cross_mark:

[ ] Opcode::Sload8x8 - :cross_mark:

[ ] Opcode::Uload16x4 - :cross_mark:

[ ] Opcode::Sload16x4 - :cross_mark:

[ ] Opcode::Uload32x2 - :cross_mark:

[ ] Opcode::Sload32x2 - :cross_mark:

[x] Opcode::Store - :check_mark:

[ ] Opcode::Istore8 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore16 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore32 - 🟡
- [ ] Missing tests

[x] Opcode::StackLoad - :check_mark:

[x] Opcode::StackStore - :check_mark:

[x] Opcode::StackAddr - :check_mark:

[ ] Opcode::DynamicStackAddr - :cross_mark:

[ ] Opcode::DynamicStackLoad - :cross_mark:

[ ] Opcode::DynamicStackStore - :cross_mark:

[x] Opcode::GlobalValue - :check_mark:

[ ] Opcode::SymbolValue - :cross_mark:

[ ] Opcode::TlsValue - :cross_mark:

[x] Opcode::HeapAddr - :check_mark:

[x] Opcode::GetPinnedReg - :check_mark:

[x] Opcode::SetPinnedReg - :check_mark:

[x] Opcode::TableAddr - :check_mark:

[x] Opcode::Iconst - :check_mark:

[x] Opcode::F32const - :check_mark:

[x] Opcode::F64const - :check_mark:

[x] Opcode::Bconst - :check_mark:

[x] Opcode::Vconst - :check_mark:

[ ] Opcode::Null - :cross_mark:

[ ] Opcode::Nop - 🟡
- [ ] Missing tests

[ ] Opcode::Select - 🟡
- [ ] Missing tests

[ ] Opcode::Bitselect - 🟡
- [ ] Missing tests

[ ] Opcode::Copy - 🟡
- [ ] Missing tests

[x] Opcode::Icmp - :check_mark:

[ ] Opcode::Imin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Imax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::AvgRound - 🟡
- [ ] Implemented for scalar, but not tested
- [ ] SIMD tests disabled

[x] Opcode::Iadd - :check_mark:

[x] Opcode::UaddSat - :check_mark:

[x] Opcode::SaddSat - :check_mark:

[x] Opcode::Isub - :check_mark:

[x] Opcode::UsubSat - :check_mark:

[x] Opcode::SsubSat - :check_mark:

[ ] Opcode::Ineg - 🟡
- [ ] Only tested for i32x4

[ ] Opcode::Iabs - 🟡
- [ ] Missing i128 tests

[x] Opcode::Imul - :check_mark:

[x] Opcode::Umulhi - :check_mark:

[x] Opcode::Smulhi - :check_mark:

[x] Opcode::Udiv - :check_mark:

[x] Opcode::Sdiv - :check_mark:

[x] Opcode::Urem - :check_mark:

[x] Opcode::Srem - :check_mark:

[ ] Opcode::IaddCin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCarry - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBorrow - 🟡
- [ ] Missing I128 tests

[ ] Opcode::Band - 🟡
- [ ] Missing tests

[ ] Opcode::Bor - 🟡
- [ ] Missing tests

[ ] Opcode::Bxor - 🟡
- [ ] Missing tests

[ ] Opcode::Bnot - 🟡
- [ ] Tests are disabled

[ ] Opcode::BandNot - 🟡
- [ ] Missing tests

[ ] Opcode::BorNot - 🟡
- [ ] Missing tests

[ ] Opcode::BxorNot - 🟡
- [ ] Missing tests

[x] Opcode::Rotl - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Rotr - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Ishl - :check_mark:
- [ ] SIMD tests disabled

[x] Opcode::Ushr - :check_mark:
- [ ] SIMD tests disabled

[ ] Opcode::Sshr - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Bitrev - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Clz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Cls - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Ctz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Popcnt - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Fcmp - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Fadd - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fsub - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmul - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fdiv - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Sqrt - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fma - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fneg - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fabs - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fcopysign - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmin - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FminPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmax - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FmaxPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Ceil - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Floor - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Trunc - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Nearest - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::IsNull - :cross_mark:

[ ] Opcode::IsInvalid - :cross_mark:

[ ] Opcode::Bitcast - 🟡
- [ ] Missing tests for all types

[ ] Opcode::RawBitcast - 🟡
- [ ] Missing tests for scalar types

[ ] Opcode::ScalarToVector - 🟡
- [ ] Tests disabled

[x] Opcode::Breduce - :check_mark:

[x] Opcode::Bextend - :check_mark:

[x] Opcode::Ireduce - :check_mark:

[ ] Opcode::Bint - 🟡
- [ ] Missing SIMD tests

[x] Opcode::Snarrow - :check_mark:

[x] Opcode::Unarrow - :check_mark:

[x] Opcode::Uunarrow - :check_mark:

[x] Opcode::Bmask - :check_mark:

[x] Opcode::Sextend - :check_mark:

[x] Opcode::Uextend - :check_mark:

[ ] Opcode::Fpromote - 🟡
- [ ] Tests disabled

[ ] Opcode::Fdemote - 🟡
- [ ] Tests disabled

[x] Opcode::Shuffle - :check_mark:

[ ] Opcode::Swizzle - 🟡
- [ ] Only tested for i8x16

[ ] Opcode::Splat - 🟡
- [ ] Tests disabled

[ ] Opcode::Insertlane - 🟡
- [ ] Missing tests

[ ] Opcode::Extractlane - 🟡
- [ ] Missing tests

[x] Opcode::VhighBits - :check_mark:

[ ] Opcode::Vsplit - :cross_mark:

[ ] Opcode::Vconcat - :cross_mark:

[x] Opcode::Vselect - :check_mark:

[x] Opcode::VanyTrue - :check_mark:

[x] Opcode::VallTrue - :check_mark:

[x] Opcode::SwidenLow - :check_mark:

[x] Opcode::SwidenHigh - :check_mark:

[x] Opcode::UwidenLow - :check_mark:

[x] Opcode::UwidenHigh - :check_mark:

[ ] Opcode::FcvtToUint - :cross_mark:

[ ] Opcode::FcvtToUintSat - :cross_mark:

[ ] Opcode::FcvtToSint - :cross_mark:

[ ] Opcode::FcvtToSintSat - :cross_mark:

[ ] Opcode::FcvtFromUint - :cross_mark:

[ ] Opcode::FcvtFromSint - :cross_mark:

[ ] Opcode::FcvtLowFromSint - :cross_mark:

[ ] Opcode::FvpromoteLow - :cross_mark:

[ ] Opcode::Fvdemote - :cross_mark:

[x] Opcode::Isplit - :check_mark:

[x] Opcode::Iconcat - :check_mark:

[ ] Opcode::AtomicRmw - :cross_mark:

[ ] Opcode::AtomicCas - :cross_mark:

[ ] Opcode::AtomicLoad - :cross_mark:

[ ] Opcode::AtomicStore - :cross_mark:

[ ] Opcode::Fence - :cross_mark:

[x] Opcode::WideningPairwiseDotProductS - :check_mark:

[ ] Opcode::SqmulRoundSat - 🟡
- [ ] Missing tests for types other than i16x8

[x] Opcode::IaddPairwise - :check_mark:

[ ] Opcode::ExtractVector - :cross_mark:

[ ] Opcode::GetFramePointer - :cross_mark:

[ ] Opcode::GetStackPointer - :cross_mark:

[ ] Opcode::GetReturnAddress - :cross_mark:

Op+Imm

These may be going away, see: #4721

[ ] Opcode::IaddImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::ImulImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IrsubImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BandImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BxorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IshlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IcmpImm - 🟡
- [ ] Missing tests for some types

Flag Ops

These may be going away, see: #3249

[ ] Opcode::Brif - 🟡
- [ ] Missing tests

[ ] Opcode::Brff - 🟡
- [ ] Missing tests

[ ] Opcode::Trueif - 🟡
- [ ] Missing tests

[ ] Opcode::Trueff - 🟡
- [ ] Missing tests

[ ] Opcode::IsubIfbout - :cross_mark:

[ ] Opcode::IaddIfcin - :cross_mark:

[ ] Opcode::IaddIfcout - :cross_mark:

[ ] Opcode::IaddIfcarry - :cross_mark:

[ ] Opcode::IsubIfbin - :cross_mark:

[ ] Opcode::IsubIfborrow - :cross_mark:

[ ] Opcode::Ffcmp - 🟡
- [ ] Missing tests

[ ] Opcode::Ifcmp - 🟡
- [ ] Missing tests

[ ] Opcode::IfcmpImm - 🟡
- [ ] Missing tests

[ ] Opcode::Trapif - 🟡
- [
[message truncated]

Wasmtime GitHub notifications bot (Sep 12 2022 at 09:46):

akirilov-arm labeled issue #4889:

Hey,

I did a roundup of what is supported in the interpreter and what is tested or not. Now that we have multiple people working on the interpreter this is probably a better way to keep track of what is going on an who is working on what.

Labels:

:check_mark: - Implemented and tested for all types
🟡 - Implemented for some types (i.e. only scalar but no SIMD) / Missing some tests
❌ - Unimplemented

Opcodes

[x] Opcode::Jump - :check_mark:

[ ] Opcode::Brz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Brnz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::BrIcmp - 🟡
- [ ] I128 tests disabled

[x] Opcode::BrTable - :check_mark:

[ ] Opcode::Trap - 🟡
- [ ] Missing tests

[ ] Opcode::Debugtrap - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrap - 🟡
- [ ] Missing tests

[ ] Opcode::Trapz - 🟡
- [ ] Missing tests

[ ] Opcode::Trapnz - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrapnz - 🟡
- [ ] Missing tests

[x] Opcode::Return - :check_mark:

[x] Opcode::Call - :check_mark:

[ ] Opcode::CallIndirect - :cross_mark:

[ ] Opcode::FuncAddr - :cross_mark:

[x] Opcode::Load - :check_mark:

[ ] Opcode::Uload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload8x8 - :cross_mark:

[ ] Opcode::Sload8x8 - :cross_mark:

[ ] Opcode::Uload16x4 - :cross_mark:

[ ] Opcode::Sload16x4 - :cross_mark:

[ ] Opcode::Uload32x2 - :cross_mark:

[ ] Opcode::Sload32x2 - :cross_mark:

[x] Opcode::Store - :check_mark:

[ ] Opcode::Istore8 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore16 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore32 - 🟡
- [ ] Missing tests

[x] Opcode::StackLoad - :check_mark:

[x] Opcode::StackStore - :check_mark:

[x] Opcode::StackAddr - :check_mark:

[ ] Opcode::DynamicStackAddr - :cross_mark:

[ ] Opcode::DynamicStackLoad - :cross_mark:

[ ] Opcode::DynamicStackStore - :cross_mark:

[x] Opcode::GlobalValue - :check_mark:

[ ] Opcode::SymbolValue - :cross_mark:

[ ] Opcode::TlsValue - :cross_mark:

[x] Opcode::HeapAddr - :check_mark:

[x] Opcode::GetPinnedReg - :check_mark:

[x] Opcode::SetPinnedReg - :check_mark:

[x] Opcode::TableAddr - :check_mark:

[x] Opcode::Iconst - :check_mark:

[x] Opcode::F32const - :check_mark:

[x] Opcode::F64const - :check_mark:

[x] Opcode::Bconst - :check_mark:

[x] Opcode::Vconst - :check_mark:

[ ] Opcode::Null - :cross_mark:

[ ] Opcode::Nop - 🟡
- [ ] Missing tests

[ ] Opcode::Select - 🟡
- [ ] Missing tests

[ ] Opcode::Bitselect - 🟡
- [ ] Missing tests

[ ] Opcode::Copy - 🟡
- [ ] Missing tests

[x] Opcode::Icmp - :check_mark:

[ ] Opcode::Imin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Imax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::AvgRound - 🟡
- [ ] Implemented for scalar, but not tested
- [ ] SIMD tests disabled

[x] Opcode::Iadd - :check_mark:

[x] Opcode::UaddSat - :check_mark:

[x] Opcode::SaddSat - :check_mark:

[x] Opcode::Isub - :check_mark:

[x] Opcode::UsubSat - :check_mark:

[x] Opcode::SsubSat - :check_mark:

[ ] Opcode::Ineg - 🟡
- [ ] Only tested for i32x4

[ ] Opcode::Iabs - 🟡
- [ ] Missing i128 tests

[x] Opcode::Imul - :check_mark:

[x] Opcode::Umulhi - :check_mark:

[x] Opcode::Smulhi - :check_mark:

[x] Opcode::Udiv - :check_mark:

[x] Opcode::Sdiv - :check_mark:

[x] Opcode::Urem - :check_mark:

[x] Opcode::Srem - :check_mark:

[ ] Opcode::IaddCin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCarry - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBorrow - 🟡
- [ ] Missing I128 tests

[ ] Opcode::Band - 🟡
- [ ] Missing tests

[ ] Opcode::Bor - 🟡
- [ ] Missing tests

[ ] Opcode::Bxor - 🟡
- [ ] Missing tests

[ ] Opcode::Bnot - 🟡
- [ ] Tests are disabled

[ ] Opcode::BandNot - 🟡
- [ ] Missing tests

[ ] Opcode::BorNot - 🟡
- [ ] Missing tests

[ ] Opcode::BxorNot - 🟡
- [ ] Missing tests

[x] Opcode::Rotl - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Rotr - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Ishl - :check_mark:
- [ ] SIMD tests disabled

[x] Opcode::Ushr - :check_mark:
- [ ] SIMD tests disabled

[ ] Opcode::Sshr - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Bitrev - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Clz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Cls - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Ctz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Popcnt - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Fcmp - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Fadd - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fsub - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmul - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fdiv - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Sqrt - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fma - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fneg - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fabs - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fcopysign - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmin - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FminPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmax - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FmaxPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Ceil - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Floor - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Trunc - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Nearest - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::IsNull - :cross_mark:

[ ] Opcode::IsInvalid - :cross_mark:

[ ] Opcode::Bitcast - 🟡
- [ ] Missing tests for all types

[ ] Opcode::RawBitcast - 🟡
- [ ] Missing tests for scalar types

[ ] Opcode::ScalarToVector - 🟡
- [ ] Tests disabled

[x] Opcode::Breduce - :check_mark:

[x] Opcode::Bextend - :check_mark:

[x] Opcode::Ireduce - :check_mark:

[ ] Opcode::Bint - 🟡
- [ ] Missing SIMD tests

[x] Opcode::Snarrow - :check_mark:

[x] Opcode::Unarrow - :check_mark:

[x] Opcode::Uunarrow - :check_mark:

[x] Opcode::Bmask - :check_mark:

[x] Opcode::Sextend - :check_mark:

[x] Opcode::Uextend - :check_mark:

[ ] Opcode::Fpromote - 🟡
- [ ] Tests disabled

[ ] Opcode::Fdemote - 🟡
- [ ] Tests disabled

[x] Opcode::Shuffle - :check_mark:

[ ] Opcode::Swizzle - 🟡
- [ ] Only tested for i8x16

[ ] Opcode::Splat - 🟡
- [ ] Tests disabled

[ ] Opcode::Insertlane - 🟡
- [ ] Missing tests

[ ] Opcode::Extractlane - 🟡
- [ ] Missing tests

[x] Opcode::VhighBits - :check_mark:

[ ] Opcode::Vsplit - :cross_mark:

[ ] Opcode::Vconcat - :cross_mark:

[x] Opcode::Vselect - :check_mark:

[x] Opcode::VanyTrue - :check_mark:

[x] Opcode::VallTrue - :check_mark:

[x] Opcode::SwidenLow - :check_mark:

[x] Opcode::SwidenHigh - :check_mark:

[x] Opcode::UwidenLow - :check_mark:

[x] Opcode::UwidenHigh - :check_mark:

[ ] Opcode::FcvtToUint - :cross_mark:

[ ] Opcode::FcvtToUintSat - :cross_mark:

[ ] Opcode::FcvtToSint - :cross_mark:

[ ] Opcode::FcvtToSintSat - :cross_mark:

[ ] Opcode::FcvtFromUint - :cross_mark:

[ ] Opcode::FcvtFromSint - :cross_mark:

[ ] Opcode::FcvtLowFromSint - :cross_mark:

[ ] Opcode::FvpromoteLow - :cross_mark:

[ ] Opcode::Fvdemote - :cross_mark:

[x] Opcode::Isplit - :check_mark:

[x] Opcode::Iconcat - :check_mark:

[ ] Opcode::AtomicRmw - :cross_mark:

[ ] Opcode::AtomicCas - :cross_mark:

[ ] Opcode::AtomicLoad - :cross_mark:

[ ] Opcode::AtomicStore - :cross_mark:

[ ] Opcode::Fence - :cross_mark:

[x] Opcode::WideningPairwiseDotProductS - :check_mark:

[ ] Opcode::SqmulRoundSat - 🟡
- [ ] Missing tests for types other than i16x8

[x] Opcode::IaddPairwise - :check_mark:

[ ] Opcode::ExtractVector - :cross_mark:

[ ] Opcode::GetFramePointer - :cross_mark:

[ ] Opcode::GetStackPointer - :cross_mark:

[ ] Opcode::GetReturnAddress - :cross_mark:

Op+Imm

These may be going away, see: #4721

[ ] Opcode::IaddImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::ImulImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IrsubImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BandImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BxorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IshlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IcmpImm - 🟡
- [ ] Missing tests for some types

Flag Ops

These may be going away, see: #3249

[ ] Opcode::Brif - 🟡
- [ ] Missing tests

[ ] Opcode::Brff - 🟡
- [ ] Missing tests

[ ] Opcode::Trueif - 🟡
- [ ] Missing tests

[ ] Opcode::Trueff - 🟡
- [ ] Missing tests

[ ] Opcode::IsubIfbout - :cross_mark:

[ ] Opcode::IaddIfcin - :cross_mark:

[ ] Opcode::IaddIfcout - :cross_mark:

[ ] Opcode::IaddIfcarry - :cross_mark:

[ ] Opcode::IsubIfbin - :cross_mark:

[ ] Opcode::IsubIfborrow - :cross_mark:

[ ] Opcode::Ffcmp - 🟡
- [ ] Missing tests

[ ] Opcode::Ifcmp - 🟡
- [ ] Missing tests

[ ] Opcode::IfcmpImm - 🟡
- [ ] Missing tests

[ ] Opcode::Trapif - 🟡
- [
[message truncated]

Wasmtime GitHub notifications bot (Sep 29 2022 at 13:18):

afonso360 edited issue #4889:

Hey,

I did a roundup of what is supported in the interpreter and what is tested or not. Now that we have multiple people working on the interpreter this is probably a better way to keep track of what is going on an who is working on what.

Labels:

:check_mark: - Implemented and tested for all types
🟡 - Implemented for some types (i.e. only scalar but no SIMD) / Missing some tests
❌ - Unimplemented

Opcodes

[x] Opcode::Jump - :check_mark:

[ ] Opcode::Brz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Brnz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::BrIcmp - 🟡
- [ ] I128 tests disabled

[x] Opcode::BrTable - :check_mark:

[ ] Opcode::Trap - 🟡
- [ ] Missing tests

[ ] Opcode::Debugtrap - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrap - 🟡
- [ ] Missing tests

[ ] Opcode::Trapz - 🟡
- [ ] Missing tests

[ ] Opcode::Trapnz - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrapnz - 🟡
- [ ] Missing tests

[x] Opcode::Return - :check_mark:

[x] Opcode::Call - :check_mark:

[ ] Opcode::CallIndirect - :cross_mark:

[ ] Opcode::FuncAddr - :cross_mark:

[x] Opcode::Load - :check_mark:

[ ] Opcode::Uload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload8x8 - :cross_mark:

[ ] Opcode::Sload8x8 - :cross_mark:

[ ] Opcode::Uload16x4 - :cross_mark:

[ ] Opcode::Sload16x4 - :cross_mark:

[ ] Opcode::Uload32x2 - :cross_mark:

[ ] Opcode::Sload32x2 - :cross_mark:

[x] Opcode::Store - :check_mark:

[ ] Opcode::Istore8 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore16 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore32 - 🟡
- [ ] Missing tests

[x] Opcode::StackLoad - :check_mark:

[x] Opcode::StackStore - :check_mark:

[x] Opcode::StackAddr - :check_mark:

[ ] Opcode::DynamicStackAddr - :cross_mark:

[ ] Opcode::DynamicStackLoad - :cross_mark:

[ ] Opcode::DynamicStackStore - :cross_mark:

[x] Opcode::GlobalValue - :check_mark:

[ ] Opcode::SymbolValue - :cross_mark:

[ ] Opcode::TlsValue - :cross_mark:

[x] Opcode::HeapAddr - :check_mark:

[x] Opcode::GetPinnedReg - :check_mark:

[x] Opcode::SetPinnedReg - :check_mark:

[x] Opcode::TableAddr - :check_mark:

[x] Opcode::Iconst - :check_mark:

[x] Opcode::F32const - :check_mark:

[x] Opcode::F64const - :check_mark:

[x] Opcode::Bconst - :check_mark:

[x] Opcode::Vconst - :check_mark:

[ ] Opcode::Null - :cross_mark:

[ ] Opcode::Nop - 🟡
- [ ] Missing tests

[ ] Opcode::Select - 🟡
- [ ] Missing tests

[ ] Opcode::Bitselect - 🟡
- [ ] Missing tests

[ ] Opcode::Copy - 🟡
- [ ] Missing tests

[x] Opcode::Icmp - :check_mark:

[ ] Opcode::Imin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Imax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::AvgRound - 🟡
- [ ] Implemented for scalar, but not tested
- [ ] SIMD tests disabled

[x] Opcode::Iadd - :check_mark:

[x] Opcode::UaddSat - :check_mark:

[x] Opcode::SaddSat - :check_mark:

[x] Opcode::Isub - :check_mark:

[x] Opcode::UsubSat - :check_mark:

[x] Opcode::SsubSat - :check_mark:

[ ] Opcode::Ineg - 🟡
- [ ] Only tested for i32x4

[ ] Opcode::Iabs - 🟡
- [ ] Missing i128 tests

[x] Opcode::Imul - :check_mark:

[x] Opcode::Umulhi - :check_mark:

[x] Opcode::Smulhi - :check_mark:

[x] Opcode::Udiv - :check_mark:

[x] Opcode::Sdiv - :check_mark:

[x] Opcode::Urem - :check_mark:

[x] Opcode::Srem - :check_mark:

[ ] Opcode::IaddCin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCarry - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBorrow - 🟡
- [ ] Missing I128 tests

[ ] Opcode::Band - 🟡
- [ ] Missing tests

[ ] Opcode::Bor - 🟡
- [ ] Missing tests

[ ] Opcode::Bxor - 🟡
- [ ] Missing tests

[ ] Opcode::Bnot - 🟡
- [ ] Tests are disabled

[ ] Opcode::BandNot - 🟡
- [ ] Missing tests

[ ] Opcode::BorNot - 🟡
- [ ] Missing tests

[ ] Opcode::BxorNot - 🟡
- [ ] Missing tests

[x] Opcode::Rotl - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Rotr - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Ishl - :check_mark:
- [ ] SIMD tests disabled

[x] Opcode::Ushr - :check_mark:
- [ ] SIMD tests disabled

[ ] Opcode::Sshr - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Bitrev - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Clz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Cls - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Ctz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Popcnt - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Fcmp - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Fadd - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fsub - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmul - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fdiv - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Sqrt - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fma - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fneg - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fabs - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fcopysign - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmin - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FminPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmax - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FmaxPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Ceil - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Floor - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Trunc - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Nearest - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::IsNull - :cross_mark:

[ ] Opcode::IsInvalid - :cross_mark:

[ ] Opcode::Bitcast - 🟡
- [ ] Missing tests for all types

[ ] Opcode::RawBitcast - 🟡
- [ ] Missing tests for scalar types

[ ] Opcode::ScalarToVector - 🟡
- [ ] Tests disabled

[x] Opcode::Breduce - :check_mark:

[x] Opcode::Bextend - :check_mark:

[x] Opcode::Ireduce - :check_mark:

[ ] Opcode::Bint - 🟡
- [ ] Missing SIMD tests

[x] Opcode::Snarrow - :check_mark:

[x] Opcode::Unarrow - :check_mark:

[x] Opcode::Uunarrow - :check_mark:

[x] Opcode::Bmask - :check_mark:

[x] Opcode::Sextend - :check_mark:

[x] Opcode::Uextend - :check_mark:

[ ] Opcode::Fpromote - 🟡
- [ ] Tests disabled

[ ] Opcode::Fdemote - 🟡
- [ ] Tests disabled

[x] Opcode::Shuffle - :check_mark:

[ ] Opcode::Swizzle - 🟡
- [ ] Only tested for i8x16

[ ] Opcode::Splat - 🟡
- [ ] Tests disabled

[ ] Opcode::Insertlane - 🟡
- [ ] Missing tests

[ ] Opcode::Extractlane - 🟡
- [ ] Missing tests

[x] Opcode::VhighBits - :check_mark:

[ ] Opcode::Vsplit - :cross_mark:

[ ] Opcode::Vconcat - :cross_mark:

[x] Opcode::Vselect - :check_mark:

[x] Opcode::VanyTrue - :check_mark:

[x] Opcode::VallTrue - :check_mark:

[x] Opcode::SwidenLow - :check_mark:

[x] Opcode::SwidenHigh - :check_mark:

[x] Opcode::UwidenLow - :check_mark:

[x] Opcode::UwidenHigh - :check_mark:

[x] Opcode::FcvtToUint - :check_mark: (#4884)

[x] Opcode::FcvtToUintSat - :check_mark: (#4884)

[x] Opcode::FcvtToSint - :check_mark: (#4884)

[x] Opcode::FcvtToSintSat - :check_mark: (#4884)

[x] Opcode::FcvtFromUint - :check_mark: (#4884)

[x] Opcode::FcvtFromSint - :check_mark: (#4884)

[x] Opcode::FcvtLowFromSint - :check_mark: (#4884)

[ ] Opcode::FvpromoteLow - :check_mark: (#4884)

[ ] Opcode::Fvdemote - :check_mark: (#4884)

[x] Opcode::Isplit - :check_mark:

[x] Opcode::Iconcat - :check_mark:

[ ] Opcode::AtomicRmw - :cross_mark:

[ ] Opcode::AtomicCas - :cross_mark:

[ ] Opcode::AtomicLoad - :cross_mark:

[ ] Opcode::AtomicStore - :cross_mark:

[ ] Opcode::Fence - :cross_mark:

[x] Opcode::WideningPairwiseDotProductS - :check_mark:

[ ] Opcode::SqmulRoundSat - 🟡
- [ ] Missing tests for types other than i16x8

[x] Opcode::IaddPairwise - :check_mark:

[ ] Opcode::ExtractVector - :cross_mark:

[ ] Opcode::GetFramePointer - :cross_mark:

[ ] Opcode::GetStackPointer - :cross_mark:

[ ] Opcode::GetReturnAddress - :cross_mark:

Op+Imm

These may be going away, see: #4721

[ ] Opcode::IaddImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::ImulImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IrsubImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BandImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BxorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IshlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IcmpImm - 🟡
- [ ] Missing tests for some types

Flag Ops

These may be going away, see: #3249

[ ] Opcode::Brif - 🟡
- [ ] Missing tests

[ ] Opcode::Brff - 🟡
- [ ] Missing tests

[ ] Opcode::Trueif - 🟡
- [ ] Missing tests

[ ] Opcode::Trueff - 🟡
- [ ] Missing tests

[ ] Opcode::IsubIfbout - :cross_mark:

[ ] Opcode::IaddIfcin - :cross_mark:

[ ] Opcode::IaddIfcout - :cross_mark:

[ ] Opcode::IaddIfcarry - :cross_mark:

[ ] Opcode::IsubIfbin - :cross_mark:

[ ] Opcode::IsubIfborrow - :cross_mark:

[ ] Opcode::Ffcmp - 🟡
- [ ] Missing tests

[ ] Opcode::Ifcmp - 🟡
- [ ] Missing tests

[ ] `Opcode::IfcmpIm
[message truncated]

Wasmtime GitHub notifications bot (Sep 29 2022 at 13:18):

afonso360 edited issue #4889:

Hey,

I did a roundup of what is supported in the interpreter and what is tested or not. Now that we have multiple people working on the interpreter this is probably a better way to keep track of what is going on an who is working on what.

Labels:

:check_mark: - Implemented and tested for all types
🟡 - Implemented for some types (i.e. only scalar but no SIMD) / Missing some tests
❌ - Unimplemented

Opcodes

[x] Opcode::Jump - :check_mark:

[ ] Opcode::Brz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Brnz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::BrIcmp - 🟡
- [ ] I128 tests disabled

[x] Opcode::BrTable - :check_mark:

[ ] Opcode::Trap - 🟡
- [ ] Missing tests

[ ] Opcode::Debugtrap - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrap - 🟡
- [ ] Missing tests

[ ] Opcode::Trapz - 🟡
- [ ] Missing tests

[ ] Opcode::Trapnz - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrapnz - 🟡
- [ ] Missing tests

[x] Opcode::Return - :check_mark:

[x] Opcode::Call - :check_mark:

[ ] Opcode::CallIndirect - :cross_mark:

[ ] Opcode::FuncAddr - :cross_mark:

[x] Opcode::Load - :check_mark:

[ ] Opcode::Uload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload8x8 - :cross_mark:

[ ] Opcode::Sload8x8 - :cross_mark:

[ ] Opcode::Uload16x4 - :cross_mark:

[ ] Opcode::Sload16x4 - :cross_mark:

[ ] Opcode::Uload32x2 - :cross_mark:

[ ] Opcode::Sload32x2 - :cross_mark:

[x] Opcode::Store - :check_mark:

[ ] Opcode::Istore8 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore16 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore32 - 🟡
- [ ] Missing tests

[x] Opcode::StackLoad - :check_mark:

[x] Opcode::StackStore - :check_mark:

[x] Opcode::StackAddr - :check_mark:

[ ] Opcode::DynamicStackAddr - :cross_mark:

[ ] Opcode::DynamicStackLoad - :cross_mark:

[ ] Opcode::DynamicStackStore - :cross_mark:

[x] Opcode::GlobalValue - :check_mark:

[ ] Opcode::SymbolValue - :cross_mark:

[ ] Opcode::TlsValue - :cross_mark:

[x] Opcode::HeapAddr - :check_mark:

[x] Opcode::GetPinnedReg - :check_mark:

[x] Opcode::SetPinnedReg - :check_mark:

[x] Opcode::TableAddr - :check_mark:

[x] Opcode::Iconst - :check_mark:

[x] Opcode::F32const - :check_mark:

[x] Opcode::F64const - :check_mark:

[x] Opcode::Bconst - :check_mark:

[x] Opcode::Vconst - :check_mark:

[ ] Opcode::Null - :cross_mark:

[ ] Opcode::Nop - 🟡
- [ ] Missing tests

[ ] Opcode::Select - 🟡
- [ ] Missing tests

[ ] Opcode::Bitselect - 🟡
- [ ] Missing tests

[ ] Opcode::Copy - 🟡
- [ ] Missing tests

[x] Opcode::Icmp - :check_mark:

[ ] Opcode::Imin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Imax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::AvgRound - 🟡
- [ ] Implemented for scalar, but not tested
- [ ] SIMD tests disabled

[x] Opcode::Iadd - :check_mark:

[x] Opcode::UaddSat - :check_mark:

[x] Opcode::SaddSat - :check_mark:

[x] Opcode::Isub - :check_mark:

[x] Opcode::UsubSat - :check_mark:

[x] Opcode::SsubSat - :check_mark:

[ ] Opcode::Ineg - 🟡
- [ ] Only tested for i32x4

[ ] Opcode::Iabs - 🟡
- [ ] Missing i128 tests

[x] Opcode::Imul - :check_mark:

[x] Opcode::Umulhi - :check_mark:

[x] Opcode::Smulhi - :check_mark:

[x] Opcode::Udiv - :check_mark:

[x] Opcode::Sdiv - :check_mark:

[x] Opcode::Urem - :check_mark:

[x] Opcode::Srem - :check_mark:

[ ] Opcode::IaddCin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCarry - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBorrow - 🟡
- [ ] Missing I128 tests

[ ] Opcode::Band - 🟡
- [ ] Missing tests

[ ] Opcode::Bor - 🟡
- [ ] Missing tests

[ ] Opcode::Bxor - 🟡
- [ ] Missing tests

[ ] Opcode::Bnot - 🟡
- [ ] Tests are disabled

[ ] Opcode::BandNot - 🟡
- [ ] Missing tests

[ ] Opcode::BorNot - 🟡
- [ ] Missing tests

[ ] Opcode::BxorNot - 🟡
- [ ] Missing tests

[x] Opcode::Rotl - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Rotr - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Ishl - :check_mark:
- [ ] SIMD tests disabled

[x] Opcode::Ushr - :check_mark:
- [ ] SIMD tests disabled

[ ] Opcode::Sshr - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Bitrev - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Clz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Cls - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Ctz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Popcnt - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Fcmp - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Fadd - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fsub - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmul - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fdiv - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Sqrt - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fma - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fneg - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fabs - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fcopysign - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmin - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FminPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmax - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FmaxPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Ceil - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Floor - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Trunc - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Nearest - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::IsNull - :cross_mark:

[ ] Opcode::IsInvalid - :cross_mark:

[ ] Opcode::Bitcast - 🟡
- [ ] Missing tests for all types

[ ] Opcode::RawBitcast - 🟡
- [ ] Missing tests for scalar types

[ ] Opcode::ScalarToVector - 🟡
- [ ] Tests disabled

[x] Opcode::Breduce - :check_mark:

[x] Opcode::Bextend - :check_mark:

[x] Opcode::Ireduce - :check_mark:

[ ] Opcode::Bint - 🟡
- [ ] Missing SIMD tests

[x] Opcode::Snarrow - :check_mark:

[x] Opcode::Unarrow - :check_mark:

[x] Opcode::Uunarrow - :check_mark:

[x] Opcode::Bmask - :check_mark:

[x] Opcode::Sextend - :check_mark:

[x] Opcode::Uextend - :check_mark:

[ ] Opcode::Fpromote - 🟡
- [ ] Tests disabled

[ ] Opcode::Fdemote - 🟡
- [ ] Tests disabled

[x] Opcode::Shuffle - :check_mark:

[ ] Opcode::Swizzle - 🟡
- [ ] Only tested for i8x16

[ ] Opcode::Splat - 🟡
- [ ] Tests disabled

[ ] Opcode::Insertlane - 🟡
- [ ] Missing tests

[ ] Opcode::Extractlane - 🟡
- [ ] Missing tests

[x] Opcode::VhighBits - :check_mark:

[ ] Opcode::Vsplit - :cross_mark:

[ ] Opcode::Vconcat - :cross_mark:

[x] Opcode::Vselect - :check_mark:

[x] Opcode::VanyTrue - :check_mark:

[x] Opcode::VallTrue - :check_mark:

[x] Opcode::SwidenLow - :check_mark:

[x] Opcode::SwidenHigh - :check_mark:

[x] Opcode::UwidenLow - :check_mark:

[x] Opcode::UwidenHigh - :check_mark:

[x] Opcode::FcvtToUint - :check_mark: (#4884)

[x] Opcode::FcvtToUintSat - :check_mark: (#4884)

[x] Opcode::FcvtToSint - :check_mark: (#4884)

[x] Opcode::FcvtToSintSat - :check_mark: (#4884)

[x] Opcode::FcvtFromUint - :check_mark: (#4884)

[x] Opcode::FcvtFromSint - :check_mark: (#4884)

[x] Opcode::FcvtLowFromSint - :check_mark: (#4884)

[x] Opcode::FvpromoteLow - :check_mark: (#4884)

[ ] Opcode::Fvdemote - :check_mark: (#4884)

[x] Opcode::Isplit - :check_mark:

[x] Opcode::Iconcat - :check_mark:

[ ] Opcode::AtomicRmw - :cross_mark:

[ ] Opcode::AtomicCas - :cross_mark:

[ ] Opcode::AtomicLoad - :cross_mark:

[ ] Opcode::AtomicStore - :cross_mark:

[ ] Opcode::Fence - :cross_mark:

[x] Opcode::WideningPairwiseDotProductS - :check_mark:

[ ] Opcode::SqmulRoundSat - 🟡
- [ ] Missing tests for types other than i16x8

[x] Opcode::IaddPairwise - :check_mark:

[ ] Opcode::ExtractVector - :cross_mark:

[ ] Opcode::GetFramePointer - :cross_mark:

[ ] Opcode::GetStackPointer - :cross_mark:

[ ] Opcode::GetReturnAddress - :cross_mark:

Op+Imm

These may be going away, see: #4721

[ ] Opcode::IaddImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::ImulImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IrsubImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BandImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BxorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IshlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IcmpImm - 🟡
- [ ] Missing tests for some types

Flag Ops

These may be going away, see: #3249

[ ] Opcode::Brif - 🟡
- [ ] Missing tests

[ ] Opcode::Brff - 🟡
- [ ] Missing tests

[ ] Opcode::Trueif - 🟡
- [ ] Missing tests

[ ] Opcode::Trueff - 🟡
- [ ] Missing tests

[ ] Opcode::IsubIfbout - :cross_mark:

[ ] Opcode::IaddIfcin - :cross_mark:

[ ] Opcode::IaddIfcout - :cross_mark:

[ ] Opcode::IaddIfcarry - :cross_mark:

[ ] Opcode::IsubIfbin - :cross_mark:

[ ] Opcode::IsubIfborrow - :cross_mark:

[ ] Opcode::Ffcmp - 🟡
- [ ] Missing tests

[ ] Opcode::Ifcmp - 🟡
- [ ] Missing tests

[ ] `Opcode::IfcmpIm
[message truncated]

Wasmtime GitHub notifications bot (Sep 29 2022 at 13:18):

afonso360 edited issue #4889:

Hey,

I did a roundup of what is supported in the interpreter and what is tested or not. Now that we have multiple people working on the interpreter this is probably a better way to keep track of what is going on an who is working on what.

Labels:

:check_mark: - Implemented and tested for all types
🟡 - Implemented for some types (i.e. only scalar but no SIMD) / Missing some tests
❌ - Unimplemented

Opcodes

[x] Opcode::Jump - :check_mark:

[ ] Opcode::Brz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Brnz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::BrIcmp - 🟡
- [ ] I128 tests disabled

[x] Opcode::BrTable - :check_mark:

[ ] Opcode::Trap - 🟡
- [ ] Missing tests

[ ] Opcode::Debugtrap - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrap - 🟡
- [ ] Missing tests

[ ] Opcode::Trapz - 🟡
- [ ] Missing tests

[ ] Opcode::Trapnz - 🟡
- [ ] Missing tests

[ ] Opcode::ResumableTrapnz - 🟡
- [ ] Missing tests

[x] Opcode::Return - :check_mark:

[x] Opcode::Call - :check_mark:

[ ] Opcode::CallIndirect - :cross_mark:

[ ] Opcode::FuncAddr - :cross_mark:

[x] Opcode::Load - :check_mark:

[ ] Opcode::Uload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload8 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload16 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Sload32 - 🟡
- [ ] Missing tests

[ ] Opcode::Uload8x8 - :cross_mark:

[ ] Opcode::Sload8x8 - :cross_mark:

[ ] Opcode::Uload16x4 - :cross_mark:

[ ] Opcode::Sload16x4 - :cross_mark:

[ ] Opcode::Uload32x2 - :cross_mark:

[ ] Opcode::Sload32x2 - :cross_mark:

[x] Opcode::Store - :check_mark:

[ ] Opcode::Istore8 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore16 - 🟡
- [ ] Missing tests

[ ] Opcode::Istore32 - 🟡
- [ ] Missing tests

[x] Opcode::StackLoad - :check_mark:

[x] Opcode::StackStore - :check_mark:

[x] Opcode::StackAddr - :check_mark:

[ ] Opcode::DynamicStackAddr - :cross_mark:

[ ] Opcode::DynamicStackLoad - :cross_mark:

[ ] Opcode::DynamicStackStore - :cross_mark:

[x] Opcode::GlobalValue - :check_mark:

[ ] Opcode::SymbolValue - :cross_mark:

[ ] Opcode::TlsValue - :cross_mark:

[x] Opcode::HeapAddr - :check_mark:

[x] Opcode::GetPinnedReg - :check_mark:

[x] Opcode::SetPinnedReg - :check_mark:

[x] Opcode::TableAddr - :check_mark:

[x] Opcode::Iconst - :check_mark:

[x] Opcode::F32const - :check_mark:

[x] Opcode::F64const - :check_mark:

[x] Opcode::Bconst - :check_mark:

[x] Opcode::Vconst - :check_mark:

[ ] Opcode::Null - :cross_mark:

[ ] Opcode::Nop - 🟡
- [ ] Missing tests

[ ] Opcode::Select - 🟡
- [ ] Missing tests

[ ] Opcode::Bitselect - 🟡
- [ ] Missing tests

[ ] Opcode::Copy - 🟡
- [ ] Missing tests

[x] Opcode::Icmp - :check_mark:

[ ] Opcode::Imin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umin - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Imax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umax - 🟡
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::AvgRound - 🟡
- [ ] Implemented for scalar, but not tested
- [ ] SIMD tests disabled

[x] Opcode::Iadd - :check_mark:

[x] Opcode::UaddSat - :check_mark:

[x] Opcode::SaddSat - :check_mark:

[x] Opcode::Isub - :check_mark:

[x] Opcode::UsubSat - :check_mark:

[x] Opcode::SsubSat - :check_mark:

[ ] Opcode::Ineg - 🟡
- [ ] Only tested for i32x4

[ ] Opcode::Iabs - 🟡
- [ ] Missing i128 tests

[x] Opcode::Imul - :check_mark:

[x] Opcode::Umulhi - :check_mark:

[x] Opcode::Smulhi - :check_mark:

[x] Opcode::Udiv - :check_mark:

[x] Opcode::Sdiv - :check_mark:

[x] Opcode::Urem - :check_mark:

[x] Opcode::Srem - :check_mark:

[ ] Opcode::IaddCin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IaddCarry - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBin - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBout - 🟡
- [ ] Missing I128 tests

[ ] Opcode::IsubBorrow - 🟡
- [ ] Missing I128 tests

[ ] Opcode::Band - 🟡
- [ ] Missing tests

[ ] Opcode::Bor - 🟡
- [ ] Missing tests

[ ] Opcode::Bxor - 🟡
- [ ] Missing tests

[ ] Opcode::Bnot - 🟡
- [ ] Tests are disabled

[ ] Opcode::BandNot - 🟡
- [ ] Missing tests

[ ] Opcode::BorNot - 🟡
- [ ] Missing tests

[ ] Opcode::BxorNot - 🟡
- [ ] Missing tests

[x] Opcode::Rotl - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Rotr - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Ishl - :check_mark:
- [ ] SIMD tests disabled

[x] Opcode::Ushr - :check_mark:
- [ ] SIMD tests disabled

[ ] Opcode::Sshr - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Bitrev - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Clz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Cls - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Ctz - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Popcnt - 🟡
- [ ] I128 tests disabled

[ ] Opcode::Fcmp - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Fadd - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fsub - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmul - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fdiv - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Sqrt - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fma - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fneg - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fabs - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fcopysign - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmin - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FminPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Fmax - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::FmaxPseudo - 🟡
- [ ] SIMD tests disabled

[ ] Opcode::Ceil - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Floor - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Trunc - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::Nearest - 🟡
- [ ] Missing SIMD tests

[ ] Opcode::IsNull - :cross_mark:

[ ] Opcode::IsInvalid - :cross_mark:

[ ] Opcode::Bitcast - 🟡
- [ ] Missing tests for all types

[ ] Opcode::RawBitcast - 🟡
- [ ] Missing tests for scalar types

[ ] Opcode::ScalarToVector - 🟡
- [ ] Tests disabled

[x] Opcode::Breduce - :check_mark:

[x] Opcode::Bextend - :check_mark:

[x] Opcode::Ireduce - :check_mark:

[ ] Opcode::Bint - 🟡
- [ ] Missing SIMD tests

[x] Opcode::Snarrow - :check_mark:

[x] Opcode::Unarrow - :check_mark:

[x] Opcode::Uunarrow - :check_mark:

[x] Opcode::Bmask - :check_mark:

[x] Opcode::Sextend - :check_mark:

[x] Opcode::Uextend - :check_mark:

[ ] Opcode::Fpromote - 🟡
- [ ] Tests disabled

[ ] Opcode::Fdemote - 🟡
- [ ] Tests disabled

[x] Opcode::Shuffle - :check_mark:

[ ] Opcode::Swizzle - 🟡
- [ ] Only tested for i8x16

[ ] Opcode::Splat - 🟡
- [ ] Tests disabled

[ ] Opcode::Insertlane - 🟡
- [ ] Missing tests

[ ] Opcode::Extractlane - 🟡
- [ ] Missing tests

[x] Opcode::VhighBits - :check_mark:

[ ] Opcode::Vsplit - :cross_mark:

[ ] Opcode::Vconcat - :cross_mark:

[x] Opcode::Vselect - :check_mark:

[x] Opcode::VanyTrue - :check_mark:

[x] Opcode::VallTrue - :check_mark:

[x] Opcode::SwidenLow - :check_mark:

[x] Opcode::SwidenHigh - :check_mark:

[x] Opcode::UwidenLow - :check_mark:

[x] Opcode::UwidenHigh - :check_mark:

[x] Opcode::FcvtToUint - :check_mark: (#4884)

[x] Opcode::FcvtToUintSat - :check_mark: (#4884)

[x] Opcode::FcvtToSint - :check_mark: (#4884)

[x] Opcode::FcvtToSintSat - :check_mark: (#4884)

[x] Opcode::FcvtFromUint - :check_mark: (#4884)

[x] Opcode::FcvtFromSint - :check_mark: (#4884)

[x] Opcode::FcvtLowFromSint - :check_mark: (#4884)

[x] Opcode::FvpromoteLow - :check_mark: (#4884)

[x] Opcode::Fvdemote - :check_mark: (#4884)

[x] Opcode::Isplit - :check_mark:

[x] Opcode::Iconcat - :check_mark:

[ ] Opcode::AtomicRmw - :cross_mark:

[ ] Opcode::AtomicCas - :cross_mark:

[ ] Opcode::AtomicLoad - :cross_mark:

[ ] Opcode::AtomicStore - :cross_mark:

[ ] Opcode::Fence - :cross_mark:

[x] Opcode::WideningPairwiseDotProductS - :check_mark:

[ ] Opcode::SqmulRoundSat - 🟡
- [ ] Missing tests for types other than i16x8

[x] Opcode::IaddPairwise - :check_mark:

[ ] Opcode::ExtractVector - :cross_mark:

[ ] Opcode::GetFramePointer - :cross_mark:

[ ] Opcode::GetStackPointer - :cross_mark:

[ ] Opcode::GetReturnAddress - :cross_mark:

Op+Imm

These may be going away, see: #4721

[ ] Opcode::IaddImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::ImulImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SdivImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SremImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IrsubImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BandImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::BxorImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::RotrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IshlImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::UshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::SshrImm - 🟡
- [ ] Missing tests for some types

[ ] Opcode::IcmpImm - 🟡
- [ ] Missing tests for some types

Flag Ops

These may be going away, see: #3249

[ ] Opcode::Brif - 🟡
- [ ] Missing tests

[ ] Opcode::Brff - 🟡
- [ ] Missing tests

[ ] Opcode::Trueif - 🟡
- [ ] Missing tests

[ ] Opcode::Trueff - 🟡
- [ ] Missing tests

[ ] Opcode::IsubIfbout - :cross_mark:

[ ] Opcode::IaddIfcin - :cross_mark:

[ ] Opcode::IaddIfcout - :cross_mark:

[ ] Opcode::IaddIfcarry - :cross_mark:

[ ] Opcode::IsubIfbin - :cross_mark:

[ ] Opcode::IsubIfborrow - :cross_mark:

[ ] Opcode::Ffcmp - 🟡
- [ ] Missing tests

[ ] Opcode::Ifcmp - 🟡
- [ ] Missing tests

[ ] `Opcode::IfcmpIm
[message truncated]

Wasmtime GitHub notifications bot (Oct 24 2022 at 09:38):

afonso360 edited issue #4889:

Hey,

I did a roundup of what is supported in the interpreter and what is tested or not. Now that we have multiple people working on the interpreter this is probably a better way to keep track of what is going on an who is working on what.

Labels:

:check_mark: - Implemented and tested for all types
:yellow_circle: - Implemented for some types (i.e. only scalar but no SIMD) / Missing some tests
:cross_mark: - Unimplemented

Opcodes

[x] Opcode::Jump - :check_mark:

[ ] Opcode::Brz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Brnz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::BrIcmp - :yellow_circle:
- [ ] I128 tests disabled

[x] Opcode::BrTable - :check_mark:

[ ] Opcode::Trap - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Debugtrap - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::ResumableTrap - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Trapz - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Trapnz - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::ResumableTrapnz - :yellow_circle:
- [ ] Missing tests

[x] Opcode::Return - :check_mark:

[x] Opcode::Call - :check_mark:

[ ] Opcode::CallIndirect - :cross_mark:

[ ] Opcode::FuncAddr - :cross_mark:

[x] Opcode::Load - :check_mark:

[ ] Opcode::Uload8 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Sload8 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Uload16 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Sload16 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Uload32 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Sload32 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Uload8x8 - :cross_mark:

[ ] Opcode::Sload8x8 - :cross_mark:

[ ] Opcode::Uload16x4 - :cross_mark:

[ ] Opcode::Sload16x4 - :cross_mark:

[ ] Opcode::Uload32x2 - :cross_mark:

[ ] Opcode::Sload32x2 - :cross_mark:

[x] Opcode::Store - :check_mark:

[ ] Opcode::Istore8 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Istore16 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Istore32 - :yellow_circle:
- [ ] Missing tests

[x] Opcode::StackLoad - :check_mark:

[x] Opcode::StackStore - :check_mark:

[x] Opcode::StackAddr - :check_mark:

[ ] Opcode::DynamicStackAddr - :cross_mark:

[ ] Opcode::DynamicStackLoad - :cross_mark:

[ ] Opcode::DynamicStackStore - :cross_mark:

[x] Opcode::GlobalValue - :check_mark:

[ ] Opcode::SymbolValue - :cross_mark:

[ ] Opcode::TlsValue - :cross_mark:

[x] Opcode::HeapAddr - :check_mark:

[x] Opcode::GetPinnedReg - :check_mark:

[x] Opcode::SetPinnedReg - :check_mark:

[x] Opcode::TableAddr - :check_mark:

[x] Opcode::Iconst - :check_mark:

[x] Opcode::F32const - :check_mark:

[x] Opcode::F64const - :check_mark:

[x] Opcode::Bconst - :check_mark:

[x] Opcode::Vconst - :check_mark:

[ ] Opcode::Null - :cross_mark:

[ ] Opcode::Nop - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Select - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bitselect - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Copy - :yellow_circle:
- [ ] Missing tests

[x] Opcode::Icmp - :check_mark:

[ ] Opcode::Imin - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umin - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Imax - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umax - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::AvgRound - :yellow_circle:
- [ ] Implemented for scalar, but not tested
- [ ] SIMD tests disabled

[x] Opcode::Iadd - :check_mark:

[x] Opcode::UaddSat - :check_mark:

[x] Opcode::SaddSat - :check_mark:

[x] Opcode::Isub - :check_mark:

[x] Opcode::UsubSat - :check_mark:

[x] Opcode::SsubSat - :check_mark:

[ ] Opcode::Ineg - :yellow_circle:
- [ ] Only tested for i32x4

[ ] Opcode::Iabs - :yellow_circle:
- [ ] Missing i128 tests

[x] Opcode::Imul - :check_mark:

[x] Opcode::Umulhi - :check_mark:

[x] Opcode::Smulhi - :check_mark:

[x] Opcode::Udiv - :check_mark:

[x] Opcode::Sdiv - :check_mark:

[x] Opcode::Urem - :check_mark:

[x] Opcode::Srem - :check_mark:

[ ] Opcode::IaddCin - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IaddCout - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IaddCarry - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IsubBin - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IsubBout - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IsubBorrow - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::Band - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bor - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bxor - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bnot - :yellow_circle:
- [ ] Tests are disabled

[ ] Opcode::BandNot - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::BorNot - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::BxorNot - :yellow_circle:
- [ ] Missing tests

[x] Opcode::Rotl - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Rotr - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Ishl - :check_mark:
- [ ] SIMD tests disabled

[x] Opcode::Ushr - :check_mark:
- [ ] SIMD tests disabled

[ ] Opcode::Sshr - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Bitrev - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Clz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Cls - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Ctz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Popcnt - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Fcmp - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Fadd - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fsub - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fmul - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fdiv - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Sqrt - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fma - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fneg - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fabs - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fcopysign - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fmin - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::FminPseudo - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fmax - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::FmaxPseudo - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Ceil - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Floor - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Trunc - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Nearest - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::IsNull - :cross_mark:

[ ] Opcode::IsInvalid - :cross_mark:

[ ] Opcode::Bitcast - :yellow_circle:
- [ ] Missing tests for all types

[ ] Opcode::RawBitcast - :yellow_circle:
- [ ] Missing tests for scalar types

[ ] Opcode::ScalarToVector - :yellow_circle:
- [ ] Tests disabled

[x] Opcode::Breduce - :check_mark:

[x] Opcode::Bextend - :check_mark:

[x] Opcode::Ireduce - :check_mark:

[ ] Opcode::Bint - :yellow_circle:
- [ ] Missing SIMD tests

[x] Opcode::Snarrow - :check_mark:

[x] Opcode::Unarrow - :check_mark:

[x] Opcode::Uunarrow - :check_mark:

[x] Opcode::Bmask - :check_mark:

[x] Opcode::Sextend - :check_mark:

[x] Opcode::Uextend - :check_mark:

[ ] Opcode::Fpromote - :yellow_circle:
- [ ] Tests disabled

[ ] Opcode::Fdemote - :yellow_circle:
- [ ] Tests disabled

[x] Opcode::Shuffle - :check_mark:

[ ] Opcode::Swizzle - :yellow_circle:
- [ ] Only tested for i8x16

[ ] Opcode::Splat - :yellow_circle:
- [ ] Tests disabled

[ ] Opcode::Insertlane - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Extractlane - :yellow_circle:
- [ ] Missing tests

[x] Opcode::VhighBits - :check_mark:

[ ] Opcode::Vsplit - :cross_mark:

[ ] Opcode::Vconcat - :cross_mark:

[x] Opcode::Vselect - :check_mark:

[x] Opcode::VanyTrue - :check_mark:

[x] Opcode::VallTrue - :check_mark:

[x] Opcode::SwidenLow - :check_mark:

[x] Opcode::SwidenHigh - :check_mark:

[x] Opcode::UwidenLow - :check_mark:

[x] Opcode::UwidenHigh - :check_mark:

[x] Opcode::FcvtToUint - :check_mark: (#4884)

[x] Opcode::FcvtToUintSat - :check_mark: (#4884)

[x] Opcode::FcvtToSint - :check_mark: (#4884)

[x] Opcode::FcvtToSintSat - :check_mark: (#4884)

[x] Opcode::FcvtFromUint - :check_mark: (#4884)

[x] Opcode::FcvtFromSint - :check_mark: (#4884)

[x] Opcode::FcvtLowFromSint - :check_mark: (#4884)

[x] Opcode::FvpromoteLow - :check_mark: (#4884)

[x] Opcode::Fvdemote - :check_mark: (#4884)

[x] Opcode::Isplit - :check_mark:

[x] Opcode::Iconcat - :check_mark:

[ ] Opcode::AtomicRmw - :cross_mark:

[ ] Opcode::AtomicCas - :cross_mark:

[ ] Opcode::AtomicLoad - :cross_mark:

[ ] Opcode::AtomicStore - :cross_mark:

[ ] Opcode::Fence - :cross_mark:

[x] Opcode::WideningPairwiseDotProductS - :check_mark:

[ ] Opcode::SqmulRoundSat - :yellow_circle:
- [ ] Missing tests for types other than i16x8

[x] Opcode::IaddPairwise - :check_mark:

[ ] Opcode::ExtractVector - :cross_mark:

[ ] Opcode::GetFramePointer - :cross_mark:

[ ] Opcode::GetStackPointer - :cross_mark:

[ ] Opcode::GetReturnAddress - :cross_mark:

Op+Imm

These may be going away, see: #4721

[ ] Opcode::IaddImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::ImulImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::UdivImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::SdivImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::UremImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::SremImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::IrsubImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::BandImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::BorImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::BxorImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::RotlImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::RotrImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::IshlImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::UshrImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::SshrImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::IcmpImm - :yellow_circle:
- [ ] Missing tests for some types

Wasmtime GitHub notifications bot (Nov 04 2022 at 12:30):

afonso360 edited issue #4889:

Hey,

I did a roundup of what is supported in the interpreter and what is tested or not. Now that we have multiple people working on the interpreter this is probably a better way to keep track of what is going on an who is working on what.

Labels:

:check_mark: - Implemented and tested for all types
:yellow_circle: - Implemented for some types (i.e. only scalar but no SIMD) / Missing some tests
:cross_mark: - Unimplemented

Opcodes

[x] Opcode::Jump - :check_mark:

[ ] Opcode::Brz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Brnz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::BrIcmp - :yellow_circle:
- [ ] I128 tests disabled

[x] Opcode::BrTable - :check_mark:

[ ] Opcode::Trap - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Debugtrap - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::ResumableTrap - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Trapz - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Trapnz - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::ResumableTrapnz - :yellow_circle:
- [ ] Missing tests

[x] Opcode::Return - :check_mark:

[x] Opcode::Call - :check_mark:

[ ] Opcode::CallIndirect - :cross_mark:

[ ] Opcode::FuncAddr - :cross_mark:

[x] Opcode::Load - :check_mark:

[ ] Opcode::Uload8 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Sload8 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Uload16 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Sload16 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Uload32 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Sload32 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Uload8x8 - :cross_mark:

[ ] Opcode::Sload8x8 - :cross_mark:

[ ] Opcode::Uload16x4 - :cross_mark:

[ ] Opcode::Sload16x4 - :cross_mark:

[ ] Opcode::Uload32x2 - :cross_mark:

[ ] Opcode::Sload32x2 - :cross_mark:

[x] Opcode::Store - :check_mark:

[ ] Opcode::Istore8 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Istore16 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Istore32 - :yellow_circle:
- [ ] Missing tests

[x] Opcode::StackLoad - :check_mark:

[x] Opcode::StackStore - :check_mark:

[x] Opcode::StackAddr - :check_mark:

[ ] Opcode::DynamicStackAddr - :cross_mark:

[ ] Opcode::DynamicStackLoad - :cross_mark:

[ ] Opcode::DynamicStackStore - :cross_mark:

[x] Opcode::GlobalValue - :check_mark:

[ ] Opcode::SymbolValue - :cross_mark:

[ ] Opcode::TlsValue - :cross_mark:

[x] Opcode::HeapAddr - :check_mark:

[x] Opcode::GetPinnedReg - :check_mark:

[x] Opcode::SetPinnedReg - :check_mark:

[x] Opcode::TableAddr - :check_mark:

[x] Opcode::Iconst - :check_mark:

[x] Opcode::F32const - :check_mark:

[x] Opcode::F64const - :check_mark:

[x] Opcode::Vconst - :check_mark:

[ ] Opcode::Null - :cross_mark:

[ ] Opcode::Nop - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Select - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bitselect - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Copy - :yellow_circle:
- [ ] Missing tests

[x] Opcode::Icmp - :check_mark:

[ ] Opcode::Smin - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umin - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Smax - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umax - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::AvgRound - :yellow_circle:
- [ ] Implemented for scalar, but not tested
- [ ] SIMD tests disabled

[x] Opcode::Iadd - :check_mark:

[x] Opcode::UaddSat - :check_mark:

[x] Opcode::SaddSat - :check_mark:

[x] Opcode::Isub - :check_mark:

[x] Opcode::UsubSat - :check_mark:

[x] Opcode::SsubSat - :check_mark:

[ ] Opcode::Ineg - :yellow_circle:
- [ ] Only tested for i32x4

[ ] Opcode::Iabs - :yellow_circle:
- [ ] Missing i128 tests

[x] Opcode::Imul - :check_mark:

[x] Opcode::Umulhi - :check_mark:

[x] Opcode::Smulhi - :check_mark:

[x] Opcode::Udiv - :check_mark:

[x] Opcode::Sdiv - :check_mark:

[x] Opcode::Urem - :check_mark:

[x] Opcode::Srem - :check_mark:

[ ] Opcode::IaddCin - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IaddCout - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IaddCarry - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IsubBin - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IsubBout - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IsubBorrow - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::Band - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bor - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bxor - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bnot - :yellow_circle:
- [ ] Tests are disabled

[ ] Opcode::BandNot - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::BorNot - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::BxorNot - :yellow_circle:
- [ ] Missing tests

[x] Opcode::Rotl - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Rotr - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Ishl - :check_mark:
- [ ] SIMD tests disabled

[x] Opcode::Ushr - :check_mark:
- [ ] SIMD tests disabled

[ ] Opcode::Sshr - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Bitrev - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Clz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Cls - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Ctz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Popcnt - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Fcmp - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Fadd - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fsub - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fmul - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fdiv - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Sqrt - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fma - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fneg - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fabs - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fcopysign - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fmin - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::FminPseudo - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fmax - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::FmaxPseudo - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Ceil - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Floor - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Trunc - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Nearest - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::IsNull - :cross_mark:

[ ] Opcode::IsInvalid - :cross_mark:

[ ] Opcode::Bitcast - :yellow_circle:
- [ ] Missing tests for all types

[ ] Opcode::ScalarToVector - :yellow_circle:
- [ ] Tests disabled

[x] Opcode::Ireduce - :check_mark:

[x] Opcode::Snarrow - :check_mark:

[x] Opcode::Unarrow - :check_mark:

[x] Opcode::Uunarrow - :check_mark:

[x] Opcode::Bmask - :check_mark:

[x] Opcode::Sextend - :check_mark:

[x] Opcode::Uextend - :check_mark:

[ ] Opcode::Fpromote - :yellow_circle:
- [ ] Tests disabled

[ ] Opcode::Fdemote - :yellow_circle:
- [ ] Tests disabled

[x] Opcode::Shuffle - :check_mark:

[ ] Opcode::Swizzle - :yellow_circle:
- [ ] Only tested for i8x16

[ ] Opcode::Splat - :yellow_circle:
- [ ] Tests disabled

[ ] Opcode::Insertlane - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Extractlane - :yellow_circle:
- [ ] Missing tests

[x] Opcode::VhighBits - :check_mark:

[ ] Opcode::Vsplit - :cross_mark:

[ ] Opcode::Vconcat - :cross_mark:

[x] Opcode::Vselect - :check_mark:

[x] Opcode::VanyTrue - :check_mark:

[x] Opcode::VallTrue - :check_mark:

[x] Opcode::SwidenLow - :check_mark:

[x] Opcode::SwidenHigh - :check_mark:

[x] Opcode::UwidenLow - :check_mark:

[x] Opcode::UwidenHigh - :check_mark:

[x] Opcode::FcvtToUint - :check_mark: (#4884)

[x] Opcode::FcvtToUintSat - :check_mark: (#4884)

[x] Opcode::FcvtToSint - :check_mark: (#4884)

[x] Opcode::FcvtToSintSat - :check_mark: (#4884)

[x] Opcode::FcvtFromUint - :check_mark: (#4884)

[x] Opcode::FcvtFromSint - :check_mark: (#4884)

[x] Opcode::FcvtLowFromSint - :check_mark: (#4884)

[x] Opcode::FvpromoteLow - :check_mark: (#4884)

[x] Opcode::Fvdemote - :check_mark: (#4884)

[x] Opcode::Isplit - :check_mark:

[x] Opcode::Iconcat - :check_mark:

[ ] Opcode::AtomicRmw - :cross_mark:

[ ] Opcode::AtomicCas - :cross_mark:

[ ] Opcode::AtomicLoad - :cross_mark:

[ ] Opcode::AtomicStore - :cross_mark:

[ ] Opcode::Fence - :cross_mark:

[x] Opcode::WideningPairwiseDotProductS - :check_mark:

[ ] Opcode::SqmulRoundSat - :yellow_circle:
- [ ] Missing tests for types other than i16x8

[x] Opcode::IaddPairwise - :check_mark:

[ ] Opcode::ExtractVector - :cross_mark:

[ ] Opcode::GetFramePointer - :cross_mark:

[ ] Opcode::GetStackPointer - :cross_mark:

[ ] Opcode::GetReturnAddress - :cross_mark:

Op+Imm

These may be going away, see: #4721

[ ] Opcode::IaddImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::ImulImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::UdivImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::SdivImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::UremImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::SremImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::IrsubImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::BandImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::BorImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::BxorImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::RotlImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::RotrImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::IshlImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::UshrImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::SshrImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::IcmpImm - :yellow_circle:
- [ ] Missing tests for some types

Wasmtime GitHub notifications bot (Feb 24 2023 at 15:43):

afonso360 edited issue #4889:

Hey,

I did a roundup of what is supported in the interpreter and what is tested or not. Now that we have multiple people working on the interpreter this is probably a better way to keep track of what is going on an who is working on what.

Labels:

:check_mark: - Implemented and tested for all types
:yellow_circle: - Implemented for some types (i.e. only scalar but no SIMD) / Missing some tests
:cross_mark: - Unimplemented

Opcodes

[x] Opcode::Jump - :check_mark:

[ ] Opcode::Brz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Brnz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::BrIcmp - :yellow_circle:
- [ ] I128 tests disabled

[x] Opcode::BrTable - :check_mark:

[ ] Opcode::Trap - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Debugtrap - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::ResumableTrap - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Trapz - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Trapnz - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::ResumableTrapnz - :yellow_circle:
- [ ] Missing tests

[x] Opcode::Return - :check_mark:

[x] Opcode::Call - :check_mark:

[ ] Opcode::CallIndirect - :cross_mark:

[ ] Opcode::FuncAddr - :cross_mark:

[x] Opcode::Load - :check_mark:

[ ] Opcode::Uload8 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Sload8 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Uload16 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Sload16 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Uload32 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Sload32 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Uload8x8 - :cross_mark:

[ ] Opcode::Sload8x8 - :cross_mark:

[ ] Opcode::Uload16x4 - :cross_mark:

[ ] Opcode::Sload16x4 - :cross_mark:

[ ] Opcode::Uload32x2 - :cross_mark:

[ ] Opcode::Sload32x2 - :cross_mark:

[x] Opcode::Store - :check_mark:

[ ] Opcode::Istore8 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Istore16 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Istore32 - :yellow_circle:
- [ ] Missing tests

[x] Opcode::StackLoad - :check_mark:

[x] Opcode::StackStore - :check_mark:

[x] Opcode::StackAddr - :check_mark:

[ ] Opcode::DynamicStackAddr - :cross_mark:

[ ] Opcode::DynamicStackLoad - :cross_mark:

[ ] Opcode::DynamicStackStore - :cross_mark:

[x] Opcode::GlobalValue - :check_mark:

[ ] Opcode::SymbolValue - :cross_mark:

[ ] Opcode::TlsValue - :cross_mark:

[x] Opcode::HeapAddr - :check_mark:

[x] Opcode::GetPinnedReg - :check_mark:

[x] Opcode::SetPinnedReg - :check_mark:

[x] Opcode::TableAddr - :check_mark:

[x] Opcode::Iconst - :check_mark:

[x] Opcode::F32const - :check_mark:

[x] Opcode::F64const - :check_mark:

[x] Opcode::Vconst - :check_mark:

[ ] Opcode::Null - :cross_mark:

[ ] Opcode::Nop - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Select - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bitselect - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Copy - :yellow_circle:
- [ ] Missing tests

[x] Opcode::Icmp - :check_mark:

[ ] Opcode::Smin - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umin - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Smax - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umax - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::AvgRound - :yellow_circle:
- [ ] Implemented for scalar, but not tested
- [ ] SIMD tests disabled

[x] Opcode::Iadd - :check_mark:

[x] Opcode::UaddSat - :check_mark:

[x] Opcode::SaddSat - :check_mark:

[x] Opcode::Isub - :check_mark:

[x] Opcode::UsubSat - :check_mark:

[x] Opcode::SsubSat - :check_mark:

[ ] Opcode::Ineg - :yellow_circle:
- [ ] Only tested for i32x4

[ ] Opcode::Iabs - :yellow_circle:
- [ ] Missing i128 tests

[x] Opcode::Imul - :check_mark:

[x] Opcode::Umulhi - :check_mark:

[x] Opcode::Smulhi - :check_mark:

[x] Opcode::Udiv - :check_mark:

[x] Opcode::Sdiv - :check_mark:

[x] Opcode::Urem - :check_mark:

[x] Opcode::Srem - :check_mark:

[ ] Opcode::IaddCin - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IaddCout - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IaddCarry - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IsubBin - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IsubBout - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IsubBorrow - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::Band - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bor - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bxor - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bnot - :yellow_circle:
- [ ] Tests are disabled

[ ] Opcode::BandNot - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::BorNot - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::BxorNot - :yellow_circle:
- [ ] Missing tests

[x] Opcode::Rotl - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Rotr - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Ishl - :check_mark:
- [ ] SIMD tests disabled

[x] Opcode::Ushr - :check_mark:
- [ ] SIMD tests disabled

[ ] Opcode::Sshr - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Bitrev - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Clz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Cls - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Ctz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Popcnt - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Fcmp - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Fadd - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fsub - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fmul - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fdiv - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Sqrt - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fma - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fneg - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fabs - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fcopysign - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fmin - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::FminPseudo - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fmax - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::FmaxPseudo - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Ceil - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Floor - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Trunc - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Nearest - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::IsNull - :cross_mark:

[ ] Opcode::IsInvalid - :cross_mark:

[ ] Opcode::Bitcast - :yellow_circle:
- [ ] Missing tests for all types

[ ] Opcode::ScalarToVector - :yellow_circle:
- [ ] Tests disabled

[x] Opcode::Ireduce - :check_mark:

[x] Opcode::Snarrow - :check_mark:

[x] Opcode::Unarrow - :check_mark:

[x] Opcode::Uunarrow - :check_mark:

[x] Opcode::Bmask - :check_mark:

[x] Opcode::Sextend - :check_mark:

[x] Opcode::Uextend - :check_mark:

[ ] Opcode::Fpromote - :yellow_circle:
- [ ] Tests disabled

[ ] Opcode::Fdemote - :yellow_circle:
- [ ] Tests disabled

[x] Opcode::Shuffle - :check_mark:

[ ] Opcode::Swizzle - :yellow_circle:
- [ ] Only tested for i8x16

[ ] Opcode::Splat - :yellow_circle:
- [ ] Tests disabled

[ ] Opcode::Insertlane - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Extractlane - :yellow_circle:
- [ ] Missing tests

[x] Opcode::VhighBits - :check_mark:

[ ] Opcode::Vsplit - :cross_mark:

[ ] Opcode::Vconcat - :cross_mark:

[x] Opcode::Vselect - :check_mark:

[x] Opcode::VanyTrue - :check_mark:

[x] Opcode::VallTrue - :check_mark:

[x] Opcode::SwidenLow - :check_mark:

[x] Opcode::SwidenHigh - :check_mark:

[x] Opcode::UwidenLow - :check_mark:

[x] Opcode::UwidenHigh - :check_mark:

[x] Opcode::FcvtToUint - :check_mark: (#4884)

[x] Opcode::FcvtToUintSat - :check_mark: (#4884)

[x] Opcode::FcvtToSint - :check_mark: (#4884)

[x] Opcode::FcvtToSintSat - :check_mark: (#4884)

[x] Opcode::FcvtFromUint - :check_mark: (#4884)

[x] Opcode::FcvtFromSint - :check_mark: (#4884)

[x] Opcode::FcvtLowFromSint - :check_mark: (#4884)

[x] Opcode::FvpromoteLow - :check_mark: (#4884)

[x] Opcode::Fvdemote - :check_mark: (#4884)

[x] Opcode::Isplit - :check_mark:

[x] Opcode::Iconcat - :check_mark:

[ ] Opcode::AtomicRmw - :cross_mark:

[ ] Opcode::AtomicCas - :cross_mark:

[ ] Opcode::AtomicLoad - :cross_mark:

[x] Opcode::AtomicStore - :cross_mark:

[ ] Opcode::Fence - :cross_mark:

[x] Opcode::WideningPairwiseDotProductS - :check_mark:

[ ] Opcode::SqmulRoundSat - :yellow_circle:
- [ ] Missing tests for types other than i16x8

[x] Opcode::IaddPairwise - :check_mark:

[ ] Opcode::ExtractVector - :cross_mark:

[ ] Opcode::GetFramePointer - :cross_mark:

[ ] Opcode::GetStackPointer - :cross_mark:

[ ] Opcode::GetReturnAddress - :cross_mark:

Op+Imm

These may be going away, see: #4721

[ ] Opcode::IaddImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::ImulImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::UdivImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::SdivImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::UremImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::SremImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::IrsubImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::BandImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::BorImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::BxorImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::RotlImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::RotrImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::IshlImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::UshrImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::SshrImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::IcmpImm - :yellow_circle:
- [ ] Missing tests for some types

Wasmtime GitHub notifications bot (Feb 24 2023 at 15:44):

afonso360 edited issue #4889:

Hey,

I did a roundup of what is supported in the interpreter and what is tested or not. Now that we have multiple people working on the interpreter this is probably a better way to keep track of what is going on an who is working on what.

Labels:

:check_mark: - Implemented and tested for all types
:yellow_circle: - Implemented for some types (i.e. only scalar but no SIMD) / Missing some tests
:cross_mark: - Unimplemented

Opcodes

[x] Opcode::Jump - :check_mark:

[ ] Opcode::Brz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Brnz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::BrIcmp - :yellow_circle:
- [ ] I128 tests disabled

[x] Opcode::BrTable - :check_mark:

[ ] Opcode::Trap - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Debugtrap - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::ResumableTrap - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Trapz - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Trapnz - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::ResumableTrapnz - :yellow_circle:
- [ ] Missing tests

[x] Opcode::Return - :check_mark:

[x] Opcode::Call - :check_mark:

[ ] Opcode::CallIndirect - :cross_mark:

[ ] Opcode::FuncAddr - :cross_mark:

[x] Opcode::Load - :check_mark:

[ ] Opcode::Uload8 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Sload8 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Uload16 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Sload16 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Uload32 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Sload32 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Uload8x8 - :cross_mark:

[ ] Opcode::Sload8x8 - :cross_mark:

[ ] Opcode::Uload16x4 - :cross_mark:

[ ] Opcode::Sload16x4 - :cross_mark:

[ ] Opcode::Uload32x2 - :cross_mark:

[ ] Opcode::Sload32x2 - :cross_mark:

[x] Opcode::Store - :check_mark:

[ ] Opcode::Istore8 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Istore16 - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Istore32 - :yellow_circle:
- [ ] Missing tests

[x] Opcode::StackLoad - :check_mark:

[x] Opcode::StackStore - :check_mark:

[x] Opcode::StackAddr - :check_mark:

[ ] Opcode::DynamicStackAddr - :cross_mark:

[ ] Opcode::DynamicStackLoad - :cross_mark:

[ ] Opcode::DynamicStackStore - :cross_mark:

[x] Opcode::GlobalValue - :check_mark:

[ ] Opcode::SymbolValue - :cross_mark:

[ ] Opcode::TlsValue - :cross_mark:

[x] Opcode::HeapAddr - :check_mark:

[x] Opcode::GetPinnedReg - :check_mark:

[x] Opcode::SetPinnedReg - :check_mark:

[x] Opcode::TableAddr - :check_mark:

[x] Opcode::Iconst - :check_mark:

[x] Opcode::F32const - :check_mark:

[x] Opcode::F64const - :check_mark:

[x] Opcode::Vconst - :check_mark:

[ ] Opcode::Null - :cross_mark:

[ ] Opcode::Nop - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Select - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bitselect - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Copy - :yellow_circle:
- [ ] Missing tests

[x] Opcode::Icmp - :check_mark:

[ ] Opcode::Smin - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umin - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Smax - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::Umax - :yellow_circle:
- [ ] Missing i128 tests
- [ ] Missing some SIMD tests (i64x2)

[ ] Opcode::AvgRound - :yellow_circle:
- [ ] Implemented for scalar, but not tested
- [ ] SIMD tests disabled

[x] Opcode::Iadd - :check_mark:

[x] Opcode::UaddSat - :check_mark:

[x] Opcode::SaddSat - :check_mark:

[x] Opcode::Isub - :check_mark:

[x] Opcode::UsubSat - :check_mark:

[x] Opcode::SsubSat - :check_mark:

[ ] Opcode::Ineg - :yellow_circle:
- [ ] Only tested for i32x4

[ ] Opcode::Iabs - :yellow_circle:
- [ ] Missing i128 tests

[x] Opcode::Imul - :check_mark:

[x] Opcode::Umulhi - :check_mark:

[x] Opcode::Smulhi - :check_mark:

[x] Opcode::Udiv - :check_mark:

[x] Opcode::Sdiv - :check_mark:

[x] Opcode::Urem - :check_mark:

[x] Opcode::Srem - :check_mark:

[ ] Opcode::IaddCin - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IaddCout - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IaddCarry - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IsubBin - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IsubBout - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::IsubBorrow - :yellow_circle:
- [ ] Missing I128 tests

[ ] Opcode::Band - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bor - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bxor - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Bnot - :yellow_circle:
- [ ] Tests are disabled

[ ] Opcode::BandNot - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::BorNot - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::BxorNot - :yellow_circle:
- [ ] Missing tests

[x] Opcode::Rotl - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Rotr - :check_mark:
- [ ] SIMD tests missing

[x] Opcode::Ishl - :check_mark:
- [ ] SIMD tests disabled

[x] Opcode::Ushr - :check_mark:
- [ ] SIMD tests disabled

[ ] Opcode::Sshr - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Bitrev - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Clz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Cls - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Ctz - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Popcnt - :yellow_circle:
- [ ] I128 tests disabled

[ ] Opcode::Fcmp - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Fadd - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fsub - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fmul - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fdiv - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Sqrt - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fma - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fneg - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fabs - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fcopysign - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fmin - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::FminPseudo - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Fmax - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::FmaxPseudo - :yellow_circle:
- [ ] SIMD tests disabled

[ ] Opcode::Ceil - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Floor - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Trunc - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::Nearest - :yellow_circle:
- [ ] Missing SIMD tests

[ ] Opcode::IsNull - :cross_mark:

[ ] Opcode::IsInvalid - :cross_mark:

[ ] Opcode::Bitcast - :yellow_circle:
- [ ] Missing tests for all types

[ ] Opcode::ScalarToVector - :yellow_circle:
- [ ] Tests disabled

[x] Opcode::Ireduce - :check_mark:

[x] Opcode::Snarrow - :check_mark:

[x] Opcode::Unarrow - :check_mark:

[x] Opcode::Uunarrow - :check_mark:

[x] Opcode::Bmask - :check_mark:

[x] Opcode::Sextend - :check_mark:

[x] Opcode::Uextend - :check_mark:

[ ] Opcode::Fpromote - :yellow_circle:
- [ ] Tests disabled

[ ] Opcode::Fdemote - :yellow_circle:
- [ ] Tests disabled

[x] Opcode::Shuffle - :check_mark:

[ ] Opcode::Swizzle - :yellow_circle:
- [ ] Only tested for i8x16

[ ] Opcode::Splat - :yellow_circle:
- [ ] Tests disabled

[ ] Opcode::Insertlane - :yellow_circle:
- [ ] Missing tests

[ ] Opcode::Extractlane - :yellow_circle:
- [ ] Missing tests

[x] Opcode::VhighBits - :check_mark:

[ ] Opcode::Vsplit - :cross_mark:

[ ] Opcode::Vconcat - :cross_mark:

[x] Opcode::Vselect - :check_mark:

[x] Opcode::VanyTrue - :check_mark:

[x] Opcode::VallTrue - :check_mark:

[x] Opcode::SwidenLow - :check_mark:

[x] Opcode::SwidenHigh - :check_mark:

[x] Opcode::UwidenLow - :check_mark:

[x] Opcode::UwidenHigh - :check_mark:

[x] Opcode::FcvtToUint - :check_mark: (#4884)

[x] Opcode::FcvtToUintSat - :check_mark: (#4884)

[x] Opcode::FcvtToSint - :check_mark: (#4884)

[x] Opcode::FcvtToSintSat - :check_mark: (#4884)

[x] Opcode::FcvtFromUint - :check_mark: (#4884)

[x] Opcode::FcvtFromSint - :check_mark: (#4884)

[x] Opcode::FcvtLowFromSint - :check_mark: (#4884)

[x] Opcode::FvpromoteLow - :check_mark: (#4884)

[x] Opcode::Fvdemote - :check_mark: (#4884)

[x] Opcode::Isplit - :check_mark:

[x] Opcode::Iconcat - :check_mark:

[x] Opcode::AtomicRmw - :check_mark:

[x] Opcode::AtomicCas - :check_mark:

[x] Opcode::AtomicLoad - :check_mark:

[x] Opcode::AtomicStore - :check_mark:

[x] Opcode::Fence - :check_mark:

[x] Opcode::WideningPairwiseDotProductS - :check_mark:

[ ] Opcode::SqmulRoundSat - :yellow_circle:
- [ ] Missing tests for types other than i16x8

[x] Opcode::IaddPairwise - :check_mark:

[ ] Opcode::ExtractVector - :cross_mark:

[ ] Opcode::GetFramePointer - :cross_mark:

[ ] Opcode::GetStackPointer - :cross_mark:

[ ] Opcode::GetReturnAddress - :cross_mark:

Op+Imm

These may be going away, see: #4721

[ ] Opcode::IaddImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::ImulImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::UdivImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::SdivImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::UremImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::SremImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::IrsubImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::BandImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::BorImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::BxorImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::RotlImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::RotrImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::IshlImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::UshrImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::SshrImm - :yellow_circle:
- [ ] Missing tests for some types

[ ] Opcode::IcmpImm - :yellow_circle:
- [ ] Missing tests for some types

Last updated: Dec 13 2025 at 19:03 UTC