[llvm] [GlobalISel] Add G_ADD for computeNumSignBits (PR #159202)

Yatao Wang via llvm-commits llvm-commits at lists.llvm.org
Thu Oct 2 09:01:42 PDT 2025


================
@@ -1959,6 +1959,41 @@ unsigned GISelValueTracking::computeNumSignBits(Register R,
 
     break;
   }
+  case TargetOpcode::G_ADD: {
+    Register Src2 = MI.getOperand(2).getReg();
+    unsigned Src2NumSignBits =
+        computeNumSignBits(Src2, DemandedElts, Depth + 1);
+    if (Src2NumSignBits == 1)
----------------
ningxinr wrote:

When I initially submitted this change, I had this calculation below the `if (Known2.isAllOnes()) { ... }`, but Matt suggested that we "try RHS first` earlier, so now it looks like this. 

@arsenm Matt did I misunderstood what you meant? 

https://github.com/llvm/llvm-project/pull/159202


More information about the llvm-commits mailing list