[all-commits] [llvm/llvm-project] aa7bd9: [ConstantRange] Add binaryOp supporting 'or disjoi...

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: aa7bd9ad7bd7f80da145af88e33acf95a7a6f671
      https://github.com/llvm/llvm-project/commit/aa7bd9ad7bd7f80da145af88e33acf95a7a6f671
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2026-09-10 (Thu, 10 Sep 2026)

  Changed paths:
    M llvm/include/llvm/IR/ConstantRange.h
    M llvm/lib/Analysis/LazyValueInfo.cpp
    M llvm/lib/IR/ConstantRange.cpp
    M llvm/lib/Transforms/Utils/SCCPSolver.cpp
    A llvm/test/Transforms/CorrelatedValuePropagation/or-disjoint.ll
    A llvm/test/Transforms/SCCP/or-disjoint.ll
    M llvm/unittests/IR/ConstantRangeTest.cpp

  Log Message:
  -----------
  [ConstantRange] Add binaryOp supporting 'or disjoint'. (#222573)

Promote logic from https://github.com/llvm/llvm-project/pull/221832 to
ConstantRange::binaryOp so it can also be re-used from SCCP.

This enables a few additional folds & flag inference end-to-end:
https://github.com/dtcxzyw/llvm-opt-benchmark-nightly/pull/1227

PR: https://github.com/llvm/llvm-project/pull/222573



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications