Christian Ulmann

[StandardToHandshake] Passing `memref` to a function will still use `memref.alloc`

10

Passing the following code to `--lower-std-to-handshake` produces a weird output. ```mlir func.func @external_mem(%mem : memref) { return } func.func @normal_mem() { %mem = memref.alloc() : memref func.call @external_mem(%mem) : (memref)...

Recently, table-gen was changed to split the emissions of passes into different chunks: https://reviews.llvm.org/D131839 This change not only splits a large monolith into smaller pieces but also adds support for...

[CI] Consider adding a IEEE simulator for the integration tests

1

As we start to see more and more integration tests that require an IEEE simulator to run, it might make sense to add one to the CI. While proprietary simulators...

It seems that handshake's `LazyFork` violates a required property for composable dataflow circuits: Consider the following example: ```mlir handshake.func @test(%arg0: none) -> (none) { %0:2 = lazy_fork [2] %arg0 :...

[StandardToHandshake] Warn when task pipelining is used with memory

4

StandardToHandshake consumes a sequential input program and, by default, produces a circuit that can be executed in a pipelined manner. When a program uses memory, this transformation might introduce unexpected...