RE: [PATCH, AArch64] Allow symbol+offset even if not being used for memory access

["Ian Bolton" <Ian dot Bolton at arm dot com>]

> Ok.  Having dug a bit deeper I think the main problem is that you're
> working against yourself by not handling this pattern right from the
> beginning.  You have split the address incorrectly to begin and are
> now trying to recover after the fact.
> 
> The following patch seems to do the trick for me, producing
> 
> > (insn 6 5 7 (set (reg:DI 81)
> >         (high:DI (const:DI (plus:DI (symbol_ref:DI ("arr") [flags
> 0x80]  <var_decl 0x7f9bae1105f0 arr>)
> >                     (const_int 12 [0xc]))))) z.c:8 -1
> >      (nil))
> >
> > (insn 7 6 8 (set (reg:DI 80)
> >         (lo_sum:DI (reg:DI 81)
> >             (const:DI (plus:DI (symbol_ref:DI ("arr") [flags 0x80]
> <var_decl 0x7f9bae1105f0 arr>)
> >                     (const_int 12 [0xc]))))) z.c:8 -1
> >      (expr_list:REG_EQUAL (const:DI (plus:DI (symbol_ref:DI ("arr")
> [flags 0x80]  <var_decl 0x7f9bae1105f0 arr>)
> >                 (const_int 12 [0xc])))
> >         (nil)))
> 
> right from the .150.expand dump.
> 
> I'll leave it to you to fully regression test and commit the patch
> as appropriate.  ;-)
> 

Thanks so much for this, Richard.

I have prepared a new patch heavily based off yours, which really
demands its own new email trail, so I shall make a fresh post.

Cheers,
Ian