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.