andjo403 wrote: probably a good place to add this pattern is in https://github.com/llvm/llvm-project/blob/8872678ae766ed41dd5db2854bc525085e802d34/llvm/lib/Analysis/ValueTracking.cpp#L9636-L9639 https://github.com/llvm/llvm-project/pull/190775