Switch from IRTools to CodeInfo (#126)

* switch from IRTools to CodeInfo

* CodeInfoTools is only compatible with Julia >= 1.6

* code refactor

* code refactor

* fix goto position and some other bugs

* optimize args_initializer

* minor update

* Update Project.toml

* fix goto and static_parameter

* revise code, mostly renaming variables

* %new at the right hand of :(=)

* separate the if-else-branch hell

* code refactor

* only dispatch Expr on Val(it.head)

* code revise according to review comments

* don't dispatch on Val

* return instruction from its builder

* put boxes into builder

* code refactor

* remove tape field from Instruction

Co-authored-by: Hong Ge <[email protected]>

Author: KDr2

.github/workflows/Testing.yaml

@@ -11,8 +11,7 @@ jobs:
     strategy:
       matrix:
         version:
-          - '1.3'
-          - '1.4'
+          - '1.7'
           - '1'
           - 'nightly'
         os:

Project.toml

@@ -5,19 +5,18 @@ desc = "Tape based task copying in Turing"
 repo = "https://github.com/TuringLang/Libtask.jl.git"
 version = "0.7.0"
 
-
 [deps]
-IRTools = "7869d1d1-7146-5819-86e3-90919afe41df"
+CodeInfoTools = "bc773b8a-8374-437a-b9f2-0e9785855863"
 LRUCache = "8ac3fa9e-de4c-5943-b1dc-09c6b5f20637"
 LinearAlgebra = "37e2e46d-f89d-539d-b4ee-838fcccc9c8e"
 MacroTools = "1914dd2f-81c6-5fcd-8719-6d5c9610ff09"
 Statistics = "10745b16-79ce-11e8-11f9-7d13ad32a3b2"
 
 [compat]
-julia = "1.3"
-MacroTools = "0.5"
-IRTools = "0.4"
+CodeInfoTools = "0.3.4"
 LRUCache = "1.3"
+MacroTools = "0.5"
+julia = "1.7"
 
 [extras]
 BenchmarkTools = "6e4b80f9-dd63-53aa-95a3-0cdb28fa8baf"

src/Libtask.jl

@@ -1,6 +1,6 @@
 module Libtask
 
-using IRTools
+using CodeInfoTools
 using MacroTools
 
 using LRUCache