@@ -198,6 +198,28 @@ class ValueBoundsConstraintSet {
std::optional dim1 = std::nullopt,
std::optional dim2 = std::nullopt);
+ /// Traverse the IR starting from the given value/dim and add populate
+ /// constraints as long as th
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/85895
>From b4bab14a9451e0dd1663fcbce5718d053ba68e5a Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Sat, 23 Mar 2024 05:59:33 +
Subject: [PATCH] [mlir][SCF] `ValueBoundsConstraintSet`: Support pre
@@ -575,6 +575,68 @@ ValueBoundsConstraintSet::computeConstantDelta(Value
value1, Value value2,
{{value1, dim1}, {value2, dim2}});
}
+void ValueBoundsConstraintSet::populateConstraints(Value value,
+
https://github.com/dcaballe edited
https://github.com/llvm/llvm-project/pull/85895
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
https://github.com/dcaballe approved this pull request.
LGTM! Just minor nits that you can address before landing. Thanks!
https://github.com/llvm/llvm-project/pull/85895
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://l
@@ -199,6 +199,28 @@ class ValueBoundsConstraintSet {
std::optional dim1 = std::nullopt,
std::optional dim2 = std::nullopt);
+ /// Traverse the IR starting from the given value/dim and add populate
dcaballe wrote:
@@ -575,6 +575,68 @@ ValueBoundsConstraintSet::computeConstantDelta(Value
value1, Value value2,
{{value1, dim1}, {value2, dim2}});
}
+void ValueBoundsConstraintSet::populateConstraints(Value value,
+
@@ -575,6 +575,68 @@ ValueBoundsConstraintSet::computeConstantDelta(Value
value1, Value value2,
{{value1, dim1}, {value2, dim2}});
}
+void ValueBoundsConstraintSet::populateConstraints(Value value,
+
https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/85895
>From 8057ddd7f467891b5fec9c1f7426fd06012453fb Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Fri, 22 Mar 2024 02:03:32 +
Subject: [PATCH] [mlir][SCF] `ValueBoundsConstraintSet`: Support pre
https://github.com/matthias-springer edited
https://github.com/llvm/llvm-project/pull/85895
___
llvm-branch-commits mailing list
llvm-branch-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
10 matches
Mail list logo
