[llvm] [ConstraintElim] Add facts for SREM. (PR #213453)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> including ffmpeg and OpenColorIO.

These projects were included in the original corpus of llvm-opt-benchmark. I plan to add more projects to the new repo.


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