OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

tree-ssa-sccvn.c (vn_reference_lookup_3): Valueize MEM_REF base.

Browse Source 
2019-09-24  Richard Biener  <rguenther@suse.de>

	* tree-ssa-sccvn.c (vn_reference_lookup_3): Valueize MEM_REF
	base.

	* gcc.dg/torture/20190924-1.c: New testcase.

From-SVN: r276092
This commit is contained in:
Richard Biener 2019-09-24 10:10:49 +00:00 committed by Richard Biener
parent 47d17f7058
commit 3f9e08f57e
4 changed files with 29 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/ChangeLog
View File

@ -1,3 +1,8 @@
2019-09-24 Richard Biener <rguenther@suse.de>
* tree-ssa-sccvn.c (vn_reference_lookup_3): Valueize MEM_REF
base.
2019-09-23 Kyrylo Tkachov <kyrylo.tkachov@arm.com>
* config/arm/t-arm (arm-builtins.o): Add dependency on

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2019-09-24 Richard Biener <rguenther@suse.de>
* gcc.dg/torture/20190924-1.c: New testcase.
2019-09-23 Maciej W. Rozycki <macro@wdc.com>
* lib/gnat.exp (gnat_target_compile): Pass the `ada' option to

17
gcc/testsuite/gcc.dg/torture/20190924-1.c Normal file
View File

@ -0,0 +1,17 @@
/* { dg-do compile } */
struct acct_gather_energy {
int base_consumed_energy;
int consumed_energy;
int previous_consumed_energy;
};
static struct acct_gather_energy xcc_energy;
struct acct_gather_energy *new;
int _get_joules_task(int first)
{
if (!first && new->previous_consumed_energy)
first = 1;
new->base_consumed_energy = new->consumed_energy;
__builtin_memcpy(&xcc_energy, new, sizeof(struct acct_gather_energy));
return xcc_energy.base_consumed_energy;
}

5
gcc/tree-ssa-sccvn.c
View File

@ -2935,8 +2935,9 @@ vn_reference_lookup_3 (ao_ref *ref, tree vuse, void *data_,
else
return (void *)-1;
}
if (TREE_CODE (rhs) != SSA_NAME
&& TREE_CODE (rhs) != ADDR_EXPR)
if (TREE_CODE (rhs) == SSA_NAME)
rhs = SSA_VAL (rhs);
else if (TREE_CODE (rhs) != ADDR_EXPR)
return (void *)-1;
/* The bases of the destination and the references have to agree. */