KeithTsui

How to custom a Selection DAG Node in target description file.

Some use of Y Combinator in Swift. And other Combinators K, S, I.

co-inductive type in Swift, which is somewhat impossible (but not really).

Generalized Propositional Logics with their syntax and semantics.

Show some concepts about Logic Hierarchy and Fisrt-Order Logic Language

A flowchart to show the main transformations of IR into Asm or binary code.

LLVM backend class descriptions, particular for TargetLowering and FrameLowering.

Load a.ll file and parse it into Module After done some intitializations for LLVM backen.

the third part of LLVM IR to Asm that shows the passes for transformations and analyses.