================ @@ -5,6 +5,327 @@ declare void @llvm.assume(i1) declare void @barrier() declare void @use.i8(i8) +; X s< ~X --> X s< 0 +define i1 @src_slt_xnx_to_slt_0_i1(i1 %x) { ---------------- ParkHanbum wrote: consider it done! https://github.com/llvm/llvm-project/pull/73990