.. abs.ll add-nsw.ll add-nuw.ll add.ll analysis-invalidation.ll and-implied-by-operands.ll and.ll assumes.ll cond-used-in-phi.ll constants-signed-predicates.ll constants-unsigned-predicates.ll constraint-overflow.ll debug.ll decompose-with-temporary-indices.ll dom.ll empty-constraint.ll eq.ll gep-add-multiple-indices-signed-predicates.ll gep-add-multiple-indices.ll gep-arithmetic-add-signed-predicates.ll gep-arithmetic-add.ll gep-arithmetic-different-types.ll gep-arithmetic-signed-predicates.ll gep-arithmetic.ll gep-chains.ll gep-constexpr.ll gep-sub-signed-predicates.ll gep-sub.ll geps-128-bit-pointers.ll geps-i32-pointer-indexes.ll geps-inbounds-precondition-ub-in-use-blocks.ll geps-inbounds-precondition.ll geps-pointers-to-arrays.ll geps-pointers-to-structs.ll geps-precondition-overflow-check.ll geps-ptrvector.ll geps-signed-predicates.ll geps-unsigned-predicates.ll implied-by-bounded-memory-access.ll induction-condition-in-loop-exit.ll invoke.ll large-constant-ints.ll large-system-growth.ll loops-bottom-tested-base.ll loops-bottom-tested-pointer-cmps.ll loops-header-tested-base.ll loops-header-tested-pointer-cmps.ll loops-header-tested-pointer-iv.ll loops.ll max-row-limit.ll minmax.ll mixed-signed-unsigned-predicates.ll mixed.ll monotonic-int-phis-cfg.ll monotonic-int-phis-decrement.ll monotonic-int-phis-multiples.ll monotonic-int-phis-nested-loops.ll monotonic-int-phis-signed.ll monotonic-int-phis-wrapping.ll monotonic-int-phis.ll monotonic-phis-adjacent-loops.ll monotonic-pointer-phis-chain-of-exits.ll monotonic-pointer-phis-constant-upper-offset.ll monotonic-pointer-phis-crashes.ll monotonic-pointer-phis-custom-datalayout.ll monotonic-pointer-phis-early-exits.ll monotonic-pointer-phis-struct-types.ll monotonic-pointer-phis.ll mul-nsw.ll mul.ll ne.ll or-implied-by-operands.ll or.ll overflows.ll pointercast.ll pr105785.ll pr54228-variable-name-order.ll pr70510.ll range_checks.ll reason-about-add-operands.ll reproducer-remarks-debug.ll reproducer-remarks.ll salvage-dbg-values-replaced-by-constant-2.ll salvage-dbg-values-replaced-by-constant.ll sext-signed-predicates.ll sext-unsigned-predicates.ll sge.ll shl.ll signed-query-unsigned-system.ll ssub-with-overflow.ll sub-nsw.ll sub-nuw.ll sub.ll switch.ll transfer-samesign-facts.ll transfer-signed-facts-to-unsigned-is-known-non-negative.ll transfer-signed-facts-to-unsigned.ll transfer-unsigned-facts-to-signed-is-known-non-negative.ll transfer-unsigned-facts-to-signed.ll trunc.ll uadd-usub-sat.ll uge.ll ugt-ule.ll ule.ll umin-result-may-be-poison.ll uscmp.ll uses-in-different-blocks.ll usub-with-overflow.ll vector-compares.ll wrapping-math.ll zext-for-per-formula-reasoning.ll zext.ll