> Date: Tue, 21 Nov 2023 12:04:42 +0100
> From: Tobias Heider <[email protected]>
>
> On Tue, Nov 21, 2023 at 11:56:18AM +0100, Mark Kettenis wrote:
> > > Date: Tue, 21 Nov 2023 00:16:40 +0100
> > > From: Tobias Heider <[email protected]>
> > >
> > > Diff below fixes make regress for libffi with arm64 BTI enabled.
> > > The tricky part were two jump tables in ffi.c and sysV.S.
> > >
> > > ok?
> >
> > I think you missed the "computed goto" in ffi_closure_SYSV.
> >
> > Maybe we shouldn't add a "bti j" for the unused slots?
>
> Functionally yes, that should also work and makes more sense.
> But then the brks would be a bit redundant. I wasn't sure if there
> are tests or something that expects those breaks to be reachable.
The brks still need to be there for those poor CPUs that don't
implement BTI.
> > > Index: Makefile
> > > ===================================================================
> > > RCS file: /cvs/ports/devel/libffi/Makefile,v
> > > retrieving revision 1.48
> > > diff -u -p -r1.48 Makefile
> > > --- Makefile 21 Sep 2023 09:49:57 -0000 1.48
> > > +++ Makefile 20 Nov 2023 23:14:17 -0000
> > > @@ -1,6 +1,7 @@
> > > COMMENT= Foreign Function Interface
> > >
> > > V= 3.4.4
> > > +REVISION= 0
> > > DISTNAME= libffi-$V
> > > SHARED_LIBS += ffi 2.0 # 9.2
> > > CATEGORIES= devel
> > > Index: patches/patch-src_aarch64_ffi_c
> > > ===================================================================
> > > RCS file: patches/patch-src_aarch64_ffi_c
> > > diff -N patches/patch-src_aarch64_ffi_c
> > > --- /dev/null 1 Jan 1970 00:00:00 -0000
> > > +++ patches/patch-src_aarch64_ffi_c 20 Nov 2023 23:14:17 -0000
> > > @@ -0,0 +1,76 @@
> > > +Index: src/aarch64/ffi.c
> > > +--- src/aarch64/ffi.c.orig
> > > ++++ src/aarch64/ffi.c
> > > +@@ -390,47 +390,59 @@ extend_hfa_type (void *dest, void *src, int h)
> > > + "adr %0, 0f\n"
> > > + " add %0, %0, %1\n"
> > > + " br %0\n"
> > > +-"0: ldp s16, s17, [%3]\n" /* S4 */
> > > ++"0: bti j\n" /* S4 */
> > > ++" ldp s16, s17, [%3]\n"
> > > + " ldp s18, s19, [%3, #8]\n"
> > > + " b 4f\n"
> > > +-" ldp s16, s17, [%3]\n" /* S3 */
> > > ++" bti j\n" /* S3 */
> > > ++" ldp s16, s17, [%3]\n"
> > > + " ldr s18, [%3, #8]\n"
> > > + " b 3f\n"
> > > +-" ldp s16, s17, [%3]\n" /* S2 */
> > > ++" bti j\n" /* S2 */
> > > ++" ldp s16, s17, [%3]\n"
> > > + " b 2f\n"
> > > + " nop\n"
> > > +-" ldr s16, [%3]\n" /* S1 */
> > > ++" bti j\n" /* S1 */
> > > ++" ldr s16, [%3]\n"
> > > + " b 1f\n"
> > > + " nop\n"
> > > +-" ldp d16, d17, [%3]\n" /* D4 */
> > > ++" bti j\n" /* D4 */
> > > ++" ldp d16, d17, [%3]\n"
> > > + " ldp d18, d19, [%3, #16]\n"
> > > + " b 4f\n"
> > > +-" ldp d16, d17, [%3]\n" /* D3 */
> > > ++" bti j\n" /* D3 */
> > > ++" ldp d16, d17, [%3]\n"
> > > + " ldr d18, [%3, #16]\n"
> > > + " b 3f\n"
> > > +-" ldp d16, d17, [%3]\n" /* D2 */
> > > ++" bti j\n" /* D2 */
> > > ++" ldp d16, d17, [%3]\n"
> > > + " b 2f\n"
> > > + " nop\n"
> > > +-" ldr d16, [%3]\n" /* D1 */
> > > ++" bti j\n" /* D1 */
> > > ++" ldr d16, [%3]\n"
> > > + " b 1f\n"
> > > + " nop\n"
> > > +-" ldp q16, q17, [%3]\n" /* Q4 */
> > > ++" bti j\n" /* Q4 */
> > > ++" ldp q16, q17, [%3]\n"
> > > + " ldp q18, q19, [%3, #32]\n"
> > > + " b 4f\n"
> > > +-" ldp q16, q17, [%3]\n" /* Q3 */
> > > ++" bti j\n" /* Q3 */
> > > ++" ldp q16, q17, [%3]\n"
> > > + " ldr q18, [%3, #32]\n"
> > > + " b 3f\n"
> > > +-" ldp q16, q17, [%3]\n" /* Q2 */
> > > ++" bti j\n" /* Q2 */
> > > ++" ldp q16, q17, [%3]\n"
> > > + " b 2f\n"
> > > + " nop\n"
> > > +-" ldr q16, [%3]\n" /* Q1 */
> > > ++" bti j\n" /* Q1 */
> > > ++" ldr q16, [%3]\n"
> > > + " b 1f\n"
> > > + "4: str q19, [%2, #48]\n"
> > > + "3: str q18, [%2, #32]\n"
> > > + "2: str q17, [%2, #16]\n"
> > > + "1: str q16, [%2]"
> > > + : "=&r"(x0)
> > > +- : "r"(f * 12), "r"(dest), "r"(src)
> > > ++ : "r"(f * 16), "r"(dest), "r"(src)
> > > + : "memory", "v16", "v17", "v18", "v19");
> > > + }
> > > + #endif
> > > Index: patches/patch-src_aarch64_sysv_S
> > > ===================================================================
> > > RCS file: patches/patch-src_aarch64_sysv_S
> > > diff -N patches/patch-src_aarch64_sysv_S
> > > --- /dev/null 1 Jan 1970 00:00:00 -0000
> > > +++ patches/patch-src_aarch64_sysv_S 20 Nov 2023 23:14:17 -0000
> > > @@ -0,0 +1,220 @@
> > > +Index: src/aarch64/sysv.S
> > > +--- src/aarch64/sysv.S.orig
> > > ++++ src/aarch64/sysv.S
> > > +@@ -78,6 +78,7 @@ SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
> > > +
> > > + cfi_startproc
> > > + CNAME(ffi_call_SYSV):
> > > ++ bti c
> > > + /* Sign the lr with x1 since that is where it will be stored */
> > > + SIGN_LR_WITH_REG(x1)
> > > +
> > > +@@ -138,78 +139,142 @@ CNAME(ffi_call_SYSV):
> > > + /* Save the return value as directed. */
> > > + adr x5, 0f
> > > + and w4, w4, #AARCH64_RET_MASK
> > > +- add x5, x5, x4, lsl #3
> > > ++ add x5, x5, x4, lsl #4
> > > + br x5
> > > +
> > > +- /* Note that each table entry is 2 insns, and thus 8 bytes.
> > > ++ /* Note that each table entry is 4 insns, and thus 16 bytes.
> > > + For integer data, note that we're storing into ffi_arg
> > > + and therefore we want to extend to 64 bits; these types
> > > + have two consecutive entries allocated for them. */
> > > + .align 4
> > > +-0: b 99f /* VOID */
> > > ++0: bti j
> > > ++ b 99f /* VOID */
> > > ++ nop
> > > + nop
> > > +-1: str x0, [x3] /* INT64 */
> > > ++1: bti j
> > > ++ str x0, [x3] /* INT64 */
> > > + b 99f
> > > +-2: stp x0, x1, [x3] /* INT128 */
> > > ++ nop
> > > ++2: bti j
> > > ++ stp x0, x1, [x3] /* INT128 */
> > > + b 99f
> > > +-3: brk #1000 /* UNUSED */
> > > ++ nop
> > > ++3: bti j
> > > ++ brk #1000 /* UNUSED */
> > > + b 99f
> > > +-4: brk #1000 /* UNUSED */
> > > ++ nop
> > > ++4: bti j
> > > ++ brk #1000 /* UNUSED */
> > > + b 99f
> > > +-5: brk #1000 /* UNUSED */
> > > ++ nop
> > > ++5: bti j
> > > ++ brk #1000 /* UNUSED */
> > > + b 99f
> > > +-6: brk #1000 /* UNUSED */
> > > ++ nop
> > > ++6: bti j
> > > ++ brk #1000 /* UNUSED */
> > > + b 99f
> > > +-7: brk #1000 /* UNUSED */
> > > ++ nop
> > > ++7: bti j
> > > ++ brk #1000 /* UNUSED */
> > > + b 99f
> > > +-8: st4 { v0.s, v1.s, v2.s, v3.s }[0], [x3] /* S4 */
> > > ++ nop
> > > ++8: bti j
> > > ++ st4 { v0.s, v1.s, v2.s, v3.s }[0], [x3] /* S4 */
> > > + b 99f
> > > +-9: st3 { v0.s, v1.s, v2.s }[0], [x3] /* S3 */
> > > ++ nop
> > > ++9: bti j
> > > ++ st3 { v0.s, v1.s, v2.s }[0], [x3] /* S3 */
> > > + b 99f
> > > +-10: stp s0, s1, [x3] /* S2 */
> > > ++ nop
> > > ++10: bti j
> > > ++ stp s0, s1, [x3] /* S2 */
> > > + b 99f
> > > +-11: str s0, [x3] /* S1 */
> > > ++ nop
> > > ++11: bti j
> > > ++ str s0, [x3] /* S1 */
> > > + b 99f
> > > +-12: st4 { v0.d, v1.d, v2.d, v3.d }[0], [x3] /* D4 */
> > > ++ nop
> > > ++12: bti j
> > > ++ st4 { v0.d, v1.d, v2.d, v3.d }[0], [x3] /* D4 */
> > > + b 99f
> > > +-13: st3 { v0.d, v1.d, v2.d }[0], [x3] /* D3 */
> > > ++ nop
> > > ++13: bti j
> > > ++ st3 { v0.d, v1.d, v2.d }[0], [x3] /* D3 */
> > > + b 99f
> > > +-14: stp d0, d1, [x3] /* D2 */
> > > ++ nop
> > > ++14: bti j
> > > ++ stp d0, d1, [x3] /* D2 */
> > > + b 99f
> > > +-15: str d0, [x3] /* D1 */
> > > ++ nop
> > > ++15: bti j
> > > ++ str d0, [x3] /* D1 */
> > > + b 99f
> > > +-16: str q3, [x3, #48] /* Q4 */
> > > + nop
> > > +-17: str q2, [x3, #32] /* Q3 */
> > > ++16: bti j
> > > ++ str q3, [x3, #48] /* Q4 */
> > > + nop
> > > +-18: stp q0, q1, [x3] /* Q2 */
> > > ++ nop
> > > ++17: bti j
> > > ++ str q2, [x3, #32] /* Q3 */
> > > ++ nop
> > > ++ nop
> > > ++18: bti j
> > > ++ stp q0, q1, [x3] /* Q2 */
> > > + b 99f
> > > +-19: str q0, [x3] /* Q1 */
> > > ++ nop
> > > ++19: bti j
> > > ++ str q0, [x3] /* Q1 */
> > > + b 99f
> > > +-20: uxtb w0, w0 /* UINT8 */
> > > ++ nop
> > > ++20: bti j
> > > ++ uxtb w0, w0 /* UINT8 */
> > > + str x0, [x3]
> > > +-21: b 99f /* reserved */
> > > + nop
> > > +-22: uxth w0, w0 /* UINT16 */
> > > ++21: bti j
> > > ++ b 99f /* reserved */
> > > ++ nop
> > > ++ nop
> > > ++22: bti j
> > > ++ uxth w0, w0 /* UINT16 */
> > > + str x0, [x3]
> > > +-23: b 99f /* reserved */
> > > + nop
> > > +-24: mov w0, w0 /* UINT32 */
> > > ++23: bti j
> > > ++ b 99f /* reserved */
> > > ++ nop
> > > ++ nop
> > > ++24: bti j
> > > ++ mov w0, w0 /* UINT32 */
> > > + str x0, [x3]
> > > +-25: b 99f /* reserved */
> > > + nop
> > > +-26: sxtb x0, w0 /* SINT8 */
> > > ++25: bti j
> > > ++ b 99f /* reserved */
> > > ++ nop
> > > ++ nop
> > > ++26: bti j
> > > ++ sxtb x0, w0 /* SINT8 */
> > > + str x0, [x3]
> > > +-27: b 99f /* reserved */
> > > + nop
> > > +-28: sxth x0, w0 /* SINT16 */
> > > ++27: bti j
> > > ++ b 99f /* reserved */
> > > ++ nop
> > > ++ nop
> > > ++28: bti j
> > > ++ sxth x0, w0 /* SINT16 */
> > > + str x0, [x3]
> > > +-29: b 99f /* reserved */
> > > + nop
> > > +-30: sxtw x0, w0 /* SINT32 */
> > > ++29: bti j
> > > ++ b 99f /* reserved */
> > > ++ nop
> > > ++ nop
> > > ++30: bti j
> > > ++ sxtw x0, w0 /* SINT32 */
> > > + str x0, [x3]
> > > +-31: b 99f /* reserved */
> > > + nop
> > > ++31: bti j
> > > ++ b 99f /* reserved */
> > > ++ nop
> > > ++ nop
> > > +
> > > + /* Return now that result has been populated. */
> > > + 99:
> > > +@@ -246,6 +311,7 @@ CNAME(ffi_call_SYSV):
> > > + .align 4
> > > + CNAME(ffi_closure_SYSV_V):
> > > + cfi_startproc
> > > ++ bti c
> > > + SIGN_LR
> > > + stp x29, x30, [sp, #-ffi_closure_SYSV_FS]!
> > > + cfi_adjust_cfa_offset (ffi_closure_SYSV_FS)
> > > +@@ -270,6 +336,7 @@ CNAME(ffi_closure_SYSV_V):
> > > + .align 4
> > > + cfi_startproc
> > > + CNAME(ffi_closure_SYSV):
> > > ++ bti c
> > > + SIGN_LR
> > > + stp x29, x30, [sp, #-ffi_closure_SYSV_FS]!
> > > + cfi_adjust_cfa_offset (ffi_closure_SYSV_FS)
> > > +@@ -479,6 +546,7 @@ CNAME(ffi_closure_trampoline_table_page):
> > > + .align 4
> > > + CNAME(ffi_go_closure_SYSV_V):
> > > + cfi_startproc
> > > ++ bti c
> > > + stp x29, x30, [sp, #-ffi_closure_SYSV_FS]!
> > > + cfi_adjust_cfa_offset (ffi_closure_SYSV_FS)
> > > + cfi_rel_offset (x29, 0)
> > > +@@ -502,6 +570,7 @@ CNAME(ffi_go_closure_SYSV_V):
> > > + .align 4
> > > + cfi_startproc
> > > + CNAME(ffi_go_closure_SYSV):
> > > ++ bti c
> > > + stp x29, x30, [sp, #-ffi_closure_SYSV_FS]!
> > > + cfi_adjust_cfa_offset (ffi_closure_SYSV_FS)
> > > + cfi_rel_offset (x29, 0)
> > >
>
