v0.0.0-5924-gb118c15f3

SimulationTarget: don't allocate global std::string objects.

... they have a non-trivial constructor. Use std::string_view
instead as they are wrapping constant strings from the .rodata
segment anyway. That also allows to make them constexpr.

Also use designated initializers for readability.

PiperOrigin-RevId: 676651162

v0.0.0-5918-g8c48bd3f9

Optimize query engines for stateless-query-engine use

Many times the only query-engine in use is the stateless query engine. This can lead to quite inefficient operation as the default query engine assumes that accessing the leaf-type-trees is pretty cheap but for stateless a new one must be constructed each time.

To avoid this all functions that unconditionally create a LeafTypeTree are made virtual so the stateless can override them. A few functions which previously unconditionally created a LTT were rewritten to not do so.

This also updates the UnionQueryEngine to use the unioned implementations of these functions.

PiperOrigin-RevId: 676170979

v0.0.0-5907-gd7bcdb1b6

Simplify sample_runner by keeping commands simple functions.

Instead of a variant that keeps track of either an executable path
or function, always have commands simply be functions.
For calling exectubable, wrap that in a function.

While at it, group the set of constants that point to the
binaries in a struct for improved readability.

Overall, no functional change, just readability improvements.

PiperOrigin-RevId: 675752356

v0.0.0-5898-gfe1187671

Automated Code Change

PiperOrigin-RevId: 675428592

v0.0.0-5889-ge9aa42c6b

[XLS] Simplify array indexing into an array operation

Even if the index isn't literal, we can convert this into a Select, creating more opportunities for conditional specialization. On the other hand, if the index is literal and is out-of-bounds, then we can always select the last entry due to the clamping behavior of ArrayIndex.

PiperOrigin-RevId: 674644265

v0.0.0-5888-gd1b26f2d3

Limit path length in BDD-query engine ImpliedNodeTernary

This operation could potentially create exceptionally long path lengths which could cause timeouts or OOMs.

PiperOrigin-RevId: 674475069

v0.0.0-5883-gb05d50021

Merge pull request #1604 from xlsynth:cdleary/2024-09-12-vast-wide-li…

v0.0.0-5867-g2a7765102

Make fuzzer CONFIG contain proto-message type comment.

This makes it faster for a reader to find out where the
details are defined.

PiperOrigin-RevId: 673578406

v0.0.0-5848-g897e7ff9d

Shatter proc state when they are small arrays.

PiperOrigin-RevId: 673142029

v0.0.0-5840-gb2db7d6c4

Automated Code Change

PiperOrigin-RevId: 672807370