summaryrefslogtreecommitdiff
path: root/chapter06
diff options
context:
space:
mode:
Diffstat (limited to 'chapter06')
-rw-r--r--chapter06/README.md12
1 files changed, 11 insertions, 1 deletions
diff --git a/chapter06/README.md b/chapter06/README.md
index a0edcf72..3442b1cc 100644
--- a/chapter06/README.md
+++ b/chapter06/README.md
@@ -1,9 +1,19 @@
# Chapter 6: Peepholes for If
-In this chapter we do not add new language features. Our goal is to add peephole optimization to `if` statements.
+# Table of Contents
+
+1. [Type System Revision](#type-system-revision)
+2. [Peephole of `if`](#peephole-of-if)
+3. [`Region` and `Phi`](#Region-and-Phi)
+4. [Discussion](#discussion)
+5. [Expanding Peephole Beyond Constant Expressions](#expanding-peephole-beyond-constant-expressions)
+6. [Dominators](#dominators)
You can also read [this chapter](https://github.com/SeaOfNodes/Simple/tree/linear-chapter06) in a linear Git revision history on the [linear](https://github.com/SeaOfNodes/Simple/tree/linear) branch and [compare](https://github.com/SeaOfNodes/Simple/compare/linear-chapter05...linear-chapter06) it to the previous chapter.
+In this chapter we do not add new language features. Our goal is to add peephole optimization to `if` statements.
+
+
## Type System Revision
We now need to extend the type system to introduce another lattice structure, in addition to the Integer sub-lattice.