On 11/1/24 5:34 AM, Uros Bizjak wrote:
Stack pointer modifications in asm are currently not flagged in
crtl->sp_is_unchanging due to RTX pointer comparison in
notice_stack_pointer_modification_1. Pointer comparison does not detect
that "(reg/v:DI 7 sp [ current_stack_pointer ])" and "(reg/f:DI 7 sp)"
RTXes actually all correspond to the same stack pointer register.
Due to the above omission, the compiler does not detect that asm RTX
manipulates stack pointer in the following construct:
But how did you get two distinct RTXs for the stack pointer? That's not
supposed to happen IIRC.
Jeff
