VEX IR generator added for RISCV WFI instruction (#56)

angr · Aug 8, 2023 · 441d2f1 · 441d2f1
1 parent 7fec1bc
commit 441d2f1
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/priv/guest_riscv64_toIR.c b/priv/guest_riscv64_toIR.c
@@ -3283,6 +3283,14 @@ static Bool dis_RV64Zicsr(/*MB_OUT*/ DisResult* dres,
       }
    }
 
+   /* ----------------- wfi ------------------ */
+   if (INSN(6, 0) == 0b1110011 && INSN(14, 12) == 0b000 && INSN(24, 20) == 0b00101) {
+      /* Add a noOp statement to the list held by irsb. */
+      stmt(irsb, IRStmt_NoOp());
+      DIP("wfi\n");
+      return True;
+   }
+
    return False;
 }