fix ApplyNativeConstraint result equality depth check

jumerckx · jumerckx · commit 6c93f9eacc94 · 2025-10-07T14:33:25.000+02:00
RE: llvm/llvm-project#162265
diff --git a/xdsl/transforms/convert_pdl_to_pdl_interp/conversion.py b/xdsl/transforms/convert_pdl_to_pdl_interp/conversion.py
@@ -465,7 +465,7 @@ def extract_non_tree_predicates(
                             # Add equality constraint if result already has a position
                             deeper, shallower = (
                                 (constraint_pos, existing)
-                                if constraint_pos.get_operation_depth()
+                                if furthest_pos.get_operation_depth()
                                 > existing.get_operation_depth()
                                 else (existing, constraint_pos)
                             )

Original file line number	Diff line number	Diff line change
`@@ -465,7 +465,7 @@ def extract_non_tree_predicates(`
`465`	`465`	`# Add equality constraint if result already has a position`
`466`	`466`	`deeper, shallower = (`
`467`	`467`	`(constraint_pos, existing)`
`468`		`- if constraint_pos.get_operation_depth()`
	`468`	`+ if furthest_pos.get_operation_depth()`
`469`	`469`	`> existing.get_operation_depth()`
`470`	`470`	`else (existing, constraint_pos)`
`471`	`471`	`)`