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

Merge pull request #191 from chriseth/fix_nonzero

Browse Source 
Fix nonzero.
This commit is contained in:
chriseth
2023-04-24 15:05:25 +02:00
committed by GitHub
parent 7c77081f0b f78d77055a
commit 61eabdee2c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
riscv/src/compiler.rs
View File

@@ -488,7 +488,7 @@ instr xor Y, Z -> X {
}
pil{
macro is_nonzero(X) { match X { 0 => 1, _ => 0 } };
macro is_nonzero(X) { match X { 0 => 0, _ => 1, } };
macro is_zero(X) { 1 - is_nonzero(X) };
col fixed binary_RESET(i) { is_zero((i % 4) - 3) };