Repository navigation
Releases
Releases · google/xls
v0.0.0-10470-g53958d80e
[xls] Skip iverilog simulator under HWADDRESS_SANITIZER in run_crasher Check for HWADDRESS_SANITIZER in XLS as for ADDRESS_SANITIZER. PiperOrigin-RevId: 963700203
v0.0.0-10464-g397e5c562
Merge pull request #4634 from achowd32:main PiperOrigin-RevId: 963038211
v0.0.0-10455-g9375c2b0d
Fix Verilog codegen for narrow array update indices
When codegen for Op::kArrayUpdate, target indexes were compared directly
against the 32-bit loop counter (index_expr == induction_var).
When index_expr was narrower than 32 bits, Verilog's context-determined
width rules expanded index_expr to 32 bits before applying the operation
creating the index. For example, if the index_expr is ~1. The 1 is expanded
to 32 bits first and then do ~ evaluated as 32'hFFFFFFFF (4294967295)
instead of 1'b1 zero-extended to 32'd1, causing the index comparison to
fail for all elements and reducing the array update to a no-op in generated
Verilog.
This change explicitly zero-extends narrow index expressions to 32 bits via
concatenation ({ (32 - width)'b0, index_expr }), creating a self-determined
context so unary operations evaluate at their native width before
comparison.
PiperOrigin-RevId: 962249938
v0.0.0-10454-g27c62f9c2
Integrate LLVM at llvm/llvm-project@a6b0af7536ef Updates LLVM usage to match [a6b0af7536ef](https://github.com/llvm/llvm-project/commit/a6b0af7536ef) PiperOrigin-RevId: 961806049
v0.0.0-10452-gccd2a0636
Add proc_constancy_checker_main. The idea of this tool is to use Z3 to search for provably-constant nodes that aren't represented as literals. Ideally, opt would be able to see all of these, although this is of course difficult in general. PiperOrigin-RevId: 961202686
v0.0.0-10437-gfefe9ae49
Check if committing a folding action would create a cycle. Folding it could either create a visibility expression cycle, or a data cycle. PiperOrigin-RevId: 960665768
v0.0.0-10427-g9c1470671
API checking if performing a folding action would create a cyclical v…
v0.0.0-10419-ge89d23f78
Fix bug where legacy proc converter dropped I/O at the end of statele…
v0.0.0-10413-g4d12b4822
[Explicit State Access] Rename constructor methods `ProcBuilder::Stat…
v0.0.0-10404-g69f84975c
Change legacy proc converter to turn type aliases into parametric typ…