Merge pull request #1 from lathuili/derivgrind

maxaehle · web-flow · commit 205b12e6d0fd · 2025-02-27T10:08:29.000+01:00
bug fix operation_with_float_args : take into account Qop
diff --git a/derivgrind/dg_expressionhandling.c b/derivgrind/dg_expressionhandling.c
@@ -124,7 +124,7 @@ Bool operation_with_float_args(IRExpr* expr){
     if(isFloatingPoint(t_dst) && (isFloatingPoint(t_arg1)||isFloatingPoint(t_arg2)||isFloatingPoint(t_arg3))){
       return True;
     }
-  } else if(expr->tag==Iex_Binop){
+  } else if(expr->tag==Iex_Qop){
     typeOfPrimop(expr->Iex.Qop.details->op, &t_dst, &t_arg1, &t_arg2, &t_arg3, &t_arg4);
     if(isFloatingPoint(t_dst) && (isFloatingPoint(t_arg1)||isFloatingPoint(t_arg2)||isFloatingPoint(t_arg3)||isFloatingPoint(t_arg4))){
       return True;

Original file line number	Diff line number	Diff line change
`@@ -124,7 +124,7 @@ Bool operation_with_float_args(IRExpr* expr){`
`124`	`124`	`if(isFloatingPoint(t_dst) && (isFloatingPoint(t_arg1)\|\|isFloatingPoint(t_arg2)\|\|isFloatingPoint(t_arg3))){`
`125`	`125`	`return True;`
`126`	`126`	`}`
`127`		`- } else if(expr->tag==Iex_Binop){`
	`127`	`+ } else if(expr->tag==Iex_Qop){`
`128`	`128`	`typeOfPrimop(expr->Iex.Qop.details->op, &t_dst, &t_arg1, &t_arg2, &t_arg3, &t_arg4);`
`129`	`129`	`if(isFloatingPoint(t_dst) && (isFloatingPoint(t_arg1)\|\|isFloatingPoint(t_arg2)\|\|isFloatingPoint(t_arg3)\|\|isFloatingPoint(t_arg4))){`
`130`	`130`	`return True;`