Ivan Ho issues

Repositories
Issues
Comments

Results 3 issues of


                                            Ivan Ho

1.4.0: Error on GPGPU Verification Example CUDALeftRotation

[Link](https://github.com/utwente-fmt/vercors/wiki/GPGPU-Verification) Version tested: 1.4.0 on Mac OS X Monterey, OpenJDK 19.0.2, with an M2 MacBook Air. The error spawned by copying the example CUDALeftRotation code into a file `test/gpgpu-tut.cu` is:...

[LinalgExt] Added Decomposition of ExpReductionOp to LinAlg

This is part 3 of #21761 (part 2: #22316). In this PR, we: - Add `AggregateOpInterface` to `ExpReductionOp`, to support decomposition. - Add `DecomposeExpReductionPass`, to apply the decomposition. - `DecomposeExpReductionPass`...

[LinalgExt] Added DecomposeAggregatedOp Pass

Implementing this pass came up as a result of discussions in #22561, while we were implementing ExpReduction's implementation of `AggregatedOpInterface`. `AggregatedOpInterface` exposes `decomposeOp` which is called as part of a...