mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-04 20:01:21 +08:00
Code Issues Packages Projects Releases Wiki Activity

d: Fix PR96429: Pointer subtraction uses TRUNC_DIV_EXPR

Browse Source 
gcc/d/ChangeLog:

	PR d/96429
	* expr.cc (ExprVisitor::visit (BinExp*)): Use EXACT_DIV_EXPR for
	pointer diff expressions.

gcc/testsuite/ChangeLog:

	PR d/96429
	* gdc.dg/pr96429.d: New test.
This commit is contained in:
Iain Buclaw 2020-08-03 22:35:38 +02:00
parent 863de93218
commit 3a3fda1190
2 changed files with 38 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
gcc/d/expr.cc
View File

@ -620,6 +620,18 @@ public:
break;
case TOKdiv:
/* Determine if the div expression is a lowered pointer diff operation.
The front-end rewrites `(p1 - p2)' into `(p1 - p2) / stride'. */
if (MinExp *me = e->e1->isMinExp ())
{
if (me->e1->type->ty == Tpointer && me->e2->type->ty == Tpointer
&& e->e2->op == TOKint64)
{
code = EXACT_DIV_EXPR;
break;
}
}
code = e->e1->type->isintegral ()
? TRUNC_DIV_EXPR : RDIV_EXPR;
break;

26
gcc/testsuite/gdc.dg/pr96429.d Normal file
View File

@ -0,0 +1,26 @@
// https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96429
// { dg-do compile }
// { dg-options "-fdump-tree-original" }
ptrdiff_t subbyte(byte* bp1, byte* bp2)
{
// { dg-final { scan-tree-dump "bp1 - bp2;" "original" } }
return bp1 - bp2;
}
ptrdiff_t subshort(short* sp1, short* sp2)
{
// { dg-final { scan-tree-dump "\\\(sp1 - sp2\\\) /\\\[ex\\\] 2;" "original" } }
return sp1 - sp2;
}
ptrdiff_t subint(int* ip1, int* ip2)
{
// { dg-final { scan-tree-dump "\\\(ip1 - ip2\\\) /\\\[ex\\\] 4;" "original" } }
return ip1 - ip2;
}
ptrdiff_t sublong(long* lp1, long* lp2)
{
// { dg-final { scan-tree-dump "\\\(lp1 - lp2\\\) /\\\[ex\\\] 8;" "original" } }
return lp1 - lp2;
}