git.iko.soy/Idris-dev
on master help sign in
StrRev primitive too
dd51bf7Benjamin Saunders
llvm/defs.c+12
compare with master
unifiedsplit
@@ -146,3 +146,15 @@ void *__idris_gmpRealloc(void *ptr, size_t oldSize, size_t size) {
146void __idris_gmpFree(void *ptr, size_t oldSize) {
146void __idris_gmpFree(void *ptr, size_t oldSize) {
147 GC_free(ptr);
147 GC_free(ptr);
148}
148}
149+
150+char *__idris_strRev(const char *s) {
151+ int x = strlen(s);
152+ int y = 0;
153+ char *t = GC_malloc(x+1);
154+
155+ t[x] = '\0';
156+ while(x>0) {
157+ t[y++] = s[--x];
158+ }
159+ return t;
160+}
src/IRTS/CodegenLLVM.hs+5
@@ -188,6 +188,7 @@ initDefs tgt =
188 , exfun "__idris_gmpMalloc" ptrI8 [intPtr] False
188 , exfun "__idris_gmpMalloc" ptrI8 [intPtr] False
189 , exfun "__idris_gmpRealloc" ptrI8 [ptrI8, intPtr, intPtr] False
189 , exfun "__idris_gmpRealloc" ptrI8 [ptrI8, intPtr, intPtr] False
190 , exfun "__idris_gmpFree" VoidType [ptrI8, intPtr] False
190 , exfun "__idris_gmpFree" VoidType [ptrI8, intPtr] False
191+ , exfun "__idris_strRev" ptrI8 [ptrI8] False
191 , exfun "strtoll" (IntegerType 64) [ptrI8, PointerType ptrI8 (AddrSpace 0), IntegerType 32] False
192 , exfun "strtoll" (IntegerType 64) [ptrI8, PointerType ptrI8 (AddrSpace 0), IntegerType 32] False
192 , exVar (stdinName tgt) ptrI8
193 , exVar (stdinName tgt) ptrI8
193 , exVar (stdoutName tgt) ptrI8
194 , exVar (stdoutName tgt) ptrI8
@@ -1027,6 +1028,10 @@ cgOp LStrLen [s] = do
1027 | x < 32 -> inst $ ZExt len (IntegerType 32) []
1028 | x < 32 -> inst $ ZExt len (IntegerType 32) []
1028 box (FArith (ATInt (ITFixed IT32))) len'
1029 box (FArith (ATInt (ITFixed IT32))) len'
1029
1030
1031+cgOp LStrRev [s] = do
1032+ ns <- unbox FString s
1033+ box FString =<< inst (simpleCall "__idris_strRev" [ns])
1034+
1030cgOp LReadStr [p] = do
1035cgOp LReadStr [p] = do
1031 np <- unbox FPtr p
1036 np <- unbox FPtr p
1032 s <- inst $ simpleCall "__idris_readStr" [np]
1037 s <- inst $ simpleCall "__idris_readStr" [np]