fabianschuiki/llhd issues and pull requests

#156 - Update llhd-conv output mlir with cf dialect.

Pull Request - State: open - Opened by DeepFlyingSky over 2 years ago - 1 comment

#155 - Fix doc: `ret` may not appear in a process

Pull Request - State: closed - Opened by ghost over 2 years ago - 1 comment

#154 - Fix struct type and struct_create operation printing

Pull Request - State: closed - Opened by maerhart almost 3 years ago

#153 - Update MLIR writer to support newest version of CIRCT

Pull Request - State: closed - Opened by maerhart almost 3 years ago - 1 comment

#152 - Quickfixes

Pull Request - State: closed - Opened by mike-kfed about 3 years ago - 1 comment

#151 - llhd-opt failes to produce structural llhd

Issue - State: open - Opened by dvc94ch over 3 years ago

#150 - Enforce wait operand to be of type time

Issue - State: closed - Opened by fabianschuiki over 3 years ago - 1 comment
Labels: C-bug, A-verifier, E-easy

#149 - basic block name format fix (lose leading %)

Pull Request - State: closed - Opened by gameboo almost 4 years ago - 1 comment

#148 - LLHD-Sim reg primitive not implemented

Issue - State: open - Opened by wbouillo almost 4 years ago - 1 comment
Labels: C-bug, T-llhd-sim

#147 - LANGUAGE.md typo

Pull Request - State: closed - Opened by gameboo almost 4 years ago - 1 comment

#146 - TCM causes inst-already-inserted panic

Issue - State: closed - Opened by fabianschuiki almost 4 years ago
Labels: C-bug, A-opt

#145 - Deseq not working on Moore always_ff output

Issue - State: closed - Opened by fabianschuiki almost 4 years ago
Labels: C-bug, A-opt

#144 - Fix to ignore halt action at the end of entities for simulation.

Pull Request - State: closed - Opened by wbouillo about 4 years ago

#143 - Entity creating suspend action during simulation

Issue - State: closed - Opened by wbouillo about 4 years ago - 4 comments
Labels: C-bug, E-help-wanted, E-easy, T-llhd-sim

#142 - Add name field to signals, instances, ports

Issue - State: open - Opened by fabianschuiki about 4 years ago
Labels: A-spec, A-ir, C-enhancement

#141 - Implement function simulation

Issue - State: open - Opened by fabianschuiki about 4 years ago
Labels: C-enhancement, T-llhd-sim

#140 - Add zero/sign extension and truncation instructions

Issue - State: open - Opened by fabianschuiki about 4 years ago
Labels: A-spec, A-ir, C-enhancement

#139 - Add dynamic extract instructions

Issue - State: open - Opened by fabianschuiki about 4 years ago
Labels: A-spec, A-ir, C-enhancement

#138 - Const folding breaks on SV interface index access

Issue - State: closed - Opened by fabianschuiki about 4 years ago
Labels: C-bug, A-opt

#137 - deny missing docs in ir and opt modules

Pull Request - State: closed - Opened by azarmadr about 4 years ago - 8 comments
Labels: C-cleanup

#136 - builder example is throwing errors

Issue - State: closed - Opened by azarmadr about 4 years ago - 2 comments
Labels: C-bug, E-help-wanted

#135 - [mlir_writer] Use SSA name for signal names

Pull Request - State: closed - Opened by rodonisi about 4 years ago

#134 - Add writer for MLIR syntax

Pull Request - State: closed - Opened by maerhart about 4 years ago

#133 - Remove stderrlog in favor of env_logger

Issue - State: closed - Opened by fabianschuiki about 4 years ago
Labels: C-enhancement

#132 - Merge llhd-sim and add trace regression tests

Issue - State: closed - Opened by fabianschuiki about 4 years ago - 1 comment
Labels: C-enhancement, T-llhd-sim

#131 - Lack of union type constructor.

Issue - State: open - Opened by jaroslov over 4 years ago - 1 comment
Labels: A-spec

#130 - Var-to-phi is overly aggressive

Issue - State: open - Opened by fabianschuiki over 4 years ago
Labels: C-bug, A-opt

#129 - Entities shouldn't print dummy `halt` terminator

Issue - State: closed - Opened by fabianschuiki over 4 years ago - 1 comment
Labels: C-bug, E-help-wanted, A-assembly, E-easy

#128 - Spurious panics in var-to-phi promotion

Issue - State: open - Opened by fabianschuiki over 4 years ago
Labels: C-bug, A-opt

#127 - Add MLIR input/output

Issue - State: open - Opened by fabianschuiki over 4 years ago - 2 comments
Labels: A-assembly, C-enhancement

#126 - Formal Verification Support

Issue - State: open - Opened by huskyii over 4 years ago - 1 comment
Labels: A-spec

#125 - `const` instruction suggestions

Pull Request - State: closed - Opened by gameboo over 4 years ago - 2 comments
Labels: A-spec, C-cleanup

#124 - Add FIRRTL input/output

Issue - State: open - Opened by fabianschuiki over 4 years ago - 2 comments
Labels: C-enhancement, T-llhd-conv

#123 - grammar described in LANGUAGE.md does not match that of examples in llhd-sim repo ?

Issue - State: closed - Opened by gameboo over 4 years ago - 9 comments
Labels: A-spec

#122 - Minor typo? + suggestion about the "any type"

Pull Request - State: closed - Opened by gameboo over 4 years ago - 10 comments

#121 - Simulation only instructions?

Issue - State: open - Opened by gameboo over 4 years ago - 6 comments
Labels: A-spec

#120 - Update dependencies

Pull Request - State: closed - Opened by eduardosm over 4 years ago - 1 comment

#119 - Minor typo fixes/suggestions

Pull Request - State: closed - Opened by gameboo over 4 years ago

#118 - Rust itself as LLHD frontend

Issue - State: open - Opened by 0x7CFE over 4 years ago - 17 comments

#117 - Add support for generating Finite State Machines (FSM) from behavioral code

Issue - State: open - Opened by programmerjake over 4 years ago
Labels: A-opt, C-enhancement

#116 - Add Yosys's RTLIL input/output

Issue - State: open - Opened by programmerjake over 4 years ago - 11 comments
Labels: C-enhancement, T-llhd-conv

#115 - Apply changes to arith/drv/reg instruction specs to codebase

Issue - State: open - Opened by fabianschuiki over 4 years ago
Labels: A-ir, C-enhancement

#114 - Move signal probes in ECM instead of TCM

Issue - State: open - Opened by fabianschuiki over 4 years ago
Labels: A-opt, C-enhancement

#113 - Check command outputs in `test.py`

Issue - State: closed - Opened by fabianschuiki over 4 years ago
Labels: C-bug, A-test

#112 - Rename `licm` to `ecm`

Issue - State: closed - Opened by fabianschuiki over 4 years ago
Labels: A-opt, C-cleanup, E-easy

#111 - Add execution trace test cases

Issue - State: open - Opened by fabianschuiki over 4 years ago
Labels: A-test, C-enhancement

#110 - Improve test coverage for assembly

Issue - State: open - Opened by fabianschuiki over 4 years ago
Labels: A-assembly, A-test, C-enhancement

#109 - Improve test coverage for transformations

Issue - State: open - Opened by fabianschuiki over 4 years ago
Labels: A-opt, A-test, C-enhancement

#108 - Add module for IR analyses

Issue - State: closed - Opened by fabianschuiki over 4 years ago
Labels: A-ir, C-enhancement

#107 - Improve IR node handles

Issue - State: open - Opened by fabianschuiki over 4 years ago
Labels: A-ir, P-long-term, C-enhancement

#106 - Unroll drives to dynamically shifted signals

Issue - State: open - Opened by fabianschuiki over 4 years ago
Labels: A-opt, C-enhancement

#105 - Add gating conditions to reg instruction

Issue - State: closed - Opened by fabianschuiki over 4 years ago
Labels: A-verifier, A-assembly, A-ir

#104 - Add test runner and checker

Issue - State: closed - Opened by fabianschuiki over 4 years ago - 1 comment

#103 - Implement desequentialization

Issue - State: closed - Opened by fabianschuiki over 4 years ago - 1 comment
Labels: A-opt

#102 - Fix compiler warnings

Pull Request - State: closed - Opened by eduardosm over 4 years ago - 1 comment

#101 - tcm pass seems to be removing `drv` instructions

Issue - State: closed - Opened by eduardosm over 4 years ago - 3 comments

#100 - Optimization removes drives in always_ff process

Issue - State: closed - Opened by fabianschuiki over 4 years ago - 3 comments
Labels: C-bug, A-opt

#99 - Drive coalescing uses stale drive list

Issue - State: closed - Opened by fabianschuiki over 4 years ago
Labels: C-bug, A-opt

#98 - Track aliases in TCM

Issue - State: closed - Opened by fabianschuiki over 4 years ago - 2 comments
Labels: A-opt

#97 - Add conditional drive

Issue - State: closed - Opened by fabianschuiki over 4 years ago - 1 comment
Labels: A-spec, A-opt, A-ir

#96 - Remove build.rs and call lalrpop manually

Issue - State: closed - Opened by fabianschuiki over 4 years ago
Labels: A-assembly

#95 - Instructions are being reordered during opt

Issue - State: closed - Opened by fabianschuiki over 4 years ago
Labels: C-bug, A-opt

#94 - Implement loop unrolling

Issue - State: open - Opened by fabianschuiki over 4 years ago
Labels: A-opt, C-enhancement

#93 - Implement process lowering

Issue - State: closed - Opened by fabianschuiki over 4 years ago
Labels: A-opt

#92 - Simplify mux instructions

Issue - State: closed - Opened by fabianschuiki over 4 years ago
Labels: A-opt

#91 - Add lookup table for value uses

Issue - State: closed - Opened by fabianschuiki over 4 years ago - 1 comment
Labels: A-ir, C-perf

#90 - Lower Snitch to structural LLHD

Issue - State: open - Opened by fabianschuiki over 4 years ago

#89 - Replace hash maps with index tables

Issue - State: closed - Opened by fabianschuiki over 4 years ago - 4 comments
Labels: A-ir, C-perf

#88 - Improve DT building performance

Issue - State: closed - Opened by fabianschuiki over 4 years ago
Labels: A-ir, C-perf

#87 - Fix broken phi nodes after block removal

Issue - State: closed - Opened by fabianschuiki over 4 years ago
Labels: C-bug, A-ir

#86 - llhd-opt: Allow order of optimizations to be specified

Issue - State: closed - Opened by fabianschuiki over 4 years ago
Labels: A-opt

#85 - Improve IR manipulation with a single builder

Issue - State: closed - Opened by fabianschuiki over 4 years ago - 2 comments
Labels: A-ir

#84 - Simplify shift instructions

Issue - State: open - Opened by fabianschuiki over 4 years ago - 1 comment
Labels: A-spec, A-ir, C-enhancement

#83 - Simplify functions, processes, and entities

Issue - State: closed - Opened by fabianschuiki over 4 years ago - 1 comment
Labels: A-ir, P-long-term

#82 - Simplify IR data structures

Issue - State: closed - Opened by fabianschuiki over 4 years ago - 1 comment
Labels: A-ir, P-long-term

#81 - Temporal Region Graph generates too few regions

Issue - State: closed - Opened by fabianschuiki over 4 years ago
Labels: C-bug

#80 - Add chunk instruction to simplify shift instructions

Issue - State: closed - Opened by fabianschuiki almost 5 years ago - 1 comment
Labels: A-spec, C-enhancement

#79 - Introduce graph-based IR

Issue - State: open - Opened by fabianschuiki almost 5 years ago
Labels: P-long-term

#78 - Change mux instruction to directly carry input values

Issue - State: open - Opened by fabianschuiki almost 5 years ago
Labels: A-spec, A-ir, C-enhancement

#77 - Add signal granularity matching pass

Issue - State: open - Opened by fabianschuiki almost 5 years ago
Labels: A-opt, C-enhancement

#76 - Deny missing docs

Issue - State: open - Opened by fabianschuiki almost 5 years ago
Labels: E-help-wanted

#75 - Add wait hugging pass

Issue - State: closed - Opened by fabianschuiki almost 5 years ago - 1 comment
Labels: A-opt

#74 - Add phi promotion pass

Issue - State: closed - Opened by fabianschuiki almost 5 years ago - 1 comment
Labels: A-opt

#73 - Add common subexpression elimination

Issue - State: closed - Opened by fabianschuiki almost 5 years ago - 1 comment
Labels: A-opt

#72 - Add optimization registry

Issue - State: open - Opened by fabianschuiki almost 5 years ago
Labels: A-opt, C-enhancement

#71 - Add optimization pass infrastructure

Issue - State: closed - Opened by fabianschuiki almost 5 years ago - 1 comment
Labels: A-opt

#68 - Add comments to LALRPOP grammar

Issue - State: closed - Opened by fabianschuiki almost 5 years ago - 1 comment
Labels: A-assembly

#67 - Check that values have a definition

Issue - State: closed - Opened by fabianschuiki almost 5 years ago
Labels: A-verifier

#66 - Check that definition dominates all its uses

Issue - State: closed - Opened by fabianschuiki almost 5 years ago
Labels: A-verifier, C-enhancement

#62 - Add logic arithmetic module

Issue - State: open - Opened by fabianschuiki almost 5 years ago
Labels: P-long-term, A-values

#61 - Add int arithmetic module

Issue - State: closed - Opened by fabianschuiki almost 5 years ago - 1 comment

#60 - Fuse ext of const shift

Issue - State: open - Opened by fabianschuiki almost 5 years ago
Labels: A-opt, C-enhancement

#59 - Eliminate full-width inss/exts

Issue - State: closed - Opened by fabianschuiki almost 5 years ago - 1 comment
Labels: A-opt

#58 - Fold constant ext/ins

Issue - State: closed - Opened by fabianschuiki almost 5 years ago - 1 comment
Labels: A-opt

#57 - Fold constant shifts

Issue - State: closed - Opened by fabianschuiki almost 5 years ago - 1 comment
Labels: A-opt

#56 - Allow inline constants

Issue - State: open - Opened by fabianschuiki almost 5 years ago
Labels: A-assembly, C-enhancement

#55 - Add logic type

Issue - State: open - Opened by fabianschuiki almost 5 years ago - 13 comments
Labels: A-spec, P-long-term, A-types, C-enhancement

#54 - Add phi node

Issue - State: closed - Opened by fabianschuiki almost 5 years ago - 1 comment
Labels: A-ir

#53 - Add Verilog output

Issue - State: open - Opened by fabianschuiki almost 5 years ago
Labels: C-enhancement, T-llhd-conv

#51 - llhd-conv: Accept XOR in LIB function

Issue - State: open - Opened by fabianschuiki about 5 years ago
Labels: C-bug, T-llhd-conv

GitHub / fabianschuiki/llhd issues and pull requests