Package llvm - Namespaces

• Data.LLVM

  LLVM IR representation and manipulation library. This is the main module for the LLVM IR library, providing a complete Idris interface for creating, manipulating, and serializing LLVM IR. The library includes: - Core data types for LLVM IR constructs (LCore) - Type classes for encoding IR to text (LClass) - Serialization to LLVM IR text format (LWrite) - Instruction and operation types (LOps) - Program structure and top-level definitions (LProgram) - Builder functions and DSL interfaces (Interface) - Type conversions and casting utilities (LCasts) - Optimization pass integration (LPass) - Foreign function interface utilities (LForeign) Example usage: ```idris import Data.LLVM myModule : LModule myModule = MkLModule { text = [ GlobalDefC $ globalDef "myGlobal" (LInt 32) {init = Just (LInt 42)}, FunctionDefC $ functionDef "main" LVoid [] (MkBlock [ ret LVoid ]) ] } ```
• Data.LLVM.Class

  Type classes and utilities for encoding LLVM IR to string representations. This module provides the `Encode` interface for converting LLVM IR data types to their textual representations, along with supporting types and utilities for string manipulation and formatting.
• Data.LLVM.IR.Core

  Core LLVM IR data types and utility functions. This module defines the fundamental data types for representing LLVM IR constructs, including linkage types, calling conventions, visibility modifiers, and basic value types. It also provides utility functions for name escaping and type manipulation.
• Data.LLVM.Write

  LLVM IR serialization to textual representation. This module provides Encode Identity instances for all LLVM IR data types, allowing them to be converted to their textual LLVM IR representation. It handles proper formatting, escaping, and syntax generation for a complete LLVM IR module.
• Data.LLVM.IR.Ops
• Data.LLVM.IR.Program

  LLVM IR program structure and top-level definitions. This module defines the data structures for representing complete LLVM IR programs, including global variables, function definitions, and module-level constructs. It provides the building blocks for constructing full LLVM modules.
• Data.LLVM.Interface
• Data.LLVM.IR.Builders

  LLVM IR builder functions for constructing LLVM IR programmatically. This module provides convenient builder functions for creating LLVM IR constructs with sensible defaults and optional parameters. The builders cover: - **Terminator operations**: switch, invoke, unreachable, etc. - **Arithmetic operations**: add, sub, mul, div, rem with overflow/exact flags - **Bitwise operations**: and, or, xor, shift operations - **Comparison operations**: icmp, fcmp with different predicates - **Memory operations**: alloca, load, store with various flags - **Type conversion**: trunc, zext, sext, bitcast, fp conversions - **Vector operations**: insert/extract/shuffle elements - **Aggregate operations**: insert/extract values from structs/arrays - **Control flow**: phi nodes, select, freeze - **Type shortcuts**: i1, i8, i16, i32, i64, ptr, float, double - **Constant builders**: integers, booleans, strings, arrays, etc. All builder functions use default arguments where sensible to reduce verbosity while still allowing full customization when needed.
• Data.LLVM.Casts

  Type casting utilities for LLVM IR constructs. This module provides Walk instances that allow automatic conversion between LLVM IR data types. These instances enable seamless integration with Idris's casting system and make the LLVM DSL more ergonomic. The primary purpose is to allow various LLVM constructs to be automatically converted to their appropriate clause types for inclusion in modules, and to provide convenient conversions between related types.
• Data.LLVM.Pass
• Data.LLVM.Foreign
• System.LLVM

  System interface for LLVM compilation and execution. This module provides the main system interface for working with LLVM, including compilation, optimization, linking, and execution of LLVM IR. It re-exports all the necessary components for a complete LLVM workflow.
• System.LLVM.Common

  Common types and utilities for LLVM system operations. This module defines the fundamental types and utilities used throughout the LLVM system interface, including error handling, compilation context, and common operations for running external LLVM tools.
• System.LLVM.Build
• System.LLVM.Compile
• System.LLVM.Link
• System.LLVM.Assembler
• System.LLVM.Optimize
• System.LLVM.Foreign
• Data.LLVM.Logic
• Data.Walk
• Data.LLVM.IR
• Data.LLVM.IR.Alias
• Data.LLVM.IR.Builders.Helper
• Data.LLVM.IR.Builders.Control
• Data.LLVM.IR.Builders.Ops
• Data.LLVM.IR.Builders.Math
• Data.LLVM.IR.Builders.Core