10b26891fSArtem Dergachev// RUN: %exploded_graph_rewriter %s \ 29289681eSArtem Dergachev// RUN: | FileCheck %s -check-prefixes=ONE,TWO,THREE,FOUR 30b26891fSArtem Dergachev// RUN: %exploded_graph_rewriter -s %s \ 4*91b61abaSMircea Trofin// RUN: | FileCheck %s -check-prefixes=ONE,TWO,NOTTHREE,FOUR 59289681eSArtem Dergachev// RUN: %exploded_graph_rewriter --to=0x2 %s \ 6*91b61abaSMircea Trofin// RUN: | FileCheck %s -check-prefixes=ONE,TWO,NOTTHREE,NOTFOUR 79289681eSArtem Dergachev// RUN: %exploded_graph_rewriter --to 2 %s \ 8*91b61abaSMircea Trofin// RUN: | FileCheck %s -check-prefixes=ONE,TWO,NOTTHREE,NOTFOUR 99289681eSArtem Dergachev// RUN: %exploded_graph_rewriter --to 2,3 %s \ 10*91b61abaSMircea Trofin// RUN: | FileCheck %s -check-prefixes=ONE,TWO,THREE,NOTFOUR 119289681eSArtem Dergachev// RUN: %exploded_graph_rewriter --to 4 %s \ 129289681eSArtem Dergachev// RUN: | FileCheck %s -check-prefixes=ONE,TWO,THREE,FOUR 139289681eSArtem Dergachev// RUN: %exploded_graph_rewriter --to 4 -s %s \ 14*91b61abaSMircea Trofin// RUN: | FileCheck %s -check-prefixes=ONE,TWO,NOTTHREE,FOUR 150b26891fSArtem Dergachev 160b26891fSArtem DergachevNode0x1 [shape=record,label= 17d93b810cSArtem Dergachev "{{ "state_id": 0, "program_state": null, "program_points": [ 1814e9eb3dSArtem Dergachev { 1914e9eb3dSArtem Dergachev "kind": "BlockEntrance", "block_id": 1, 2014e9eb3dSArtem Dergachev "terminator": null, "term_kind": null, 2114e9eb3dSArtem Dergachev "tag": null, "node_id": 1, 2214e9eb3dSArtem Dergachev "has_report": 0, "is_sink": 0 2314e9eb3dSArtem Dergachev } 2414e9eb3dSArtem Dergachev ]}\l}"]; 250b26891fSArtem Dergachev 260b26891fSArtem DergachevNode0x2 [shape=record,label= 27d93b810cSArtem Dergachev "{{ "state_id": 0, "program_state": null, "program_points": [ 2814e9eb3dSArtem Dergachev { 2914e9eb3dSArtem Dergachev "kind": "BlockEntrance", "block_id": 1, 3014e9eb3dSArtem Dergachev "terminator": null, "term_kind": null, 3114e9eb3dSArtem Dergachev "tag": null, "node_id": 2, 3214e9eb3dSArtem Dergachev "has_report": 0, "is_sink": 0 3314e9eb3dSArtem Dergachev } 3414e9eb3dSArtem Dergachev ]}\l}"]; 350b26891fSArtem Dergachev 360b26891fSArtem DergachevNode0x3 [shape=record,label= 37d93b810cSArtem Dergachev "{{ "state_id": 0, "program_state": null, "program_points": [ 3814e9eb3dSArtem Dergachev { 3914e9eb3dSArtem Dergachev "kind": "BlockEntrance", "block_id": 1, 4014e9eb3dSArtem Dergachev "terminator": null, "term_kind": null, 4114e9eb3dSArtem Dergachev "tag": null, "node_id": 3, 4214e9eb3dSArtem Dergachev "has_report": 0, "is_sink": 0 4314e9eb3dSArtem Dergachev } 4414e9eb3dSArtem Dergachev ]}\l}"]; 450b26891fSArtem Dergachev 460b26891fSArtem DergachevNode0x4 [shape=record,label= 47d93b810cSArtem Dergachev "{{ "state_id": 0, "program_state": null, "program_points": [ 4814e9eb3dSArtem Dergachev { 4914e9eb3dSArtem Dergachev "kind": "BlockEntrance", "block_id": 1, 5014e9eb3dSArtem Dergachev "terminator": null, "term_kind": null, 5114e9eb3dSArtem Dergachev "tag": null, "node_id": 4, 5214e9eb3dSArtem Dergachev "has_report": 0, "is_sink": 0 5314e9eb3dSArtem Dergachev } 5414e9eb3dSArtem Dergachev ]}\l}"]; 550b26891fSArtem Dergachev 560b26891fSArtem DergachevNode0x1 -> Node0x2; 570b26891fSArtem DergachevNode0x1 -> Node0x3; 580b26891fSArtem DergachevNode0x2 -> Node0x4; 590b26891fSArtem DergachevNode0x3 -> Node0x4; 609289681eSArtem Dergachev 619289681eSArtem Dergachev// ONE: Node0x1 629289681eSArtem Dergachev// NOTONE-NOT: Node0x1 639289681eSArtem Dergachev// TWO: Node0x2 649289681eSArtem Dergachev// NOTTWO-NOT: Node0x2 659289681eSArtem Dergachev// THREE: Node0x3 669289681eSArtem Dergachev// NOTTHREE-NOT: Node0x3 679289681eSArtem Dergachev// FOUR: Node0x4 689289681eSArtem Dergachev// NOTFOUR-NOT: Node0x4 69