github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-04-20 03:03:25 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #980 from powdr-labs/optional-register

Browse Source 
In off(reg) syntax, makes register optinal, defaulting to x0.
This commit is contained in:
chriseth
2024-01-30 11:19:44 +00:00
committed by GitHub
parent 327427fc47 87a210919c
commit cf856f4595
1 changed files with 8 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
riscv/src/compiler.rs
View File

@@ -885,6 +885,10 @@ fn rro(args: &[Argument]) -> (Register, Register, u32) {
*r2,
expression_to_number(off.as_ref().unwrap_or(&Expression::Number(0))),
),
[Argument::Register(r1), Argument::Expression(off)] => {
// If the register is not specified, it defaults to x0
(*r1, Register::new(0), expression_to_number(off))
}
_ => panic!(),
}
}
@@ -897,6 +901,10 @@ fn rrro(args: &[Argument]) -> (Register, Register, Register, u32) {
*r3,
expression_to_number(off.as_ref().unwrap_or(&Expression::Number(0))),
),
[Argument::Register(r1), Argument::Register(r2), Argument::Expression(off)] => {
// If the register is not specified, it defaults to x0
(*r1, *r2, Register::new(0), expression_to_number(off))
}
_ => panic!(),
}
}