search for: isknownpredicatevianooverflow

...m>; llvm-dev at lists.llvm.org Subject: Re: [llvm-dev] missing simplification in ScalarEvolution? I didn't step through this in a debugger, but I suspect we could fix the problem by: 1. Teaching SCEV to infer nuw for (32 + @glob_const)<nsw> (if legal) 2. Generalize ScalarEvolution::isKnownPredicateViaNoOverflow to work with this case That should fold the umax and give us a more precise trip count. -- Sanjoy On Tue, Aug 20, 2019 at 5:36 PM Chawla, Pankaj via llvm-dev <llvm-dev at lists.llvm.org> wrote: > > Thanks for the suggestion but datalayout info did not solve the problem! > > -Pa...

Thanks for the suggestion but datalayout info did not solve the problem! -Pankaj -----Original Message----- From: Philip Reames <listmail at philipreames.com> Sent: Tuesday, August 20, 2019 5:26 PM To: Chawla, Pankaj <pankaj.chawla at intel.com>; llvm-dev at lists.llvm.org Subject: Re: [llvm-dev] missing simplification in ScalarEvolution? Try adding a datalayout with pointer size