Refactoring rvs mode: deprecate BBCode.

Project.toml

@@ -8,7 +8,6 @@ ADTypes = "47edcb42-4c32-4615-8424-f2b9edc5f35b"
 ChainRulesCore = "d360d2e6-b24c-11e9-a2a3-2a2ae2dbcce4"
 DispatchDoctor = "8d63f2c5-f18a-4cf2-ba9d-b3f60fc568c8"
 ExprTools = "e2ba6199-217a-4e67-a87a-7c52f15ade04"
-Graphs = "86223c79-3864-5bf0-83f7-82e725a168b6"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 MistyClosures = "dbe65cb8-6be2-42dd-bbc5-4196aaced4f4"
 PrecompileTools = "aea7be01-6a6a-4083-8856-8a6e6704d82a"
@@ -71,7 +70,6 @@ ExprTools = "0.1"
 Flux = "0.16.3"
 FunctionWrappers = "1.1.3"
 GPUArraysCore = "0.1, 0.2"
-Graphs = "1"
 JET = "0.9, 0.10, 0.11"
 LinearAlgebra = "1"
 LogExpFunctions = "0.3"

docs/make.jl

@@ -40,6 +40,7 @@ makedocs(;
             joinpath("understanding_mooncake", "introduction.md"),
             joinpath("understanding_mooncake", "algorithmic_differentiation.md"),
             joinpath("understanding_mooncake", "rule_system.md"),
+            joinpath("understanding_mooncake", "what_programme_are_you_differentiating.md"),
         ],
         "Utilities" => [
             joinpath("utilities", "defining_rules.md"),

docs/src/developer_documentation/advanced_debugging.md

@@ -44,15 +44,15 @@ show_world_info(ins)
 
 ### Reverse mode stages
 
-`:raw` → `:normalized` → `:bbcode` → `:fwd_ir` / `:rvs_ir` → `:optimized_fwd` / `:optimized_rvs`
+`:raw` → `:normalized` → `:cfg_blocks` → `:fwd_ir` / `:rvs_ir` → `:optimized_fwd` / `:optimized_rvs`
 
 ### Forward mode stages
 
-`:raw` → `:normalized` → `:dual_ir` → `:optimized`
+`:raw` → `:normalized` → `:cfg_blocks` → `:dual_ir` → `:optimized`
 
 !!! note
-    The inspection tool also shows a `:bbcode` stage for cross-mode comparison,
-    but forward mode does not use BBCode internally.
+    The inspection tool also shows a `:cfg_blocks` stage for cross-mode comparison,
+    but forward mode does not use `CFGBlock`s internally.
 
 !!! note
     Primitive signatures such as `sin` do not generate AD IR stages here. Mooncake

docs/src/developer_documentation/forwards_mode_design.md

@@ -334,7 +334,7 @@ Then, instead of propagating a "primal-tangent" pairs via `Dual`s, we propagate
 The implementation of forwards-mode AD is quite dramatically simpler than that of reverse-mode AD.
 Some notable technical differences include:
 1. forwards-mode AD only makes use of the tangent system, whereas reverse-mode also makes use of the fdata / rdata system.
-1. forwards-mode AD comprises only line-by-line transformations of the `IRCode`. In particular, it does not require the insertion of additional basic blocks, nor the modification of the successors / predecessors of any given basic block. Consequently, there is no need to make use of the `BBCode` infrastructure built up for reverse-mode AD -- everything can be straightforwardly done at the `Compiler.IRCode` level.
+1. forwards-mode AD comprises only line-by-line transformations of the `IRCode`. In particular, it does not require the insertion of additional basic blocks, nor the modification of the successors / predecessors of any given basic block. Consequently, there is no need to make use of the builder-local CFG machinery used in reverse mode -- everything can be straightforwardly done at the `Compiler.IRCode` level.
 
 ## Comparison with ForwardDiff.jl