Enable previously-failing crasher.

Fixes google/xls#2011.

PiperOrigin-RevId: 850211109

Enable reproducer now that google/xls#2674 is closed.

PiperOrigin-RevId: 849458453

[util] Generalize literal dropping in `RemoveRedundantNodes`.

The `RemoveRedundantNodes` utility now accepts a function to specify which literals should be dropped, making it more flexible. The logic for handling empty operand sets after removal is moved to the call sites in `MakeNaryAnd`, `MakeNaryOr`, and `MakeNaryNand`. This also simplifies the flattening logic in `MakeNaryAnd` and `MakeNaryOr` by deferring literal removal to `RemoveRedundantNodes`.

PiperOrigin-RevId: 849276239

Merge pull request #3363 from xlsynth:siruilu-20251111-removing-membe…

Migrates `builder.create<Op>()` => `Op::create()` in tablegen files

PiperOrigin-RevId: 847796796

[xlscc] Use empty LeafTypeTree for type indexing instead of GetLeafTypes

This change updates the continuation analysis to use xls::LeafTypeTree for representing and checking the types of source nodes, replacing the previous method of using flat vectors of leaf types via an internal function not intended for public use.

PiperOrigin-RevId: 846881182

Implement state to register I/O lowering pass in codegen v1.5.

PiperOrigin-RevId: 846495277

Add support for non-synthesizable functions in XLS IR.

Introduces a `#[non_synth]` attribute for functions, which marks them as not being synthesized. Adds decorator estimators (`FilterNonSynth`) for area and delay models to ignore nodes within non-synth functions during optimization. Updates the IR parser, verifier, and non-synth separation pass to handle this new attribute.

This is needed to ensure that all passes are able to cope with the existence of non-synth function invokes during the optimization process.

PiperOrigin-RevId: 845962215

Automated Code Change

PiperOrigin-RevId: 845568724

Automated rollback of commit 5adf39a906a191135154f7ad17c60252fc556f43.

PiperOrigin-RevId: 845028977