[PATCH] D10161: [SCEV][LoopVectorize] Allow ScalarEvolution to make assumptions about overflows

Renato Golin 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 @@
+  public:
+    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 mailing list