search for: d28536

...;t any way to mark the trip count as nuw without > marking every computation of `(long)n-2` as nuw. > > There's some code in ScalarEvolution::howFarToZero to try to refine the > max backedge-taken count in some cases, but it isn't very general. See > https://reviews.llvm.org/D28536 . > > -Eli > > -- > Employee of Qualcomm Innovation Center, Inc. > Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, a Linux Foundation Collaborative Project > > -- *Alexandre Isoard* -------------- next part -------------- An HTML attachment was scrubbed....

Hello, If I run clang on the following code: void func(unsigned n) { > for (unsigned long x = 1; x < n; ++x) > dummy(x); > } I get the following llvm ir: define void @func(i32 %n) { > entry: > %conv = zext i32 %n to i64 > %cmp5 = icmp ugt i32 %n, 1 > br i1 %cmp5, label %for.body, label %for.cond.cleanup > for.cond.cleanup:

...he trip count as nuw without >> marking every computation of `(long)n-2` as nuw. >> >> There's some code in ScalarEvolution::howFarToZero to try to refine the >> max backedge-taken count in some cases, but it isn't very general. See >> https://reviews.llvm.org/D28536 . >> >> -Eli >> >> -- >> Employee of Qualcomm Innovation Center, Inc. >> Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, a Linux Foundation Collaborative Project >> >> > > -- > *Alexandre Isoard* > > > -- > Empl...

...without >>> marking every computation of `(long)n-2` as nuw. >>> >>> There's some code in ScalarEvolution::howFarToZero to try to refine the >>> max backedge-taken count in some cases, but it isn't very general. See >>> https://reviews.llvm.org/D28536 . >>> >>> -Eli >>> >>> -- >>> Employee of Qualcomm Innovation Center, Inc. >>> Qualcomm Innovation Center, Inc. is a member of Code Aurora Forum, a Linux Foundation Collaborative Project >>> >>> >> >> -- >> *A...