feat: add label in macro ite, add case in linker, add example test fo…

[amkCha]

…r ternary operator using a const

Addresses issue #1284 with some limitations :

• tests cannot run on Koala bear field
• the register against which it checks cannot be bigger than u128

Use this feature in TRM module - go-corset side

---

Note

Adds label-capable ternary (IfThenElse) parsing and linker resolution (also for IfGoto), and wires an example test plus TRM module usage.

• Assembler/Parser:
  • Support ternary assignments by parsing RHS via parseAtomicExpr; capture constant labels and reject register RHS.
  • Emit macro.IfThenElse with Label for RHS constants.
• Assembler/Linker:
  • Resolve constant labels for macro.IfGoto and macro.IfThenElse via getLabelValue, setting Constant/Right.
• Macro:
  • Extend macro.IfThenElse to include Label field.
• Tests:
  • Add testdata/asm/util/ternary.zkasm and .accepts with a simple const-based ternary; new Test_AsmUtil_Ternary (excludes KOALABEAR_16).
• Bench/TRM:
  • Define P256_VERIFY_ADDRESS and use it in ternary instead of literal 0x100.

^{Written by Cursor Bugbot for commit bec466c. This will update automatically on new commits. Configure here.}

[DavePearce]

Overall, the change looks good to me. I think we ended up in the right place for what you wanted. You just need to address the syntax error issue, and fix the linting.

[DavePearce]

No, don't do a panic. You need to return a proper SyntaxError so that we get a useful error message which highlights where the problem is.

[amkCha]

Noted 👌 let me know if it's ok to go backwards to point to the right token or if it's better to print the error on the next token with p.lookahead()

[DavePearce]

LGTM