Bug 95

Summary: implement shadowing for use in precise exceptions, branch speculation, predication and WaW ordering
Product: Libre-SOC's first SoC Reporter: Luke Kenneth Casson Leighton <lkcl>
Component: Source CodeAssignee: Luke Kenneth Casson Leighton <lkcl>
Status: PAYMENTPENDING FIXED    
Severity: enhancement CC: libre-soc-bugs
Priority: ---    
Version: unspecified   
Hardware: PC   
OS: Linux   
NLnet milestone: NLnet.2019.02.012 total budget (EUR) for completion of task and all subtasks: 1000
budget (EUR) for this task, excluding subtasks' budget: 1000 parent task for budget allocation: 81
child tasks for budget allocation: The table of payments (in EUR) for this task; TOML format:
"lkcl"={amount=1000, paid=2019-06-16}
Bug Depends on:    
Bug Blocks: 81    

Description Luke Kenneth Casson Leighton 2019-06-09 01:29:54 BST 
shadowing holds up committing of modification of resources and is an
essential building-block for precise exceptions, branch speculation,
predication and WaW in-order instruction preservation.
Comment 1 Luke Kenneth Casson Leighton 2019-06-16 13:26:43 BST 
branch speculation and WaW sorted, demonstrates shadowing
operational.