push isa-sim,opcodes,tests