================ @@ -5,6 +5,149 @@ declare void @llvm.assume(i1) declare void @barrier() declare void @use.i8(i8) +; X s< ~X --> X s< 0 ---------------- dtcxzyw wrote: Please add some commuted variants. https://github.com/llvm/llvm-project/pull/73990