### 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 <...>/assign.hlt:4:1-39:1" shape=triangle xlabel="in: [] out: []"];
    2 [label="end <...>/assign.hlt:4:1-39:1" shape=triangle xlabel="in: [] out: []"];
    0 -> 2 [label="0"];
    2 -> 1 [label="1"];
}
[debug/cfg-initial] Function 'fn'
digraph {
    0 [label="local uint<64> x = 1" xlabel="gen: [x: local uint<64> x = 1] in: [] out: [x: local uint<64> x = 1]"];
    1 [label="x = x + 1;" xlabel="read: [x] write: [x] gen: [x: x = x + 1;] kill: [x: local uint<64> x = 1] in: [x: local uint<64> x = 1] out: [x: x = x + 1;]"];
    2 [label="return x;" xlabel="read: [x] in: [x: x = x + 1;] out: [x: x = x + 1;] keep"];
    3 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    4 [label="end <...>/assign.hlt:6:24-10:1" shape=triangle xlabel="kill: [x: x = x + 1;] in: [x: x = x + 1;] out: []"];
    3 -> 0 [label="0"];
    0 -> 1 [label="1"];
    1 -> 2 [label="2"];
    2 -> 4 [label="3"];
}
[debug/cfg-initial] Function 'fn2'
digraph {
    0 [label="local uint<64> x = 1" xlabel="gen: [x: local uint<64> x = 1] in: [] out: [x: local uint<64> x = 1]"];
    1 [label="local uint<64> y = 1" xlabel="gen: [y: local uint<64> y = 1] in: [x: local uint<64> x = 1] out: [x: local uint<64> x = 1, y: local uint<64> y = 1]"];
    2 [label="x = (x = 1);" xlabel="read: [x] write: [x] gen: [x: x = (x = 1);] kill: [x: local uint<64> x = 1] in: [x: local uint<64> x = 1, y: local uint<64> y = 1] out: [x: x = (x = 1);, y: local uint<64> y = 1]"];
    3 [label="x = (y = 1);" xlabel="read: [y] write: [x, y] gen: [x: x = (y = 1);, y: x = (y = 1);] kill: [x: x = (x = 1);, y: local uint<64> y = 1] in: [x: x = (x = 1);, y: local uint<64> y = 1] out: [x: x = (y = 1);, y: x = (y = 1);]"];
    4 [label="x = (x = (y = 1));" xlabel="read: [x, y] write: [x, y] gen: [x: x = (x = (y = 1));, y: x = (x = (y = 1));] kill: [x: x = (y = 1);, y: x = (y = 1);] in: [x: x = (y = 1);, y: x = (y = 1);] out: [x: x = (x = (y = 1));, y: x = (x = (y = 1));]"];
    5 [label="(x = 1) = x;" xlabel="read: [x] write: [x] gen: [x: (x = 1) = x;] kill: [x: x = (x = (y = 1));] in: [x: x = (x = (y = 1));, y: x = (x = (y = 1));] out: [x: (x = 1) = x;, y: x = (x = (y = 1));]"];
    6 [label="(y = 1) = x;" xlabel="read: [x] write: [y] gen: [y: (y = 1) = x;] kill: [y: x = (x = (y = 1));] in: [x: (x = 1) = x;, y: x = (x = (y = 1));] out: [x: (x = 1) = x;, y: (y = 1) = x;]"];
    7 [label="(x = (y = 1)) = x;" xlabel="read: [x, y] write: [x, y] gen: [x: (x = (y = 1)) = x;, y: (x = (y = 1)) = x;] kill: [x: (x = 1) = x;, y: (y = 1) = x;] in: [x: (x = 1) = x;, y: (y = 1) = x;] out: [x: (x = (y = 1)) = x;, y: (x = (y = 1)) = x;]"];
    8 [label="(x = 1) = (y = 1);" xlabel="read: [y] write: [x, y] gen: [x: (x = 1) = (y = 1);, y: (x = 1) = (y = 1);] kill: [x: (x = (y = 1)) = x;, y: (x = (y = 1)) = x;] in: [x: (x = (y = 1)) = x;, y: (x = (y = 1)) = x;] out: [x: (x = 1) = (y = 1);, y: (x = 1) = (y = 1);]"];
    9 [label="(y = 1) = (x = (y = 1));" xlabel="read: [x, y] write: [x, y] gen: [x: (y = 1) = (x = (y = 1));, y: (y = 1) = (x = (y = 1));] kill: [x: (x = 1) = (y = 1);, y: (x = 1) = (y = 1);] in: [x: (x = 1) = (y = 1);, y: (x = 1) = (y = 1);] out: [x: (y = 1) = (x = (y = 1));, y: (y = 1) = (x = (y = 1));]"];
    10 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    11 [label="end <...>/assign.hlt:12:25-26:1" shape=triangle xlabel="in: [] out: []"];
    12 [label="end <...>/assign.hlt:12:25-26:1" shape=triangle xlabel="kill: [x: (y = 1) = (x = (y = 1));, y: (y = 1) = (x = (y = 1));] in: [x: (y = 1) = (x = (y = 1));, y: (y = 1) = (x = (y = 1));] out: []"];
    10 -> 0 [label="0"];
    0 -> 1 [label="1"];
    1 -> 2 [label="2"];
    2 -> 3 [label="3"];
    3 -> 4 [label="4"];
    4 -> 5 [label="5"];
    5 -> 6 [label="6"];
    6 -> 7 [label="7"];
    7 -> 8 [label="8"];
    8 -> 9 [label="9"];
    9 -> 12 [label="10"];
    12 -> 11 [label="11"];
}
[debug/cfg-initial] Function 'fn3'
digraph {
    0 [label="local string x = \"bad\"" xlabel="gen: [x: local string x = \"bad\"] in: [] out: [x: local string x = \"bad\"]"];
    1 [label="local string x2 = x = \"good\"" xlabel="read: [x] write: [x] gen: [x2: local string x2 = x = \"good\", x: local string x2 = x = \"good\"] kill: [x: local string x = \"bad\"] in: [x: local string x = \"bad\"] out: [x2: local string x2 = x = \"good\", x: local string x2 = x = \"good\"]"];
    2 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    3 [label="end <...>/assign.hlt:28:21-31:1" shape=triangle xlabel="in: [] out: []"];
    4 [label="end <...>/assign.hlt:28:21-31:1" shape=triangle xlabel="kill: [x2: local string x2 = x = \"good\", x: local string x2 = x = \"good\"] in: [x2: local string x2 = x = \"good\", x: local string x2 = x = \"good\"] out: []"];
    2 -> 0 [label="0"];
    0 -> 1 [label="1"];
    1 -> 4 [label="2"];
    4 -> 3 [label="3"];
}
[debug/cfg-initial] Function 'fn4'
digraph {
    0 [label="local strong_ref<uint<8>> x = new uint<8>()" xlabel="gen: [x: local strong_ref<uint<8>> x = new uint<8>()] in: [] out: [x: local strong_ref<uint<8>> x = new uint<8>()] aliases: [y]"];
    1 [label="local strong_ref<uint<8>> y = x" xlabel="read: [x, y] gen: [y: local strong_ref<uint<8>> y = x] in: [x: local strong_ref<uint<8>> x = new uint<8>()] out: [x: local strong_ref<uint<8>> x = new uint<8>(), y: local strong_ref<uint<8>> y = x] aliases: [x]"];
    2 [label="(*y) = 1;" xlabel="write: [x, y] gen: [y: (*y) = 1;] kill: [y: local strong_ref<uint<8>> y = x] in: [x: local strong_ref<uint<8>> x = new uint<8>(), y: local strong_ref<uint<8>> y = x] out: [x: local strong_ref<uint<8>> x = new uint<8>(), y: (*y) = 1;]"];
    3 [label=start shape=Mdiamond xlabel="in: [] out: []"];
    4 [label="end <...>/assign.hlt:33:21-37:1" shape=triangle xlabel="in: [] out: []"];
    5 [label="end <...>/assign.hlt:33:21-37:1" shape=triangle xlabel="kill: [x: local strong_ref<uint<8>> x = new uint<8>(), y: (*y) = 1;] in: [x: local strong_ref<uint<8>> x = new uint<8>(), y: (*y) = 1;] out: []"];
    3 -> 0 [label="0"];
    0 -> 1 [label="1"];
    1 -> 2 [label="2"];
    2 -> 5 [label="3"];
    5 -> 4 [label="4"];
}
[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"];
}
