[PATCH] D10161: [SCEV][LoopVectorize] Allow ScalarEvolution to make assumptions about overflows
renato.golin at linaro.org
Mon Jul 20 01:26:47 PDT 2015
rengolin added inline comments.
Comment at: include/llvm/Analysis/ScalarEvolutionExpressions.h:753
@@ +752,3 @@
+ SCEVPredicateSet &P;
Do you need to keep this public?
In addOverflowAssumption, you check for MakeAssumptions to add or not the SCEV to it, and if it remains public, anyone will be able to bypass this check.
More information about the llvm-commits