search for: foldbranchtocommondest

Hi, Is there anybody familiar with the code in llvm/lib/Transforms/Utils/SimplifyCFG.cpp? The function FoldBranchtoCommonDest() (line 1422) has the comment as following: "/// FoldBranchToCommonDest - If this basic block is ONLY a setcc and a branch, /// and if a predecessor branches to us and one of our successors, fold the /// setcc into the predecessor and use logical operations to pick the right /// destination.&q...

Hi, > 7 for(i=0; i<j && i+j+1<N; i++) { > > 8 for(i=0; i<j && i<N-j-1; i++) { the arithmetic might overflow in one of these but not in the other. Best wishes, Duncan.

> > Message: 4 > Date: Tue, 12 Aug 2008 13:23:52 -0700 > From: "Bill Wendling" <isanbard at gmail.com> > Subject: Re: [LLVMdev] A case where llvm created different cfg for > same code > To: "LLVM Developers Mailing List" <llvmdev at cs.uiuc.edu> > Message-ID: > <16e5fdf90808121323g1ae2a2e3lb6c5bd62521df621 at mail.gmail.com> >

...nsforms/Utils/SimplifyCFG.cpp >>>> =================================================================== >>>> --- lib/Transforms/Utils/SimplifyCFG.cpp >>>> +++ lib/Transforms/Utils/SimplifyCFG.cpp >>>> @@ -1967,6 +1967,13 @@ >>>> bool llvm::FoldBranchToCommonDest(BranchInst *BI) { >>>> BasicBlock *BB = BI->getParent(); >>>> >>>> + // This optimization results in confusing MemorySanitizer reports. >>>> Use of >>>> + // uninitialized value in this branch instruction is reported with >>&...

...fyCFG.cpp >>>>> =================================================================== >>>>> --- lib/Transforms/Utils/SimplifyCFG.cpp >>>>> +++ lib/Transforms/Utils/SimplifyCFG.cpp >>>>> @@ -1967,6 +1967,13 @@ >>>>> bool llvm::FoldBranchToCommonDest(BranchInst *BI) { >>>>> BasicBlock *BB = BI->getParent(); >>>>> >>>>> + // This optimization results in confusing MemorySanitizer reports. >>>>> Use of >>>>> + // uninitialized value in this branch instruction is rep...

...t;>>> =================================================================== >>>>>> --- lib/Transforms/Utils/SimplifyCFG.cpp >>>>>> +++ lib/Transforms/Utils/SimplifyCFG.cpp >>>>>> @@ -1967,6 +1967,13 @@ >>>>>> bool llvm::FoldBranchToCommonDest(BranchInst *BI) { >>>>>> BasicBlock *BB = BI->getParent(); >>>>>> >>>>>> + // This optimization results in confusing MemorySanitizer reports. >>>>>> Use of >>>>>> + // uninitialized value in this branc...

...t;>>> =================================================================== >>>>>> --- lib/Transforms/Utils/SimplifyCFG.cpp >>>>>> +++ lib/Transforms/Utils/SimplifyCFG.cpp >>>>>> @@ -1967,6 +1967,13 @@ >>>>>> bool llvm::FoldBranchToCommonDest(BranchInst *BI) { >>>>>> BasicBlock *BB = BI->getParent(); >>>>>> >>>>>> + // This optimization results in confusing MemorySanitizer reports. >>>>>> Use of >>>>>> + // uninitialized value in this branc...

...============================= > >>>>>> == > >>>>>> --- lib/Transforms/Utils/SimplifyCFG.cpp > >>>>>> +++ lib/Transforms/Utils/SimplifyCFG.cpp > >>>>>> @@ -1967,6 +1967,13 @@ > >>>>>> bool llvm::FoldBranchToCommonDest(BranchInst *BI) { > >>>>>> BasicBlock *BB = BI->getParent(); > >>>>>> > >>>>>> + // This optimization results in confusing MemorySanitizer > reports. > >>>>>> Use of > >>>>>> + // uni...

...====================================================== >>>>>> == >>>>>> --- lib/Transforms/Utils/SimplifyCFG.cpp >>>>>> +++ lib/Transforms/Utils/SimplifyCFG.cpp >>>>>> @@ -1967,6 +1967,13 @@ >>>>>> bool llvm::FoldBranchToCommonDest(BranchInst *BI) { >>>>>> BasicBlock *BB = BI->getParent(); >>>>>> >>>>>> + // This optimization results in confusing MemorySanitizer reports. >>>>>> Use of >>>>>> + // uninitialized value in this branc...

...====================================================== >>>>>> == >>>>>> --- lib/Transforms/Utils/SimplifyCFG.cpp >>>>>> +++ lib/Transforms/Utils/SimplifyCFG.cpp >>>>>> @@ -1967,6 +1967,13 @@ >>>>>> bool llvm::FoldBranchToCommonDest(BranchInst *BI) { >>>>>> BasicBlock *BB = BI->getParent(); >>>>>> >>>>>> + // This optimization results in confusing MemorySanitizer reports. >>>>>> Use of >>>>>> + // uninitialized value in this branc...

...===== > > >>>>>> == > > >>>>>> --- lib/Transforms/Utils/SimplifyCFG.cpp > > >>>>>> +++ lib/Transforms/Utils/SimplifyCFG.cpp > > >>>>>> @@ -1967,6 +1967,13 @@ > > >>>>>> bool llvm::FoldBranchToCommonDest(BranchInst *BI) { > > >>>>>> BasicBlock *BB = BI->getParent(); > > >>>>>> > > >>>>>> + // This optimization results in confusing MemorySanitizer > > >>>>>> reports. > > >>>>>>...

...============================== > >>>>>> == > >>>>>> --- lib/Transforms/Utils/SimplifyCFG.cpp > >>>>>> +++ lib/Transforms/Utils/SimplifyCFG.cpp > >>>>>> @@ -1967,6 +1967,13 @@ > >>>>>> bool llvm::FoldBranchToCommonDest(BranchInst *BI) { > >>>>>> BasicBlock *BB = BI->getParent(); > >>>>>> > >>>>>> + // This optimization results in confusing MemorySanitizer > >>>>>> reports. > >>>>>> Use of > >>>...

...===== > > >>>>>> == > > >>>>>> --- lib/Transforms/Utils/SimplifyCFG.cpp > > >>>>>> +++ lib/Transforms/Utils/SimplifyCFG.cpp > > >>>>>> @@ -1967,6 +1967,13 @@ > > >>>>>> bool llvm::FoldBranchToCommonDest(BranchInst *BI) { > > >>>>>> BasicBlock *BB = BI->getParent(); > > >>>>>> > > >>>>>> + // This optimization results in confusing MemorySanitizer > > >>>>>> reports. > > >>>>>>...

...============================= > >>>>>> == > >>>>>> --- lib/Transforms/Utils/SimplifyCFG.cpp > >>>>>> +++ lib/Transforms/Utils/SimplifyCFG.cpp > >>>>>> @@ -1967,6 +1967,13 @@ > >>>>>> bool llvm::FoldBranchToCommonDest(BranchInst *BI) { > >>>>>> BasicBlock *BB = BI->getParent(); > >>>>>> > >>>>>> + // This optimization results in confusing MemorySanitizer > reports. > >>>>>> Use of > >>>>>> + // uni...