[PATCH] D60536: [ConstantRange] [0, 1) divided by non-empty ranges is [0, 1).

[Florian Hahn via Phabricator via llvm-commits]

fhahn added a comment.

The main problem this patch addresses is the RHS == full-set case, where we exit early.


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D60536/new/

https://reviews.llvm.org/D60536