### BTest baseline data generated by btest-diff. Do not edit. Use "btest -U/-u" to update. Requires BTest >= 0.63.
[debug/cfg-initial] Module 'foo'
digraph {
    0 [label="fn();" xlabel="in: [] out: [] keep"];
    1 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    2 [label="end <...>/unused-init.hlt:5:1-25:1" shape=triangle xlabel="in: [] out: []"];
    3 [label="end <...>/unused-init.hlt:5:1-25:1" shape=triangle xlabel="in: [] out: []"];
    1 -> 0 [label="0"];
    0 -> 3 [label="1"];
    3 -> 2 [label="2"];
}
[debug/cfg-initial] Function 'fn'
digraph {
    0 [label="local bool x = False" xlabel="gen: [x: local bool x = False] in: [] out: [x: local bool x = False]"];
    1 [label="x = x || True;" xlabel="read: [x] write: [x] gen: [x: x = x || True;] kill: [x: local bool x = False] in: [x: local bool x = False] out: [x: x = x || True;]"];
    2 [label="! x" xlabel="read: [x] in: [x: x = x || True;] out: [x: x = x || True;] keep"];
    3 [label="hilti::print(1, True);" xlabel="in: [x: x = x || True;] out: [x: x = x || True;] keep"];
    4 [label="x" xlabel="read: [x] in: [x: x = x || True;] out: [x: x = x || True;] keep"];
    5 [label="hilti::print(2, True);" xlabel="in: [x: x = x || True;] out: [x: x = x || True;] keep"];
    6 [label="return x;" xlabel="read: [x] in: [x: x = x || True;] out: [x: x = x || True;] keep"];
    7 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    8 [label="end <...>/unused-init.hlt:9:20-21:1" shape=triangle xlabel="kill: [x: x = x || True;] in: [x: x = x || True;] out: []"];
    9 [shape=point xlabel="in: [x: x = x || True;] out: [x: x = x || True;]"];
    10 [label="end <...>/unused-init.hlt:14:9-14:30" shape=triangle xlabel="in: [x: x = x || True;] out: [x: x = x || True;]"];
    11 [shape=point xlabel="in: [x: x = x || True;] out: [x: x = x || True;]"];
    12 [label="end <...>/unused-init.hlt:18:9-18:30" shape=triangle xlabel="in: [x: x = x || True;] out: [x: x = x || True;]"];
    7 -> 0 [label="0"];
    0 -> 1 [label="1"];
    1 -> 2 [label="2"];
    2 -> 3 [label="3"];
    3 -> 10 [label="4"];
    10 -> 9 [label="5"];
    2 -> 9 [label="6"];
    9 -> 4 [label="7"];
    4 -> 5 [label="8"];
    5 -> 12 [label="9"];
    12 -> 11 [label="10"];
    4 -> 11 [label="11"];
    11 -> 6 [label="12"];
    6 -> 8 [label="13"];
}
[debug/cfg-initial] Module 'hilti'
digraph {
    0 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    1 [label="end <...>/hilti.hlt:3:1-68:1" shape=triangle xlabel="in: [] out: []"];
    2 [label="end <...>/hilti.hlt:3:1-68:1" shape=triangle xlabel="in: [] out: []"];
    0 -> 2 [label="0"];
    2 -> 1 [label="1"];
}
[debug/optimizer] pass: feature-requirements (round 1, pass iteration 1)
[debug/optimizer] pass: dead-code-static (round 1, pass iteration 1)
[debug/optimizer] pass: peephole (round 1, pass iteration 1)
[debug/optimizer] pass: flatten-blocks (round 1, pass iteration 1)
[debug/optimizer] pass: dead-code-cfg (round 1, pass iteration 1)
[debug/optimizer] pass: constant-propagation (round 1, pass iteration 1)
[debug/optimizer] pass: remove-unused-parameters (round 1, pass iteration 1)
