On 08.08.2025 23:40, Nicola Vetrini wrote:
> --- a/automation/eclair_analysis/ECLAIR/deviations.ecl
> +++ b/automation/eclair_analysis/ECLAIR/deviations.ecl
> @@ -437,6 +437,10 @@ write or not"
> # Series 13
> #
>
> +-doc_begin="Consider the asm instruction to read an Arm system register to
> have no side effects."
> +-asm_properties+={"asm(any())&&child(text, ast_field(value,^mrs\\s+%0.*$))",
> {no_side_effect}}
> +-doc_end
Is this actually strict enough to not allow multiple instructions in the asm(),
where some of the others would yield side effects we actually need to respect?
Jan
