git.iko.soy/Idris-dev
on f73d721 help sign in
history ofsrc/IRTS/CodegenLLVM.hs
all commits
bf2b29eFix some load instructions being incorrectly marked as invariant for LLVMBenjamin Saunders ffc8583Implement LNullPtr primitiveBenjamin Saunders 1f5beb6Fix LLVM compilation error because of moved `getCC`Brian McKenna 5000aebAdd a Cabal libraryBrian McKenna 17de459Add floating point primitives to LLVM backendMarkus Pfeiffer 5946416Implement argument access under LLVM codegenBenjamin Saunders ec5de33Fix LLVM codegen of negative integer literalsBenjamin Saunders 9836a07Inlining - Evaluator now supports run-time termsEdwin Brady 3c32b65Whitespace cleanup.George Leontiev 630c8b4Adds the ability to keep around the generated maven projectJan Bessai ef09742Verify that foreign symbols declared in multiple places have a consistent signatureBenjamin Saunders c614366Print failed pattern match error messages to stderrBenjamin Saunders 7a43e68Keep track of prototyped foreign symbols across definitionsBenjamin Saunders ed8114eUpdated dependencies and types for Haskell llvm bindings v3.3.8.1.lambdadomain 2f8a33aUse atomic allocations when safe in LLVM codegen.Benjamin Saunders b8e398eSupport signed integer comparison by introducing new primitivesJan Bessai 1bc4ed3Invert namespace cleanup for better compatibilityBenjamin Saunders 1931f0bBuild LLVM rts at the right stage and clean up a namespaceBenjamin Saunders 1945adfIntegers of fixed width should use unsigned comparisonsBenjamin Saunders dd51bf7StrRev primitive tooBenjamin Saunders a4325c0Left and arithmetic right shifts on big integers under LLVM codegenBenjamin Saunders 1c1ad77Fix LLVM codegen integer interconversion and integer <-> character primitivesBenjamin Saunders 7de42c8Implement bitcasts in LLVM codegenBenjamin Saunders 53f344aRestored missing Int to Integer conversion codegensBenjamin Saunders 8e0f138Merge pull request #383 from JanBessai/ITCharEdwin Brady a0130b9Removed FChar in favour of FArith (ATInt ITChar)Jan Bessai 773e454Make ChType a member of IntTy ITChar.Jan Bessai 1aff488Loads are invariantBenjamin Saunders c810796Communicate invariance of freshly initialized memory to LLVMBenjamin Saunders 8709754Vector operation support in LLVM codegenBenjamin Saunders 0aa3fd6Beginnings of integer SIMD support (no backend yet)Benjamin Saunders 7b6448eOptimization level selectionBenjamin Saunders 63b69ffConvey target triple to LLVM earlierBenjamin Saunders b69a649Implement LNoOp in LLVM codegenBenjamin Saunders f149970Rename --target to --codegen and add options to specify target triple and CPU, defaulting to that of hostBenjamin Saunders 7ebf672Enable optimizationsBenjamin Saunders 672f5a1Direct object file output and accurate target selectionBenjamin Saunders 340beedFix compatibility with llvm-general 3.3.2 and tighten version constraints to avoid future breakageBenjamin Saunders 3165cb2Expand target information and use proper stdio symbols on OSXBenjamin Saunders acce7daGC GMP-allocated memoryBenjamin Saunders 6489978Initialize Boehm GC (hopefully fixes OSX)Benjamin Saunders 3c57588Implement remaining string and integer primitivesBenjamin Saunders 145101aDeclare strtollBenjamin Saunders 06e51b8Utility function for llvm codegen bugcheckingBenjamin Saunders fc17a3fImplement more primitives and foreign lib functionsBenjamin Saunders 91f4733Fix fixed-width integer to Integer conversionsBenjamin Saunders 6d776ddString manipulationBenjamin Saunders e61506fExpand value flag to 32 bits to prevent confusion with defunctionalization constructors >= 65791Benjamin Saunders d73f9bdFix buffer overflow and 64-bit int toStr truncationBenjamin Saunders baf59acStrCons and conversions to IntegerBenjamin Saunders