OpenVADL/openvadl

AI Summary: Implement a check within the OpenVADL LCB (likely Low-level Code Builder) to ensure that any instruction designated as a 'special return instruction' in the ABI (Application Binary Interface) has no operands. This involves modifying the existing LCB code to include this validation step.

AI Summary: The task involves debugging a VADL (processor description language) specification for an AArch64 instruction. The error arises from attempting to print a `size` field within the assembly representation of the instruction, which is not properly defined or accessible within the current VADL model. The solution requires modifying the VADL specification to correctly incorporate and reference the `size` field in the assembly generation process.

AI Summary: The task involves fixing an assembly printing error in the OpenVADL project for the `CCMNIALW` instruction. The current assembly incorrectly prints the `rm` field instead of the `immX` operand. The solution likely requires modifying the `assembly` definition for `CCMNIALW` to use `immX` instead of `rm`, ensuring correct operand representation in the generated assembly code. This needs to be done while considering the existing code structure and potential implications on other instructions.

AI Summary: The task involves resolving a potential issue in the OpenVADL project where the assembly printing of immediate fields might be incorrectly handling signedness. The current implementation treats immediates as unsigned integers, while the LLVM representation might be signed. The solution requires investigating whether this behavior is acceptable or if the VADL specification needs updating to explicitly handle signed immediates, potentially by adding type casts to ensure correct printing for various architectures.