16662e989SPeter Collingbourne // This header provides replacements for certain libc functions. It is necessary 26662e989SPeter Collingbourne // in order to safely run the tests on aarch64, because the system libc might 36662e989SPeter Collingbourne // not have been compiled with -ffixed-x18. 46662e989SPeter Collingbourne 56662e989SPeter Collingbourne #pragma once 66662e989SPeter Collingbourne 76662e989SPeter Collingbourne #include <stddef.h> 86662e989SPeter Collingbourne #include <stdint.h> 96662e989SPeter Collingbourne #include <stdio.h> 106662e989SPeter Collingbourne 116662e989SPeter Collingbourne #ifdef __aarch64__ 126662e989SPeter Collingbourne scs_strlen(const char * p)136662e989SPeter Collingbournesize_t scs_strlen(const char *p) { 146662e989SPeter Collingbourne size_t retval = 0; 156662e989SPeter Collingbourne while (*p++) 166662e989SPeter Collingbourne retval++; 176662e989SPeter Collingbourne return retval; 186662e989SPeter Collingbourne } 196662e989SPeter Collingbourne 206662e989SPeter Collingbourne // We mark this function as noinline to make sure that its callers do not 216662e989SPeter Collingbourne // become leaf functions as a result of inlining. This is because we want to 226662e989SPeter Collingbourne // make sure that we generate the correct code for non-leaf functions. 236662e989SPeter Collingbourne scs_fputs_stdout(const char * p)246662e989SPeter Collingbourne__attribute__((noinline)) void scs_fputs_stdout(const char *p) { 256662e989SPeter Collingbourne __asm__ __volatile__( 266662e989SPeter Collingbourne "mov x0, #1\n" // stdout 276662e989SPeter Collingbourne "mov x1, %0\n" 286662e989SPeter Collingbourne "mov x2, %1\n" 296662e989SPeter Collingbourne "mov x8, #64\n" // write 306662e989SPeter Collingbourne "svc #0\n" ::"r"(p), 316662e989SPeter Collingbourne "r"(scs_strlen(p)) 326662e989SPeter Collingbourne : "x0", "x1", "x2", "x8"); 336662e989SPeter Collingbourne } 346662e989SPeter Collingbourne 356662e989SPeter Collingbourne #else 36*2e1479e2SVlad Tsyrklevich #error Unsupported platform 376662e989SPeter Collingbourne #endif 38