[polly] [polly] Add profitability check for expanded region. (PR #96548)

[Michael Kruse via llvm-commits]

================
@@ -4,6 +4,12 @@
 ; CHECK:      remark: <unknown>:0:0: SCoP begins here.
 ; CHECK-NEXT: remark: <unknown>:0:0: Use user assumption: [M, N] -> {  : N <= 2147483647 - M }
 ; CHECK-NEXT: remark: <unknown>:0:0: Use user assumption: [M, N] -> {  : -2147483648 - M <= N <= 2147483647 - M }
+; CHECK-NEXT: remark: <unknown>:0:0: Use user assumption: [M, N] -> {  : 0 < M <= 100 and -2147483648 - M <= N <= 2147483647 - M }
----------------
Meinersbur wrote:

Where do the additional remarks come from?

It would be great to have a diagnostic remark for the reason as well. See `ScopDetectionDiagnostic.h` 

https://github.com/llvm/llvm-project/pull/96548