void test_2(unsigned long* __restrict__ bar, char* __restrict__ bas)
{
unsigned long tmp = *bar;
*bas = 0;
*bar = tmp;
}
The optimization in the first example happens in the postreload cse pass, and is relying on RTL alias analysis info.
The optimization does not happen for this example because we apparently have no way to represent an alias set for a restricted char pointer. char * and void * are allowed to alias anything. That is alias set 0 internally. A restricted char pointer can alias anything except another restricted pointer, which would require making a subset of alias set 0, but that is invalid. So we give up and just ignore the use of restrict here.
See in alias.c, where it does
if (pointed_to_alias_set == 0)
/* It's not legal to make a subset of alias set zero. */
DECL_POINTER_ALIAS_SET (decl) = 0;We also don't handle restricted pointers to aggregate types. -- Jim Wilson, GNU Tools Support, http://www.SpecifixInc.com
