101.c.json

{
	"nodes": {
		"5_2": {
			"cmd": "Phi",
			"lval": {
				"Var": "x_2"
			},
			"rval": {
				"OP": "phi_merge",
				"arg0": {
					"Var": "x_1"
				},
				"arg1": {
					"Var": "x_3"
				}
			}
		},
		"5_4": {
			"cmd": "TrueBranch"
		},
		"5_5": {
			"cmd": "FalseBranch"
		},
		"ENTRY": {
			"cmd": "SKIP"
		},
		"4_1": {
			"cmd": "assign",
			"lval": {
				"Var": "x_3"
			},
			"rval": {
				"OP": "add",
				"arg0": {
					"Var": "x_2"
				},
				"arg1": {
					"Const": "1"
				}
			}
		},
		"2_1": {
			"cmd": "if",
			"rval" : {
				"cmd" : "icmp",
				"rval": {
					"OP": "ne",
					"arg0": {
						"Var": "x_2"
					},
					"arg1": {
						"Var": "n_0"
					}
				}
			}
		},
		"2_2": {
			"cmd": "TrueBranch"
		},
		"2_3": {
			"cmd": "FalseBranch"
		},
		"1_1": {
			"cmd": "Assert",
			"rval": {
				"OP": "slt",
				"arg0": {
					"Var": "n_0"
				},
				"arg1": {
					"Const": "0"
				}
			}
		},
		"EXIT": {
			"cmd": "SKIP"
		},
		"6_1": {
			"cmd": "assign",
			"lval": {
				"Var": "x_1"
			},
			"rval": {
				"Const": "0"
			}
		},
		"5_3": {
			"cmd": "if",
			"rval": {
				"OP": "slt",
				"arg0": {
					"Var": "x_2"
				},
				"arg1": {
					"Var": "n_0"
				}
			}
		},
		"5_1": {
			"cmd": "Loop"
		}
	},
	"control-flow": [
		[ "1_1", "EXIT" ],
		[ "2_1", "2_2" ],
		[ "2_1", "2_3" ],
		[ "2_2", "1_1" ],
		[ "2_3", "EXIT" ],
		[ "4_1", "5_1" ],
		[ "5_1", "5_2" ],
		[ "5_2", "5_3" ],
		[ "5_3", "5_4" ],
		[ "5_3", "5_5" ],
		[ "5_4", "4_1" ],
		[ "5_5", "2_1" ],
		[ "6_1", "5_1" ],
		[ "ENTRY", "6_1" ]
	]
}