[ConstraintElimination] Add additional facts for bitwise AND OR#132124

leewei05 wants to merge 5 commits intollvm:mainllvm/llvm-project:mainfrom

leewei05:add-ltz-constraintleewei05/llvm-project:add-ltz-constraintCopy head branch name to clipboard