git.iko.soy/Idris-dev
on d8a8fcf help sign in
history ofsrc/IRTS/CodegenC.hs
all commits
2a0885eBetter representation and rendering of generated namesEdwin Brady af4fda7%flag directiveEdwin Brady e940e39Add flags for gcc to treat signed ints in a predictable wayAndreas Bogk 8a0e9d4Merge pull request #435 from JanBessai/SignedIntegerComparisonEdwin Brady b8e398eSupport signed integer comparison by introducing new primitivesJan Bessai dbce277Treat Int as unsigned in C codegen when zero-extending to IntegerBenjamin Saunders f04aba8Remove overlapped case in CodegenCEdwin Brady 6165c1dMerge branch 'restored-itnative-codegen' of https://github.com/Ralith/Idris-dev into StrLenRegressionTestJan Bessai eca417fRestored missing Int to Integer conversion codegensBenjamin Saunders a0130b9Removed FChar in favour of FArith (ATInt ITChar)Jan Bessai 773e454Make ChType a member of IntTy ITChar.Jan Bessai 0aa3fd6Beginnings of integer SIMD support (no backend yet)Benjamin Saunders 10da5a2Fix truncation of Integer in C codegenBenjamin Saunders 7d6f7f7Integer <-> Float conversion in C codegenBenjamin Saunders 613774cFix invalid C codegen for unary floating point operatorsBenjamin Saunders b56caabFix Data.Bits: properly convert to machine-buitin types everywhere. Fix Codegen: Shr is now called LShr, emit that.Andreas Bogk b7a1059Fixed and extended C backend integer operationsBenjamin Saunders fc8d6e1Expand integer primitive unification to encompass bigintsBenjamin Saunders 1cf8b7bRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""David Christiansen 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady b1a9e75Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitivesBenjamin Saunders 2572b10Parameterized integer FFIBenjamin Saunders 321b8fdReduce redundancy across integer operationsBenjamin Saunders 3caba45Undo earlier fix for RTS linking due to Mac OS incompatibilityDavid Christiansen 116441bMerge remote-tracking branch 'upstream/master' into providersDavid Christiansen e294e0eProper initialization semantics for raw memoryJan Bessai 9991f69Statically link to RTS in generated C codeDavid Christiansen 41f3d97Merge branch 'master' of git://github.com/edwinb/Idris-dev into bitstringBenjamin Saunders e26a119Correct codegen for bitstring complementsBenjamin Saunders 1dc8f39added LChInt LIntCh to primitivesraichoo 4ea88e1Remainder primitives for C codegenBenjamin Saunders d20d0b9Debuggable CodegenC primitive match failuresBenjamin Saunders 46bf6a4Include bitstring prototypes in C codegenBenjamin Saunders eff298eAdd missing VM argumentsBenjamin Saunders 88eb2bfC codegen for bitmanip and bit comparatorsErkin Batu Altunbaş b3ba46ePrimitives for interconversion of Bits32 and IntBenjamin Saunders 7518b0cAbsolutely untested implementations of a few bitstring primitives.Irene Knapp ce9fa93Compile to nested if rather than switch for small casesEdwin Brady 7245290Some tiny RTS optimisationsEdwin Brady e3d393cAdded the ability to dump bytecode to a fileDaniel Waterworth c4e7ba2Made generating C headers more declarativeDaniel Waterworth 06283b6Improve evaluation of projection By caching result of evaluation, so that it's already evaluated when next projection happens.Edwin Brady e0d0b13added Data.Bits and primitives for Intraichoo 0136305Add bitwise &/| primitives for Int (prim__andInt / prim__orInt)Edwin Brady 1d0c6aaFixing compilation in Mingw32Chetan T fab5d73Adding support for Windows MingW32chetant 9a444c5Add 'mod' and variantsEdwin Brady 64fc043Fix overenthuiastic unused argument removal problem (Wasn't checking case analysis where the scrutinee was the result of a projection)Edwin Brady f50f006Expand backend control options and infrastructureBenjamin Saunders 29c67e9Pattern matching on strings, big integers and charactersEdwin Brady