Paris7/compilation
Archived
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Activity

fmt

Browse source
This commit is contained in:
Mylloon 2023-12-31 23:32:17 +01:00
parent fa9fb2785e
commit 123a89088d
Signed by: Anri
GPG key ID: A82D63DFF8D1317F
1 changed files with 9 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

16
flap/runtime/runtime.c
View file

@ -1,17 +1,17 @@
#include <stdlib.h>
#include <stdint.h> #include <stdint.h>
#include <stdio.h> #include <stdio.h>
#include <stdlib.h>
#include <string.h> #include <string.h>
int equal_string(const char* s1, const char* s2) { int equal_string(const char *s1, const char *s2) {
return (strcmp (s1, s2) == 0 ? 1 : 0); return (strcmp(s1, s2) == 0 ? 1 : 0);
} }
int equal_char(char c1, char c2) { int equal_char(char c1, char c2) {
return (c1 == c2 ? 1 : 0); return (c1 == c2 ? 1 : 0);
} }
void print_string(const char* s) { void print_string(const char *s) {
printf("%s", s); printf("%s", s);
} }
@ -23,15 +23,15 @@ void observe_int(int64_t n) {
print_int(n); print_int(n);
} }
intptr_t* allocate_block (int64_t n) { intptr_t *allocate_block(int64_t n) {
return (intptr_t*)malloc (n * sizeof (int64_t)); return (intptr_t *)malloc(n * sizeof(int64_t));
} }
intptr_t read_block (intptr_t* block, int64_t n) { intptr_t read_block(intptr_t *block, int64_t n) {
return block[n]; return block[n];
} }
int64_t write_block (intptr_t* block, int64_t n, intptr_t v) { int64_t write_block(intptr_t *block, int64_t n, intptr_t v) {
block[n] = v; block[n] = v;
return 0; return 0;
} }