search for: earlyish

...oad/store. With a pass, within a function you ought to be able to promote all uses of addrspace(0) to addrspace(1), leaving (as you say) addrspacecasts at opaque sources and sinks (loads, stores, args, return, ...). Structs containing pointers would be (very?) messy. And you'd probably want it earlyish to recombine things. I do like LLVM passes as a solution for most problems, and it ought to give a big head start to GlobalISel implementation too. I'll definitely give it a go as an alternative next week. Cheers. Tim.

...on you ought to be able to promote all > > uses of addrspace(0) to addrspace(1), leaving (as you say) > > addrspacecasts at opaque sources and sinks (loads, stores, args, > > return, ...). Structs containing pointers would be (very?) messy. And > > you'd probably want it earlyish to recombine things. > > You can specify the ABI alignment to 8-bytes in the data layout for the 32-bit pointer for struct layout I was more thinking in terms of the pass converting all value representations of pointers to addrspace(1). That means that when a struct gets loaded or stored dir...

Hi Eli, Thanks for the comments. On Thu, 31 Jan 2019 at 19:48, Eli Friedman <efriedma at quicinc.com> wrote: > > We teach CodeGenPrepare to sink GEPs as GEPs, and preserve the > > inbounds marker. This is the only way they can possibly be exposed to > > SDAG at the basic block level. > > Isn't addr-sink-using-gep already a thing? Yes, I'm not sure why I