Fixed 'next' command in debug shell as new jal instrutions had been added. PiperOrigin-RevId: 707260089 Change-Id: I8d161564eb0040eb6536c61d017ef95c44a8dc67
diff --git a/cheriot/debug_command_shell.cc b/cheriot/debug_command_shell.cc index cd2f0d4..1576d76 100644 --- a/cheriot/debug_command_shell.cc +++ b/cheriot/debug_command_shell.cc
@@ -1529,9 +1529,11 @@ auto opcode = inst->opcode(); // If it's not a jump-and-link, it's a single step. if ((opcode != *isa32::OpcodeEnum::kCheriotJal) && + (opcode != *isa32::OpcodeEnum::kCheriotJalCra) && (opcode != *isa32::OpcodeEnum::kCheriotJalr) && (opcode != *isa32::OpcodeEnum::kCheriotJalrCra) && (opcode != *isa32::OpcodeEnum::kCheriotCjal) && + (opcode != *isa32::OpcodeEnum::kCheriotCjalCra) && (opcode != *isa32::OpcodeEnum::kCheriotCjalrCra)) { inst->DecRef(); return core_access_[current_core_].debug_interface->Step(1).status();