[qfcc] Find the dagged expression for scales

I'd missed this in the previous commit, which was a good thing, really,
as it turns out this was the trigger of the bug that causes my fancy
zero test to become non-zero. It seems the bug is in either
component_sum or in the extend merging.
This commit is contained in:
Bill Currie 2023-09-29 18:39:33 +09:00
parent f1f87527aa
commit 35ec9062cf

View file

@ -752,6 +752,8 @@ static const expr_t *
apply_scale (type_t *type, const expr_t *expr, const expr_t *prod) apply_scale (type_t *type, const expr_t *expr, const expr_t *prod)
{ {
if (expr && prod) { if (expr && prod) {
expr = fold_constants (expr);
expr = edag_add_expr (expr);
expr = scale_expr (type, expr, prod); expr = scale_expr (type, expr, prod);
} }
return expr; return expr;