diff options
author | Robert Korn <Robert@jrkorn.de> | 2020-03-27 07:26:48 +0100 |
---|---|---|
committer | Robert Korn <Robert@jrkorn.de> | 2020-03-27 07:26:48 +0100 |
commit | 258d63d4762a86385f69c7699b485c0c5559c763 (patch) | |
tree | db1000ff40835c980620df08665c8ab60bac68ec | |
parent | e308982e18fc952a8d446ddb7ea8b70433a998c2 (diff) | |
download | picorv32-258d63d4762a86385f69c7699b485c0c5559c763.tar.gz picorv32-258d63d4762a86385f69c7699b485c0c5559c763.zip |
- fix missed timer interrupts,
when another interrupt activates shortly before
-rw-r--r-- | picorv32.v | 13 |
1 files changed, 7 insertions, 6 deletions
@@ -1435,15 +1435,9 @@ module picorv32 #( next_irq_pending = ENABLE_IRQ ? irq_pending & LATCHED_IRQ : 'bx; if (ENABLE_IRQ && ENABLE_IRQ_TIMER && timer) begin - if (timer - 1 == 0) - next_irq_pending[irq_timer] = 1; timer <= timer - 1; end - if (ENABLE_IRQ) begin - next_irq_pending = next_irq_pending | irq; - end - decoder_trigger <= mem_do_rinst && mem_done; decoder_trigger_q <= decoder_trigger; decoder_pseudo_trigger <= 0; @@ -1913,6 +1907,13 @@ module picorv32 #( end endcase + if (ENABLE_IRQ) begin + next_irq_pending = next_irq_pending | irq; + if ENABLE_IRQ_TIMER && timer + if (timer - 1 == 0) + next_irq_pending[irq_timer] = 1; + end + if (CATCH_MISALIGN && resetn && (mem_do_rdata || mem_do_wdata)) begin if (mem_wordsize == 0 && reg_op1[1:0] != 0) begin `debug($display("MISALIGNED WORD: 0x%08x", reg_op1);) |