optimize cmp_eq of enums #78

Merged

programmerjake merged 7 commits from programmerjake/fayalite:cmp_eq-opts into master

2026-06-14 08:38:43 +00:00

Author	SHA1	Message	Date
Jacob Lifshay	7ddb4780fa	module::transform::deduce_structural_eq_flags: rewrite to use BoolFixedPointSolver for a massive speedup on large inputs All checks were successful / test (pull_request) Successful in 4m43s Details / test (push) Successful in 5m16s Details	2026-06-14 01:33:04 -07:00
Jacob Lifshay	b0e7873a17	add BoolFixedPointSolver All checks were successful / test (pull_request) Successful in 4m44s Details	2026-06-12 19:55:48 -07:00
Jacob Lifshay	1b16118ce5	deduce_structural_eq_flags: use expressions' literal_bits to improve deduction around cast_bits_to All checks were successful / test (pull_request) Successful in 4m16s Details	2026-06-11 20:46:28 -07:00
Jacob Lifshay	e2ca80af97	fayalite::sim::compiler: fix compiling StructuralEq work properly on enums where the padding isn't known to be zero	2026-06-11 17:03:56 -07:00
Jacob Lifshay	30ffd009f6	WIP: fix simulator StructuralEq of enums Some checks failed / test (pull_request) Failing after 1m25s Details	2026-06-11 01:56:27 -07:00
Jacob Lifshay	4bd6db3de8	add deduce_structural_eq_flags transform All checks were successful / test (pull_request) Successful in 4m17s Details	2026-06-11 01:26:32 -07:00
Jacob Lifshay	98e7e91fc9	fayalite::expr::ops: add and automatically generate ops::StructuralEq	2026-06-09 18:33:34 -07:00