Bug 299

Summary: improve memory clash detection
Product: Libre-SOC's first SoC Reporter: Luke Kenneth Casson Leighton <lkcl>
Component: Source CodeAssignee: Luke Kenneth Casson Leighton <lkcl>
Status: CONFIRMED ---    
Severity: enhancement CC: libre-soc-bugs
Priority: ---    
Version: unspecified   
Hardware: Other   
OS: Linux   
NLnet milestone: --- total budget (EUR) for completion of task and all subtasks: 0
budget (EUR) for this task, excluding subtasks' budget: 0 parent task for budget allocation:
child tasks for budget allocation: The table of payments (in EUR) for this task; TOML format:

Description Luke Kenneth Casson Leighton 2020-05-02 00:39:59 BST 
https://groups.google.com/d/msg/comp.arch/leXwF1j7Z-A/S1t_EHumAQAJ

see this message (and the one before it).

must work through to see if there is a way to combine the Mem Hazard Matrix logic with addr match and spot interleaved LDs and STs that do not clash.

at the moment, *any* LD will stop future STs from going through.  *any* ST likewise stops LDs from going through.

it *may* be possible to use addr match on LSBs to determine which interleaved LDs and STs can be separated into batches of LDs and batches of STs.