diff options
| author | Rolf Morel <rolf.morel@intel.com> | 2025-10-19 00:48:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-10-18 23:48:23 +0000 |
| commit | 9351ad638be5f5cb2f7de300f0518f5ff0923fbf (patch) | |
| tree | 1c337d7948cc8f390d7d64a745918312138de767 /llvm/test/Analysis/CostModel | |
| parent | 34ed1dcf61d04533f6a919ab659b7dd3aa064e5c (diff) | |
| download | llvm-main.zip llvm-main.tar.gz llvm-main.tar.bz2 | |
By allowing `transform.smt.constrain_params`'s region to yield SMT-vars,
op instances can declare relationships, through constraints, on incoming
params-as-SMT-vars and outgoing SMT-vars-as-params. This makes it
possible to declare that computations on params should be performed.
The semantics are that the yielded SMT-vars should be from any valid
satisfying assignment/model of the constraints in the region.
Diffstat (limited to 'llvm/test/Analysis/CostModel')
0 files changed, 0 insertions, 0 deletions