git.iko.soy/Idris-dev
on 4cd1255 help sign in
history ofsrc/IRTS/CodegenLLVM.hs
all commits
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 3e50b1bMore informative case failure errors, cleanupBenjamin Saunders 6a48a25Fixed width SExt and ZExtBenjamin Saunders 1280aeaFixed width integer truncationBenjamin Saunders 25d1e1fFix comparison return values and implement Integer truncationBenjamin Saunders 4b2570eCleanupBenjamin Saunders 21c9f6fLStrEqBenjamin Saunders cca0ac0Fix case on strings and bigintsBenjamin Saunders 7e29890Fixed-width integer comparisonBenjamin Saunders b0709a7Integer comparisonBenjamin Saunders 4479377Fix Integer primsBenjamin Saunders