Add 2 extra MLIR affine tests
This commit adds 2 tests: 1. a negative test in which the simplification of expression does not seem satisfactory. This test should be updated once expression simplification works reasonably. 2. a positive test in which floordiv and ceildiv return the same result, properly enforced with CHECK-NOT PiperOrigin-RevId: 210286267
Loading
Please sign in to comment