Parsing isla's flat dot-separated register names

[febyeji]

Context:
isla tests emit struct registers in a flat, dot-separated form in its TOML output (e.g. "PSTATE.EL" = "0b01"), while sail-tiny-arm and sail-arm use different register format for PSTATE.

[tperami]

So far we just parse PSTATE.EL as a single string that gets renamed to CurrentEL. Is there any situation we've found yet where that's not enough? Is that Isla feature ever used with something other than PSTATE fields?

[febyeji]

No, from the test corpus, all I found were PSTATE.EL and PSTATE.SP.