Displaying 3 results from an estimated 3 matches for "basicblockedge".
2013 May 13
3
[LLVMdev] Q: When is a boolean not a boolean?
...way;
@@ -2195,11 +2200,11 @@ bool GVN::processInstruction(Instruction *I) {
BasicBlock *Parent = BI->getParent();
bool Changed = false;
- Value *TrueVal = ConstantInt::getTrue(TrueSucc->getContext());
+ Value *TrueVal = ConstantInt::getTrue(BranchCond->getContext());
BasicBlockEdge TrueE(Parent, TrueSucc);
Changed |= propagateEquality(BranchCond, TrueVal, TrueE);
- Value *FalseVal = ConstantInt::getFalse(FalseSucc->getContext());
+ Value *FalseVal = ConstantInt::getFalse(BranchCond->getContext());
BasicBlockEdge FalseE(Parent, FalseSucc);
Changed |...
2013 May 13
0
[LLVMdev] Q: When is a boolean not a boolean?
...ol GVN::processInstruction(Instruction *I) {
> BasicBlock *Parent = BI->getParent();
> bool Changed = false;
>
> - Value *TrueVal = ConstantInt::getTrue(TrueSucc->getContext());
> + Value *TrueVal = ConstantInt::getTrue(BranchCond->getContext());
> BasicBlockEdge TrueE(Parent, TrueSucc);
> Changed |= propagateEquality(BranchCond, TrueVal, TrueE);
>
> - Value *FalseVal = ConstantInt::getFalse(FalseSucc->getContext());
> + Value *FalseVal = ConstantInt::getFalse(BranchCond->getContext());
> BasicBlockEdge FalseE(Parent,...
2016 Jul 04
2
Path condition propagation
Sure
On Mon, Jul 4, 2016, 9:40 AM Carlos Liam <carlos at aarzee.me> wrote:
> It looks like there's already something similar in PropagateEquality which
> eg X >= Y == true and replaces X < Y == false, which is somewhat similar -
> could I base an addition off of that?
>
>
> - CL
>
> On Jul 3, 2016, at 7:13 PM, Daniel Berlin <dberlin at dberlin.org>