heir

heir copied to clipboard

Fix template generator for include-less refactor

1

j2kun

Add design section to documentation

2

Add a `Design` section to the documentation website with the following pages. The purpose of this would be to ramp up someone who already knows a decent amount of MLIR,...

j2kun

Optimize how much to unroll a loop body vs how much yosys can optimize it

3

On the side of gate-bootstrapped CGGI, we had a path where we fully unrolled all loops before running a circuit optimizer, and for large IRs that was infeasibly slow. We...

j2kun

Generalize `generate_lookup_table` to support integer-valued inputs

1

j2kun

Add `tensor_ext.combine` and an associated pattern to replace collapse-insertion-chains

2

From the review on https://github.com/google/heir/pull/471 > In HECO, "left-over" insert/extract ops instead get mapped to the `combine` op which lets you merge two tensors. The `combine` op essentially models the...

j2kun

Determine if nested `AlignRotations` patterns are still necessary

1

While debugging https://github.com/google/heir/issues/578, it seemed to me that the buggy pattern `AlignRotations_RightAssociated_Inner_#InnerOp#_Outer_#OuterOp` (and its related LeftAssociated version) are not doing anything. It seems like they are no-ops, but we might...

j2kun

Determine if `AlignRotations` pattern needs more complex patterns

2

Currently it matches against `(OpA (rotate...) (OpB (rotate...) (rotate...)))` and `(OpA (OpB (rotate...) (rotate...)) (rotate...))`, should it also handle `(OpA (OpB (rotate...) (rotate...)) (OpC (rotate...) (rotate...)))`

j2kun

Determine how to generically identify and handle plaintext-ciphertext ops in `insert-rotate`

3

The gx-kernel HECO example ported from https://github.com/google/heir/pull/587 shows a shortcoming of the existing `insert-rotate` pass. Specifically, it anchors on binary operations that consume the result of extracting values from (1D)...

j2kun

[lwe]: does inverse canonical embedding need non-power-of-two scaling factors?

1

See TODO in LWEAttributes.td

j2kun

Add gadget decomposition IR constructions to the `lwe` dialect.

3

One that showed up while writing https://github.com/google/heir/issues/273 is the parameters for the CGGI gadget, namely the base_log and num_levels parameters that define the gadget decomposition applied during bootstrapping, which impacts...

j2kun