[CVP] Handle use-site conditions in domain-based folds
authorNikita Popov <npopov@redhat.com>
Tue, 17 Jan 2023 15:22:57 +0000 (16:22 +0100)
committerNikita Popov <npopov@redhat.com>
Tue, 17 Jan 2023 15:35:18 +0000 (16:35 +0100)
commita444fe07dd27580a3e8199831a27f5faa90a423e
treea65ef0df9c29f16dcc8eedec2b4149de38b41e34
parent12cb1cb3720de8d164196010123ce1a8901d8122
[CVP] Handle use-site conditions in domain-based folds

As a side-effect, this switchem them to use getConstantRange() rather
than getPredicateAt(). getPredicateAt() is not supposed to be more
powerful than getConstantRange() for non-equality comparisons (as
long as block values are used).
llvm/lib/Transforms/Scalar/CorrelatedValuePropagation.cpp
llvm/test/Transforms/CorrelatedValuePropagation/cond-at-use.ll