[clang][bytecode] VisitBuiltinCallExpr - remove urem() call in rotate builtins, call rotl/rotr directly (llvm#162113)

rdez13 · web-flow · commit 24d41c1a7d7c · 2025-10-06T19:42:45.000Z
Fixes llvm#162046
diff --git a/clang/lib/AST/ExprConstant.cpp b/clang/lib/AST/ExprConstant.cpp
@@ -14356,7 +14356,7 @@ bool IntExprEvaluator::VisitBuiltinCallExpr(const CallExpr *E,
         !EvaluateInteger(E->getArg(1), Amt, Info))
       return false;
 
-    return Success(Val.rotl(Amt.urem(Val.getBitWidth())), E);
+    return Success(Val.rotl(Amt), E);
   }
 
   case Builtin::BI__builtin_rotateright8:
@@ -14373,7 +14373,7 @@ bool IntExprEvaluator::VisitBuiltinCallExpr(const CallExpr *E,
         !EvaluateInteger(E->getArg(1), Amt, Info))
       return false;
 
-    return Success(Val.rotr(Amt.urem(Val.getBitWidth())), E);
+    return Success(Val.rotr(Amt), E);
   }
 
   case Builtin::BI__builtin_elementwise_add_sat: {

Original file line number	Diff line number	Diff line change
`@@ -14356,7 +14356,7 @@ bool IntExprEvaluator::VisitBuiltinCallExpr(const CallExpr *E,`
`14356`	`14356`	`!EvaluateInteger(E->getArg(1), Amt, Info))`
`14357`	`14357`	`return false;`
`14358`	`14358`
`14359`		`- return Success(Val.rotl(Amt.urem(Val.getBitWidth())), E);`
	`14359`	`+ return Success(Val.rotl(Amt), E);`
`14360`	`14360`	`}`
`14361`	`14361`
`14362`	`14362`	`case Builtin::BI__builtin_rotateright8:`
`@@ -14373,7 +14373,7 @@ bool IntExprEvaluator::VisitBuiltinCallExpr(const CallExpr *E,`
`14373`	`14373`	`!EvaluateInteger(E->getArg(1), Amt, Info))`
`14374`	`14374`	`return false;`
`14375`	`14375`
`14376`		`- return Success(Val.rotr(Amt.urem(Val.getBitWidth())), E);`
	`14376`	`+ return Success(Val.rotr(Amt), E);`
`14377`	`14377`	`}`
`14378`	`14378`
`14379`	`14379`	`case Builtin::BI__builtin_elementwise_add_sat: {`