On Fri, 28 Apr 2023, Jeff Law wrote: > On 4/28/23 16:42, Hans-Peter Nilsson wrote: > > On Sat, 22 Apr 2023, Ajit Agarwal via Gcc-patches wrote: > > I don't see anything in those functions that checks if > > ZERO_EXTEND is actually a feature of the ABI, e.g. as opposed to > > no extension or SIGN_EXTEND. Do I miss something? > I don't think you missed anything. That was one of the points I was making > last week. Somewhere, somehow we need to describe what the ABI mandates and > guarantees.
Right, I thought this was the new version. > So while what Ajit has done is a step forward, at some point the actual > details of the ABI need to be described in a way that can be checked and > consumed by REE. IIRC I also commented and suggested a few target macros that *should* have helped to that effect. Ajit, I suggest you see my previous reply in this or a related conversation. brgds, H-P