[polly] [Polly] Detect preconditions of cached user assumption translations (PR #226204)

[Michael Kruse via llvm-commits]

https://github.com/Meinersbur approved this pull request.

LGTM

There is a related bug where the precondition assumption is not part of the expression inside the assumption, but from the control flow that leads to the __builtin_assume. I created a bug for this: #226419

Would you like me to land this PR?

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