Cc'ed Kyrill.
---------- Forwarded message ---------
From: Umesh Kalappa <umesh.kalap...@gmail.com>
Date: Wed, Jul 11, 2018, 7:37 PM
Subject: GCC 8.1 :Store Merge pass issue (-fstore-merging).
To: <gcc@gcc.gnu.org>
Hi Everyone ,
We have the below case ,where store marge pass doing the invalid
optimization (thats our observations on powerpc ) ,i.e
C case :
typedef unsigned int UINT32;
typedef union
{
UINT32 regVal;
struct
{
UINT32 mask:1;
UINT32 a:1;
UINT32 :6;
UINT32 p:1;
UINT32 s:1;
UINT32 :2;
UINT32 priority:4;
UINT32 vector:16;
} field;
} MPIC_IVPR;
UINT32 test(UINT32 vector)
{
MPIC_IVPR mpicIvpr;
mpicIvpr.regVal = 0;
mpicIvpr.field.vector = vector;
mpicIvpr.field.priority = 0xe;
return mpicIvpr.regVal;
}
gcc -O2 -S test.c
...
lis 3,0xe ;; mpicIvpr.field.priority = 15
blr
...
the store dump as
Processing basic block <2>:
Starting new chain with statement:
mpicIvpr.regVal = 0;
The base object is:
&mpicIvpr
Recording immediate store from stmt:
mpicIvpr.field.vector = _1;
Recording immediate store from stmt:
mpicIvpr.field.priority = 14;
stmt causes chain termination:
_7 = mpicIvpr.regVal;
Attempting to coalesce 3 stores in chain.
Store 0:
bitsize:32 bitpos:0 val:
0
------------
Store 1:
bitsize:4 bitpos:12 val:
14
------------
Store 2:
bitsize:16 bitpos:16 val:
_1
------------
After writing 0 of size 32 at position 0 the merged region contains:
0 0 0 0 0 0 0 0
After writing 14 of size 4 at position 12 the merged region contains:
0 e 0 0 0 0 0 0
Coalescing successful!
Merged into 1 stores
New sequence of 1 stmts to replace old one of 2 stmts
# .MEM_6 = VDEF <.MEM_5>
MEM[(union *)&mpicIvpr] = 917504;
Merging successful!
Volatile access terminates all chains
test (UINT32 vector)
{
union MPIC_IVPR mpicIvpr;
short unsigned int _1;
UINT32 _7;
<bb 2> [local count: 1073741825]:
_1 = (short unsigned int) vector_4(D);
mpicIvpr.field.vector = _1;
MEM[(union *)&mpicIvpr] = 917504;
_7 = mpicIvpr.regVal;
mpicIvpr ={v} {CLOBBER};
return _7;
}
As noticed from dump ,the store of .regVal and priority is folded
to single store ,since the rhs operand is constant in both stmts by
leaving the above cfg and making mpicIvpr.field.vector = _1 stmt as
dead code,hence latter DCE deletes the same ,which results with the
incorrect asm as show above and we are in process of debugging the
store merge pass and we see that " mpicIvpr.field.vector = _1; "
should clobber the first store "mpicIvpr.regVal = 0;" in the merge
store vector ,but its not clobbering ,by disabling the handling the
overlapping store ,the above case works , i.e
if(0)
{
/* |---store 1---|
|---store 2---|
Overlapping stores. */
if (IN_RANGE (info->bitpos, merged_store->start,
merged_store->start + merged_store->width - 1))
{
if (info->rhs_code == INTEGER_CST
&& merged_store->stores[0]->rhs_code == INTEGER_CST)
{
merged_store->merge_overlapping (info);
continue;
}
}
}
before we conclude on the same ,we would like to hear any comments
from community ,which helps us to resolve the issue and by disabling
the store merge pass as expected the above case works .
Thank you. and looking for any suggestions on the same.
~Umesh
