[llvm] 666dc6f - [Attributor] Use a centralized value simplification interface
Johannes Doerfert via llvm-commits
llvm-commits at lists.llvm.org
Thu Jun 17 23:10:52 PDT 2021
Author: Johannes Doerfert
Date: 2021-06-18T01:07:53-05:00
New Revision: 666dc6f1267dfedcd0502a1f8fbd9aafe463e06a
URL: https://github.com/llvm/llvm-project/commit/666dc6f1267dfedcd0502a1f8fbd9aafe463e06a
DIFF: https://github.com/llvm/llvm-project/commit/666dc6f1267dfedcd0502a1f8fbd9aafe463e06a.diff
LOG: [Attributor] Use a centralized value simplification interface
To allow outside AAs that simplify values we need to ensure all value
simplification goes through the Attributor, not AAValueSimplify (or any
of the other AAs we have already like AAPotentialValues). This patch
also introduces an interface for the outside AAs to register
simplification callbacks for an IRPosition. To make this work as
expected we have to pass IRPositions instead of Values in
AAValueSimplify, which makes sense by itself.
Added:
Modified:
llvm/include/llvm/Transforms/IPO/Attributor.h
llvm/lib/Transforms/IPO/Attributor.cpp
llvm/lib/Transforms/IPO/AttributorAttributes.cpp
llvm/test/Transforms/Attributor/IPConstantProp/multiple_callbacks.ll
llvm/test/Transforms/Attributor/IPConstantProp/return-constant.ll
llvm/test/Transforms/Attributor/IPConstantProp/return-constants.ll
llvm/test/Transforms/Attributor/internalize.ll
Removed:
################################################################################
diff --git a/llvm/include/llvm/Transforms/IPO/Attributor.h b/llvm/include/llvm/Transforms/IPO/Attributor.h
index cb8f3cd80226d..539d1fd1e306b 100644
--- a/llvm/include/llvm/Transforms/IPO/Attributor.h
+++ b/llvm/include/llvm/Transforms/IPO/Attributor.h
@@ -1417,6 +1417,39 @@ struct Attributor {
const AbstractAttribute &AA,
bool &UsedAssumedInformation);
+ /// If \p V is assumed simplified, return it, if it is unclear yet,
+ /// return None, otherwise return `nullptr`.
+ Optional<Value *> getAssumedSimplified(const IRPosition &IRP,
+ const AbstractAttribute &AA,
+ bool &UsedAssumedInformation) {
+ return getAssumedSimplified(IRP, &AA, UsedAssumedInformation);
+ }
+
+ /// Register \p CB as a simplification callback.
+ /// `Attributor::getAssumedSimplified` will use these callbacks before
+ /// we it will ask `AAValueSimplify`. It is important to ensure this
+ /// is called before `identifyDefaultAbstractAttributes`, assuming the
+ /// latter is called at all.
+ using SimplifictionCallbackTy = std::function<Optional<Value *>(
+ const IRPosition &, const AbstractAttribute *, bool &)>;
+ void registerSimplificationCallback(const IRPosition &IRP,
+ const SimplifictionCallbackTy &CB) {
+ SimplificationCallbacks[IRP].emplace_back(CB);
+ }
+
+private:
+ /// The vector with all simplification callbacks registered by outside AAs.
+ DenseMap<IRPosition, SmallVector<SimplifictionCallbackTy, 1>>
+ SimplificationCallbacks;
+
+ /// If \p V is assumed simplified, return it, if it is unclear yet,
+ /// return None, otherwise return `nullptr`. Same as the public version
+ /// except that it can be used without recording dependences on any \p AA.
+ Optional<Value *> getAssumedSimplified(const IRPosition &V,
+ const AbstractAttribute *AA,
+ bool &UsedAssumedInformation);
+
+public:
/// Return true if \p AA (or its context instruction) is assumed dead.
///
/// If \p LivenessAA is not provided it is queried.
@@ -3213,11 +3246,6 @@ struct AAValueSimplify : public StateWrapper<BooleanState, AbstractAttribute> {
using Base = StateWrapper<BooleanState, AbstractAttribute>;
AAValueSimplify(const IRPosition &IRP, Attributor &A) : Base(IRP) {}
- /// Return an assumed simplified value if a single candidate is found. If
- /// there cannot be one, return original value. If it is not clear yet, return
- /// the Optional::NoneType.
- virtual Optional<Value *> getAssumedSimplifiedValue(Attributor &A) const = 0;
-
/// Create an abstract attribute view for the position \p IRP.
static AAValueSimplify &createForPosition(const IRPosition &IRP,
Attributor &A);
@@ -3236,6 +3264,16 @@ struct AAValueSimplify : public StateWrapper<BooleanState, AbstractAttribute> {
/// Unique ID (due to the unique address)
static const char ID;
+
+private:
+ /// Return an assumed simplified value if a single candidate is found. If
+ /// there cannot be one, return original value. If it is not clear yet, return
+ /// the Optional::NoneType.
+ ///
+ /// Use `Attributor::getAssumedSimplified` for value simplification.
+ virtual Optional<Value *> getAssumedSimplifiedValue(Attributor &A) const = 0;
+
+ friend struct Attributor;
};
struct AAHeapToStack : public StateWrapper<BooleanState, AbstractAttribute> {
diff --git a/llvm/lib/Transforms/IPO/Attributor.cpp b/llvm/lib/Transforms/IPO/Attributor.cpp
index e8d79fd15f7e7..8d42519cd7617 100644
--- a/llvm/lib/Transforms/IPO/Attributor.cpp
+++ b/llvm/lib/Transforms/IPO/Attributor.cpp
@@ -599,6 +599,43 @@ Attributor::getAssumedConstant(const Value &V, const AbstractAttribute &AA,
return CI;
}
+Optional<Value *>
+Attributor::getAssumedSimplified(const IRPosition &IRP,
+ const AbstractAttribute *AA,
+ bool &UsedAssumedInformation) {
+ // First check all callbacks provided by outside AAs. If any of them returns
+ // a non-null value that is
diff erent from the associated value, or None, we
+ // assume it's simpliied.
+ for (auto &CB : SimplificationCallbacks[IRP]) {
+ Optional<Value *> SimplifiedV = CB(IRP, AA, UsedAssumedInformation);
+ if (!SimplifiedV.hasValue() ||
+ (*SimplifiedV && *SimplifiedV != &IRP.getAssociatedValue()))
+ return SimplifiedV;
+ }
+
+ // If no high-level/outside simplification occured, use AAValueSimplify.
+ const auto &ValueSimplifyAA =
+ getOrCreateAAFor<AAValueSimplify>(IRP, AA, DepClassTy::NONE);
+ Optional<Value *> SimplifiedV =
+ ValueSimplifyAA.getAssumedSimplifiedValue(*this);
+ bool IsKnown = ValueSimplifyAA.isKnown();
+ UsedAssumedInformation |= !IsKnown;
+ if (!SimplifiedV.hasValue()) {
+ if (AA)
+ recordDependence(ValueSimplifyAA, *AA, DepClassTy::OPTIONAL);
+ return llvm::None;
+ }
+ if (*SimplifiedV == nullptr)
+ return const_cast<Value *>(&IRP.getAssociatedValue());
+ if (Value *SimpleV =
+ AA::getWithType(**SimplifiedV, *IRP.getAssociatedType())) {
+ if (AA)
+ recordDependence(ValueSimplifyAA, *AA, DepClassTy::OPTIONAL);
+ return SimpleV;
+ }
+ return const_cast<Value *>(&IRP.getAssociatedValue());
+}
+
Attributor::~Attributor() {
// The abstract attributes are allocated via the BumpPtrAllocator Allocator,
// thus we cannot delete them. We can, and want to, destruct them though.
@@ -2142,8 +2179,11 @@ void Attributor::identifyDefaultAbstractAttributes(Function &F) {
for (Argument &Arg : F.args()) {
IRPosition ArgPos = IRPosition::argument(Arg);
- // Every argument might be simplified.
- getOrCreateAAFor<AAValueSimplify>(ArgPos);
+ // Every argument might be simplified. We have to go through the Attributor
+ // interface though as outside AAs can register custom simplification
+ // callbacks.
+ bool UsedAssumedInformation;
+ getAssumedSimplified(ArgPos, /* AA */ nullptr, UsedAssumedInformation);
// Every argument might be dead.
getOrCreateAAFor<AAIsDead>(ArgPos);
@@ -2215,8 +2255,11 @@ void Attributor::identifyDefaultAbstractAttributes(Function &F) {
// Every call site argument might be dead.
getOrCreateAAFor<AAIsDead>(CBArgPos);
- // Call site argument might be simplified.
- getOrCreateAAFor<AAValueSimplify>(CBArgPos);
+ // Call site argument might be simplified. We have to go through the
+ // Attributor interface though as outside AAs can register custom
+ // simplification callbacks.
+ bool UsedAssumedInformation;
+ getAssumedSimplified(CBArgPos, /* AA */ nullptr, UsedAssumedInformation);
// Every call site argument might be marked "noundef".
getOrCreateAAFor<AANoUndef>(CBArgPos);
diff --git a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
index fe5e5369a4bd4..42f33a5c47bff 100644
--- a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
+++ b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp
@@ -2027,12 +2027,11 @@ struct AAUndefinedBehaviorImpl : public AAUndefinedBehavior {
A.getAAFor<AANoUndef>(*this, CalleeArgumentIRP, DepClassTy::NONE);
if (!NoUndefAA.isKnownNoUndef())
continue;
- auto &ValueSimplifyAA = A.getAAFor<AAValueSimplify>(
- *this, IRPosition::value(*ArgVal), DepClassTy::NONE);
- if (!ValueSimplifyAA.isKnown())
+ bool UsedAssumedInformation = false;
+ Optional<Value *> SimplifiedVal = A.getAssumedSimplified(
+ IRPosition::value(*ArgVal), *this, UsedAssumedInformation);
+ if (UsedAssumedInformation)
continue;
- Optional<Value *> SimplifiedVal =
- ValueSimplifyAA.getAssumedSimplifiedValue(A);
if (!SimplifiedVal.hasValue() ||
isa<UndefValue>(*SimplifiedVal.getValue())) {
KnownUBInsts.insert(&I);
@@ -2196,11 +2195,10 @@ struct AAUndefinedBehaviorImpl : public AAUndefinedBehavior {
// use for specific processing.
Optional<Value *> stopOnUndefOrAssumed(Attributor &A, const Value *V,
Instruction *I) {
- const auto &ValueSimplifyAA = A.getAAFor<AAValueSimplify>(
- *this, IRPosition::value(*V), DepClassTy::REQUIRED);
- Optional<Value *> SimplifiedV =
- ValueSimplifyAA.getAssumedSimplifiedValue(A);
- if (!ValueSimplifyAA.isKnown()) {
+ bool UsedAssumedInformation = false;
+ Optional<Value *> SimplifiedV = A.getAssumedSimplified(
+ IRPosition::value(*V), *this, UsedAssumedInformation);
+ if (UsedAssumedInformation) {
// Don't depend on assumed values.
return llvm::None;
}
@@ -4547,20 +4545,15 @@ struct AAValueSimplifyImpl : AAValueSimplify {
}
/// Helper function for querying AAValueSimplify and updating candicate.
- /// \param QueryingValue Value trying to unify with SimplifiedValue
+ /// \param IRP The value position we are trying to unify with SimplifiedValue
/// \param AccumulatedSimplifiedValue Current simplification result.
static bool checkAndUpdate(Attributor &A, const AbstractAttribute &QueryingAA,
- Value &QueryingValue,
+ const IRPosition &IRP,
Optional<Value *> &AccumulatedSimplifiedValue) {
// FIXME: Add a typecast support.
-
- auto &ValueSimplifyAA = A.getAAFor<AAValueSimplify>(
- QueryingAA,
- IRPosition::value(QueryingValue, QueryingAA.getCallBaseContext()),
- DepClassTy::REQUIRED);
-
+ bool UsedAssumedInformation = false;
Optional<Value *> QueryingValueSimplified =
- ValueSimplifyAA.getAssumedSimplifiedValue(A);
+ A.getAssumedSimplified(IRP, QueryingAA, UsedAssumedInformation);
if (!QueryingValueSimplified.hasValue())
return true;
@@ -4579,7 +4572,7 @@ struct AAValueSimplifyImpl : AAValueSimplify {
isa<UndefValue>(QueryingValueSimplifiedUnwrapped))
return true;
- LLVM_DEBUG(dbgs() << "[ValueSimplify] " << QueryingValue
+ LLVM_DEBUG(dbgs() << "[ValueSimplify] " << IRP.getAssociatedValue()
<< " is assumed to be "
<< QueryingValueSimplifiedUnwrapped << "\n");
@@ -4719,7 +4712,7 @@ struct AAValueSimplifyArgument final : AAValueSimplifyImpl {
if (auto *C = dyn_cast<Constant>(&ArgOp))
if (C->isThreadDependent())
return false;
- return checkAndUpdate(A, *this, ArgOp, SimplifiedAssociatedValue);
+ return checkAndUpdate(A, *this, ACSArgPos, SimplifiedAssociatedValue);
};
// Generate a answer specific to a call site context.
@@ -4756,7 +4749,9 @@ struct AAValueSimplifyReturned : AAValueSimplifyImpl {
auto Before = SimplifiedAssociatedValue;
auto PredForReturned = [&](Value &V) {
- return checkAndUpdate(A, *this, V, SimplifiedAssociatedValue);
+ return checkAndUpdate(A, *this,
+ IRPosition::value(V, getCallBaseContext()),
+ SimplifiedAssociatedValue);
};
if (!A.checkForAllReturnedValues(PredForReturned, *this))
@@ -4911,7 +4906,9 @@ struct AAValueSimplifyFloating : AAValueSimplifyImpl {
<< "\n");
return false;
}
- return checkAndUpdate(A, *this, V, SimplifiedAssociatedValue);
+ return checkAndUpdate(A, *this,
+ IRPosition::value(V, getCallBaseContext()),
+ SimplifiedAssociatedValue);
};
bool Dummy = false;
@@ -8069,9 +8066,9 @@ struct AANoUndefImpl : AANoUndef {
// A position whose simplified value does not have any value is
// considered to be dead. We don't manifest noundef in such positions for
// the same reason above.
- auto &ValueSimplifyAA =
- A.getAAFor<AAValueSimplify>(*this, getIRPosition(), DepClassTy::NONE);
- if (!ValueSimplifyAA.getAssumedSimplifiedValue(A).hasValue())
+ bool UsedAssumedInformation = false;
+ if (!A.getAssumedSimplified(getIRPosition(), *this, UsedAssumedInformation)
+ .hasValue())
return ChangeStatus::UNCHANGED;
return AANoUndef::manifest(A);
}
diff --git a/llvm/test/Transforms/Attributor/IPConstantProp/multiple_callbacks.ll b/llvm/test/Transforms/Attributor/IPConstantProp/multiple_callbacks.ll
index 6dfdbd4f69b8f..354e86130e486 100644
--- a/llvm/test/Transforms/Attributor/IPConstantProp/multiple_callbacks.ll
+++ b/llvm/test/Transforms/Attributor/IPConstantProp/multiple_callbacks.ll
@@ -1,6 +1,6 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
-; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
-; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
+; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=3 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
+; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=3 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
; RUN: opt -attributor-cgscc -enable-new-pm=0 -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_NPM,IS__CGSCC____,IS________OPM,IS__CGSCC_OPM
; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_OPM,IS__CGSCC____,IS________NPM,IS__CGSCC_NPM
;
diff --git a/llvm/test/Transforms/Attributor/IPConstantProp/return-constant.ll b/llvm/test/Transforms/Attributor/IPConstantProp/return-constant.ll
index bca0b85dc9d10..9a316d161183c 100644
--- a/llvm/test/Transforms/Attributor/IPConstantProp/return-constant.ll
+++ b/llvm/test/Transforms/Attributor/IPConstantProp/return-constant.ll
@@ -1,6 +1,6 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
-; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
-; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=1 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
+; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=5 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
+; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=5 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
; RUN: opt -attributor-cgscc -enable-new-pm=0 -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_NPM,IS__CGSCC____,IS________OPM,IS__CGSCC_OPM
; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_OPM,IS__CGSCC____,IS________NPM,IS__CGSCC_NPM
diff --git a/llvm/test/Transforms/Attributor/IPConstantProp/return-constants.ll b/llvm/test/Transforms/Attributor/IPConstantProp/return-constants.ll
index 584ec97b6c55a..3d72c0183f28a 100644
--- a/llvm/test/Transforms/Attributor/IPConstantProp/return-constants.ll
+++ b/llvm/test/Transforms/Attributor/IPConstantProp/return-constants.ll
@@ -1,6 +1,6 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
-; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=7 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
-; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=7 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
+; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=9 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
+; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=9 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
; RUN: opt -attributor-cgscc -enable-new-pm=0 -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_NPM,IS__CGSCC____,IS________OPM,IS__CGSCC_OPM
; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_OPM,IS__CGSCC____,IS________NPM,IS__CGSCC_NPM
diff --git a/llvm/test/Transforms/Attributor/internalize.ll b/llvm/test/Transforms/Attributor/internalize.ll
index 5c2c9cae98317..3a185693ec29a 100644
--- a/llvm/test/Transforms/Attributor/internalize.ll
+++ b/llvm/test/Transforms/Attributor/internalize.ll
@@ -8,8 +8,8 @@
; Deep Wrapper enabled
-; RUN: opt -attributor -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=5 -attributor-allow-deep-wrappers -disable-inlining -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM,CHECK_ENABLED,NOT_CGSCC_NPM_ENABLED,NOT_CGSCC_OPM_ENABLED,NOT_TUNIT_NPM_ENABLED,IS__TUNIT_____ENABLED,IS________OPM_ENABLED,IS__TUNIT_OPM_ENABLED
-; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=5 -attributor-allow-deep-wrappers -disable-inlining -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM,CHECK_ENABLED,NOT_CGSCC_OPM_ENABLED,NOT_CGSCC_NPM_ENABLED,NOT_TUNIT_OPM_ENABLED,IS__TUNIT_____ENABLED,IS________NPM_ENABLED,IS__TUNIT_NPM_ENABLED
+; RUN: opt -attributor -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=6 -attributor-allow-deep-wrappers -disable-inlining -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM,CHECK_ENABLED,NOT_CGSCC_NPM_ENABLED,NOT_CGSCC_OPM_ENABLED,NOT_TUNIT_NPM_ENABLED,IS__TUNIT_____ENABLED,IS________OPM_ENABLED,IS__TUNIT_OPM_ENABLED
+; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=6 -attributor-allow-deep-wrappers -disable-inlining -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM,CHECK_ENABLED,NOT_CGSCC_OPM_ENABLED,NOT_CGSCC_NPM_ENABLED,NOT_TUNIT_OPM_ENABLED,IS__TUNIT_____ENABLED,IS________NPM_ENABLED,IS__TUNIT_NPM_ENABLED
; RUN: opt -attributor-cgscc -attributor-manifest-internal -attributor-annotate-decl-cs -attributor-allow-deep-wrappers -disable-inlining -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_NPM,IS__CGSCC____,IS________OPM,IS__CGSCC_OPM,CHECK_ENABLED,NOT_TUNIT_NPM_ENABLED,NOT_TUNIT_OPM_ENABLED,NOT_CGSCC_NPM_ENABLED,IS__CGSCC_____ENABLED,IS________OPM_ENABLED,IS__CGSCC_OPM_ENABLED
; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal -attributor-annotate-decl-cs -attributor-allow-deep-wrappers -disable-inlining -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_OPM,IS__CGSCC____,IS________NPM,IS__CGSCC_NPM,CHECK_ENABLED,NOT_TUNIT_NPM_ENABLED,NOT_TUNIT_OPM_ENABLED,NOT_CGSCC_OPM_ENABLED,IS__CGSCC_____ENABLED,IS________NPM_ENABLED,IS__CGSCC_NPM_ENABLED
More information about the llvm-commits
mailing list