Mehdi Amini 8a42e2ffc5 [MLIR][Math] Move exponent threshold check before IR creation in PowIStrengthReduction (#188955) ...

PowIStrengthReduction::matchAndRewrite was creating the `one` constant
(using complex::ConstantOp::create for complex::PowiOp) before the
threshold check that guards whether the rewrite is profitable. When the
exponent exceeds the threshold, the pattern returned failure() after IR
was already modified, violating
MLIR_ENABLE_EXPENSIVE_PATTERN_API_CHECKS.

Fix: reorder so the abs(exponent) computation and threshold check occur
before any IR creation.

Assisted-by: Claude Code
Fix a failure present with MLIR_ENABLE_EXPENSIVE_PATTERN_API_CHECKS=ON.

2026-04-15 15:11:35 +02:00

8.8 KiB

Raw Permalink Blame History

View Raw