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

Shorten test duration.

Browse Source
This commit is contained in:
chriseth
2023-03-23 12:00:38 +01:00
parent 04a1f00e6c
commit 78a34fc4b0
2 changed files with 11 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
tests/bit_access.asm
View File

@@ -16,13 +16,17 @@ pil{
// Requires 0 <= Y < 2**33
// TODO we need better syntax for defining instructions that are functions.
// Maybe like instr wrap <=Y= v -> X { Y = X + wrap_bit * 2**32, X = Xhi * 2**16 + Xlo }
instr wrap <=Y= v, x <=X= { Y = X + wrap_bit * 2**32, X = Xhi * 2**16 + Xlo }
instr wrap <=Y= v, x <=X= { Y = X + wrap_bit * 2**32, X = XB1 + 0x100 * XB2 + 0x10000 * XB3 + 0x1000000 * XB4 }
pil{
col fixed BYTES2(i) { i & 0xffff };
col witness Xlo;
col witness Xhi;
{ Xlo } in { BYTES2 };
{ Xhi } in { BYTES2 };
col fixed BYTE(i) { i & 0xff };
col witness XB1;
col witness XB2;
col witness XB3;
col witness XB4;
{ XB1 } in { BYTE };
{ XB2 } in { BYTE };
{ XB3 } in { BYTE };
{ XB4 } in { BYTE };
col commit wrap_bit;
wrap_bit * (1 - wrap_bit) = 0;
}

2
tests/integration.rs
View File

@@ -164,6 +164,6 @@ fn test_bit_access() {
verify_asm(
"bit_access.asm",
[20].iter().map(|&x| x.into()).collect(),
Some(0x20000),
None,
);
}