Scribd
Upload
99 views

LLVM Reference Card

The document summarizes instruction types for the LLVM 3.4 compiler infrastructure including terminator instructions like return and branch, arithmetic instructions like add and multiply, memory access and addressing instructions, conversion operations between data types, and miscellaneous instructions like compare and phi nodes.

Uploaded by

Pranay Devisetty
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
99 views

LLVM Reference Card

The document summarizes instruction types for the LLVM 3.4 compiler infrastructure including terminator instructions like return and branch, arithmetic instructions like add and multiply, memory access and addressing instructions, conversion operations between data types, and miscellaneous instructions like compare and phi nodes.

Uploaded by

Pranay Devisetty
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

LLVM 3.

4 Reference Card
Terminator instructions
ret <ty> <value>
ret void

Return control flow from a function back to the


caller.

br i1 <cond>, label <iftrue>, label <iffalse>


br label <dest>

Transfer control to a basic block in the current


function.

switch <intty> <value>, label <defaultdest>


[ <intty> <val>, label <dest> ... ]

Transfer control depending on the value of an


input operand.

indirectbr <ty>* <address>, [ label <dest1>,


label <dest2>, ... ]

Indirect branch to a label within the current


function with the given address.

Arithmetic instructions
<result> = add [nuw] [nsw] <ty> <op1>, <op2>

<ty>

Integer addition.

<result> = fadd [<flags>] <ty> <op1>, <op2>

<ty>

Floating-point addition.

<result> = sub [nuw] [nsw] <ty> <op1>, <op2>

<ty>

Integer subtraction.

<result> = fsub [<flags>] <ty> <op1>, <op2>

<ty>

Floating-point subtraction.

<result> = mul [nuw] [nsw] <ty> <op1>, <op2>

<ty>

Integer multiplication.

<result> = fmul [<flags>] <ty> <op1>, <op2>

<ty>

Floating-point multiplication.

<result> = udiv [exact] <ty> <op1>, <op2>

<ty>

Unsigned integer division.

<result> = sdiv [exact] <ty> <op1>, <op2>

<ty>

Signed integer division.

<result> = fdiv [<flags>] <ty> <op1>, <op2>

<ty>

Floating-point division.

<result> = urem <ty> <op1>, <op2>

<ty>

Unsigned integer remainder.

<result> = srem <ty> <op1>, <op2>

<ty>

Signed integer remainder.

<result> = frem [<flags>]* <ty> <op1>, <op2>

<ty>

Floating-point remainder.

<result> = shl [nuw] [nsw] <ty> <op1>, <op2>

<ty>

Shift left.

<result> = lshr [exact] <ty> <op1>, <op2>

<ty>

Logical shift right (zero fill).

<result> = ashr [exact] <ty> <op1>, <op2>

<ty>

Arithmetic shift right (sign extend).

<result> = and <ty> <op1>, <op2>

<ty>

Bitwise AND operation.

<result> = or <ty> <op1>, <op2>

<ty>

Bitwise OR operation.

<result> = xor <ty> <op1>, <op2>

<ty>

Bitwise XOR operation.

Bitwise arithmetic

Vector operations
<result> = extractelement <n x <ty>> <val>,
i32 <idx>

<ty>

Extract a scalar element from a vector at


the given index.

<result> = insertelement <n x <ty>> <val>,


<ty> <elt>, i32 <idx>

n x <ty>

Insert a scalar element into a vector at the


given index.

<result> = shufflevector <n x <ty>> <v1>,


<n x <ty>> <v2>, <m x i32> <mask>

m x <ty>

Construct a permutation of elements from


two input vectors.

Aggregate operations
<result> = extractvalue <aggregate type> <val>,
<idx>[, <idx> ...]

<any> Extract the value of a member field from an

<result> = insertvalue <aggregate type> <val>,


<ty> <elt>, <idx>[, <idx> ...]

<aggr Insert a value into a member field in an


ty> aggregate value.

aggregate value.

Memory access and addressing


<result> = alloca <ty>[, <intty> <NumElements>]
[, align <alignment>]

<ty>*

Allocate memory on the stack frame of the


current function.

<result> = load [volatile] <ty>* <pointer>


[, align <alignment>]

<ty>

Read from memory.

store [volatile] <ty> <value>, <ty>* <pointer>


[, align <alignment>]

Write to memory.

fence [singlethread] <ordering>

Introduce synchronization edge.

cmpxchg [volatile] <ty>* <pointer>, <ty> <cmp>,


<ty> <new> [singlethread] <ordering>

<ty>

Atomic compare-and-exchange.

atomicrmw [volatile] <operation> <ty>* <pointer>,


<ty> <value> [singlethread] <ordering>

<ty>

Atomic read-modify-write.

<result> = getelementptr <pty>* <ptrval>


[, <intty> <idx>][, <intty> <idx> ]

<any>* Calculate a memory address of a sub-

element of an aggregate data structure.

Conversion operations
<result> = trunc <ty> <value> to <ty2>

<ty2>

Truncate integer value.

<result> = zext <ty> <value> to <ty2>

<ty2>

Zero-extend integer value.

<result> = sext <ty> <value> to <ty2>

<ty2>

Sign-extend integer value.

<result> = fptrunc <ty> <value> to <ty2>

<ty2>

Truncate floating-point value.

<result> = fpext <ty> <value> to <ty2>

<ty2>

Extend floating-point value.

<result> = fptoui <ty> <value> to <ty2>

<ty2>

Convert floating-point to unsigned integer.

<result> = fptosi <ty> <value> to <ty2>

<ty2>

Convert floating-point to signed integer.

<result> = uitofp <ty> <value> to <ty2>

<ty2>

Convert unsigned integer to floating-point.

<result> = sitofp <ty> <value> to <ty2>

<ty2>

Convert signed integer to floating-point.

<result> = ptrtoint <ty> <value> to <ty2>

<ty2>

Convert pointer to integer.

<result> = inttoptr <ty> <value> to <ty2>

<ty2>

Convert integer to pointer.

<result> = bitcast <ty> <value> to <ty2>

<ty2>

Convert without changing bits.

<result> = addrspacecast <pty> <ptrval> to <pty2>

<pty2> Convert to pointer in another address space.

Miscellaneous
<result> = icmp {eq|ne|ugt|uge|ult|ule|sgt|sge|slt|sle}
<ty> <op1>, <op2>

i1

Compare integer values.

<result> = fcmp {false|oeq|ogt|oge|olt|ole|one|ord|ueq|


ugt|uge|ult|ule|une|uno|true} <ty> <op1>, <op2>

i1

Compare floating-point values.

<result> = phi <ty> [ <val0>, <label0> ...]

<ty> Phi node in an SSA graph.

<result> = select i1 <cond>, <ty> <val1>


[, <ty> <val2> ...]

<ty> Choose one value based on a

<result> = [tail] call [cconv] [ret attrs]


<ty> [<fnty>*] <name>(<args>) [fn attrs]

<ty> Function call.

condition without branching.

You might also like