Add option to stabilize output ordering of operations for lit tests - #399

Closed

tim-hoffman wants to merge 153 commits into

iden3:masterfrom

project-llzk:th/add_stabilize_option

Commits on Oct 7, 2025

Fixes and improvements to upstream code for clean build (#148)
tim-hoffman
authored
f40bd42
Initial setup for LLZK backend (#149)
tim-hoffman
authored
ab0e5ae
update llvm dependencies and add script to do that easily (#150)
tim-hoffman
authored
52a339e

Commits on Oct 8, 2025

Minimal end-to-end implementation to generate an empty LLZK module (#151)
tim-hoffman
authored
1966def
Update llzk-rs dependency (#152)
tim-hoffman
authored
f77482e

Commits on Oct 9, 2025

Refactor so lint checks can be added on just the LLZK generation code (#153)
tim-hoffman
authored
3b7b503

Commits on Oct 15, 2025

update llzk-rs/llzk-lib dependency (#154)
tim-hoffman
authored
bb51412

Commits on Oct 17, 2025

remove some unnecessary stuff from the flake (#158)
tim-hoffman
authored
16d98f3
create tests from circom documentation (#155)
tim-hoffman
authored
7a5ed7a
get latest from `llzk-rs` (#159)
tim-hoffman
authored
e18c85a

Commits on Oct 18, 2025

get latest `llzk-rs` (#160)
tim-hoffman
authored
7124958

Commits on Oct 20, 2025

Add CI workflow to run clippy (#156)
tim-hoffman
authored
e09547b

Commits on Oct 21, 2025

add tests from circom v1 (#161)
tim-hoffman
authored
cb38df9

Commits on Oct 23, 2025

Make lit emulator handle multi-line RUN script (#162)
tim-hoffman
authored
9a849e7
A few test updates (#163)
tim-hoffman
authored
e1f447c

Commits on Oct 30, 2025

update to latest LLZK (#164)
tim-hoffman
authored
c67a9e3

Commits on Nov 3, 2025

update LLZK dependency (#165)
tim-hoffman
authored
efbdc26

Commits on Nov 4, 2025

get latest LLZK (#166)
tim-hoffman
authored
cfe63dd

Commits on Nov 6, 2025

update to latest LLZK for CallOp support (#167)
tim-hoffman
authored
896e6b3

Commits on Nov 18, 2025

Commits on Nov 19, 2025

Add tests, normalize test check format (#172)
tim-hoffman
authored
9bcf640

Commits on Nov 20, 2025

Commits on Dec 3, 2025

Commits on Dec 5, 2025

Update `llzk` dependency (#231)
tim-hoffman
authored
f77a483
Handle `todo!()` requiring `getSelfValue` functions (#232)
tim-hoffman
authored
fa7e4b1
Handle basic infix ops (#226)
tim-hoffman
authored
ecb343f

Commits on Dec 8, 2025

fix: Result was dropped (#233)
tim-hoffman
authored
30bf0c4
update `llzk-rs` dependency (#234)
tim-hoffman
authored
2ec5538
Handle `assert` in template and function (#228)
tim-hoffman
authored
3482efc

Commits on Dec 9, 2025

Print diagnostic is generated module does not verify (#235)
tim-hoffman
authored
e746ba5
handle early return properly (#236)
tim-hoffman
authored
bce4c5e

Commits on Dec 10, 2025

simplify returns of `gen_llzk_*` functions (#237)
tim-hoffman
authored
443b4e0

Commits on Dec 11, 2025

Commits on Dec 17, 2025

Commits on Dec 18, 2025

Commits on Dec 29, 2025

return Result not Option from `get_named_value` (#245)
tim-hoffman
authored
d27e69c
Add call op generation for functions (#254)
Ian Neal
authored
d1902d4
stabilize function/template ordering (#255)
tim-hoffman
authored
fd728d5
fix: handle uses of output signal written earlier (#256)
tim-hoffman
authored
e15f576
Implement `IfThenElse` translation in functions (#252)
tim-hoffman
authored
c0be798
update test that passes from combination of recent PRs (#257)
tim-hoffman
authored
1dd93dd
Add infix op implementations (#239)
Ian Neal
authored
971fd59

Commits on Dec 30, 2025

Implement `BoolNot` prefix op (#253)
Ian Neal
authored
57a5a4c
Rename `ExprGenResult` for broader applicability and clarify some docs (#258)
tim-hoffman
authored
cf7d399
Flip the check for access array (#259)
0xddom
authored
fb9f5ea
consume `GenResult` instead of referencing (#260)
tim-hoffman
authored
ab5d973
Get latest LLZK (#263)
tim-hoffman
authored
637105e
make the main part of `IfThenElse` translation reusable (#261)
tim-hoffman
authored
73e9254
Implement if-then-else translation in template (#262)
tim-hoffman
authored
595dba5
Implement `IntDiv` and `Complement` operators (#264)
Ian Neal
authored
6bfa850

Commits on Dec 31, 2025

Commits on Jan 1, 2026

get latest llzk lib (#268)
tim-hoffman
authored
c483a77

Commits on Jan 2, 2026

translate Statement::While in templates (#269)
tim-hoffman
authored
a6786c0
expression gen is the same in template and function so just delegate (#271)
tim-hoffman
authored
48eadf2
Implement InlineSwitch for functions and templates (#267)

Ian Neal
and
tim-hoffman
authored
1338120

Commits on Jan 5, 2026

Unify bool casting (#274)
Ian Neal
authored
b4759cf
Implement function array accesses (#275)
Ian Neal
authored
adaad34
A few minor improvements (#277)
tim-hoffman
authored
d7d960d

Commits on Jan 6, 2026

avoid using lossy "as" cast (#280)
tim-hoffman
authored
85bb6dd
Implement `Expression::ArrayInLine` (#278)

Ian Neal
and
tim-hoffman
authored
66633a8
Use shared type helper functions more and auto-format (#281)
tim-hoffman
authored
70cbe29

Commits on Jan 7, 2026

Add option to generate LLZK from concrete program (#273)
tim-hoffman
authored
5208fbb
Implement Statement::Substitution for arrays, fix multi-dim array handling (#282)
Ian Neal
authored
5590285
Minor cleanup (#283)
tim-hoffman
authored
d3c100d
Update deps (#284)
0xddom
authored
c736ad2
Move extension traits to separate files (#285)
0xddom
authored
9e96e36
Subcomponents handling (#230)

authored
009624f

Commits on Jan 8, 2026

Handle clippy warnings and formatting (#289)
tim-hoffman
authored
c22c02d
support using struct parameter value (#287)
tim-hoffman
authored
3f91e0f
fix bug in while loop translation (#288)
tim-hoffman
authored
8e33e31
Handle err (BlockArgument) case of `OperationResult::try_from` (#293)
tim-hoffman
authored
5c4d093
Fix incorrect subcmp signal assignment (#295)
0xddom
authored
e64b64b
assorted minor cleanup and correct an error message (#296)
tim-hoffman
authored
2b7b7f0
Properly handle automatic cast generation (#297)
tim-hoffman
authored
355a3a9
avoid process hang on failure (#299)
tim-hoffman
authored
cf400a4
add immediate exit to more places that may hang (#300)
tim-hoffman
authored
41219be

Commits on Jan 9, 2026

impl `ChainResult` for `GenResult` more broadly (#303)
tim-hoffman
authored
5cd33b9
Implement `convert_dim_exprs` for constant values (#302)
Ian Neal
authored
9147c1f
Translate `Statement::While` in functions (#301)
tim-hoffman
authored
70d8581

Commits on Jan 10, 2026

update LLZK dependency (#304)
tim-hoffman
authored
3fbe584

Commits on Jan 12, 2026

Implement `Expression::ParallelOp` in templates (#305)
Ian Neal
authored
2ba68fe
update LLZK-lib (#306)
tim-hoffman
authored
79951a4

Commits on Jan 13, 2026

Replace FunctionContext::Drop with a finalize method (#309)
tim-hoffman
authored
e2396ce

Commits on Jan 14, 2026

Commits on Jan 16, 2026

Commits on Jan 17, 2026

simplify by using `op_result_owner` in more places (#318)
tim-hoffman
authored
442eff4

Commits on Jan 20, 2026

Add verbose output (#321)
tim-hoffman
authored
9c822bb
add flag to dump VCP (#322)
tim-hoffman
authored
d6be57b

Commits on Jan 21, 2026

Implement more dimension expression handling (#319)

Ian Neal
and
tim-hoffman
authored
833c8a9
update LLZK lib (#323)
tim-hoffman
authored
aa082e2
Properly handle propagating returns within control flow ops (#317)
tim-hoffman
authored
2538344

Commits on Jan 22, 2026

fix: array type expected (#325)
tim-hoffman
authored
9fb17e8
add a new test (that doesn't pass yet) (#327)
tim-hoffman
authored
78de687

Commits on Jan 23, 2026

Enhance handling of `Expression::UniformArray` (#326)

Ian Neal
and
tim-hoffman
authored
f01a240
NFC: reorg functions logically
tim-hoffman
committed
1f63a97
[fix upstream] add MemoryKnowledge "has" functions
tim-hoffman
committed
9087350
Fix array write type error (#329)
tim-hoffman
authored
4dd8551
Add new tests for int div op (#330)
tim-hoffman
authored
181dd87

Commits on Jan 27, 2026

Commits on Jan 28, 2026

Collect subcomponent declarations in VCP mode (#335)
Ian Neal
authored
9425c8b
clarify error message
tim-hoffman
committed
a97d593
Ensure `OPERAND_VAL_NAMES` attr is propagated (#336)
tim-hoffman
authored
8b7bf28
handle array `write` vs `insert` and `read` vs `extract` properly (#337)
tim-hoffman
authored
8b559b1
ensure `assert` ops are bool type (#339)
tim-hoffman
authored
ac6aede
Handle pure array case of "Generate array write operation in template (constrain)" (#338)
tim-hoffman
authored
47a2af6
Make template parameter constants accessible in concrete mode (#341)
Ian Neal
authored
eb769da
Update llzk-lib (#342)
tim-hoffman
authored
f88ad10
Relax signal assignment/constraint type restrictions (#343)
Ian Neal
authored
88c18bd
Refactor WriteChain impl into functions, fix typos and clippy issues (#344)
tim-hoffman
authored
b806466

Commits on Jan 29, 2026

simplify `AssignSignal` in `Substitution` in template (#345)
tim-hoffman
authored
258931b
fix: several locations used `numdims` not signal `idx` (#346)
tim-hoffman
authored
b80c356
clear up ambiguous name
tim-hoffman
committed
d374796
make sure `WireLike` is debug printable
tim-hoffman
committed
3fd8b59
use unique names in test
tim-hoffman
committed
0ecbb28
code quality
tim-hoffman
committed
683f81e
Precompute `DeclarationInfo` for all templates (#347)
tim-hoffman
authored
7f87393
update llzk-lib (#348)
tim-hoffman
authored
21b0a38

Commits on Jan 30, 2026

refactor location builder
tim-hoffman
committed
13a30af
refactor `try_compute_dim_expr` for reuse
tim-hoffman
committed
5a36e5f
get prime as `BigUInt` up front
tim-hoffman
committed
d83e5ed
Fix field reads in constrain functions (#350)

Ian Neal
and
tim-hoffman
authored
dc14b4b
cleanup and format
tim-hoffman
committed
f98662d
Generate annotation for main component (#351)
tim-hoffman
authored
bd00e98
move concrete tests to proper directory
tim-hoffman
committed
0ff853a
clarify error
tim-hoffman
committed
5fd58a8
use unique template name in concrete mode
tim-hoffman
committed
330c60d
turns out AnonymouseComponent is reachable in some cases
tim-hoffman
committed
50b1609
add test comment
tim-hoffman
committed
41c0c0a
fix: ensure array write rvalue is correct type (#352)
tim-hoffman
authored
6b40eed

Commits on Feb 3, 2026

Add --concrete flag to update_test_cases.sh (#353)
Ian Neal
authored
6787759

Commits on Feb 5, 2026

add flag to stabilize IR ordering
tim-hoffman
committed
6e977a6
use flag for existing sorts
tim-hoffman
committed
f616261
add stabilize flag to lit tests
tim-hoffman
committed
d7a7d7b
add missing lit "END" directives
tim-hoffman
committed
9b9e177