Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/llvm/circt

Circuit IR Compilers and Tools
https://github.com/llvm/circt

[NFC][arcilator] Reenable instrumentation for ArcToLLVM passes. (#6809)

Add VerbosePassInstrumentation to the second pass manager of the arcilator tool to include its s...

466f6cc1083e9099bcb8b68be9d6dd5ea861320b authored 7 months ago by fzi-hielscher <[email protected]>
[SMT] Add arithmetic and bitwise operations (#6805)

9bf7c33ee586085cb58ee5d08c3d548a60bb76d6 authored 7 months ago by Martin Erhart <[email protected]>
[SMT] Add bitvector type, attribute, and constant operation (#6804)

To clearly separate semantics, define a bit-vector type and attribute instead of reusing the bui...

7e0ae45817417b8ec94dc1622b906f5d804dad5f authored 7 months ago by Martin Erhart <[email protected]>
[SMT] Add Dialect rationale and boilerplate

8b4e95de1e6f8ecfba29de86cafb682b59346811 authored 7 months ago by Martin Erhart <[email protected]>
[FIRRTL] Don't enforce owning module for local ref in LowerClasses. (#6811)

We have an existing check that paths are in the same owning module as
the entity they target. T...

c12c68d3a21185132659747c1200958bd5c2329b authored 7 months ago by Mike Urbach <[email protected]>
Fix missing CMake dependency on Emit

Fix a missing CMake dependency on the Emit dialect for the build rules for
DebugInfo.

h/t @fzi-...

4d9033ed5b37f30deeaeaf975a35a928caea080d authored 7 months ago by Schuyler Eldridge <[email protected]>
Load Emit Dialect for DebugInfo Translation

Fix a missing dialect registration for the DebugInfo translation. This
fixes an error if trying...

ad3457620086f9df51924b32b74baea2ebe94d6f authored 7 months ago by Schuyler Eldridge <[email protected]>
[NFC][Emit] Replace body with bodyRegion

4d5dab52e2f4eb79f208a2914402c639fc71bcb2 authored 7 months ago by Nandor Licker <[email protected]>
[FIRRTL] Dedup memory wrapper modules in LowerMemory (#6719)

Instead of just dedup-ing the external memory module, include the
memory wrapper module in the ...

2e23cda6c2cbedb118b92fab755f1e36d80b13f5 authored 7 months ago by Tynan McAuley <[email protected]>
[NFC] Checking the number of input and output locations for modules was dead code. Producing those lists was driven by the number of such ports, so testing that you got the right number was just checking the loop bounds that produced it. the get(In|Out)put* functions are inefficient and need to go away, but this saves 11.5 minutes in large designs. We also save a minute and a half pre-sizing a small vector.

eb5900a6e7069156b5508cd74c11e17f8026277e authored 7 months ago by Andrew Lenharth <[email protected]>
[NFC] Save 60% of the time spent creating integer types

c8ad1d6376010a5ba336a3431f16716fe2a36a64 authored 7 months ago by Andrew Lenharth <[email protected]>
[FIRRTL] Fix sign bit truncation in constant parser (#6794)

Fix an issue in the parser of the `firrtl.constant` op, which would
truncate the sign bit of ne...

99968ff0764ab18ed7e821c815a4272aff9fc0a6 authored 7 months ago by Fabian Schuiki <[email protected]>
[LLHD] Verify empty processes (#6801)

a4a1eb605b139bc9cc92b86d851f69ce5a345f47 authored 7 months ago by Martin Erhart <[email protected]>
[NFC][Seq] Improve the naming of clock inverters from intrinsics

95a2f948b70cfe5d2288a05efe5bb9d889cdcc0e authored 7 months ago by Nandor Licker <[email protected]>
[CMake] Add CMake targets to install all CIRCT libraries. (#6798)

These targets are useful for downstream projects that want to install
all CIRCT libraries. The ...

1abb2c67105915b38248d0cfbec0ccfc37968d07 authored 7 months ago by Mike Urbach <[email protected]>
[OM] Add C API and Python bindings for IntegerAttr to string. (#6787)

Both the upstream MLIR IntegerAttr and OM IntegerAttr are backed by an
arbitrary precision inte...

1cc10699693fb055f54fed40cfb963c90aedf1f3 authored 7 months ago by Mike Urbach <[email protected]>
[OM] Extend APSInts as necessary before performing arithmetic. (#6786)

Most interesting arithmetic on APSInt asserts that both operands are
the same bitwidth, but the...

993e491f4b99039cc782dfa50ad9bbc578b53d67 authored 7 months ago by Mike Urbach <[email protected]>
[FIRRTL] Reject ref statements in 4.0.0+. (#6738)

cc #6715.

51ae1440e7053670acbf712dd4a35a1f50a9a4ce authored 7 months ago by Will Dietz <[email protected]>
[arcilator] Strip Emit dialect operations (#6797)

d6a6a025a7358a8592ddc7e38afa5f656e4b8c45 authored 7 months ago by fzi-hielscher <[email protected]>
[FIRTOOL] Move LowerIntrinsic to preprocess (#6796)

This moves LowerIntrinsic to preprocess transforms.

f6cc005495e60198f065fcd59ce3272bd44dd52e authored 8 months ago by Hideto Ueno <[email protected]>
Bump LLVM to 1e828f838cc0f15074f3dbbb04929c06ef0c9729. (#6784)

This picks up a bugfix in DialectConversion:
https://github.com/llvm/llvm-project/commit/960665...

e49188bb80efb7099eec34ba9d409bb7ff02ff9e authored 8 months ago by Mike Urbach <[email protected]>
[ESI][Runtime][Publish pipeline] cibuildwheel doesn't yet support py 3.13

Since cibuildwheel doesn't yet support Python 3.13, comment it out until support gets added.

7c108d638706d783b31636941c0c6a633b5d365f authored 8 months ago by John Demme <[email protected]>
[Ibis] Directly use replaceAllUsesWith in ConversionPatterns.

RewriterBase::replaceAllUsesWith is not currently supported by
DialectConversion. Using it may l...

41001f617ce6140f6ad08d82898d0d7db2fca830 authored 8 months ago by Mike Urbach <[email protected]>
[Calyx] Use a three step rewrite in RemoveCombGroups.

The DialectConversion infrastructure now asserts that replaced ops are
not modified, including i...

e450388da7d6890d89b08e5277271d9afb6ad93b authored 8 months ago by Mike Urbach <[email protected]>
[CFToHandshake] Don't modifyOpInPlace in PartialLowerOp.

The modifyOpInPlace seems to have been used to give the
PartialLoweringFunc carte blanche to mak...

e92c2780b92390d23407ba7f4eb4bc939f3632e4 authored 8 months ago by Mike Urbach <[email protected]>
[NFC][Seq] Add include guards around header

e1a69e3f3ae4ffcc40ae663817ec315fc9422cd1 authored 8 months ago by Nandor Licker <[email protected]>
[NFC][Seq] Move a seq enum to its own file

72b5b2fe3f9c9d9ecff7c523abc88f12924e42aa authored 8 months ago by Nandor Licker <[email protected]>
[OM] Add C API and Python bindings for EvaluatorValue::Reference. (#6785)

In some OM dialect constructs, it is possible to receive
EvaluatorValue::Reference values. In t...

675716b1682e35a17a129a9e5f0830b54c3a501a authored 8 months ago by Mike Urbach <[email protected]>
[Seq] Allow presets for more types on firreg (#6781)

23eb8c330a3c8015cdd97439b82a75913a082939 authored 8 months ago by Nandor Licker <[email protected]>
LLVM bump (#6782)

* LLVM bump to f75c6ed93e785c09884a317ce2bfd440e7f8f573

4156a7589a303746f82276151a4ec469691b6692 authored 8 months ago by Prithayan Barua <[email protected]>
[FIRRTL] Handle reference ports when Classes dedup. (#6770)

In https://github.com/llvm/circt/pull/6582, initial support for
classes and objects was added i...

37429445859172fefa5dec32754832c028b7c8d9 authored 8 months ago by Mike Urbach <[email protected]>
[SV] Verify macro reference symbols (#6780)

e8d919f3ef9490e5e6df0b4f3effa7155e82d965 authored 8 months ago by Nandor Licker <[email protected]>
[NFC][LowerToHW] Emit macro declarations in LowerToHW

This change also rewrites the `verilator` macro to `VERILATOR` to keep it consistent with other ...

a6a78ad77ba80a39731ed3a06275ab5392c8aad5 authored 8 months ago by Nandor Licker <[email protected]>
[NFC][LowerToHW] Emit macro decl ops for assert/assume guards

2bc20c7e4f04a9d20cd857ae9dad1cbc7005723f authored 8 months ago by Nandor Licker <[email protected]>
[NFC][SV] Declare macros in most SV tests

156702db117b60e68e52aa4795dc9474af4c6d3a authored 8 months ago by Nandor Licker <[email protected]>
[Sim] Emit a SYNTHESIS macro declaration if needed (#6778)

854a7f150db9e896c40b4f7bfa5ea92d474a179e authored 8 months ago by Nandor Licker <[email protected]>
[SV] Use a symbol in macro identifiers (#6777)

Macro identifiers now use a proper symbol to handle references.
The verifiers are not yet enabl...

a956b8b77e1320bb7a7ffa3ce9867c4e8136c924 authored 8 months ago by Nandor Licker <[email protected]>
[WireDFT] Remove WireDFT (#6761)

WireDFT is no longer used within SiFive. No issues popped up while the pass could be optionally ...

932d288a6f54a7d37945ca25e2691912d02b6a35 authored 8 months ago by Nandor Licker <[email protected]>
[ImportVerilog] Add assignment statements (#6773)

Add continuous, blocking, and non-blocking assignments to the Moore
dialect. These represent th...

5c9fb8f3a7873d2cda8d040eaa326eba512e0c4a authored 8 months ago by Fabian Schuiki <[email protected]>
[ci][nfc] Clarify name of uploadWheels job

Remove possibly confusing language on the conditions for why a wheel was
uploaded. This can hap...

2b68d16b044564562a9c90cd2973a758243060dc authored 8 months ago by Schuyler Eldridge <[email protected]>
[ci] Allow uploading wheels from workflow_dispatch

Add an input to the workflow_dispatch even of the "Upload Wheels" GitHub
Action workflow. This ...

0fb7636ed502b7d20839ce8dc04834ce7862d284 authored 8 months ago by Schuyler Eldridge <[email protected]>
[LowerToHW][nfc] Use public, not friend private

Change two usages of private friend members to use public member
functions. This is mildly clea...

4996f67816abbffbd0168fc8233693c60884235b authored 8 months ago by Schuyler Eldridge <[email protected]>
[LowerToHW][nfc] Use function to record mapping

Add a member function for recording a mapping of old FIRRTL module to new
HW module. Use this t...

49b5331d78d4ff67350a6dde05816a2f3c10eb04 authored 8 months ago by Schuyler Eldridge <[email protected]>
[LowerToHW] Fix memories moved to testbench bug

Fixes a bug where memories instantiated under the DUT would be moved to
the testbench directory....

b213b7409cf69cffcac01633e234448508437477 authored 8 months ago by Schuyler Eldridge <[email protected]>
[capi][python] Add Emit Dialect

Add the emit dialect to the C-API and to Python. This is both missing and
is necessary for down...

077826e06ce014bbe7a94dd95aadcdd424c4a844 authored 8 months ago by Schuyler Eldridge <[email protected]>
[LowerArcToLLVM] Remove C++20 designated inits

Remove use of designated initializers. This is a C++20 feature and the
Windows builds are unhap...

dee8972adf034e0f788337f86476c2520640467b authored 8 months ago by Schuyler Eldridge <[email protected]>
[FIRRTL] Use the class map in ObjectOp parser. (#6771)

We already store a mapping from class name to ClassOp when we parse
the ClassOp signatures, in ...

16188e8210c90f3880cdccb305b9c1e6b81d677c authored 8 months ago by Mike Urbach <[email protected]>
[arcilator] Introduce simulation orchestration subdialect (#6695)

* add arc sim subdialect

* add arc.sim.emit

* add tests for sim lowering

* add emit tes...

a26d9a86cf282045c90c61abc581a2d99388566e authored 8 months ago by Théo Degioanni <[email protected]>
[om-linker] Test loaded dialects, NFC

Extend an existing om-linker test to check that all dialects that the
om-linker is expected to s...

8d5e417ceeb57a6504a39c8376cb64511ef46085 authored 8 months ago by Schuyler Eldridge <[email protected]>
[om-linker] Load Emit dialect

Fix a bug in the om-linker tool where the Emit dialect was not loaded.
This dialect needs to be ...

6de364aaf5a1a5ff43202ae27562f3e99ccfc202 authored 8 months ago by Schuyler Eldridge <[email protected]>
[FIRRTL] Verify that a symbol is defined that matches the circuit name

3cf4305d6408bf726eff7c2e1eea328225ccf76a authored 8 months ago by Andrew Lenharth <[email protected]>
[FIRRTL] Fix blind cast in GrandCentral

Fix a bug in the GrandCentral pass which was doing a blind cast of an edge
in the instance graph...

59e52c5c468b6a2fafa1cc1216f33554b8f9a651 authored 8 months ago by Schuyler Eldridge <[email protected]>
[Calyx] Fix memory import locations (#6769)

d5c4b70b571b23259d2ee024d05a4f4671eac3b4 authored 8 months ago by Andrew Butt <[email protected]>
[ESI][Runtime] Fix Windows build

febae10e1a3656eab696aa08108ce260eec656ec authored 8 months ago by John Demme <[email protected]>
[ImportVerilog] Convert initial/always/final procedures (#6766)

Add the `moore.procedure` operation to represent `initial`, `final`,
`always`, `always_comb`, `...

0749166b438ad39365bda1a68d04001c53b1cc34 authored 8 months ago by Fabian Schuiki <[email protected]>
[Calyx] Switch sequential memories to be true single port memories (#6765)

2d588384a2f019210f3f347f0aa94ec6bf258659 authored 8 months ago by Andrew Butt <[email protected]>
[Emit] Introduce `emit.ref` to pull ops into file bodies (#6762)

This PR introduces a minimal implementation of file-to-operation references.
Presently, only mo...

c4038382fbbaea7b7b1abebaf4ba769d51609b11 authored 8 months ago by Nandor Licker <[email protected]>
[ESI] Move entirely over to the runtime for testing (#6764)

Removes:
- esi-cosim-runner.py
- all of the raw capnp based tests
- the system test (subsumed...

113fad9b2536f0384aaf545ae46bc8ed2d25db56 authored 8 months ago by John Demme <[email protected]>
[ESI][Runtime] Fix esi-cosim wrt dynamic libs

Set dynamic library paths for compile and run so we don't run into
linker issues.

056e0c948d980fae8cce824725b9e7a5f5dbcbe8 authored 8 months ago by John Demme <[email protected]>
[NFC][Emit] Use EmitterBase::emitOpError

733fa3758ffe7db28c520b74b03cfd2ad46315f3 authored 8 months ago by Nandor Licker <[email protected]>
[hlstool] Limit includes do dependences are accurate

6395b54d40aa6914a116c8291bbb199b5bb1d96f authored 8 months ago by John Demme <[email protected]>
[FIRRTL][LowerToHW] Fix Windows Tests

Signed-off-by: Schuyler Eldridge <[email protected]>

cfbf05e1636fb507478eac8a518d9a3268232f93 authored 8 months ago by Schuyler Eldridge <[email protected]>
[FIRRTL] Fix Grand Central and Layers Directories

Fix a bug involving interactions of Grand Central and layers output
directories. When compiling...

679737a3af3307ed9602033cd85aeaa83cb98765 authored 8 months ago by Schuyler Eldridge <[email protected]>
[LowerToHW] Treat instance under bind as non-DUT

Change LowerToHW to not count bound instances as being under the DUT.
This is done as a stopgap ...

7fdf691612f647f103179636a46894c825956d48 authored 8 months ago by Schuyler Eldridge <[email protected]>
[FIRRTL] Put layer collateral in testbench dir

Change the LowerLayers pass to put generated modules inside the testbench
directory if one is sp...

cafb5e9af37a4c4c7c64d7d0c04a3d6871dbb422 authored 8 months ago by Schuyler Eldridge <[email protected]>
[LowerToHW] Do not set output_file if already set

Fix a bug in LowerToHW where a '#hw.output_file' would be incorrectly set
on a module that alrea...

de483802d0ef686e39589c9488bc6fa582262e0b authored 8 months ago by Schuyler Eldridge <[email protected]>
[ESI][Runtime] Add the esiquery and esi-cosim commands to the wheel

Have the wheel install create scripts (in the user PATH) to run ESI
Runtime commands.

b0cd6c0be110f6e4c7903050d41b7e11aeefce78 authored 8 months ago by John Demme <[email protected]>
[ESI][Runtime] Include license, classifiers, and build for 3.13

10562214dcd5a54724e2e5d50c2d980ef98103b3 authored 8 months ago by John Demme <[email protected]>
[ESI][Runtime] Build and publish wheels (#6763)

Make the publishing pipeline actually work to produce wheels for multiple python versions.

8a10c504e80d6b169351be4ff95d97a20a78f495 authored 8 months ago by John Demme <[email protected]>
[HW] Remove the file list attribute from HW (#6757)

The file list operations from the `emit` dialect should be used instead

df5ea7c6e1a2905b3a495e09a4c96ee1c5e3ac42 authored 8 months ago by Nandor Licker <[email protected]>
[ESI][Runtime] Wheel build workflow

Pushing draft workflow to create it in the actions UI.

872a1f36f7f5bf9bbf396b1cd59b1665a26c3493 authored 8 months ago by John Demme <[email protected]>
[ESI][Runtime] Rename python module to esiaccel

To be consistent with the wheel.

ef0f434b7c9aa7338e929046e94d0bd139c7b82b authored 8 months ago by John Demme <[email protected]>
[ESI][Runtime] Building wheels (#6759)

Adds the ability to create Python wheels for the ESI runtime.

5950674a5f32b31820fc734b0da4aa549a3b9c68 authored 8 months ago by John Demme <[email protected]>
[ImportVerilog] Add type conversion and basic variables (#6755)

Implement the conversion from SystemVerilog types in Slang's AST to the
corresponding MLIR type...

a2497669588d2eab73bd1d573b58c30daad1a201 authored 8 months ago by Fabian Schuiki <[email protected]>
[HW to BTOR2] Add support for initial values (#6754)

Registers like compreg have a powerOn value. This PR simply adds support for that at the btor2 l...

8afd534537ed1025d789a08f8dfbb370d7be5a03 authored 8 months ago by Amelia <[email protected]>
[HGLDD] Uniquify object names during emission (#6753)

Ensure the object and variable names emitted by the `EmitHGLDD`
translation are unique and don'...

3f3d073fce09c891f1fcb53f36c8b1480607dd67 authored 8 months ago by Fabian Schuiki <[email protected]>
[HGLDD] Fix instance output port emission (#6750)

The `EmitHGLDD` translation currently emits instance output ports as XMR
`<instName>.<portName>...

857fdd82c60ef2a6b67acbb526f4258f5212da6e authored 8 months ago by Fabian Schuiki <[email protected]>
[ExtractInstances] Fix Windows CI (#6758)

f7e2b26a081b9fb4dead24a17b287f3022d8ca97 authored 8 months ago by Nandor Licker <[email protected]>
[Emit] Convert the ExtractInstances pass to use file ops (#6756)

459e79e88cb4e50510f1cbb18ef5c592ec674864 authored 8 months ago by Nandor Licker <[email protected]>
[NFC][Emit] Add a no-body constructor to files

898a203e4c7d8d588759fd5ab399f2ba81a87089 authored 8 months ago by Nandor Licker <[email protected]>
[Moore] Drop obsolete variable and assign ops

Remove the `moore.mir.vardecl` and `moore.mir.assign` ops which aren't
really used anywhere. We ...

52a71a681e8cdd1d38936b8f5e1bb5716babf9e5 authored 8 months ago by Fabian Schuiki <[email protected]>
[LowerToHW] Precompute modules under DUT

Change LowerToHW to precompute which modules are under the DUT during the
serial execution porti...

b40db3405df9c55b339e56b9e651063420485828 authored 8 months ago by Schuyler Eldridge <[email protected]>
[Support] Make isAncestor filterable

Add a function argument to the InstanceGraph::isAncestor member function
to allow this to skip o...

4695876d24db133845328f71b0bf2d7e5a6199e4 authored 8 months ago by Schuyler Eldridge <[email protected]>
[MSFT][Emit] Replace `output_file` with an `emit::File` (#6751)

`output_file` is to be replaced with explicit files constructed via the emit dialect.
This PR r...

9a78825b45566cf0abbdb6650ccd3954b2545927 authored 8 months ago by Nandor Licker <[email protected]>
[NFC][CI] Fix path delimiter in test for Windows

0da7527ad6577094245708f31f0e3fd8f24bac5f authored 8 months ago by Nandor Licker <[email protected]>
[Emit] Use FileOp to emit metadata (#6746)

46f7ae2af5952a7e614118ff49007450a7d1eca3 authored 8 months ago by Nandor Licker <[email protected]>
[FIRRTL][FIRParser] Enforce 4.0.0 main module must be public. (#6747)

Update tests.

91294cab2af3ece8fa3f30b0a68c3f47e60318fb authored 8 months ago by Will Dietz <[email protected]>
[Emit] Emit SV ops nested in a file (#6744)

9a8b83ff0cd7f3df6ee2abb944dea6acfdc87f4c authored 8 months ago by Nandor Licker <[email protected]>
[Ibis] Split ContainerOp in two (#6739)

In order to not abuse symbol tables, create an OuterContainerOp for top-level containers, and In...

d17f2f1a1bb1575180b5f629696aa2325ac217fe authored 8 months ago by John Demme <[email protected]>
[FIRRTL][LowerLayers] Clean up names of artifacts generated by layers (#6733)

- Layer module name: move into helper.
- Layer instance name:
- don't put the parent module ...

f5831fa0f93fa0490a29aa7720e1a24ea9c274d2 authored 8 months ago by Robert Young <[email protected]>
[NFC][Emit] Fix crash in empty line emission in verbatim

f10398e6afb1cd47035967d003e182025eef561f authored 8 months ago by Nandor Licker <[email protected]>
[NFC][Emit] Fix Windows CI

74b970154f019515f832cf9ffa016ab88ae6ecea authored 8 months ago by Nandor Licker <[email protected]>
[NFC][EmitOps] Allow files to be built from Twine

a8c04f9252d62e4bcbf5486e58db037b1ca94218 authored 8 months ago by Nandor Licker <[email protected]>
[NFC][Emit] Add a builder from StringAttr to FileOp

6deac9513889a79240c66540d59fbc8b122acca0 authored 8 months ago by Nandor Licker <[email protected]>
[ImportVerilog] Convert empty modules and instances (#6743)

Extend the `ImportVerilog` conversion to support empty SystemVerilog
module definitions and ins...

9482ed38d9f35fa858b8fa38723d54ea6699d5de authored 8 months ago by Fabian Schuiki <[email protected]>
[Moore] Rename files, add dialect rationale, fix docs

Rename `MIROps.{cpp,h}` to `MooreOps.{cpp,h}`. This makes the dialect be
more inline with others...

b726a32437fe0dbe1ef9d91b4bd89a4753d266f0 authored 8 months ago by Fabian Schuiki <[email protected]>
[FIRRTL][CAPI] Don't call function in assert.

This test was just added, which calls the main function being tested
within an assert. This is n...

ed19a32f865acf1055635310f143f8959dcec121 authored 8 months ago by Mike Urbach <[email protected]>
[Emit] Emit black boxes through `emit` ops (#6729)

8e716e605f7b0412fa0cb2597190894bfbf06ab5 authored 8 months ago by Nandor Licker <[email protected]>
[ExportVerilog][Emit] Export emitted files (#6728)

cf931e1704e5289aaa549e4cd0a641d639258432 authored 8 months ago by Nandor Licker <[email protected]>
[Docs] Add the missing JSON colon to the example of FIRRTL annotations

4d283763426fbacb60ace2635937b57b4b9efc19 authored 8 months ago by Asuna <[email protected]>