TC-I Samples

Note

In this sample all function calls to sub can be inlined, i.e. replaced by the function body.

sub.tig

let
  function sub(i : int, j : int) : int = i + j
in
  sub(1, 2)
end

tc -X --inline -A sub.tig

$ tc -X --inline -A sub.tig
/* == Abstract Syntax Tree. == */

function _main() =
  (
    let
      function sub_2(i_0 : int, j_1 : int) : int =
        i_0 + j_1
    in
      let
        var i_0 : int := 1
        var j_1 : int := 2
        var res : int := i_0 + j_1
      in
        res
      end
    end;
    ()
  )
$ echo $?
0

The function call sub(1, 2) has been effectively replaced. Take care with nested function calls, note the variables in the inlined block.

---

Note

Now that sub is inlined and no longer used, it can be pruned.

tc -X --inline --prune -A sub.tig

$ tc -X --inline --prune -A sub.tig
/* == Abstract Syntax Tree. == */

function _main() =
  (
    let
    in
      let
        var i_0 : int := 1
        var j_1 : int := 2
        var res : int := i_0 + j_1
      in
        res
      end
    end;
    ()
  )
$ echo $?
0

Warning

Recursive functions cannot be inlined.