Search results

Unimplemented @llvm.bitreverse.i1 intrinsic

bugSomething isn't workingSomething isn't working

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

Status: Open.

#871 In EPFL-LAP/dynamatic;

· zero9178 opened on Apr 23, 2026

Wrong extension for muli

bugSomething isn't workingSomething isn't working

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

Status: Open.

#869 In EPFL-LAP/dynamatic;

· zero9178 opened on Apr 23, 2026

Too aggressive bitwidth in ArithBoundOpt pattern

bugSomething isn't workingSomething isn't working

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

Status: Open.

#867 In EPFL-LAP/dynamatic;

· zero9178 opened on Apr 23, 2026

Wrong bitwidth for signed-comparison of zext ops

bugSomething isn't workingSomething isn't working

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

Status: Open.

#861 In EPFL-LAP/dynamatic;

· zero9178 opened on Apr 22, 2026

Floating point comparison seemingly yielding wrong results

bugSomething isn't workingSomething isn't working

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

Status: Open.

#860 In EPFL-LAP/dynamatic;

· zero9178 opened on Apr 22, 2026

[hls-fuzzer] 16-bit multiplies might overflow

bugSomething isn't workingSomething isn't working

Status: Open.

#859 In EPFL-LAP/dynamatic;

· zero9178 opened on Apr 22, 2026

[LSQ] Sanity check in LSQ for mutually exclusive GAs

Status: Open.

#857 In EPFL-LAP/dynamatic;

· Jiahui17 opened on Apr 16, 2026

Failure to generate LSQ component

bugSomething isn't workingSomething isn't working

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

Status: Open.

#833 In EPFL-LAP/dynamatic;

· zero9178 opened on Apr 3, 2026

"array larger than LSQ depth" assertion failure

bugSomething isn't workingSomething isn't working

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

Status: Open.

#832 In EPFL-LAP/dynamatic;

· zero9178 opened on Apr 3, 2026

Overly pessimistic xori

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

performance-bugIssues that are not related to correctness, but better code could be generatedIssues that are not related to correctness, but better code could be generated

Status: Open.

#831 In EPFL-LAP/dynamatic;

· zero9178 opened on Mar 31, 2026

No redundancy elimination pass in dynamatic

nice-to-haveCosmetic and/or light improvements to the frameworkCosmetic and/or light improvements to the framework

performance-bugIssues that are not related to correctness, but better code could be generatedIssues that are not related to correctness, but better code could be generated

Status: Open.

#825 In EPFL-LAP/dynamatic;

· zero9178 opened on Mar 30, 2026

Overly pessimistic ori bitwidth

fuzzer-foundBugs found using an automated fuzzerBugs found using an automated fuzzer

performance-bugIssues that are not related to correctness, but better code could be generatedIssues that are not related to correctness, but better code could be generated

Status: Open.

#819 In EPFL-LAP/dynamatic;

· zero9178 opened on Mar 26, 2026