parsa-epfl / flexus

Contains the code for the Flexus cycle-accurate simulator, used in QFlex.
https://qflex.epfl.ch
12 stars 9 forks source link

Memory decoding #89

Open BugraEryilmaz opened 3 days ago

BugraEryilmaz commented 3 days ago

Description There are a couple problematic cases for memory decoding. Namely prefetch instruction with register offset and atomic load stores (ldxr)

Expected Behavior Prefetch instruction should be decoded as nop and ldxr register should be decoded with blackbox as it is not implemented.

Actual Behavior They are decoded as normal load store instructions.

BugraEryilmaz commented 3 days ago

Fix: c72dcb5c06b882e04d6c92b133bb4aad586b02ad