current.md

Version 0.x to be released (master branch)

This file tracks the implementation status of various LLVM IR language concepts, as covered by the master branch of llir/llvm.

The asm checkbox tracks read support of the language concept by the llvm/asm package.

The ir checkbox tracks support for an in-memory representation of the language concept by the llvm/ir package.

Modules

• Source filename (ref LangRef.html#source-filename)
  • asm
  • ir
• Target specifiers (ref LangRef.html#data-layout, LangRef.html#target-triple)
  • asm
  • ir (ref ir.Module.DataLayout, ir.Module.TargetTriple)
• Module-level inline assembly (ref LangRef.html#module-level-inline-assembly)
  • asm
  • ir
• Type definitions (ref LangRef.html#structure-types)
  • asm
  • ir (ref ir.Module.Types)
• Comdat definitions (ref LangRef.html#comdats)
  • asm
  • ir
• Global variables (ref LangRef.html#global-variables)
  • asm
  • ir (ref ir.Module.Globals)
• Functions (ref LangRef.html#functions)
  • asm
  • ir (ref ir.Module.Funcs)
• Attribute group definitions (ref LangRef.html#attribute-groups)
  • asm
  • ir
• Metadata definitions (ref LangRef.html#metadata)
  • asm
  • ir (ref ir.Module.NamedMetadata, ir.Module.Metadata)

Types

• Void type (ref LangRef.html#void-type)
  • asm
  • ir (ref ir/types.VoidType)
• Function type (ref LangRef.html#function-type)
  • asm
  • ir (ref ir/types.FuncType)
• Integer type (ref LangRef.html#integer-type)
  • asm
  • ir (ref ir/types.IntType)
• Floating-point type (ref LangRef.html#floating-point-types)
  • asm
  • ir (ref ir/types.FloatType)
• x86 MMX type (ref LangRef.html#x86-mmx-type)
  • asm
  • ir
• Pointer type (ref LangRef.html#pointer-type)
  • asm
  • ir (ref ir/types.PointerType)
• Vector type (ref LangRef.html#vector-type)
  • asm
  • ir (ref ir/types.VectorType)
• Label type (ref LangRef.html#label-type)
  • asm
  • ir (ref ir/types.LabelType)
• Token type (ref LangRef.html#token-type)
  • asm
  • ir
• Metadata type (ref LangRef.html#metadata-type)
  • asm
  • ir (ref ir/types.MetadataType)
• Array type (ref LangRef.html#array-type)
  • asm
  • ir (ref ir/types.ArrayType)
• Struct type (ref LangRef.html#structure-type)
  • asm
  • ir (ref ir/types.StructType)

Constants

• Integer constant (ref LangRef.html#simple-constants)
  • asm
  • ir (ref ir/constant.Int)
• Floating-point constant (ref LangRef.html#simple-constants)
  • asm
  • ir (ref ir/constant.Float)
• Pointer constant (ref LangRef.html#simple-constants, LangRef.html#global-variable-and-function-addresses)
  • asm
  • ir (ref ir/constant.Null, ir.Global, ir.Function)
• Token constant (ref LangRef.html#simple-constants)
  • asm
  • ir
• Vector constant (ref LangRef.html#complex-constants)
  • asm
  • ir (ref ir/constant.Vector)
• Array constant (ref LangRef.html#complex-constants)
  • asm
  • ir (ref ir/constant.Array)
• Struct constant (ref LangRef.html#complex-constants)
  • asm
  • ir (ref ir/constant.Struct)
• Zero initializer constant (ref LangRef.html#complex-constants)
  • asm
  • ir (ref ir/constant.ZeroInitializer)
• Undefined value constant (ref LangRef.html#undefined-values)
  • asm
  • ir (ref ir/constant.Undef)
• Block address constant (ref LangRef.html#addresses-of-basic-blocks)
  • asm
  • ir

Constant expressions

Binary expressions

• add (ref LangRef.html#add-instruction)
  • asm
  • ir (ref ir/constant.ExprAdd)
• fadd (ref LangRef.html#fadd-instruction)
  • asm
  • ir (ref ir/constant.ExprFAdd)
• sub (ref LangRef.html#sub-instruction)
  • asm
  • ir (ref ir/constant.ExprSub)
• fsub (ref LangRef.html#fsub-instruction)
  • asm
  • ir (ref ir/constant.ExprFSub)
• mul (ref LangRef.html#mul-instruction)
  • asm
  • ir (ref ir/constant.ExprMul)
• fmul (ref LangRef.html#fmul-instruction)
  • asm
  • ir (ref ir/constant.ExprFMul)
• udiv (ref LangRef.html#udiv-instruction)
  • asm
  • ir (ref ir/constant.ExprUDiv)
• sdiv (ref LangRef.html#sdiv-instruction)
  • asm
  • ir (ref ir/constant.ExprSDiv)
• fdiv (ref LangRef.html#fdiv-instruction)
  • asm
  • ir (ref ir/constant.ExprFDiv)
• urem (ref LangRef.html#urem-instruction)
  • asm
  • ir (ref ir/constant.ExprURem)
• srem (ref LangRef.html#srem-instruction)
  • asm
  • ir (ref ir/constant.ExprSRem)
• frem (ref LangRef.html#frem-instruction)
  • asm
  • ir (ref ir/constant.ExprFRem)

Bitwise expressions

• shl (ref LangRef.html#shl-instruction)
  • asm
  • ir (ref ir/constant.ExprShl)
• lshr (ref LangRef.html#lshr-instruction)
  • asm
  • ir (ref ir/constant.ExprLShr)
• ashr (ref LangRef.html#ashr-instruction)
  • asm
  • ir (ref ir/constant.ExprAShr)
• and (ref LangRef.html#and-instruction)
  • asm
  • ir (ref ir/constant.ExprAnd)
• or (ref LangRef.html#or-instruction)
  • asm
  • ir (ref ir/constant.ExprOr)
• xor (ref LangRef.html#xor-instruction)
  • asm
  • ir (ref ir/constant.ExprXor)

Vector expressions

• extractelement (ref LangRef.html#extractelement-instruction)
  • asm
  • ir (ref ir/constant.ExprExtractElement)
• insertelement (ref LangRef.html#insertelement-instruction)
  • asm
  • ir (ref ir/constant.ExprInsertElement)
• shufflevector (ref LangRef.html#shufflevector-instruction)
  • asm
  • ir (ref ir/constant.ExprShuffleVector)

Aggregate expressions

• extractvalue (ref LangRef.html#extractvalue-instruction)
  • asm
  • ir (ref ir/constant.ExprExtractValue)
• insertvalue (ref LangRef.html#insertvalue-instruction)
  • asm
  • ir (ref ir/constant.ExprInsertValue)

Memory expressions

• getelementptr (ref LangRef.html#getelementptr-instruction)
  • asm
  • ir (ref ir/constant.ExprGetElementPtr)

Conversion expressions

• trunc (ref LangRef.html#trunc-instruction)
  • asm
  • ir (ref ir/constant.ExprTrunc)
• zext (ref LangRef.html#zext-instruction)
  • asm
  • ir (ref ir/constant.ExprZExt)
• sext (ref LangRef.html#sext-instruction)
  • asm
  • ir (ref ir/constant.ExprSExt)
• fptrunc (ref LangRef.html#fptrunc-instruction)
  • asm
  • ir (ref ir/constant.ExprFPTrunc)
• fpext (ref LangRef.html#fpext-instruction)
  • asm
  • ir (ref ir/constant.ExprFPExt)
• fptoui (ref LangRef.html#fptoui-instruction)
  • asm
  • ir (ref ir/constant.ExprFPToUI)
• fptosi (ref LangRef.html#fptosi-instruction)
  • asm
  • ir (ref ir/constant.ExprFPToSI)
• uitofp (ref LangRef.html#uitofp-instruction)
  • asm
  • ir (ref ir/constant.ExprUIToFP)
• sitofp (ref LangRef.html#sitofp-instruction)
  • asm
  • ir (ref ir/constant.ExprSIToFP)
• ptrtoint (ref LangRef.html#ptrtoint-instruction)
  • asm
  • ir (ref ir/constant.ExprPtrToInt)
• inttoptr (ref LangRef.html#inttoptr-instruction)
  • asm
  • ir (ref ir/constant.ExprIntToPtr)
• bitcast (ref LangRef.html#bitcast-instruction)
  • asm
  • ir (ref ir/constant.ExprBitCast)
• addrspacecast (ref LangRef.html#addrspacecast-instruction)
  • asm
  • ir (ref ir/constant.ExprAddrSpaceCast)

Other expressions

• icmp (ref LangRef.html#icmp-instruction)
  • asm
  • ir (ref ir/constant.ExprICmp)
• fcmp (ref LangRef.html#fcmp-instruction)
  • asm
  • ir (ref ir/constant.ExprFCmp)
• select (ref LangRef.html#select-instruction)
  • asm
  • ir (ref ir/constant.ExprSelect)

Global variables

Global variables (ref LangRef.html#global-variables)

• asm
• ir (ref ir.Global)

• Linkage type
  • asm
  • ir
• Visibility style
  • asm
  • ir
• DLL storage class
  • asm
  • ir
• Thread local storage model
  • asm
  • ir
• Unnamed address
  • asm
  • ir
• Address space
  • asm
  • ir (ref ir.Global.Typ)
• Externally initialized
  • asm
  • ir
• Section name
  • asm
  • ir
• COMDAT name
  • asm
  • ir
• Alignment
  • asm
  • ir
• Attached metadata
  • asm
  • ir (ref ir.Global.Metadata)

Functions

Functions (ref LangRef.html#functions)

• asm
• ir (ref ir.Function)

• Linkage type
  • asm
  • ir
• Visibility style
  • asm
  • ir
• DLL storage class
  • asm
  • ir
• Calling convention
  • asm
  • ir (ref ir.Function.CallConv)
• Return type parameter attributes
  • asm
  • ir
• Argument parameter attributes
  • asm
  • ir
• Unnamed address
  • asm
  • ir
• Function attributes
  • asm
  • ir
• Section name
  • asm
  • ir
• COMDAT name
  • asm
  • ir
• Alignment
  • asm
  • ir
• Garbage collector name
  • asm
  • ir
• Prefix data
  • asm
  • ir
• Prologue data
  • asm
  • ir
• Personality function data
  • asm
  • ir
• Attached metadata
  • asm
  • ir (ref ir.Function.Metadata)

Instructions

Binary instructions

• add (ref LangRef.html#add-instruction)
  • asm
  • ir (ref ir.InstAdd)
• fadd (ref LangRef.html#fadd-instruction)
  • asm
  • ir (ref ir.InstFAdd)
• sub (ref LangRef.html#sub-instruction)
  • asm
  • ir (ref ir.InstSub)
• fsub (ref LangRef.html#fsub-instruction)
  • asm
  • ir (ref ir.InstFSub)
• mul (ref LangRef.html#mul-instruction)
  • asm
  • ir (ref ir.InstMul)
• fmul (ref LangRef.html#fmul-instruction)
  • asm
  • ir (ref ir.InstFMul)
• udiv (ref LangRef.html#udiv-instruction)
  • asm
  • ir (ref ir.InstUDiv)
• sdiv (ref LangRef.html#sdiv-instruction)
  • asm
  • ir (ref ir.InstSDiv)
• fdiv (ref LangRef.html#fdiv-instruction)
  • asm
  • ir (ref ir.InstFDiv)
• urem (ref LangRef.html#urem-instruction)
  • asm
  • ir (ref ir.InstURem)
• srem (ref LangRef.html#srem-instruction)
  • asm
  • ir (ref ir.InstSRem)
• frem (ref LangRef.html#frem-instruction)
  • asm
  • ir (ref ir.InstFRem)

Bitwise instructions

• shl (ref LangRef.html#shl-instruction)
  • asm
  • ir (ref ir.InstShl)
• lshr (ref LangRef.html#lshr-instruction)
  • asm
  • ir (ref ir.InstLShr)
• ashr (ref LangRef.html#ashr-instruction)
  • asm
  • ir (ref ir.InstAShr)
• and (ref LangRef.html#and-instruction)
  • asm
  • ir (ref ir.InstAnd)
• or (ref LangRef.html#or-instruction)
  • asm
  • ir (ref ir.InstOr)
• xor (ref LangRef.html#xor-instruction)
  • asm
  • ir (ref ir.InstXor)

Vector instructions

• extractelement (ref LangRef.html#extractelement-instruction)
  • asm
  • ir (ref ir.InstExtractElement)
• insertelement (ref LangRef.html#insertelement-instruction)
  • asm
  • ir (ref ir.InstInsertElement)
• shufflevector (ref LangRef.html#shufflevector-instruction)
  • asm
  • ir (ref ir.InstShuffleVector)

Aggregate instructions

• extractvalue (ref LangRef.html#extractvalue-instruction)
  • asm
  • ir (ref ir.InstExtractValue)
• insertvalue (ref LangRef.html#insertvalue-instruction)
  • asm
  • ir (ref ir.InstInsertValue)

Memory instructions

• alloca (ref LangRef.html#alloca-instruction)
  • asm
  • ir (ref ir.InstAlloca)
• load (ref LangRef.html#load-instruction)
  • asm
  • ir (ref ir.InstLoad)
• store (ref LangRef.html#store-instruction)
  • asm
  • ir (ref ir.InstStore)
• fence (ref LangRef.html#fence-instruction)
  • asm
  • ir
• cmpxchg (ref LangRef.html#cmpxchg-instruction)
  • asm
  • ir
• atomicrmw (ref LangRef.html#atomicrmw-instruction)
  • asm
  • ir
• getelementptr (ref LangRef.html#getelementptr-instruction)
  • asm
  • ir (ref ir.InstGetElementPtr)

Conversion instructions

• trunc (ref LangRef.html#trunc-instruction)
  • asm
  • ir (ref ir.InstTrunc)
• zext (ref LangRef.html#zext-instruction)
  • asm
  • ir (ref ir.InstZExt)
• sext (ref LangRef.html#sext-instruction)
  • asm
  • ir (ref ir.InstSExt)
• fptrunc (ref LangRef.html#fptrunc-instruction)
  • asm
  • ir (ref ir.InstFPTrunc)
• fpext (ref LangRef.html#fpext-instruction)
  • asm
  • ir (ref ir.InstFPExt)
• fptoui (ref LangRef.html#fptoui-instruction)
  • asm
  • ir (ref ir.InstFPToUI)
• fptosi (ref LangRef.html#fptosi-instruction)
  • asm
  • ir (ref ir.InstFPToSI)
• uitofp (ref LangRef.html#uitofp-instruction)
  • asm
  • ir (ref ir.InstUIToFP)
• sitofp (ref LangRef.html#sitofp-instruction)
  • asm
  • ir (ref ir.InstSIToFP)
• ptrtoint (ref LangRef.html#ptrtoint-instruction)
  • asm
  • ir (ref ir.InstPtrToInt)
• inttoptr (ref LangRef.html#inttoptr-instruction)
  • asm
  • ir (ref ir.InstIntToPtr)
• bitcast (ref LangRef.html#bitcast-instruction)
  • asm
  • ir (ref ir.InstBitCast)
• addrspacecast (ref LangRef.html#addrspacecast-instruction)
  • asm
  • ir (ref ir.InstAddrSpaceCast)

Other instructions

• icmp (ref LangRef.html#icmp-instruction)
  • asm
  • ir (ref ir.InstICmp)
• fcmp (ref LangRef.html#fcmp-instruction)
  • asm
  • ir (ref ir.InstFCmp)
• phi (ref LangRef.html#phi-instruction)
  • asm
  • ir (ref ir.InstPhi)
• select (ref LangRef.html#select-instruction)
  • asm
  • ir (ref ir.InstSelect)
• call (ref LangRef.html#call-instruction)
  • asm
  • ir (ref ir.InstCall)
• va_arg (ref LangRef.html#va_arg-instruction)
  • asm
  • ir
• landingpad (ref LangRef.html#landingpad-instruction)
  • asm
  • ir
• catchpad (ref LangRef.html#catchpad-instruction)
  • asm
  • ir
• cleanuppad (ref LangRef.html#cleanuppad-instruction)
  • asm
  • ir

Terminators

• ret (ref LangRef.html#ret-instruction)
  • asm
  • ir (ref ir.TermRet)
• br (ref LangRef.html#br-instruction)
  • asm
  • ir (ref ir.TermBr, ir.TermCondBr)
• switch (ref LangRef.html#switch-instruction)
  • asm
  • ir (ref ir.TermSwitch)
• indirectbr (ref LangRef.html#indirectbr-instruction)
  • asm
  • ir
• invoke (ref LangRef.html#invoke-instruction)
  • asm
  • ir
• resume (ref LangRef.html#resume-instruction)
  • asm
  • ir
• catchswitch (ref LangRef.html#catchswitch-instruction)
  • asm
  • ir
• catchret (ref LangRef.html#catchret-instruction)
  • asm
  • ir
• cleanupret (ref LangRef.html#cleanupret-instruction)
  • asm
  • ir
• unreachable (ref LangRef.html#unreachable-instruction)
  • asm
  • ir (ref ir.TermUnreachable)