Add Specialize function to proc-state range query engine.

This is used by some potential users and can be implemented better than the default do-nothing implementation.

Also fix a small typo.

PiperOrigin-RevId: 689129685

VLOG sends/receives in ChannelTraceRecorder.

When setting trace_channels as an EvaluatorOption, this allows for useful debugging in C++ tests using a JIT wrapper.

PiperOrigin-RevId: 688791714

[mlir] Add an optimized pattern for contiguous tensor.insert_slice

Supports trailing and leading 1's when checking for contiguous insert or extract slicing.

PiperOrigin-RevId: 688379856

AOT block wrapper

This adds BLOCK type support to `cc_xls_ir_jit_wrapper` targets. These wrappers include helper methods to read each output port (including as C++ values if they are a standard c++ integer size) and a <Wrapper>Ports struct which can be used to set each port (again as either value or c++).

Fixes: https://github.com/google/xls/issues/1651
PiperOrigin-RevId: 687421784

Change EXPECT_FALSE(true) to more direct non-fatal error mechanism.

PiperOrigin-RevId: 687088166

Improve verification performance by using a std:vector<bool> bitset

to keep track of seen ids, rather than an absl::flat_hash_set<Node*>.

40% relative improvement in time taken by VerifyNodeIdUnique for one workload
(2% of CPU time total down to 1.2%).

PiperOrigin-RevId: 686716610

Add channel matcher for proc-scoped channels.

This required removing an unused id matcher as channel references don't have ids. One kind of matching no longer works because C++: `send(m::Add(), channel)` where `channel` is `Channel*`.

PiperOrigin-RevId: 686295132

cpp_transpiler might emit functions not needed. Keep compiler at ease.

As seen in CI run
https://github.com/google/xls/actions/runs/11335606242/job/31524066818#step:6:29

No need to generate warnings in code that are not directly actionable.

PiperOrigin-RevId: 685876389

[xls][mlir] Speed up lower_counted_for

On large modules this pass could dominate due to SymbolTable lookups.

Before: 2m05s. After 2s.
PiperOrigin-RevId: 685238926

dslx/apfloat: add round

related #1566.

PiperOrigin-RevId: 685005260