Make LevelAnalysis/DimensionAnalysis aware of affine.for loop

[ZenithalHourlyRate]

Check #1176.

In tests/Dialect/Secret/Conversions/secret_to_ckks/matmul_loop.mlir, affine is not unrolled so LevelAnalysis can not work. It should not work as we do not have loop invariant kept here. For example, for the loop to carry out correctly in FHE, the invariant is the level is the same, which heavily depends on the body.

More case analysis here. The body is a mul_plain + add, which in different mgmt op placement strategy there will be different level analysis result. For example, if we mod reduce immediately after mul_plain, we get the level reduced by one hence the invariant is not kept. For the current strategy we fortunately kept this invariant.

[github-actions]

This issue has 1 outstanding TODOs:

• tests/Dialect/Secret/Conversions/secret_to_ckks/BUILD:9: make level analysis work for affine loop

This comment was autogenerated by todo-backlinks