KrystalDelusion 31b00b4c72

celledges: Use b_width_capped for left shifts ...

`b_width_capped` already exists for preventing arithmetic overflow, limiting the value of `b_width` to 30.  This just changes the left shifts to also use it.
The caveat of incorrect results for extremely large values of `a_width` still applies, as does the improbability of that actually happening.
This fixes #4844 (or at least, the floating point exception; the circuit still isn't valid but I think that's fine).

2025-01-31 11:03:33 +13:00

..

binding.cc

Generate an RTLIL representation of bind constructs

2021-08-13 17:11:35 -06:00

binding.h

Generate an RTLIL representation of bind constructs

2021-08-13 17:11:35 -06:00

bitpattern.h

mark all hash_into methods nodiscard

2025-01-14 12:39:15 +01:00

calc.cc

Reduce comparisons of size_t and int

2024-11-29 12:53:29 +13:00

cellaigs.cc

hashlib: hash_eat -> hash_into

2024-12-18 15:09:25 +01:00

cellaigs.h

mark all hash_into methods nodiscard

2025-01-14 12:39:15 +01:00

celledges.cc

celledges: Use b_width_capped for left shifts

2025-01-31 11:03:33 +13:00

celledges.h

Fixing old e-mail addresses and deadnames

2021-06-08 00:39:36 +02:00

celltypes.h

celltypes.h: Add extra properties

2024-10-15 07:23:45 +13:00

compute_graph.h

convert class FunctionalIR to a namespace Functional, rename functionalir.h to functional.h, rename functional.h to compute_graph.h

2024-08-21 11:04:08 +01:00

consteval.h

macc: Stop using the B port

2025-01-08 13:03:35 +01:00

constids.inc

read_liberty: Set area capacitance attributes

2024-11-12 13:26:38 +01:00

cost.cc

cost: add model for techmapped cell count, keep_hierarchy pass with -min_cost parameter

2024-07-29 10:26:02 +02:00

cost.h

cost: add model for techmapped cell count, keep_hierarchy pass with -min_cost parameter

2024-07-29 10:26:02 +02:00

driver.cc

driver: add --hash-seed

2024-12-18 14:58:29 +01:00

drivertools.cc

rtlil: represent Const strings as std::string

2024-10-14 06:28:12 +02:00

drivertools.h

mark all hash_into methods nodiscard

2025-01-14 12:39:15 +01:00

ff.cc

rtlil: represent Const strings as std::string

2024-10-14 06:28:12 +02:00

ff.h

ff: improve comments

2024-09-05 11:17:12 +02:00

ffinit.h

rtlil: represent Const strings as std::string

2024-10-14 06:28:12 +02:00

ffmerge.cc

rtlil: represent Const strings as std::string

2024-10-14 06:28:12 +02:00

ffmerge.h

Add new helper class for merging FFs into cells, use for memory_dff.

2021-05-23 14:46:59 +02:00

fmt.cc

cxxrtl, fmt: escape double quotes in c strings

2024-11-11 18:49:05 +00:00

fmt.h

fmt,cxxrtl: add option to group digits in numbers.

2024-04-02 12:13:22 +02:00

fstdata.cc

Merge pull request #4620 from RCoeurjoly/fix-vcd-parsing-ghdl-var-spacing

2024-11-06 16:29:07 +01:00

fstdata.h

Start restoring memory state from VCD/FST

2022-05-04 10:41:04 +02:00

functional.cc

functional, glift: use fold overload of IdString::in instead of pool literals

2024-11-06 12:48:32 +01:00

functional.h

mark all hash_into methods nodiscard

2025-01-14 12:39:15 +01:00

hashlib.h

hashlib: simplify loopback. NFC

2025-01-20 16:15:48 +01:00

json.cc

Support for BTOR witness to Yosys witness conversion

2023-01-11 18:07:16 +01:00

json.h

Support for BTOR witness to Yosys witness conversion

2023-01-11 18:07:16 +01:00

log.cc

log: Never silence log_cmd_error

2024-09-24 17:47:46 +02:00

log.h

hashlib: redo interface for flexibility

2024-12-18 14:49:25 +01:00

macc.h

macc: Stop using the B port

2025-01-08 13:03:35 +01:00

mem.cc

kernel/mem: Fix Cygwin compat

2024-12-03 13:15:33 +13:00

mem.h

rtlil: represent Const strings as std::string

2024-10-14 06:28:12 +02:00

modtools.h

mark all hash_into methods nodiscard

2025-01-14 12:39:15 +01:00

qcsat.cc

Add coarse-grain $buf buffer cell type

2024-09-17 10:46:20 +02:00

qcsat.h

Refactor common parts of SAT-using optimizations into a helper.

2021-08-09 16:54:35 +02:00

register.cc

Copyright year update

2025-01-21 08:48:29 +01:00

register.h

kernel: Avoid including files outside include guards

2024-04-02 16:53:56 +02:00

rtlil.cc

hashlib: acc -> eat

2024-12-18 15:09:25 +01:00

rtlil.h

hashlib: merge hash_ops with hash_top_ops for plugin compat

2025-01-14 21:41:33 +01:00

satgen.cc

macc: Stop using the B port

2025-01-08 13:03:35 +01:00

satgen.h

sat: Add -set-def-formal option to force defined $any* outputs

2022-11-28 14:50:52 +01:00

scopeinfo.cc

Add scopeinfo index/lookup utils

2024-02-06 18:01:26 +01:00

scopeinfo.h

fix bugs in handling last id in hdlname to scopename conversion

2025-01-16 12:57:08 +01:00

sexpr.cc

factor out SExpr/SExprWriter classes out of smtlib backend, and also tidy them up/document them

2024-08-21 11:03:27 +01:00

sexpr.h

factor out SExpr/SExprWriter classes out of smtlib backend, and also tidy them up/document them

2024-08-21 11:03:27 +01:00

sigtools.h

mark all hash_into methods nodiscard

2025-01-14 12:39:15 +01:00

tclapi.cc

kernel: Remove global tcl.h include

2024-12-10 13:49:08 +01:00

timinginfo.h

mark all hash_into methods nodiscard

2025-01-14 12:39:15 +01:00

topo_scc.h

functional backend: topological sort starts with the output and next states nodes, other nodes get deleted

2024-08-21 11:03:29 +01:00

utils.h

hashlib: redo interface for flexibility

2024-12-18 14:49:25 +01:00

yosys_common.h

mark all hash_into methods nodiscard

2025-01-14 12:39:15 +01:00

yosys.cc

Copyright year update

2025-01-21 08:48:29 +01:00

yosys.h

kernel: Remove global tcl.h include

2024-12-10 13:49:08 +01:00

yw.cc

rtlil: represent Const strings as std::string

2024-10-14 06:28:12 +02:00

yw.h

mark all hash_into methods nodiscard

2025-01-14 12:39:15 +01:00