Bug 927

Summary: sv.setvl with RT>=32 fails at the moment
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: PC   
OS: Linux   
URL: https://libre-soc.org/openpower/sv/setvl
See Also: https://bugs.libre-soc.org/show_bug.cgi?id=871
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 2022-09-12 16:28:01 BST 
complex/involved.  setvl is RT_OR_ZERO which is not properly catered
for in sv_analysis or in fact anywhere.  down to the way that CTR mode
was added.