git.iko.soy/Idris-dev
on master help sign in
Formatting
531cbe3Benjamin Saunders
llvm/defs.c+14−15
compare with master
unifiedsplit
@@ -24,9 +24,9 @@ void mpz_init_set_sll(mpz_t n, long long sll)
24
24
25void mpz_set_sll(mpz_t n, long long sll)
25void mpz_set_sll(mpz_t n, long long sll)
26{
26{
27− mpz_set_si(n, (int)(sll >> 32)); /* n = (int)sll >> 32 */
27+ mpz_set_si(n, (int)(sll >> 32)); /* n = (int)sll >> 32 */
28− mpz_mul_2exp(n, n, 32 ); /* n <<= 32 */
28+ mpz_mul_2exp(n, n, 32 ); /* n <<= 32 */
29− mpz_add_ui(n, n, (unsigned int)sll); /* n += (unsigned int)sll */
29+ mpz_add_ui(n, n, (unsigned int)sll); /* n += (unsigned int)sll */
30}
30}
31
31
32unsigned long long mpz_get_ull(mpz_t n)
32unsigned long long mpz_get_ull(mpz_t n)
@@ -91,13 +91,13 @@ char *__idris_readStr(FILE* h) {
91}
91}
92
92
93void* fileOpen(char* name, char* mode) {
93void* fileOpen(char* name, char* mode) {
94− FILE* f = fopen(name, mode);
94+ FILE* f = fopen(name, mode);
95− return (void*)f;
95+ return (void*)f;
96}
96}
97
97
98void fileClose(void* h) {
98void fileClose(void* h) {
99− FILE* f = (FILE*)h;
99+ FILE* f = (FILE*)h;
100− fclose(f);
100+ fclose(f);
101}
101}
102
102
103int fileEOF(void* h) {
103int fileEOF(void* h) {
@@ -111,27 +111,26 @@ int fileError(void* h) {
111}
111}
112
112
113void fputStr(void* h, char* str) {
113void fputStr(void* h, char* str) {
114− FILE* f = (FILE*)h;
114+ FILE* f = (FILE*)h;
115− fputs(str, f);
115+ fputs(str, f);
116}
116}
117
117
118int isNull(void* ptr) {
118int isNull(void* ptr) {
119− return ptr==NULL;
119+ return ptr==NULL;
120}
120}
121
121
122void idris_memset(void* ptr, size_t offset, uint8_t c, size_t size) {
122void idris_memset(void* ptr, size_t offset, uint8_t c, size_t size) {
123− memset(((uint8_t*)ptr) + offset, c, size);
123+ memset(((uint8_t*)ptr) + offset, c, size);
124}
124}
125
125
126uint8_t idris_peek(void* ptr, size_t offset) {
126uint8_t idris_peek(void* ptr, size_t offset) {
127− return *(((uint8_t*)ptr) + offset);
127+ return *(((uint8_t*)ptr) + offset);
128}
128}
129
129
130void idris_poke(void* ptr, size_t offset, uint8_t data) {
130void idris_poke(void* ptr, size_t offset, uint8_t data) {
131− *(((uint8_t*)ptr) + offset) = data;
131+ *(((uint8_t*)ptr) + offset) = data;
132}
132}
133
133
134void idris_memmove(void* dest, void* src, size_t dest_offset, size_t src_offset, size_t size) {
134void idris_memmove(void* dest, void* src, size_t dest_offset, size_t src_offset, size_t size) {
135− memmove(dest + dest_offset, src + src_offset, size);
135+ memmove(dest + dest_offset, src + src_offset, size);
136}
136}
137−