Known differences from ASL version 1.0 alpha 2

[alastairreid]

"ASL version 1.0 alpha 2" is Arm's latest revision of the ASL 1.0 specification and can be downloaded from arm.com.

"alpha 2" makes some significant changes to the earlier version "beta 7" that ASLi implements (see #4).

We know about the following differences from ASL version 1.0 alpha 2.

Missing features

ASLi does not yet implement the following features of "alpha 2"

• Support for explicit parameter lists on function calls
• Using 'x :: y :: z' to concatenate bitvectors
• Calls to getter/setter functions can use '()' around their arguments

Extensions

"Alpha 2" removes the following features but, since ASLi continues to support them, it is clearer to consider these as extensions on top of "alpha 2".

• Parameter lists on function calls can be omitted: they are inferred from function arguments.
• Using '[x, y, z]' to concatenate bitvectors.
• Using '[x, y, z] = ;' to destruct bitvectors
• Calls to getter/setter functions can use '[]' around arguments.
• Calls to getter/setter functions with no arguments do not require '[]' or '()'. e.g., 'RSP = RSP + 8;'