[polly] r304279 - [test] Add a short explanation to test

[Tobias Grosser via llvm-commits]

Author: grosser
Date: Wed May 31 00:03:11 2017
New Revision: 304279

URL: http://llvm.org/viewvc/llvm-project?rev=304279&view=rev
Log:
[test] Add a short explanation to test

Modified:
    polly/trunk/test/ScopInfo/user_provided_assumptions_2.ll

Modified: polly/trunk/test/ScopInfo/user_provided_assumptions_2.ll
URL: http://llvm.org/viewvc/llvm-project/polly/trunk/test/ScopInfo/user_provided_assumptions_2.ll?rev=304279&r1=304278&r2=304279&view=diff
==============================================================================
--- polly/trunk/test/ScopInfo/user_provided_assumptions_2.ll (original)
+++ polly/trunk/test/ScopInfo/user_provided_assumptions_2.ll Wed May 31 00:03:11 2017
@@ -12,6 +12,12 @@
 ; SCOP:      Invalid Context:
 ; SCOP-NEXT: [N, M] -> { : 1 = 0 }
 ;
+;
+; This test checks that assumptions over parameters not used in the Scop are
+; not modeled. There is no benefit in knowing about parameters that are
+; unused in the scop, and adding them will increase the complexity of our
+; model.
+;
 ;    int f(int *A, int N, int M) {
 ;      __builtin_assume(M > 0);
 ;      for (int i = 0; i < N; i++)