[llvm-branch-commits] [mlir] [mlir][Interfaces][NFC] `ValueBoundsConstraintSet`: Pass stop condition in the constructor (PR #86099)

https://github.com/matthias-springer updated https://github.com/llvm/llvm-project/pull/86099 >From ad1b2ac46a744887594e13370762939034797d31 Mon Sep 17 00:00:00 2001 From: Matthias Springer Date: Sat, 23 Mar 2024 05:57:33 + Subject: [PATCH] [mlir][Interfaces][NFC]

[llvm-branch-commits] [mlir] [mlir][Interfaces][NFC] `ValueBoundsConstraintSet`: Delete dead code (PR #86098)

https://github.com/matthias-springer updated https://github.com/llvm/llvm-project/pull/86098 >From f94427911043e2f4f8db4ea83800ceea19a5ac39 Mon Sep 17 00:00:00 2001 From: Matthias Springer Date: Sat, 23 Mar 2024 05:55:09 + Subject: [PATCH] [mlir][Interfaces][NFC]

[llvm-branch-commits] [llvm] release/18.x: [LoongArch] Assume no-op addrspacecasts by default (#82332) (PR #86372)

https://github.com/heiher approved this pull request. https://github.com/llvm/llvm-project/pull/86372 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [llvm] release/18.x: [PowerPC] provide CFI for ELF32 to unwind cr2, cr3, cr4 (#83098) (PR #86375)

llvmbot wrote: @kernigh What do you think about merging this PR to the release branch? https://github.com/llvm/llvm-project/pull/86375 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org

[llvm-branch-commits] [llvm] release/18.x: [PowerPC] provide CFI for ELF32 to unwind cr2, cr3, cr4 (#83098) (PR #86375)

https://github.com/llvmbot milestoned https://github.com/llvm/llvm-project/pull/86375 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [llvm] release/18.x: [PowerPC] provide CFI for ELF32 to unwind cr2, cr3, cr4 (#83098) (PR #86375)

https://github.com/llvmbot created https://github.com/llvm/llvm-project/pull/86375 Backport 3196005f6bedbed61a86626a9e4f8fee7437a914 6b70c5d79fe44cbe01b0443454c6952c5b541585 Requested by: @brad0 >From da1ae9f1074981f1414b8685f4ac402156500024 Mon Sep 17 00:00:00 2001 From: Chen Zheng Date:

[llvm-branch-commits] [llvm] release/18.x: [LoongArch] Assume no-op addrspacecasts by default (#82332) (PR #86372)

https://github.com/xen0n approved this pull request. https://github.com/llvm/llvm-project/pull/86372 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [llvm] release/18.x: [LoongArch] Assume no-op addrspacecasts by default (#82332) (PR #86372)

llvmbot wrote: @llvm/pr-subscribers-backend-loongarch Author: None (llvmbot) Changes Backport dd3e0a4643670f33850278ad281a358bbdd04e92 Requested by: @EugeneZelenko --- Full diff: https://github.com/llvm/llvm-project/pull/86372.diff 2 Files Affected: - (modified)

[llvm-branch-commits] [llvm] release/18.x: [LoongArch] Assume no-op addrspacecasts by default (#82332) (PR #86372)

https://github.com/llvmbot created https://github.com/llvm/llvm-project/pull/86372 Backport dd3e0a4643670f33850278ad281a358bbdd04e92 Requested by: @EugeneZelenko >From d4ec456cba02d749ea66ccc24dd5f21ad862425d Mon Sep 17 00:00:00 2001 From: hev Date: Wed, 21 Feb 2024 21:15:17 +0800 Subject:

[llvm-branch-commits] [llvm] release/18.x: [LoongArch] Assume no-op addrspacecasts by default (#82332) (PR #86372)

llvmbot wrote: @heiher What do you think about merging this PR to the release branch? https://github.com/llvm/llvm-project/pull/86372 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org

[llvm-branch-commits] [llvm] release/18.x: [LoongArch] Assume no-op addrspacecasts by default (#82332) (PR #86372)

https://github.com/llvmbot milestoned https://github.com/llvm/llvm-project/pull/86372 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [CIR][NFC] Add scaffolding for the CIR dialect and CIROps.td (PR #86080)

@@ -0,0 +1,46 @@ +//===- CIRTypes.td - CIR dialect types -*- tablegen -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier:

[llvm-branch-commits] [clang] [CIR][NFC] Add scaffolding for the CIR dialect and CIROps.td (PR #86080)

https://github.com/joker-eph edited https://github.com/llvm/llvm-project/pull/86080 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [CIR][NFC] Add scaffolding for the CIR dialect and CIROps.td (PR #86080)

@@ -0,0 +1,46 @@ +//===- CIRTypes.td - CIR dialect types -*- tablegen -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier:

[llvm-branch-commits] [flang] [Flang][OpenMP][MLIR] Initial derived type member map support (PR #82853)

agozillon wrote: Rebased the entire stack on recent upstream changes, there was quite a few changes that meant some sizeable alterations to the Fortran lowering segment of the PR stack, but otherwise it all went smoothly. However, please do point out if you see anything out of the ordinary

[llvm-branch-commits] [flang] [Flang][OpenMP][MLIR] Initial derived type member map support (PR #82853)

https://github.com/agozillon updated https://github.com/llvm/llvm-project/pull/82853 >From 21b05eee943e4f1ad20fcd8f30bd14a0a3317db6 Mon Sep 17 00:00:00 2001 From: Andrew Gozillon Date: Fri, 15 Mar 2024 14:13:30 -0500 Subject: [PATCH] update with minor tidying up Created using spr 1.3.4 ---

[llvm-branch-commits] [flang] [Flang][OpenMP][MLIR] Initial derived type member map support (PR #82853)

https://github.com/agozillon updated https://github.com/llvm/llvm-project/pull/82853 >From 21b05eee943e4f1ad20fcd8f30bd14a0a3317db6 Mon Sep 17 00:00:00 2001 From: Andrew Gozillon Date: Fri, 15 Mar 2024 14:13:30 -0500 Subject: [PATCH] update with minor tidying up Created using spr 1.3.4 ---

[llvm-branch-commits] [OpenMP][MLIR] Extend record member map support for omp dialect to LLVM-IR (PR #82852)

https://github.com/agozillon updated https://github.com/llvm/llvm-project/pull/82852 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [OpenMP][MLIR] Extend record member map support for omp dialect to LLVM-IR (PR #82852)

https://github.com/agozillon updated https://github.com/llvm/llvm-project/pull/82852 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [OpenMP][MLIR] Add new arguments to map_info to help support record type maps (PR #82851)

https://github.com/agozillon updated https://github.com/llvm/llvm-project/pull/82851 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [OpenMP][MLIR] Add new arguments to map_info to help support record type maps (PR #82851)

https://github.com/agozillon updated https://github.com/llvm/llvm-project/pull/82851 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [BOLT] Add secondary entry points to BAT (PR #86218)

https://github.com/aaupov edited https://github.com/llvm/llvm-project/pull/86218 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [llvm] [BOLT] Add CallSiteInfo entries in YAMLBAT (PR #76896)

https://github.com/aaupov edited https://github.com/llvm/llvm-project/pull/76896 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [BOLT] Emit intra-function control flow in YAMLBAT (PR #76911)

https://github.com/rafaelauler approved this pull request. LG https://github.com/llvm/llvm-project/pull/76911 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [BOLT] Use BAT callbacks in YAMLProfileWriter::convert (PR #86219)

https://github.com/aaupov edited https://github.com/llvm/llvm-project/pull/86219 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [llvm] [BOLT] Add CallSiteInfo entries in YAMLBAT (PR #76896)

https://github.com/rafaelauler approved this pull request. LG https://github.com/llvm/llvm-project/pull/76896 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [BOLT] Emit intra-function control flow in YAMLBAT (PR #76911)

https://github.com/aaupov edited https://github.com/llvm/llvm-project/pull/76911 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] WIP MTE stack record (PR #86356)

https://github.com/fmayer created https://github.com/llvm/llvm-project/pull/86356 None ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [BOLT] Emit intra-function control flow in YAMLBAT (PR #76911)

@@ -128,6 +128,26 @@ class BoltAddressTranslation { /// Returns BB index by function output address (after BOLT) and basic block /// input offset. unsigned getBBIndex(uint64_t FuncOutputAddress, uint32_t BBInputOffset) const; + + using BBHashMap = std::map>; + ///

[llvm-branch-commits] [tsan] Process SIGPROF as sync signal only if thread is alive (PR #86343)

https://github.com/thurstond approved this pull request. https://github.com/llvm/llvm-project/pull/86343 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [tsan] Process SIGPROF as sync sygnal only if theread is alive (PR #86343)

https://github.com/vitalybuka created https://github.com/llvm/llvm-project/pull/86343 Otherwise it may crash too early. This is followup to #85188 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org

[llvm-branch-commits] [tsan] Set `thr->is_inited` after SlotAttachAndLock (PR #86342)

https://github.com/thurstond approved this pull request. https://github.com/llvm/llvm-project/pull/86342 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [tsan] Process SIGPROF as sync signal only if thread is alive (PR #86343)

https://github.com/vitalybuka edited https://github.com/llvm/llvm-project/pull/86343 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [tsan] Set `thr->is_inited` after SlotAttachAndLock (PR #86342)

llvmbot wrote: @llvm/pr-subscribers-compiler-rt-sanitizer Author: Vitaly Buka (vitalybuka) Changes Almost NFC. This is symmetrical to `ThreadFinish`, which resets the slot after `is_inited`. --- Full diff: https://github.com/llvm/llvm-project/pull/86342.diff 1 Files Affected: -

[llvm-branch-commits] [tsan] Process SIGPROF as sync sygnal only if theread is alive (PR #86343)

llvmbot wrote: @llvm/pr-subscribers-compiler-rt-sanitizer Author: Vitaly Buka (vitalybuka) Changes Otherwise it may crash too early. This is followup to #85188 --- Full diff: https://github.com/llvm/llvm-project/pull/86343.diff 1 Files Affected: - (modified)

[llvm-branch-commits] [tsan] Set `thr->is_inited` after SlotAttachAndLock (PR #86342)

https://github.com/vitalybuka created https://github.com/llvm/llvm-project/pull/86342 Almost NFC. This is symmetrical to `ThreadFinish`, which resets the slot after `is_inited`. ___ llvm-branch-commits mailing list

[llvm-branch-commits] [lld] [llvm][lld][RISCV] Support x3_reg_usage (PR #84598)

https://github.com/ilovepi updated https://github.com/llvm/llvm-project/pull/84598 >From 7c9298eea6d8239f9afedc3d6aabb1ec0f71e273 Mon Sep 17 00:00:00 2001 From: Paul Kirth Date: Mon, 11 Mar 2024 15:35:59 -0700 Subject: [PATCH 1/2] Update callsite parameter Created using spr 1.3.4 ---

[llvm-branch-commits] [llvm] ef6d1ec - Bump version to 18.1.3 (#86168)

Author: Tom Stellard Date: 2024-03-22T11:44:29-07:00 New Revision: ef6d1ec07c693352c4a60dd58db08d2d8558f6ea URL: https://github.com/llvm/llvm-project/commit/ef6d1ec07c693352c4a60dd58db08d2d8558f6ea DIFF: https://github.com/llvm/llvm-project/commit/ef6d1ec07c693352c4a60dd58db08d2d8558f6ea.diff

[llvm-branch-commits] [llvm] Bump version to 18.1.3 (PR #86168)

https://github.com/tstellar closed https://github.com/llvm/llvm-project/pull/86168 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [lld] [llvm][lld][RISCV] Support x3_reg_usage (PR #84598)

https://github.com/ilovepi updated https://github.com/llvm/llvm-project/pull/84598 >From 7c9298eea6d8239f9afedc3d6aabb1ec0f71e273 Mon Sep 17 00:00:00 2001 From: Paul Kirth Date: Mon, 11 Mar 2024 15:35:59 -0700 Subject: [PATCH] Update callsite parameter Created using spr 1.3.4 ---

[llvm-branch-commits] [lld] [llvm][lld][RISCV] Support x3_reg_usage (PR #84598)

https://github.com/ilovepi updated https://github.com/llvm/llvm-project/pull/84598 >From 7c9298eea6d8239f9afedc3d6aabb1ec0f71e273 Mon Sep 17 00:00:00 2001 From: Paul Kirth Date: Mon, 11 Mar 2024 15:35:59 -0700 Subject: [PATCH] Update callsite parameter Created using spr 1.3.4 ---

[llvm-branch-commits] [lld] [RISCV][lld] Set the type of TLSDESC relocation's referenced local symbol to STT_NOTYPE (PR #85817)

https://github.com/ilovepi updated https://github.com/llvm/llvm-project/pull/85817 >From 123c0bdd085169ce7d63c96fc3c62cf6c0bc6d45 Mon Sep 17 00:00:00 2001 From: Paul Kirth Date: Tue, 19 Mar 2024 16:50:05 + Subject: [PATCH 1/2] Remove unrelated whitespace change Created using spr 1.3.4 ---

[llvm-branch-commits] [lld] [RISCV][lld] Set the type of TLSDESC relocation's referenced local symbol to STT_NOTYPE (PR #85817)

https://github.com/ilovepi edited https://github.com/llvm/llvm-project/pull/85817 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [lld] [lld] Fix handling of RISCV TLSDESC relocations (PR #85817)

@@ -30,10 +30,10 @@ # RUN: llvm-objdump --no-show-raw-insn -M no-aliases -h -d a.32.ie | FileCheck %s --check-prefix=IE32 # RUN: llvm-mc -triple=riscv64 -filetype=obj d.s -o d.64.o -# RUN: not ld.lld -shared -soname=d.64.so -o d.64.so d.64.o 2>&1 | FileCheck %s

[llvm-branch-commits] [BOLT] Emit intra-function control flow in YAMLBAT (PR #76911)

@@ -128,6 +128,26 @@ class BoltAddressTranslation { /// Returns BB index by function output address (after BOLT) and basic block /// input offset. unsigned getBBIndex(uint64_t FuncOutputAddress, uint32_t BBInputOffset) const; + + using BBHashMap = std::map>; + ///

[llvm-branch-commits] [BOLT] Add number of basic blocks to BAT (PR #86045)

https://github.com/aaupov edited https://github.com/llvm/llvm-project/pull/86045 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [Serialization] Code cleanups and polish 83233 (PR #83237)

ilya-biryukov wrote: Btw, if I don't respond timely to these requests and you need an urgent reaction, feel free to ping me via email at ibiryu...@google.com. We heavily use Clang header modules internally at Google and we are really interested in helping to discover and prevent the module

[llvm-branch-commits] [clang] [Serialization] Code cleanups and polish 83233 (PR #83237)

ilya-biryukov wrote: We'll pick this up, I'll get back with the testing results. (Sorry for the delayed response) https://github.com/llvm/llvm-project/pull/83237 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org

[llvm-branch-commits] [clang] [CIR][NFC] Add scaffolding for the CIR dialect and CIROps.td (PR #86080)

@@ -0,0 +1,18 @@ +//===-- CIROps.td - CIR dialect definition -*- tablegen -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier:

[llvm-branch-commits] [mlir] [mlir][Interfaces][NFC] `ValueBoundsConstraintSet`: Pass stop condition in the constructor (PR #86099)

https://github.com/MacDue approved this pull request. https://github.com/llvm/llvm-project/pull/86099 ___ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits

[llvm-branch-commits] [clang] [CIR][NFC] Add scaffolding for the CIR dialect and CIROps.td (PR #86080)

@@ -0,0 +1,46 @@ +//===- CIRTypes.td - CIR dialect types -*- tablegen -*-===// +// +// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. +// See https://llvm.org/LICENSE.txt for license information. +// SPDX-License-Identifier:

[llvm-branch-commits] [libcxx] [libc++][TZDB] Adds local_info formatter. (PR #86256)

https://github.com/mordante updated https://github.com/llvm/llvm-project/pull/86256 >From 601338a04e28e356f0d9b90448ec2550f8870783 Mon Sep 17 00:00:00 2001 From: Mark de Wever Date: Thu, 14 Mar 2024 21:10:58 +0100 Subject: [PATCH] [libc++][TZDB] Adds local_info formatter. Note the code using

[llvm-branch-commits] [libcxx] [libc++][TZDB] Adds local_info formatter. (PR #86256)

https://github.com/mordante updated https://github.com/llvm/llvm-project/pull/86256 >From 358347b163202b27b724543727d7602b4c4a19a8 Mon Sep 17 00:00:00 2001 From: Mark de Wever Date: Thu, 14 Mar 2024 21:10:58 +0100 Subject: [PATCH] [libc++][TZDB] Adds local_info formatter. Note the code using

[llvm-branch-commits] [libcxx] [libc++][TZDB] Adds local_info formatter. (PR #86256)

llvmbot wrote: @llvm/pr-subscribers-libcxx Author: Mark de Wever (mordante) Changes This adds the local_info type and its formatting options. The usage of the local_info object will be done in separate patches. Implements parts of: - P0355 Extending to Calendars and Time Zones - P1361

[llvm-branch-commits] [libcxx] [libc++][TZDB] Adds local_info formatter. (PR #86256)

https://github.com/mordante created https://github.com/llvm/llvm-project/pull/86256 This adds the local_info type and its formatting options. The usage of the local_info object will be done in separate patches. Implements parts of: - P0355 Extending to Calendars and Time Zones - P1361

[llvm-branch-commits] [mlir] [mlir][SCF] `ValueBoundsConstraintSet`: Support `scf.if` (branches) (PR #85895)

@@ -575,6 +575,68 @@ ValueBoundsConstraintSet::computeConstantDelta(Value value1, Value value2, {{value1, dim1}, {value2, dim2}}); } +void ValueBoundsConstraintSet::populateConstraints(Value value, +

[llvm-branch-commits] [mlir] [mlir][SCF] `ValueBoundsConstraintSet`: Support `scf.if` (branches) (PR #85895)

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

[llvm-branch-commits] [mlir] [mlir][SCF] `ValueBoundsConstraintSet`: Support `scf.if` (branches) (PR #85895)

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

[llvm-branch-commits] [mlir] [mlir][SCF] `ValueBoundsConstraintSet`: Support `scf.if` (branches) (PR #85895)

@@ -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

[llvm-branch-commits] [mlir] [mlir][SCF] `ValueBoundsConstraintSet`: Support `scf.if` (branches) (PR #85895)

@@ -575,6 +575,68 @@ ValueBoundsConstraintSet::computeConstantDelta(Value value1, Value value2, {{value1, dim1}, {value2, dim2}}); } +void ValueBoundsConstraintSet::populateConstraints(Value value, +

[llvm-branch-commits] [mlir] [mlir][SCF] `ValueBoundsConstraintSet`: Support `scf.if` (branches) (PR #85895)

@@ -575,6 +575,68 @@ ValueBoundsConstraintSet::computeConstantDelta(Value value1, Value value2, {{value1, dim1}, {value2, dim2}}); } +void ValueBoundsConstraintSet::populateConstraints(Value value, +