tmatheson added a comment. Yes this case is tested for implies(): `EXPECT_TRUE(AArch64::ARMV9_4A.implies(AArch64::ARMV8_9A));` Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D138905/new/ https://reviews.llvm.org/D138905