Fix predecessor blocks on 1.11 (#195)

* Fix predecessor blocks on 1.11

* Fix stable docs

* Make version bound in code more explicit.

Co-authored-by: Penelope Yong <[email protected]>

---------

Co-authored-by: Penelope Yong <[email protected]>

Author: mhauru

.github/workflows/TagBot.yml

@@ -12,3 +12,4 @@ jobs:
       - uses: JuliaRegistries/TagBot@v1
         with:
           token: ${{ secrets.GITHUB_TOKEN }}
+          ssh: ${{ secrets.DOCUMENTER_KEY }}

Project.toml

@@ -3,7 +3,7 @@ uuid = "6f1fad26-d15e-5dc8-ae53-837a1d7b8c9f"
 license = "MIT"
 desc = "Tape based task copying in Turing"
 repo = "https://github.com/TuringLang/Libtask.jl.git"
-version = "0.9.3"
+version = "0.9.4"
 
 [deps]
 MistyClosures = "dbe65cb8-6be2-42dd-bbc5-4196aaced4f4"
@@ -14,7 +14,7 @@ Aqua = "0.8.11"
 JuliaFormatter = "1.0.62"
 MistyClosures = "2.0.0"
 Test = "1"
-julia = "1.10.8"
+julia = "~1.10.8, 1.11.6"
 
 [extras]
 Aqua = "4c88cf16-eb10-579e-8560-4a9242c79595"

src/bbcode.jl

@@ -233,6 +233,12 @@ function _control_flow_graph(blks::Vector{BBlock})::Core.Compiler.CFG
     preds = map(id -> sort(map(p -> id_to_num[p], preds_ids[id])), block_ids)
     succs = map(id -> sort(map(s -> id_to_num[s], succs_ids[id])), block_ids)
 
+    # Predecessor of entry block is `0`. This needs to be added in manually.
+    @static if VERSION >= v"1.11.6"
+        push!(preds[1], 0)
+    end
+
+    # Compute the statement numbers associated to each basic block.
     index = vcat(0, cumsum(map(length, blks))) .+ 1
     basic_blocks = map(eachindex(blks)) do n
         stmt_range = Core.Compiler.StmtRange(index[n], index[n + 1] - 1)