Split offset with Q regs on ldr / str if needed everywhere

It seems that some checks are not added:

if (IsImmediateOffsetOutOfRange(*memOpnd, dataSize)) {
    memOpnd = &SplitOffsetWithAddInstruction(*memOpnd, dataSize);
}

You can use this test:

.text
        .align 5
        .globl  z
        .type   z, %function
z:
.L.1__1:
        stp     x29, x30, [sp,#-32]!
        str     x0, [sp,#16]
        .loc 2 6 2
        ldr     x1, [sp,#16]
        mov     w2, #5
        ldr     w0, [x1,w2,SXTW #2]
        mov     w0, w0
.L.1__4:
        ldp     x29, x30, [sp], #32
        ret
.L.1__3:
.L.1__2:
        .size   z, .-z

.text
        .align 5
        .globl  main
        .type   main, %function
main:
.L.2__1:
        sub     sp, sp, #608
        stp     x29, x30, [sp]
        .loc 2 11 2
        add     x0, sp, #16
        mov     x0, x0
        bl      z
        str     q0, [sp,#600]
        .loc 2 12 2
        mov     w0, #0
.L.2__4:
        ldp     x29, x30, [sp]
        add     sp, sp, #608
        ret
.L.2__3:
.L.2__2:
        .size   main, .-main
        .section        .rodata

NikolayEfanov/OpenArkCompiler

内容风险标识

评论 (0)

NikolayEfanov/OpenArkCompiler .gitee-modal { width: 500px !important; }

内容风险标识