|
@@ -522,7 +522,7 @@ Value *PredicateInfo::materializeStack(unsigned int &Counter,
|
|
|
if (isa<PredicateWithEdge>(ValInfo)) {
|
|
|
IRBuilder<> B(getBranchTerminator(ValInfo));
|
|
|
Function *IF = getCopyDeclaration(F.getParent(), Op->getType());
|
|
|
- if (IF->user_begin() == IF->user_end())
|
|
|
+ if (empty(IF->users()))
|
|
|
CreatedDeclarations.insert(IF);
|
|
|
CallInst *PIC =
|
|
|
B.CreateCall(IF, Op, Op->getName() + "." + Twine(Counter++));
|
|
@@ -534,7 +534,7 @@ Value *PredicateInfo::materializeStack(unsigned int &Counter,
|
|
|
"Should not have gotten here without it being an assume");
|
|
|
IRBuilder<> B(PAssume->AssumeInst);
|
|
|
Function *IF = getCopyDeclaration(F.getParent(), Op->getType());
|
|
|
- if (IF->user_begin() == IF->user_end())
|
|
|
+ if (empty(IF->users()))
|
|
|
CreatedDeclarations.insert(IF);
|
|
|
CallInst *PIC = B.CreateCall(IF, Op);
|
|
|
PredicateMap.insert({PIC, ValInfo});
|