[SCEV] Add a clarifying comment in howManyLessThans
authorPhilip Reames <listmail@philipreames.com>
Mon, 19 Jul 2021 22:11:38 +0000 (15:11 -0700)
committerPhilip Reames <listmail@philipreames.com>
Mon, 19 Jul 2021 22:13:48 +0000 (15:13 -0700)
commit4402d0d4fbdb903bd61238a06cfad29b4dd2da0b
tree492f47b5025c08023ef265dd2d717d91bbbf852b
parent5de114b650d780dddffadff72af2a0374a1258cf
[SCEV] Add a clarifying comment in howManyLessThans

Wrap semantics are subtle when combined with multiple exits.  This has caused several rounds of confusion during recent reviews, so try to document the subtly distinction between when wrap flags provide <u and <=u facts.
llvm/lib/Analysis/ScalarEvolution.cpp