### 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=start shape=Mdiamond xlabel="in: [] out: []"];
    1 [label="end <...>/switch.hlt:4:1-32:1" shape=triangle xlabel="in: [] out: []"];
    2 [label="end <...>/switch.hlt:4:1-32:1" shape=triangle xlabel="in: [] out: []"];
    0 -> 2 [label="0"];
    2 -> 1 [label="1"];
}
[debug/cfg-initial] Function 'simple'
digraph {
    0 [label="local uint<64> x = 0" xlabel="gen: [x: local uint<64> x = 0] in: [] out: [x: local uint<64> x = 0]"];
    1 [label="x = 1;" xlabel="write: [x] gen: [x: x = 1;] kill: [x: local uint<64> x = 0] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: x = 1;]"];
    2 [label="x = 2;" xlabel="write: [x] gen: [x: x = 2;] kill: [x: local uint<64> x = 0] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: x = 2;]"];
    3 [label="x = 3;" xlabel="write: [x] gen: [x: x = 3;] kill: [x: local uint<64> x = 0] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: x = 3;]"];
    4 [label="x = 0;" xlabel="write: [x] gen: [x: x = 0;] kill: [x: local uint<64> x = 0] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: x = 0;]"];
    5 [label="local uint<64> __x = 1" xlabel="gen: [__x: local uint<64> __x = 1] in: [x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] keep"];
    6 [label="__x == 1" xlabel="read: [__x] write: [__x] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] keep"];
    7 [label="__x == 2" xlabel="read: [__x] write: [__x] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] keep"];
    8 [label="__x == 3" xlabel="read: [__x] write: [__x] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] keep"];
    9 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    10 [label="end <...>/switch.hlt:6:24-14:1" shape=triangle xlabel="in: [] out: []"];
    11 [label="end <...>/switch.hlt:6:24-14:1" shape=triangle xlabel="kill: [__x: local uint<64> __x = 1, x: x = 0;, x = 1;, x = 2;, x = 3;] in: [__x: local uint<64> __x = 1, x: x = 0;, x = 1;, x = 2;, x = 3;] out: []"];
    12 [shape=point xlabel="in: [__x: local uint<64> __x = 1, x: x = 0;, x = 1;, x = 2;, x = 3;] out: [__x: local uint<64> __x = 1, x: x = 0;, x = 1;, x = 2;, x = 3;]"];
    13 [shape=point xlabel="in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0]"];
    14 [label="end <...>/switch.hlt:9:17-9:22" shape=triangle xlabel="in: [__x: local uint<64> __x = 1, x: x = 1;] out: [__x: local uint<64> __x = 1, x: x = 1;]"];
    15 [shape=point xlabel="in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0]"];
    16 [label="end <...>/switch.hlt:10:17-10:22" shape=triangle xlabel="in: [__x: local uint<64> __x = 1, x: x = 2;] out: [__x: local uint<64> __x = 1, x: x = 2;]"];
    17 [shape=point xlabel="in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0]"];
    18 [label="end <...>/switch.hlt:11:17-11:22" shape=triangle xlabel="in: [__x: local uint<64> __x = 1, x: x = 3;] out: [__x: local uint<64> __x = 1, x: x = 3;]"];
    19 [label="end <...>/switch.hlt:12:18-12:23" shape=triangle xlabel="in: [__x: local uint<64> __x = 1, x: x = 0;] out: [__x: local uint<64> __x = 1, x: x = 0;]"];
    9 -> 0 [label="0"];
    0 -> 5 [label="1"];
    5 -> 6 [label="2"];
    6 -> 13 [label="3"];
    13 -> 1 [label="4"];
    1 -> 14 [label="5"];
    14 -> 12 [label="6"];
    5 -> 7 [label="7"];
    7 -> 15 [label="8"];
    15 -> 2 [label="9"];
    2 -> 16 [label="10"];
    16 -> 12 [label="11"];
    5 -> 8 [label="12"];
    8 -> 17 [label="13"];
    17 -> 3 [label="14"];
    3 -> 18 [label="15"];
    18 -> 12 [label="16"];
    5 -> 4 [label="17"];
    4 -> 19 [label="18"];
    19 -> 12 [label="19"];
    12 -> 11 [label="20"];
    11 -> 10 [label="21"];
}
[debug/cfg-initial] Function 'multiple_expressions'
digraph {
    0 [label="local uint<64> x = 0" xlabel="gen: [x: local uint<64> x = 0] in: [] out: [x: local uint<64> x = 0]"];
    1 [label="x = 1;" xlabel="write: [x] gen: [x: x = 1;] kill: [x: local uint<64> x = 0] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: x = 1;]"];
    2 [label="x = 2;" xlabel="write: [x] gen: [x: x = 2;] kill: [x: local uint<64> x = 0] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: x = 2;]"];
    3 [label="x = 3;" xlabel="write: [x] gen: [x: x = 3;] kill: [x: local uint<64> x = 0] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: x = 3;]"];
    4 [label="local uint<64> __x = 1" xlabel="gen: [__x: local uint<64> __x = 1] in: [x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] keep"];
    5 [label="__x == 1" xlabel="read: [__x] write: [__x] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] keep"];
    6 [label="__x == 2" xlabel="read: [__x] write: [__x] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] keep"];
    7 [label="__x == 3" xlabel="read: [__x] write: [__x] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] keep"];
    8 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    9 [label="end <...>/switch.hlt:16:38-23:1" shape=triangle xlabel="in: [] out: []"];
    10 [label="end <...>/switch.hlt:16:38-23:1" shape=triangle xlabel="kill: [__x: local uint<64> __x = 1, x: x = 1;, x = 2;, x = 3;] in: [__x: local uint<64> __x = 1, x: x = 1;, x = 2;, x = 3;] out: []"];
    11 [shape=point xlabel="in: [__x: local uint<64> __x = 1, x: x = 1;, x = 2;, x = 3;] out: [__x: local uint<64> __x = 1, x: x = 1;, x = 2;, x = 3;]"];
    12 [shape=point xlabel="in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0]"];
    13 [label="end <...>/switch.hlt:19:17-19:22" shape=triangle xlabel="in: [__x: local uint<64> __x = 1, x: x = 1;] out: [__x: local uint<64> __x = 1, x: x = 1;]"];
    14 [shape=point xlabel="in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0]"];
    15 [label="end <...>/switch.hlt:20:20-20:25" shape=triangle xlabel="in: [__x: local uint<64> __x = 1, x: x = 2;] out: [__x: local uint<64> __x = 1, x: x = 2;]"];
    16 [label="end <...>/switch.hlt:21:18-21:23" shape=triangle xlabel="in: [__x: local uint<64> __x = 1, x: x = 3;] out: [__x: local uint<64> __x = 1, x: x = 3;]"];
    8 -> 0 [label="0"];
    0 -> 4 [label="1"];
    4 -> 5 [label="2"];
    5 -> 12 [label="3"];
    12 -> 1 [label="4"];
    1 -> 13 [label="5"];
    13 -> 11 [label="6"];
    4 -> 6 [label="7"];
    6 -> 14 [label="8"];
    4 -> 7 [label="9"];
    7 -> 14 [label="10"];
    14 -> 2 [label="11"];
    2 -> 15 [label="12"];
    15 -> 11 [label="13"];
    4 -> 3 [label="14"];
    3 -> 16 [label="15"];
    16 -> 11 [label="16"];
    11 -> 10 [label="17"];
    10 -> 9 [label="18"];
}
[debug/cfg-initial] Function 'no_default'
digraph {
    0 [label="local uint<64> x = 0" xlabel="gen: [x: local uint<64> x = 0] in: [] out: [x: local uint<64> x = 0]"];
    1 [label="x = 1;" xlabel="write: [x] gen: [x: x = 1;] kill: [x: local uint<64> x = 0] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: x = 1;]"];
    2 [label="local uint<64> __x = 1" xlabel="gen: [__x: local uint<64> __x = 1] in: [x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] keep"];
    3 [label="__x == 1" xlabel="read: [__x] write: [__x] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] keep"];
    4 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    5 [label="end <...>/switch.hlt:25:28-30:1" shape=triangle xlabel="in: [] out: []"];
    6 [label="end <...>/switch.hlt:25:28-30:1" shape=triangle xlabel="kill: [__x: local uint<64> __x = 1, x: local uint<64> x = 0, x = 1;] in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0, x = 1;] out: []"];
    7 [shape=point xlabel="in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0, x = 1;] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0, x = 1;]"];
    8 [shape=point xlabel="in: [__x: local uint<64> __x = 1, x: local uint<64> x = 0] out: [__x: local uint<64> __x = 1, x: local uint<64> x = 0]"];
    9 [label="end <...>/switch.hlt:28:17-28:22" shape=triangle xlabel="in: [__x: local uint<64> __x = 1, x: x = 1;] out: [__x: local uint<64> __x = 1, x: x = 1;]"];
    4 -> 0 [label="0"];
    0 -> 2 [label="1"];
    2 -> 7 [label="2"];
    2 -> 3 [label="3"];
    3 -> 8 [label="4"];
    8 -> 1 [label="5"];
    1 -> 9 [label="6"];
    9 -> 7 [label="7"];
    7 -> 6 [label="8"];
    6 -> 5 [label="9"];
}
[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"];
}
