forked from OSchip/llvm-project
[Attributor][FIX] Use liveness information of the right function
When we use liveness for edges during the `genericValueTraversal` we need to make sure to use the AAIsDead of the correct function. This patch adds the proper logic and some simple caching scheme. We also add an assertion to the `isEdgeDead` call to make sure future misuse is detected earlier. Fixes https://github.com/llvm/llvm-project/issues/53872
This commit is contained in:
parent
48a31c8f42
commit
668c5c688b
llvm
lib/Transforms/IPO
test/Transforms/Attributor
|
@ -265,13 +265,18 @@ static bool genericValueTraversal(
|
|||
function_ref<Value *(Value *)> StripCB = nullptr,
|
||||
bool Intraprocedural = false) {
|
||||
|
||||
const AAIsDead *LivenessAA = nullptr;
|
||||
if (IRP.getAnchorScope())
|
||||
LivenessAA = &A.getAAFor<AAIsDead>(
|
||||
QueryingAA,
|
||||
IRPosition::function(*IRP.getAnchorScope(), IRP.getCallBaseContext()),
|
||||
DepClassTy::NONE);
|
||||
bool AnyDead = false;
|
||||
struct LivenessInfo {
|
||||
const AAIsDead *LivenessAA = nullptr;
|
||||
bool AnyDead = false;
|
||||
};
|
||||
DenseMap<const Function *, LivenessInfo> LivenessAAs;
|
||||
auto GetLivenessInfo = [&](const Function &F) -> LivenessInfo & {
|
||||
LivenessInfo &LI = LivenessAAs[&F];
|
||||
if (!LI.LivenessAA)
|
||||
LI.LivenessAA = &A.getAAFor<AAIsDead>(QueryingAA, IRPosition::function(F),
|
||||
DepClassTy::NONE);
|
||||
return LI;
|
||||
};
|
||||
|
||||
Value *InitialV = &IRP.getAssociatedValue();
|
||||
using Item = std::pair<Value *, const Instruction *>;
|
||||
|
@ -341,13 +346,12 @@ static bool genericValueTraversal(
|
|||
|
||||
// Look through phi nodes, visit all live operands.
|
||||
if (auto *PHI = dyn_cast<PHINode>(V)) {
|
||||
assert(LivenessAA &&
|
||||
"Expected liveness in the presence of instructions!");
|
||||
LivenessInfo &LI = GetLivenessInfo(*PHI->getFunction());
|
||||
for (unsigned u = 0, e = PHI->getNumIncomingValues(); u < e; u++) {
|
||||
BasicBlock *IncomingBB = PHI->getIncomingBlock(u);
|
||||
if (LivenessAA->isEdgeDead(IncomingBB, PHI->getParent())) {
|
||||
AnyDead = true;
|
||||
UsedAssumedInformation |= !LivenessAA->isAtFixpoint();
|
||||
if (LI.LivenessAA->isEdgeDead(IncomingBB, PHI->getParent())) {
|
||||
LI.AnyDead = true;
|
||||
UsedAssumedInformation |= !LI.LivenessAA->isAtFixpoint();
|
||||
continue;
|
||||
}
|
||||
Worklist.push_back(
|
||||
|
@ -401,8 +405,10 @@ static bool genericValueTraversal(
|
|||
} while (!Worklist.empty());
|
||||
|
||||
// If we actually used liveness information so we have to record a dependence.
|
||||
if (AnyDead)
|
||||
A.recordDependence(*LivenessAA, QueryingAA, DepClassTy::OPTIONAL);
|
||||
for (auto &It : LivenessAAs)
|
||||
if (It.second.AnyDead)
|
||||
A.recordDependence(*It.second.LivenessAA, QueryingAA,
|
||||
DepClassTy::OPTIONAL);
|
||||
|
||||
// All values have been visited.
|
||||
return true;
|
||||
|
@ -1230,11 +1236,13 @@ struct AAPointerInfoImpl
|
|||
// Run the user callback on all writes we cannot skip and return if that
|
||||
// succeeded for all or not.
|
||||
unsigned NumInterferingWrites = InterferingWrites.size();
|
||||
for (auto &It : InterferingWrites)
|
||||
for (auto &It : InterferingWrites) {
|
||||
if (!DT || NumInterferingWrites > MaxInterferingWrites ||
|
||||
!CanSkipAccess(*It.first, It.second))
|
||||
!CanSkipAccess(*It.first, It.second)) {
|
||||
if (!UserCB(*It.first, It.second))
|
||||
return false;
|
||||
}
|
||||
}
|
||||
return true;
|
||||
}
|
||||
|
||||
|
@ -3821,6 +3829,9 @@ struct AAIsDeadFunction : public AAIsDead {
|
|||
ChangeStatus updateImpl(Attributor &A) override;
|
||||
|
||||
bool isEdgeDead(const BasicBlock *From, const BasicBlock *To) const override {
|
||||
assert(From->getParent() == getAnchorScope() &&
|
||||
To->getParent() == getAnchorScope() &&
|
||||
"Used AAIsDead of the wrong function");
|
||||
return isValidState() && !AssumedLiveEdges.count(std::make_pair(From, To));
|
||||
}
|
||||
|
||||
|
|
|
@ -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=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 -enable-new-pm=0 -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=2 -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=2 -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
|
||||
|
||||
|
|
|
@ -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=8 -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=8 -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=2 -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=2 -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
|
||||
|
||||
|
|
|
@ -171,24 +171,30 @@ define internal i8* @f2(i8* readnone %0) local_unnamed_addr #0 {
|
|||
; IS__CGSCC_OPM: Function Attrs: noinline nounwind uwtable
|
||||
; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@f2
|
||||
; IS__CGSCC_OPM-SAME: (i8* readnone [[TMP0:%.*]]) local_unnamed_addr #[[ATTR2:[0-9]+]] {
|
||||
; IS__CGSCC_OPM-NEXT: unreachable
|
||||
; IS__CGSCC_OPM: 2:
|
||||
; IS__CGSCC_OPM-NEXT: unreachable
|
||||
; IS__CGSCC_OPM-NEXT: [[TMP2:%.*]] = icmp eq i8* [[TMP0]], null
|
||||
; IS__CGSCC_OPM-NEXT: br i1 [[TMP2]], label [[TMP4:%.*]], label [[TMP3:%.*]]
|
||||
; IS__CGSCC_OPM: 3:
|
||||
; IS__CGSCC_OPM-NEXT: unreachable
|
||||
; IS__CGSCC_OPM-NEXT: br label [[TMP6:%.*]]
|
||||
; IS__CGSCC_OPM: 4:
|
||||
; IS__CGSCC_OPM-NEXT: unreachable
|
||||
; IS__CGSCC_OPM-NEXT: [[TMP5:%.*]] = tail call i8* @f3(i8* nonnull @a2)
|
||||
; IS__CGSCC_OPM-NEXT: br label [[TMP6]]
|
||||
; IS__CGSCC_OPM: 6:
|
||||
; IS__CGSCC_OPM-NEXT: [[TMP7:%.*]] = phi i8* [ undef, [[TMP3]] ], [ [[TMP5]], [[TMP4]] ]
|
||||
; IS__CGSCC_OPM-NEXT: ret i8* [[TMP7]]
|
||||
;
|
||||
; IS__CGSCC_NPM: Function Attrs: noinline nounwind uwtable
|
||||
; IS__CGSCC_NPM: Function Attrs: noinline norecurse nounwind uwtable
|
||||
; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@f2
|
||||
; IS__CGSCC_NPM-SAME: (i8* readnone [[TMP0:%.*]]) local_unnamed_addr #[[ATTR1:[0-9]+]] {
|
||||
; IS__CGSCC_NPM-NEXT: unreachable
|
||||
; IS__CGSCC_NPM: 2:
|
||||
; IS__CGSCC_NPM-NEXT: unreachable
|
||||
; IS__CGSCC_NPM-NEXT: [[TMP2:%.*]] = icmp eq i8* [[TMP0]], null
|
||||
; IS__CGSCC_NPM-NEXT: br i1 [[TMP2]], label [[TMP4:%.*]], label [[TMP3:%.*]]
|
||||
; IS__CGSCC_NPM: 3:
|
||||
; IS__CGSCC_NPM-NEXT: unreachable
|
||||
; IS__CGSCC_NPM-NEXT: br label [[TMP6:%.*]]
|
||||
; IS__CGSCC_NPM: 4:
|
||||
; IS__CGSCC_NPM-NEXT: unreachable
|
||||
; IS__CGSCC_NPM-NEXT: [[TMP5:%.*]] = tail call i8* @f3()
|
||||
; IS__CGSCC_NPM-NEXT: br label [[TMP6]]
|
||||
; IS__CGSCC_NPM: 6:
|
||||
; IS__CGSCC_NPM-NEXT: [[TMP7:%.*]] = phi i8* [ undef, [[TMP3]] ], [ @a1, [[TMP4]] ]
|
||||
; IS__CGSCC_NPM-NEXT: ret i8* [[TMP7]]
|
||||
;
|
||||
%2 = icmp eq i8* %0, null
|
||||
br i1 %2, label %5, label %3
|
||||
|
@ -211,21 +217,23 @@ define internal i8* @f2(i8* readnone %0) local_unnamed_addr #0 {
|
|||
define internal i8* @f3(i8* readnone %0) local_unnamed_addr #0 {
|
||||
; IS__CGSCC_OPM: Function Attrs: noinline nounwind uwtable
|
||||
; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@f3
|
||||
; IS__CGSCC_OPM-SAME: (i8* nonnull readnone [[TMP0:%.*]]) local_unnamed_addr #[[ATTR2]] {
|
||||
; IS__CGSCC_OPM-NEXT: br label [[TMP3:%.*]]
|
||||
; IS__CGSCC_OPM: 2:
|
||||
; IS__CGSCC_OPM-NEXT: unreachable
|
||||
; IS__CGSCC_OPM-SAME: (i8* readnone [[TMP0:%.*]]) local_unnamed_addr #[[ATTR2]] {
|
||||
; IS__CGSCC_OPM-NEXT: [[TMP2:%.*]] = icmp eq i8* [[TMP0]], null
|
||||
; IS__CGSCC_OPM-NEXT: br i1 [[TMP2]], label [[TMP3:%.*]], label [[TMP4:%.*]]
|
||||
; IS__CGSCC_OPM: 3:
|
||||
; IS__CGSCC_OPM-NEXT: ret i8* @a1
|
||||
; IS__CGSCC_OPM-NEXT: br label [[TMP4]]
|
||||
; IS__CGSCC_OPM: 4:
|
||||
; IS__CGSCC_OPM-NEXT: [[TMP5:%.*]] = phi i8* [ @a2, [[TMP3]] ], [ @a1, [[TMP1:%.*]] ]
|
||||
; IS__CGSCC_OPM-NEXT: ret i8* [[TMP5]]
|
||||
;
|
||||
; IS__CGSCC_NPM: Function Attrs: noinline nounwind uwtable
|
||||
; IS__CGSCC_NPM: Function Attrs: nofree noinline norecurse nosync nounwind readnone willreturn uwtable
|
||||
; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@f3
|
||||
; IS__CGSCC_NPM-SAME: (i8* nonnull readnone [[TMP0:%.*]]) local_unnamed_addr #[[ATTR1]] {
|
||||
; IS__CGSCC_NPM-NEXT: br label [[TMP3:%.*]]
|
||||
; IS__CGSCC_NPM: 2:
|
||||
; IS__CGSCC_NPM-SAME: () local_unnamed_addr #[[ATTR0]] {
|
||||
; IS__CGSCC_NPM-NEXT: br label [[TMP2:%.*]]
|
||||
; IS__CGSCC_NPM: 1:
|
||||
; IS__CGSCC_NPM-NEXT: unreachable
|
||||
; IS__CGSCC_NPM: 3:
|
||||
; IS__CGSCC_NPM-NEXT: ret i8* @a1
|
||||
; IS__CGSCC_NPM: 2:
|
||||
; IS__CGSCC_NPM-NEXT: ret i8* undef
|
||||
;
|
||||
%2 = icmp eq i8* %0, null
|
||||
br i1 %2, label %3, label %5
|
||||
|
@ -292,24 +300,30 @@ define internal i8* @f2b(i8* readnone %0) local_unnamed_addr #0 {
|
|||
; IS__CGSCC_OPM: Function Attrs: noinline nounwind uwtable
|
||||
; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@f2b
|
||||
; IS__CGSCC_OPM-SAME: (i8* readnone [[TMP0:%.*]]) local_unnamed_addr #[[ATTR2]] {
|
||||
; IS__CGSCC_OPM-NEXT: unreachable
|
||||
; IS__CGSCC_OPM: 2:
|
||||
; IS__CGSCC_OPM-NEXT: unreachable
|
||||
; IS__CGSCC_OPM-NEXT: [[TMP2:%.*]] = icmp eq i8* [[TMP0]], null
|
||||
; IS__CGSCC_OPM-NEXT: br i1 [[TMP2]], label [[TMP4:%.*]], label [[TMP3:%.*]]
|
||||
; IS__CGSCC_OPM: 3:
|
||||
; IS__CGSCC_OPM-NEXT: unreachable
|
||||
; IS__CGSCC_OPM-NEXT: br label [[TMP6:%.*]]
|
||||
; IS__CGSCC_OPM: 4:
|
||||
; IS__CGSCC_OPM-NEXT: unreachable
|
||||
; IS__CGSCC_OPM-NEXT: [[TMP5:%.*]] = tail call i8* @f3b(i8* nonnull @a2)
|
||||
; IS__CGSCC_OPM-NEXT: br label [[TMP6]]
|
||||
; IS__CGSCC_OPM: 6:
|
||||
; IS__CGSCC_OPM-NEXT: [[TMP7:%.*]] = phi i8* [ undef, [[TMP3]] ], [ [[TMP5]], [[TMP4]] ]
|
||||
; IS__CGSCC_OPM-NEXT: ret i8* [[TMP7]]
|
||||
;
|
||||
; IS__CGSCC_NPM: Function Attrs: noinline nounwind uwtable
|
||||
; IS__CGSCC_NPM: Function Attrs: noinline norecurse nounwind uwtable
|
||||
; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@f2b
|
||||
; IS__CGSCC_NPM-SAME: (i8* readnone [[TMP0:%.*]]) local_unnamed_addr #[[ATTR1]] {
|
||||
; IS__CGSCC_NPM-NEXT: unreachable
|
||||
; IS__CGSCC_NPM: 2:
|
||||
; IS__CGSCC_NPM-NEXT: unreachable
|
||||
; IS__CGSCC_NPM-NEXT: [[TMP2:%.*]] = icmp eq i8* [[TMP0]], null
|
||||
; IS__CGSCC_NPM-NEXT: br i1 [[TMP2]], label [[TMP4:%.*]], label [[TMP3:%.*]]
|
||||
; IS__CGSCC_NPM: 3:
|
||||
; IS__CGSCC_NPM-NEXT: unreachable
|
||||
; IS__CGSCC_NPM-NEXT: br label [[TMP6:%.*]]
|
||||
; IS__CGSCC_NPM: 4:
|
||||
; IS__CGSCC_NPM-NEXT: unreachable
|
||||
; IS__CGSCC_NPM-NEXT: [[TMP5:%.*]] = tail call i8* @f3b()
|
||||
; IS__CGSCC_NPM-NEXT: br label [[TMP6]]
|
||||
; IS__CGSCC_NPM: 6:
|
||||
; IS__CGSCC_NPM-NEXT: [[TMP7:%.*]] = phi i8* [ undef, [[TMP3]] ], [ @a1, [[TMP4]] ]
|
||||
; IS__CGSCC_NPM-NEXT: ret i8* [[TMP7]]
|
||||
;
|
||||
%2 = icmp eq i8* %0, null
|
||||
br i1 %2, label %5, label %3
|
||||
|
@ -333,21 +347,23 @@ define internal i8* @f3b(i8* readnone %0) local_unnamed_addr #0 {
|
|||
;
|
||||
; IS__CGSCC_OPM: Function Attrs: noinline nounwind uwtable
|
||||
; IS__CGSCC_OPM-LABEL: define {{[^@]+}}@f3b
|
||||
; IS__CGSCC_OPM-SAME: (i8* nonnull readnone [[TMP0:%.*]]) local_unnamed_addr #[[ATTR2]] {
|
||||
; IS__CGSCC_OPM-NEXT: br label [[TMP3:%.*]]
|
||||
; IS__CGSCC_OPM: 2:
|
||||
; IS__CGSCC_OPM-NEXT: unreachable
|
||||
; IS__CGSCC_OPM-SAME: (i8* readnone [[TMP0:%.*]]) local_unnamed_addr #[[ATTR2]] {
|
||||
; IS__CGSCC_OPM-NEXT: [[TMP2:%.*]] = icmp eq i8* [[TMP0]], null
|
||||
; IS__CGSCC_OPM-NEXT: br i1 [[TMP2]], label [[TMP3:%.*]], label [[TMP4:%.*]]
|
||||
; IS__CGSCC_OPM: 3:
|
||||
; IS__CGSCC_OPM-NEXT: ret i8* @a1
|
||||
; IS__CGSCC_OPM-NEXT: br label [[TMP4]]
|
||||
; IS__CGSCC_OPM: 4:
|
||||
; IS__CGSCC_OPM-NEXT: [[TMP5:%.*]] = phi i8* [ @a2, [[TMP3]] ], [ @a1, [[TMP1:%.*]] ]
|
||||
; IS__CGSCC_OPM-NEXT: ret i8* [[TMP5]]
|
||||
;
|
||||
; IS__CGSCC_NPM: Function Attrs: noinline nounwind uwtable
|
||||
; IS__CGSCC_NPM: Function Attrs: nofree noinline norecurse nosync nounwind readnone willreturn uwtable
|
||||
; IS__CGSCC_NPM-LABEL: define {{[^@]+}}@f3b
|
||||
; IS__CGSCC_NPM-SAME: (i8* nonnull readnone [[TMP0:%.*]]) local_unnamed_addr #[[ATTR1]] {
|
||||
; IS__CGSCC_NPM-NEXT: br label [[TMP3:%.*]]
|
||||
; IS__CGSCC_NPM: 2:
|
||||
; IS__CGSCC_NPM-SAME: () local_unnamed_addr #[[ATTR0]] {
|
||||
; IS__CGSCC_NPM-NEXT: br label [[TMP2:%.*]]
|
||||
; IS__CGSCC_NPM: 1:
|
||||
; IS__CGSCC_NPM-NEXT: unreachable
|
||||
; IS__CGSCC_NPM: 3:
|
||||
; IS__CGSCC_NPM-NEXT: ret i8* @a1
|
||||
; IS__CGSCC_NPM: 2:
|
||||
; IS__CGSCC_NPM-NEXT: ret i8* undef
|
||||
;
|
||||
%2 = icmp eq i8* %0, null
|
||||
br i1 %2, label %3, label %5
|
||||
|
@ -1131,7 +1147,7 @@ attributes #2 = { null_pointer_is_valid }
|
|||
; IS__CGSCC_OPM: attributes #[[ATTR12]] = { readonly willreturn }
|
||||
;.
|
||||
; IS__CGSCC_NPM: attributes #[[ATTR0]] = { nofree noinline norecurse nosync nounwind readnone willreturn uwtable }
|
||||
; IS__CGSCC_NPM: attributes #[[ATTR1]] = { noinline nounwind uwtable }
|
||||
; IS__CGSCC_NPM: attributes #[[ATTR1]] = { noinline norecurse nounwind uwtable }
|
||||
; IS__CGSCC_NPM: attributes #[[ATTR2]] = { nounwind }
|
||||
; IS__CGSCC_NPM: attributes #[[ATTR3]] = { nofree nosync nounwind }
|
||||
; IS__CGSCC_NPM: attributes #[[ATTR4]] = { argmemonly nofree norecurse nosync nounwind readonly willreturn }
|
||||
|
|
|
@ -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=10 -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=10 -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
|
||||
|
||||
|
@ -40,8 +40,8 @@ define i32* @external_ret2_nrw(i32* %n0, i32* %r0, i32* %w0) {
|
|||
; IS__TUNIT____-SAME: (i32* nofree [[N0:%.*]], i32* nofree [[R0:%.*]], i32* nofree [[W0:%.*]]) #[[ATTR0:[0-9]+]] {
|
||||
; IS__TUNIT____-NEXT: entry:
|
||||
; IS__TUNIT____-NEXT: [[CALL:%.*]] = call i32* @internal_ret0_nw(i32* nofree [[N0]], i32* nofree [[W0]]) #[[ATTR3:[0-9]+]]
|
||||
; IS__TUNIT____-NEXT: [[CALL1:%.*]] = call i32* @internal_ret1_rrw(i32* nofree align 4 [[R0]], i32* nofree [[R0]], i32* nofree [[W0]]) #[[ATTR3]]
|
||||
; IS__TUNIT____-NEXT: [[CALL2:%.*]] = call i32* @external_sink_ret2_nrw(i32* nofree [[N0]], i32* nocapture nofree readonly align 4 [[R0]], i32* nofree writeonly "no-capture-maybe-returned" [[W0]]) #[[ATTR3]]
|
||||
; IS__TUNIT____-NEXT: [[CALL1:%.*]] = call i32* @internal_ret1_rrw(i32* nofree align 4 [[R0]], i32* nofree align 4 [[R0]], i32* nofree [[W0]]) #[[ATTR3]]
|
||||
; IS__TUNIT____-NEXT: [[CALL2:%.*]] = call i32* @external_sink_ret2_nrw(i32* nofree [[N0]], i32* nocapture nofree readonly [[R0]], i32* nofree writeonly "no-capture-maybe-returned" [[W0]]) #[[ATTR3]]
|
||||
; IS__TUNIT____-NEXT: [[CALL3:%.*]] = call i32* @internal_ret1_rw(i32* nofree align 4 [[R0]], i32* nofree [[W0]]) #[[ATTR3]]
|
||||
; IS__TUNIT____-NEXT: ret i32* [[CALL3]]
|
||||
;
|
||||
|
@ -91,7 +91,7 @@ define internal i32* @internal_ret0_nw(i32* %n0, i32* %w0) {
|
|||
;
|
||||
; IS__CGSCC____: Function Attrs: argmemonly nofree nosync nounwind
|
||||
; IS__CGSCC____-LABEL: define {{[^@]+}}@internal_ret0_nw
|
||||
; IS__CGSCC____-SAME: (i32* nofree returned [[N0:%.*]], i32* nofree [[W0:%.*]]) #[[ATTR0]] {
|
||||
; IS__CGSCC____-SAME: (i32* nofree [[N0:%.*]], i32* nofree [[W0:%.*]]) #[[ATTR0]] {
|
||||
; IS__CGSCC____-NEXT: entry:
|
||||
; IS__CGSCC____-NEXT: [[R0:%.*]] = alloca i32, align 4
|
||||
; IS__CGSCC____-NEXT: [[R1:%.*]] = alloca i32, align 4
|
||||
|
@ -112,7 +112,7 @@ define internal i32* @internal_ret0_nw(i32* %n0, i32* %w0) {
|
|||
; IS__CGSCC____-NEXT: br label [[RETURN]]
|
||||
; IS__CGSCC____: return:
|
||||
; IS__CGSCC____-NEXT: [[RETVAL_0:%.*]] = phi i32* [ [[N0]], [[IF_END]] ], [ [[N0]], [[IF_THEN]] ]
|
||||
; IS__CGSCC____-NEXT: ret i32* [[N0]]
|
||||
; IS__CGSCC____-NEXT: ret i32* undef
|
||||
;
|
||||
entry:
|
||||
%r0 = alloca i32, align 4
|
||||
|
@ -143,7 +143,7 @@ return: ; preds = %if.end, %if.then
|
|||
define internal i32* @internal_ret1_rrw(i32* %r0, i32* %r1, i32* %w0) {
|
||||
; IS__TUNIT____: Function Attrs: argmemonly nofree nosync nounwind
|
||||
; IS__TUNIT____-LABEL: define {{[^@]+}}@internal_ret1_rrw
|
||||
; IS__TUNIT____-SAME: (i32* nofree noundef nonnull align 4 dereferenceable(4) [[R0:%.*]], i32* nofree [[R1:%.*]], i32* nofree [[W0:%.*]]) #[[ATTR0]] {
|
||||
; IS__TUNIT____-SAME: (i32* nofree noundef nonnull align 4 dereferenceable(4) [[R0:%.*]], i32* nofree align 4 [[R1:%.*]], i32* nofree [[W0:%.*]]) #[[ATTR0]] {
|
||||
; IS__TUNIT____-NEXT: entry:
|
||||
; IS__TUNIT____-NEXT: [[TMP0:%.*]] = load i32, i32* [[R0]], align 4
|
||||
; IS__TUNIT____-NEXT: [[TOBOOL:%.*]] = icmp ne i32 [[TMP0]], 0
|
||||
|
@ -166,7 +166,7 @@ define internal i32* @internal_ret1_rrw(i32* %r0, i32* %r1, i32* %w0) {
|
|||
; IS__TUNIT____-NEXT: [[CALL8:%.*]] = call i32* @internal_ret0_nw(i32* nofree nonnull align 4 dereferenceable(4) [[R1]], i32* nofree nonnull align 4 dereferenceable(4) [[W0]]) #[[ATTR3]]
|
||||
; IS__TUNIT____-NEXT: br label [[RETURN]]
|
||||
; IS__TUNIT____: return:
|
||||
; IS__TUNIT____-NEXT: [[RETVAL_0:%.*]] = phi i32* [ [[CALL8]], [[IF_END]] ], [ [[R1]], [[IF_THEN]] ]
|
||||
; IS__TUNIT____-NEXT: [[RETVAL_0:%.*]] = phi i32* [ [[R1]], [[IF_END]] ], [ [[R1]], [[IF_THEN]] ]
|
||||
; IS__TUNIT____-NEXT: ret i32* undef
|
||||
;
|
||||
; IS__CGSCC____: Function Attrs: argmemonly nofree nosync nounwind
|
||||
|
|
|
@ -1099,6 +1099,27 @@ join:
|
|||
uselistorder label %join, { 1, 0 }
|
||||
}
|
||||
|
||||
define i1 @test_liveness(i1 %c) {
|
||||
entry:
|
||||
br i1 %c, label %t, label %f
|
||||
t:
|
||||
br label %f
|
||||
f:
|
||||
%p = phi i1 [true, %entry], [false, %t]
|
||||
%rc1 = call i1 @ret(i1 %p)
|
||||
ret i1 %rc1
|
||||
}
|
||||
|
||||
define internal i1 @ret(i1 %c) {
|
||||
entry:
|
||||
br i1 %c, label %t, label %f
|
||||
t:
|
||||
br label %f
|
||||
f:
|
||||
%p = phi i1 [%c, %entry], [false, %t]
|
||||
ret i1 %p
|
||||
}
|
||||
|
||||
;.
|
||||
; IS__TUNIT_OPM: attributes #[[ATTR0]] = { nofree nosync nounwind willreturn }
|
||||
; IS__TUNIT_OPM: attributes #[[ATTR1]] = { nofree norecurse nosync nounwind readnone willreturn }
|
||||
|
|
Loading…
Reference in New Issue