When running the verification test for MIPS MSA, most of the intrinsics have their instructions (content of `assert_instr`) set to empty, such that the test had to be disabled: https://github.com/rust-lang-nursery/stdsimd/blob/master/crates/stdsimd-verify/tests/mips.rs#L317 It appears that the verification macro here is failing to match many of those: https://github.com/rust-lang-nursery/stdsimd/blob/master/crates/stdsimd-verify/src/lib.rs#L273