The authoritative definition of LLVM IR: types, the SSA form, and the exact semantics of every instruction weeks 1, 3, 4 and 11 read.
Two sections carry most of the weight for this course:
- Instruction Reference — for
add,xor,icmp,select,getelementptrand thevolatilequalifier. - Poison and undefined behaviour — for why an “obviously equivalent” rewrite can be unsound.
The course records the resource, not its contents. This outline lists the reference; it does not attempt to enumerate the pages inside it.