ff5f8e513c
`removeTrivialRedundancy` first marks duplicate rows redundant, then when multiple rows differ only by a constant term, it removes all but one of them. Since the latter removes all but one duplicate row as well, it is unnecessary (redundant!) to mark duplicate rows redundant. So we remove this step.
Multi-Level Intermediate Representation
See https://mlir.llvm.org/ for more information.