1/* Example of a loading a CFG like this:
2       0  (entry)
3       |
4       2
5      / \
6     3   4
7      \ /
8       5
9       |
10       1  (exit).  */
11
12(function "cfg_test"
13  (insn-chain
14     (block 2
15       (edge-from entry (flags "FALLTHRU"))
16       (cnote 1 [bb 2] NOTE_INSN_BASIC_BLOCK)
17       (edge-to 3 (flags "TRUE_VALUE"))
18       (edge-to 4 (flags "FALSE_VALUE"))
19     ) ;; block 2
20     (block 3
21       (edge-from 2 (flags "TRUE_VALUE"))
22       (cnote 2 [bb 3] NOTE_INSN_BASIC_BLOCK)
23       (edge-to 5 (flags "FALLTHRU"))
24     ) ;; block 3
25     (block 4
26       (edge-from 2 (flags "FALSE_VALUE"))
27       (cnote 3 [bb 4] NOTE_INSN_BASIC_BLOCK)
28       (edge-to 5 (flags "FALLTHRU"))
29     ) ;; block 4
30     (block 5
31       (edge-from 3 (flags "FALLTHRU"))
32       (edge-from 4 (flags "FALLTHRU"))
33       (cnote 4 [bb 5] NOTE_INSN_BASIC_BLOCK)
34       (edge-to exit (flags "FALLTHRU"))
35     ) ;; block 5
36  ) ;; insn-chain
37) ;; function
38