Mercurial > hg > CbC > CbC_llvm

annotate clang/test/Analysis/exploded-graph-rewriter/edge.dot @ 222:81f6424ef0e3 llvm-original

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM original branch
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 18 Jul 2021 22:10:01 +0900
parents 0572611fdcc8
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 // RUN: %exploded_graph_rewriter %s | FileCheck %s -check-prefix=LIGHT
anatofuz
parents:
diff changeset
2 // RUN: %exploded_graph_rewriter --dark %s | FileCheck %s -check-prefixes=DARK
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 Node0x1 [shape=record,label=
anatofuz
parents:
diff changeset
5 "{{ "state_id": 0, "program_state": null, "program_points": [
anatofuz
parents:
diff changeset
6 {
anatofuz
parents:
diff changeset
7 "kind": "BlockEntrance", "block_id": 1,
anatofuz
parents:
diff changeset
8 "terminator": null, "term_kind": null,
anatofuz
parents:
diff changeset
9 "tag": null, "node_id": 1,
anatofuz
parents:
diff changeset
10 "has_report": 0, "is_sink": 0
anatofuz
parents:
diff changeset
11 }
anatofuz
parents:
diff changeset
12 ]}\l}"];
anatofuz
parents:
diff changeset
13
anatofuz
parents:
diff changeset
14 // LIGHT: Node0x1 -> Node0x2;
anatofuz
parents:
diff changeset
15 // DARK: Node0x1 -> Node0x2 [color="white"];
anatofuz
parents:
diff changeset
16 Node0x1 -> Node0x2;
anatofuz
parents:
diff changeset
17
anatofuz
parents:
diff changeset
18 Node0x2 [shape=record,label=
anatofuz
parents:
diff changeset
19 "{{ "state_id": 0, "program_state": null, "program_points": [
anatofuz
parents:
diff changeset
20 {
anatofuz
parents:
diff changeset
21 "kind": "BlockEntrance", "block_id": 1,
anatofuz
parents:
diff changeset
22 "terminator": null, "term_kind": null,
anatofuz
parents:
diff changeset
23 "tag": null, "node_id": 1,
anatofuz
parents:
diff changeset
24 "has_report": 0, "is_sink": 0
anatofuz
parents:
diff changeset
25 }
anatofuz
parents:
diff changeset
26 ]}\l}"];