On Thu, 10 Jul 2025 17:41:36 +0200 Jens Remus <jre...@linux.ibm.com> wrote:
> cfa + frame->ra_off could be aligned by chance. So could > cfa + frame->fp_off be as well of course. > > On s390 the CFA must be aligned (as the SP must be aligned) and the > FP and RA offsets from CFA must be aligned, as pointer / 64-bit integers > (such as 64-bit register values) must be aligned as well. > > So the CFA (and/or offset), FP offset, and RA offset could be validated > individually. Not sure if that would be over engineering though. I wonder if we should just validate that cfa is aligned? Would that work? I would think that ra_off and fp_off should be aligned as well and if cfa is aligned then it would still be aligned when adding those offsets. -- Steve