Author | Tokens | Token Proportion | Commits | Commit Proportion |
---|---|---|---|---|
Will Deacon | 1313 | 73.11% | 1 | 14.29% |
Mathieu Desnoyers | 483 | 26.89% | 6 | 85.71% |
Total | 1796 | 7 |
/* SPDX-License-Identifier: LGPL-2.1 OR MIT */ /* * rseq-arm64-bits.h * * (C) Copyright 2016-2022 - Mathieu Desnoyers <mathieu.desnoyers@efficios.com> * (C) Copyright 2018 - Will Deacon <will.deacon@arm.com> */ #include "rseq-bits-template.h" #if defined(RSEQ_TEMPLATE_MO_RELAXED) && \ (defined(RSEQ_TEMPLATE_CPU_ID) || defined(RSEQ_TEMPLATE_MM_CID)) static inline __attribute__((always_inline)) int RSEQ_TEMPLATE_IDENTIFIER(rseq_cmpeqv_storev)(intptr_t *v, intptr_t expect, intptr_t newv, int cpu) { RSEQ_INJECT_C(9) __asm__ __volatile__ goto ( RSEQ_ASM_DEFINE_TABLE(1, 2f, 3f, 4f) RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[cmpfail]) #ifdef RSEQ_COMPARE_TWICE RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[error1]) RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[error2]) #endif RSEQ_ASM_STORE_RSEQ_CS(2, 1b, rseq_cs) RSEQ_ASM_CMP_CPU_ID(cpu_id, current_cpu_id, 4f) RSEQ_INJECT_ASM(3) RSEQ_ASM_OP_CMPEQ(v, expect, %l[cmpfail]) RSEQ_INJECT_ASM(4) #ifdef RSEQ_COMPARE_TWICE RSEQ_ASM_CMP_CPU_ID(cpu_id, current_cpu_id, %l[error1]) RSEQ_ASM_OP_CMPEQ(v, expect, %l[error2]) #endif RSEQ_ASM_OP_FINAL_STORE(newv, v, 3) RSEQ_INJECT_ASM(5) RSEQ_ASM_DEFINE_ABORT(4, abort) : /* gcc asm goto does not allow outputs */ : [cpu_id] "r" (cpu), [current_cpu_id] "Qo" (rseq_get_abi()->RSEQ_TEMPLATE_CPU_ID_FIELD), [rseq_cs] "m" (rseq_get_abi()->rseq_cs.arch.ptr), [v] "Qo" (*v), [expect] "r" (expect), [newv] "r" (newv) RSEQ_INJECT_INPUT : "memory", RSEQ_ASM_TMP_REG : abort, cmpfail #ifdef RSEQ_COMPARE_TWICE , error1, error2 #endif ); rseq_after_asm_goto(); return 0; abort: rseq_after_asm_goto(); RSEQ_INJECT_FAILED return -1; cmpfail: rseq_after_asm_goto(); return 1; #ifdef RSEQ_COMPARE_TWICE error1: rseq_after_asm_goto(); rseq_bug("cpu_id comparison failed"); error2: rseq_after_asm_goto(); rseq_bug("expected value comparison failed"); #endif } static inline __attribute__((always_inline)) int RSEQ_TEMPLATE_IDENTIFIER(rseq_cmpnev_storeoffp_load)(intptr_t *v, intptr_t expectnot, long voffp, intptr_t *load, int cpu) { RSEQ_INJECT_C(9) __asm__ __volatile__ goto ( RSEQ_ASM_DEFINE_TABLE(1, 2f, 3f, 4f) RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[cmpfail]) #ifdef RSEQ_COMPARE_TWICE RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[error1]) RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[error2]) #endif RSEQ_ASM_STORE_RSEQ_CS(2, 1b, rseq_cs) RSEQ_ASM_CMP_CPU_ID(cpu_id, current_cpu_id, 4f) RSEQ_INJECT_ASM(3) RSEQ_ASM_OP_CMPNE(v, expectnot, %l[cmpfail]) RSEQ_INJECT_ASM(4) #ifdef RSEQ_COMPARE_TWICE RSEQ_ASM_CMP_CPU_ID(cpu_id, current_cpu_id, %l[error1]) RSEQ_ASM_OP_CMPNE(v, expectnot, %l[error2]) #endif RSEQ_ASM_OP_R_LOAD(v) RSEQ_ASM_OP_R_STORE(load) RSEQ_ASM_OP_R_LOAD_OFF(voffp) RSEQ_ASM_OP_R_FINAL_STORE(v, 3) RSEQ_INJECT_ASM(5) RSEQ_ASM_DEFINE_ABORT(4, abort) : /* gcc asm goto does not allow outputs */ : [cpu_id] "r" (cpu), [current_cpu_id] "Qo" (rseq_get_abi()->RSEQ_TEMPLATE_CPU_ID_FIELD), [rseq_cs] "m" (rseq_get_abi()->rseq_cs.arch.ptr), [v] "Qo" (*v), [expectnot] "r" (expectnot), [load] "Qo" (*load), [voffp] "r" (voffp) RSEQ_INJECT_INPUT : "memory", RSEQ_ASM_TMP_REG : abort, cmpfail #ifdef RSEQ_COMPARE_TWICE , error1, error2 #endif ); rseq_after_asm_goto(); return 0; abort: rseq_after_asm_goto(); RSEQ_INJECT_FAILED return -1; cmpfail: rseq_after_asm_goto(); return 1; #ifdef RSEQ_COMPARE_TWICE error1: rseq_after_asm_goto(); rseq_bug("cpu_id comparison failed"); error2: rseq_after_asm_goto(); rseq_bug("expected value comparison failed"); #endif } static inline __attribute__((always_inline)) int RSEQ_TEMPLATE_IDENTIFIER(rseq_addv)(intptr_t *v, intptr_t count, int cpu) { RSEQ_INJECT_C(9) __asm__ __volatile__ goto ( RSEQ_ASM_DEFINE_TABLE(1, 2f, 3f, 4f) #ifdef RSEQ_COMPARE_TWICE RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[error1]) #endif RSEQ_ASM_STORE_RSEQ_CS(2, 1b, rseq_cs) RSEQ_ASM_CMP_CPU_ID(cpu_id, current_cpu_id, 4f) RSEQ_INJECT_ASM(3) #ifdef RSEQ_COMPARE_TWICE RSEQ_ASM_CMP_CPU_ID(cpu_id, current_cpu_id, %l[error1]) #endif RSEQ_ASM_OP_R_LOAD(v) RSEQ_ASM_OP_R_ADD(count) RSEQ_ASM_OP_R_FINAL_STORE(v, 3) RSEQ_INJECT_ASM(4) RSEQ_ASM_DEFINE_ABORT(4, abort) : /* gcc asm goto does not allow outputs */ : [cpu_id] "r" (cpu), [current_cpu_id] "Qo" (rseq_get_abi()->RSEQ_TEMPLATE_CPU_ID_FIELD), [rseq_cs] "m" (rseq_get_abi()->rseq_cs.arch.ptr), [v] "Qo" (*v), [count] "r" (count) RSEQ_INJECT_INPUT : "memory", RSEQ_ASM_TMP_REG : abort #ifdef RSEQ_COMPARE_TWICE , error1 #endif ); rseq_after_asm_goto(); return 0; abort: rseq_after_asm_goto(); RSEQ_INJECT_FAILED return -1; #ifdef RSEQ_COMPARE_TWICE error1: rseq_after_asm_goto(); rseq_bug("cpu_id comparison failed"); #endif } static inline __attribute__((always_inline)) int RSEQ_TEMPLATE_IDENTIFIER(rseq_cmpeqv_cmpeqv_storev)(intptr_t *v, intptr_t expect, intptr_t *v2, intptr_t expect2, intptr_t newv, int cpu) { RSEQ_INJECT_C(9) __asm__ __volatile__ goto ( RSEQ_ASM_DEFINE_TABLE(1, 2f, 3f, 4f) RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[cmpfail]) #ifdef RSEQ_COMPARE_TWICE RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[error1]) RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[error2]) RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[error3]) #endif RSEQ_ASM_STORE_RSEQ_CS(2, 1b, rseq_cs) RSEQ_ASM_CMP_CPU_ID(cpu_id, current_cpu_id, 4f) RSEQ_INJECT_ASM(3) RSEQ_ASM_OP_CMPEQ(v, expect, %l[cmpfail]) RSEQ_INJECT_ASM(4) RSEQ_ASM_OP_CMPEQ(v2, expect2, %l[cmpfail]) RSEQ_INJECT_ASM(5) #ifdef RSEQ_COMPARE_TWICE RSEQ_ASM_CMP_CPU_ID(cpu_id, current_cpu_id, %l[error1]) RSEQ_ASM_OP_CMPEQ(v, expect, %l[error2]) RSEQ_ASM_OP_CMPEQ(v2, expect2, %l[error3]) #endif RSEQ_ASM_OP_FINAL_STORE(newv, v, 3) RSEQ_INJECT_ASM(6) RSEQ_ASM_DEFINE_ABORT(4, abort) : /* gcc asm goto does not allow outputs */ : [cpu_id] "r" (cpu), [current_cpu_id] "Qo" (rseq_get_abi()->RSEQ_TEMPLATE_CPU_ID_FIELD), [rseq_cs] "m" (rseq_get_abi()->rseq_cs.arch.ptr), [v] "Qo" (*v), [expect] "r" (expect), [v2] "Qo" (*v2), [expect2] "r" (expect2), [newv] "r" (newv) RSEQ_INJECT_INPUT : "memory", RSEQ_ASM_TMP_REG : abort, cmpfail #ifdef RSEQ_COMPARE_TWICE , error1, error2, error3 #endif ); rseq_after_asm_goto(); return 0; abort: rseq_after_asm_goto(); RSEQ_INJECT_FAILED return -1; cmpfail: rseq_after_asm_goto(); return 1; #ifdef RSEQ_COMPARE_TWICE error1: rseq_after_asm_goto(); rseq_bug("cpu_id comparison failed"); error2: rseq_after_asm_goto(); rseq_bug("expected value comparison failed"); error3: rseq_after_asm_goto(); rseq_bug("2nd expected value comparison failed"); #endif } #endif /* #if defined(RSEQ_TEMPLATE_MO_RELAXED) && (defined(RSEQ_TEMPLATE_CPU_ID) || defined(RSEQ_TEMPLATE_MM_CID)) */ #if (defined(RSEQ_TEMPLATE_MO_RELAXED) || defined(RSEQ_TEMPLATE_MO_RELEASE)) && \ (defined(RSEQ_TEMPLATE_CPU_ID) || defined(RSEQ_TEMPLATE_MM_CID)) static inline __attribute__((always_inline)) int RSEQ_TEMPLATE_IDENTIFIER(rseq_cmpeqv_trystorev_storev)(intptr_t *v, intptr_t expect, intptr_t *v2, intptr_t newv2, intptr_t newv, int cpu) { RSEQ_INJECT_C(9) __asm__ __volatile__ goto ( RSEQ_ASM_DEFINE_TABLE(1, 2f, 3f, 4f) RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[cmpfail]) #ifdef RSEQ_COMPARE_TWICE RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[error1]) RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[error2]) #endif RSEQ_ASM_STORE_RSEQ_CS(2, 1b, rseq_cs) RSEQ_ASM_CMP_CPU_ID(cpu_id, current_cpu_id, 4f) RSEQ_INJECT_ASM(3) RSEQ_ASM_OP_CMPEQ(v, expect, %l[cmpfail]) RSEQ_INJECT_ASM(4) #ifdef RSEQ_COMPARE_TWICE RSEQ_ASM_CMP_CPU_ID(cpu_id, current_cpu_id, %l[error1]) RSEQ_ASM_OP_CMPEQ(v, expect, %l[error2]) #endif RSEQ_ASM_OP_STORE(newv2, v2) RSEQ_INJECT_ASM(5) #ifdef RSEQ_TEMPLATE_MO_RELEASE RSEQ_ASM_OP_FINAL_STORE_RELEASE(newv, v, 3) #else RSEQ_ASM_OP_FINAL_STORE(newv, v, 3) #endif RSEQ_INJECT_ASM(6) RSEQ_ASM_DEFINE_ABORT(4, abort) : /* gcc asm goto does not allow outputs */ : [cpu_id] "r" (cpu), [current_cpu_id] "Qo" (rseq_get_abi()->RSEQ_TEMPLATE_CPU_ID_FIELD), [rseq_cs] "m" (rseq_get_abi()->rseq_cs.arch.ptr), [expect] "r" (expect), [v] "Qo" (*v), [newv] "r" (newv), [v2] "Qo" (*v2), [newv2] "r" (newv2) RSEQ_INJECT_INPUT : "memory", RSEQ_ASM_TMP_REG : abort, cmpfail #ifdef RSEQ_COMPARE_TWICE , error1, error2 #endif ); rseq_after_asm_goto(); return 0; abort: rseq_after_asm_goto(); RSEQ_INJECT_FAILED return -1; cmpfail: rseq_after_asm_goto(); return 1; #ifdef RSEQ_COMPARE_TWICE error1: rseq_after_asm_goto(); rseq_bug("cpu_id comparison failed"); error2: rseq_after_asm_goto(); rseq_bug("expected value comparison failed"); #endif } static inline __attribute__((always_inline)) int RSEQ_TEMPLATE_IDENTIFIER(rseq_cmpeqv_trymemcpy_storev)(intptr_t *v, intptr_t expect, void *dst, void *src, size_t len, intptr_t newv, int cpu) { RSEQ_INJECT_C(9) __asm__ __volatile__ goto ( RSEQ_ASM_DEFINE_TABLE(1, 2f, 3f, 4f) RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[cmpfail]) #ifdef RSEQ_COMPARE_TWICE RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[error1]) RSEQ_ASM_DEFINE_EXIT_POINT(2f, %l[error2]) #endif RSEQ_ASM_STORE_RSEQ_CS(2, 1b, rseq_cs) RSEQ_ASM_CMP_CPU_ID(cpu_id, current_cpu_id, 4f) RSEQ_INJECT_ASM(3) RSEQ_ASM_OP_CMPEQ(v, expect, %l[cmpfail]) RSEQ_INJECT_ASM(4) #ifdef RSEQ_COMPARE_TWICE RSEQ_ASM_CMP_CPU_ID(cpu_id, current_cpu_id, %l[error1]) RSEQ_ASM_OP_CMPEQ(v, expect, %l[error2]) #endif RSEQ_ASM_OP_R_BAD_MEMCPY(dst, src, len) RSEQ_INJECT_ASM(5) #ifdef RSEQ_TEMPLATE_MO_RELEASE RSEQ_ASM_OP_FINAL_STORE_RELEASE(newv, v, 3) #else RSEQ_ASM_OP_FINAL_STORE(newv, v, 3) #endif RSEQ_INJECT_ASM(6) RSEQ_ASM_DEFINE_ABORT(4, abort) : /* gcc asm goto does not allow outputs */ : [cpu_id] "r" (cpu), [current_cpu_id] "Qo" (rseq_get_abi()->RSEQ_TEMPLATE_CPU_ID_FIELD), [rseq_cs] "m" (rseq_get_abi()->rseq_cs.arch.ptr), [expect] "r" (expect), [v] "Qo" (*v), [newv] "r" (newv), [dst] "r" (dst), [src] "r" (src), [len] "r" (len) RSEQ_INJECT_INPUT : "memory", RSEQ_ASM_TMP_REG, RSEQ_ASM_TMP_REG_2 : abort, cmpfail #ifdef RSEQ_COMPARE_TWICE , error1, error2 #endif ); rseq_after_asm_goto(); return 0; abort: rseq_after_asm_goto(); RSEQ_INJECT_FAILED return -1; cmpfail: rseq_after_asm_goto(); return 1; #ifdef RSEQ_COMPARE_TWICE error1: rseq_after_asm_goto(); rseq_bug("cpu_id comparison failed"); error2: rseq_after_asm_goto(); rseq_bug("expected value comparison failed"); #endif } #endif /* #if (defined(RSEQ_TEMPLATE_MO_RELAXED) || defined(RSEQ_TEMPLATE_MO_RELEASE)) && (defined(RSEQ_TEMPLATE_CPU_ID) || defined(RSEQ_TEMPLATE_MM_CID)) */ #include "rseq-bits-reset.h"
Information contained on this website is for historical information purposes only and does not indicate or represent copyright ownership.
Created with Cregit http://github.com/cregit/cregit
Version 2.0-RC1