search for: gettru

...odule life cycles, and this is my first real look at llvm's source. This patch at least makes my problem go away; @@ -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 *Fa...

...real look at llvm's source. > > This patch at least makes my problem go away; > > @@ -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->get...

...text()), false); Function *func = Function::Create(ft, Function::ExternalLinkage, "", module); BasicBlock *bb = BasicBlock::Create(getGlobalContext(), "entry", func); builder.SetInsertPoint(bb); builder.CreateRet(ConstantInt::getTrue(getGlobalContext())); // Value *memcpy = Intrinsic::getDeclaration( // module, Intrinsic::memcpy, Type::getInt64Ty(getGlobalContext())); func->dump(); delete module; return 0; } -- Michael Welsh Duggan (md5i at md5i.com)

...return false; > + } else if (Val) { > + // if LoopExitBB == LoopExitBB2 pick the first one (true). > + *Val = ConstantInt::getFalse(Context); > Actually it does. It is written that if LoopExitBB == LoopExitBB2 we should pick TRUE value: *Val = ConstantInt::getTrue(Context); so..there is not need to generate FALSE value. I know that this comment might be a little bit misleading. Probably the best idea is to delete it. > doesn't do what the comment says it does; the store into *Val is done when !LoopExitBB, not when LoopExitBB == LoopExitBB2. > &...

Hello again :) It's been some time since I sent you last patch, but here I'm again. I send the patch for PR5373. Regards -- Jakub Staszak -------------- next part -------------- A non-text attachment was scrubbed... Name: pr5373.patch Type: application/octet-stream Size: 5913 bytes Desc: not available URL:

The last bit here + if (LoopExitBB) { + // It is possible that for both successors isTrivialLoopExitBlock() + // returns different exit blocks. It means that the loop isn't trivial, + // just quit then. + if (LoopExitBB != LoopExitBB2) + return false; + } else if (Val) { + // if LoopExitBB == LoopExitBB2 pick the first one (true). +

...; + } else if (Val) { >> + // if LoopExitBB == LoopExitBB2 pick the first one (true). >> + *Val = ConstantInt::getFalse(Context); >> > > Actually it does. It is written that if LoopExitBB == LoopExitBB2 we should pick TRUE value: > *Val = ConstantInt::getTrue(Context); > > so..there is not need to generate FALSE value. > I know that this comment might be a little bit misleading. Probably the best idea is to delete it. > >> doesn't do what the comment says it does; the store into *Val is done when !LoopExitBB, not when LoopExitBB...

...iv operations and 'rem' into frem/srem/urem. We hope that LLVM 2.0 will split all instructions that vary behavior based on the signedness of their operands. See http://llvm.org/PR950 for more details. *. ConstantBool::True and False have been renamed to ConstantBool::getTrue() and ConstantBool::getFalse(). LLVM Build System Changes: *. The LLVM library dependency graph is now acyclic, allowing llvm-config to always work. The LLVM build system itself now internally uses llvm-config. *. Reid updated autoconf/libtool to newer versions. *. Reid contrib...

...div operations and 'rem' into frem/srem/urem. We hope that LLVM 2.0 will split all instructions that vary behavior based on the signedness of their operands. See http://llvm.org/PR950 for more details. 36. ConstantBool::True and False have been renamed to ConstantBool::getTrue() and ConstantBool::getFalse(). LLVM Build System Changes: 37. The LLVM library dependency graph is now acyclic, allowing llvm-config to always work. The LLVM build system itself now internally uses llvm-config. 38. Reid updated autoconf/libtool to newer versions. 39. Reid contribute...