https://github.com/matthias-springer updated
https://github.com/llvm/llvm-project/pull/86239
>From 3c4adb5458f054634d51e1502736bb3dbebad106 Mon Sep 17 00:00:00 2001
From: Matthias Springer
Date: Sat, 23 Mar 2024 06:02:28 +
Subject: [PATCH] [mlir][SCF][NFC] `ValueBoundsConstraintSet`: Simpli
https://github.com/matthias-springer created
https://github.com/llvm/llvm-project/pull/86239
This commit simplifies the implementation of the `ValueBoundsOpInterface` for
`scf.for` based on the newly added `ValueBoundsConstraintSet::compare` API and
adds additional documentation.
Previously,
llvmbot wrote:
@llvm/pr-subscribers-mlir-scf
Author: Matthias Springer (matthias-springer)
Changes
This commit simplifies the implementation of the `ValueBoundsOpInterface` for
`scf.for` based on the newly added `ValueBoundsConstraintSet::compare` API and
adds additional documentation.
