Jeremy Kun

I'm hoping we could just reuse `arith::populateArithToLLVMConversionPatterns` and similar when implementing that interface (only having to add in our poly-to-tensor patterns or what have you), and we may have to...

This should move to upstream MLIR once we upstream PolynomialToStandard.

Looking around more upstream, there's no high-level dialects that implement this interface, just ones that go directly to LLVM. So closing.

Example failures: ## mlir-runner ``` ******************** TEST 'heir :: Dialect/Polynomial/Conversions/heir_polynomial_to_llvm/lower_ntt_runner.mlir' FAILED ******************** Exit Code: 1 Command Output (stdout): -- # RUN: at line 1 heir-opt /private/var/tmp/_bazel_runner/31b3ff210e07fc40bb7ba4b62e323c0a/sandbox/darwin-sandbox/10596/execroot/_main/bazel-out/darwin_arm64-fastbuild/bin/tests/Dialect/Polynomial/Conversions/heir_polynomial_to_llvm/lower_ntt_runner.mlir.test.runfiles/_main/tests/Dialect/Polynomial/Conversions/heir_polynomial_to_llvm/lower_ntt_runner.mlir --heir-polynomial-to-llvm | mlir-runner -e...

Thank you!! I should be able to upstream this next week.

So I wrote a [PDLL tutorial](https://www.jeremykun.com/2024/08/04/mlir-pdll/) about six months ago and I think, if not for one missing feature ([support for arithmetic](https://discourse.llvm.org/t/rfc-add-arithmetic-logical-and-comparison-expressions-into-pdll/78251/1); I asked mgehre if any progress has been...

mgehre got back to me: some work has been done in the Xilinx fork of LLVM: https://github.com/Xilinx/llvm-project/pull/98

Mod_arith is changing infrequently enough that I feel we should just do a hard switch when the IRDL is passing tests. Is there any real blocker to the switch? Is...

Yeah, I think this would be straightforward, and the main question is whether to upstream it. I would upstream it myself but I'm on vacation for a few weeks and...

Ha, yes. I saw the other paper go on IACR but didn't fully understand what it was doing. Then I forgot and when I saw Craig's talk and the discussions...