Add fuzz tests for affine simplifier.

openxla / xla

A machine learning compiler for GPUs, CPUs, and ML accelerators

Apache License 2.0

2.61k stars 406 forks source link

Closed copybara-service[bot] closed 2 months ago

copybara-service[bot] commented 3 months ago

Add fuzz tests for affine simplifier.

a correctness test that verifies the results match
an idempotency test that verifies repeatedly simplifying an expression does not lead to any further changes.

These tests were used to find reproducers for two issues that I fixed recently (nested sum canonicalization and nested division simplification).