Write fence.i before dret.

Makes things work if the ROM doesn't contain fence.i (which is slow, so
Andrew took it out).
This commit is contained in:
Tim Newsome
2016-06-30 10:41:04 -07:00
parent 4ced71b1f1
commit 32e7a962c3
2 changed files with 8 additions and 7 deletions
+5 -5
View File
@@ -116,6 +116,11 @@ static uint32_t flw(unsigned int src, unsigned int base, uint16_t offset)
static uint32_t ebreak(void) { return MATCH_EBREAK; }
static uint32_t ebreak_c(void) { return MATCH_C_EBREAK; }
static uint32_t fence_i(void)
{
return MATCH_FENCE_I;
}
/*
static uint32_t lui(unsigned int dest, uint32_t imm)
{
@@ -135,11 +140,6 @@ static uint32_t li(unsigned int dest, uint16_t imm)
return addi(dest, 0, imm);
}
static uint32_t fence_i(void)
{
return MATCH_FENCE_I;
}
static uint32_t sd(unsigned int src, unsigned int base, uint16_t offset)
{
return (bits(offset, 11, 5) << 25) |