running 1M steps

mipsevm/main.go

@@ -162,7 +162,7 @@ func runMinigeth(fn string, interpreter *vm.EVMInterpreter, bytecode []byte) {
 			uint32(dat[i+3])<<0
 	}
 
-	steps := 100000
+	steps := 1000000
 	gas := 10000 * uint64(steps)
 
 	// 0xdb7df598

risc/simple.py

@@ -86,7 +86,7 @@ mu.hook_add(UC_HOOK_MEM_FETCH_UNMAPPED, hook_mem_invalid)
 gt = open("/tmp/gethtrace").read().split("\n")
 
 # tracer
-STEP_COUNT = 100000
+STEP_COUNT = 1000000
 step = 0
 is_bds = False
 def hook_code_simple(uc, address, size, user_data):
@@ -101,7 +101,7 @@ def hook_code_simple(uc, address, size, user_data):
   # check for BDS
   # UGH! there should be a better way to do this
   dat = next(md.disasm(uc.mem_read(address, size), address))
-  if dat.insn_name() in ['jr', 'j', 'beqz', 'jal', 'bnez', 'b', 'bltz', 'bne', 'blez', 'bgez', 'beq', 'jalr']:
+  if dat.insn_name() in ['jr', 'j', 'beqz', 'jal', 'bnez', 'b', 'bltz', 'bne', 'blez', 'bgez', 'beq', 'jalr', 'bgtz']:
     is_bds = True
 
   inst = struct.unpack(">I", uc.mem_read(pc, 4))[0]