{ "schema": "OPT-8-v1", "finite_validation_inputs": 162, "loop_validation_inputs": 294, "rd_in": { "E": [ "input:a", "input:b", "input:p" ], "T": [ "E.1", "E.2", "input:a", "input:b", "input:p" ], "F": [ "E.1", "E.2", "input:a", "input:b", "input:p" ], "J": [ "E.1", "E.2", "F.1", "T.1", "input:a", "input:b", "input:p" ] }, "rd_out": { "E": [ "E.1", "E.2", "input:a", "input:b", "input:p" ], "T": [ "E.1", "E.2", "T.1", "input:a", "input:b", "input:p" ], "F": [ "E.1", "E.2", "F.1", "input:a", "input:b", "input:p" ], "J": [ "E.1", "E.2", "F.1", "J.1", "J.2", "J.3", "T.1", "input:a", "input:b", "input:p" ] }, "rd_rounds": [ { "E": [ "E.1", "E.2", "input:a", "input:b", "input:p" ], "T": [ "E.1", "E.2", "T.1", "input:a", "input:b", "input:p" ], "F": [ "E.1", "E.2", "F.1", "input:a", "input:b", "input:p" ], "J": [ "E.1", "E.2", "F.1", "J.1", "J.2", "J.3", "T.1", "input:a", "input:b", "input:p" ] }, { "E": [ "E.1", "E.2", "input:a", "input:b", "input:p" ], "T": [ "E.1", "E.2", "T.1", "input:a", "input:b", "input:p" ], "F": [ "E.1", "E.2", "F.1", "input:a", "input:b", "input:p" ], "J": [ "E.1", "E.2", "F.1", "J.1", "J.2", "J.3", "T.1", "input:a", "input:b", "input:p" ] } ], "live_in": { "E": [ "a", "b", "p" ], "T": [ "a", "b", "y" ], "F": [ "a", "b", "y" ], "J": [ "a", "b", "u", "y" ] }, "live_out": { "E": [ "a", "b", "y" ], "T": [ "a", "b", "u", "y" ], "F": [ "a", "b", "u", "y" ], "J": [] }, "liveness_worklist_visits": 4, "available_in": { "E": [], "T": [ [ "add", "a", "b" ] ], "F": [ [ "add", "a", "b" ] ], "J": [ [ "add", "a", "b" ] ] }, "available_out": { "E": [ [ "add", "a", "b" ] ], "T": [ [ "add", "a", "b" ] ], "F": [ [ "add", "a", "b" ] ], "J": [ [ "add", "a", "b" ], [ "add", "u", "y" ], [ "add", "z", 1 ] ] }, "ir": { "source": { "E": { "code": [ [ "x", "add", "a", "b" ], [ "y", "copy", "x" ] ], "term": [ "br", "p", "T", "F" ] }, "T": { "code": [ [ "u", "add", "a", "b" ] ], "term": [ "jmp", "J" ] }, "F": { "code": [ [ "u", "add", "a", "b" ] ], "term": [ "jmp", "J" ] }, "J": { "code": [ [ "z", "add", "a", "b" ], [ "dead", "add", "z", 1 ], [ "r", "add", "u", "y" ] ], "term": [ "ret", "r" ] } }, "after_cse": { "E": { "code": [ [ "x", "add", "a", "b" ], [ "y", "copy", "x" ] ], "term": [ "br", "p", "T", "F" ] }, "T": { "code": [ [ "u", "copy", "x" ] ], "term": [ "jmp", "J" ] }, "F": { "code": [ [ "u", "copy", "x" ] ], "term": [ "jmp", "J" ] }, "J": { "code": [ [ "z", "copy", "x" ], [ "dead", "add", "z", 1 ], [ "r", "add", "u", "y" ] ], "term": [ "ret", "r" ] } }, "after_copy": { "E": { "code": [ [ "x", "add", "a", "b" ], [ "y", "copy", "x" ] ], "term": [ "br", "p", "T", "F" ] }, "T": { "code": [ [ "u", "copy", "x" ] ], "term": [ "jmp", "J" ] }, "F": { "code": [ [ "u", "copy", "x" ] ], "term": [ "jmp", "J" ] }, "J": { "code": [ [ "z", "copy", "x" ], [ "dead", "add", "x", 1 ], [ "r", "add", "x", "x" ] ], "term": [ "ret", "r" ] } }, "after_dce": { "E": { "code": [ [ "x", "add", "a", "b" ] ], "term": [ "br", "p", "T", "F" ] }, "T": { "code": [], "term": [ "jmp", "J" ] }, "F": { "code": [], "term": [ "jmp", "J" ] }, "J": { "code": [ [ "r", "add", "x", "x" ] ], "term": [ "ret", "r" ] } } }, "main_execution": { "source": { "value": 10, "path": [ "E", "F", "J" ], "counts": { "add": 5, "mul": 0, "copy": 1, "eq": 0, "branches": 1 } }, "optimized": { "value": 10, "path": [ "E", "F", "J" ], "counts": { "add": 2, "mul": 0, "copy": 0, "eq": 0, "branches": 1 } } }, "dce_removed_by_pass": [ [ [ "E", [ "y", "copy", "x" ] ], [ "T", [ "u", "copy", "x" ] ], [ "F", [ "u", "copy", "x" ] ], [ "J", [ "dead", "add", "x", 1 ] ], [ "J", [ "z", "copy", "x" ] ] ], [] ], "dce_chain_pass_sizes": [ 1, 1, 0 ], "sccp": { "values": { "p": [ "top" ], "q": [ "top" ], "a": [ "const", 4 ], "b": [ "const", 6 ], "c": [ "const", true ], "t": [ "const", 10 ], "f": [ "bottom" ], "v": [ "const", 10 ], "w": [ "const", 20 ], "d": [ "const", true ] }, "edges": [ [ "E", "T" ], [ "J", "R" ], [ "START", "E" ], [ "T", "J" ] ], "reachable": [ "E", "J", "R", "T" ], "events": [ { "edge": [ "START", "E" ] }, { "value": "a", "abstract": [ "const", 4 ] }, { "value": "b", "abstract": [ "const", 6 ] }, { "value": "c", "abstract": [ "const", true ] }, { "edge": [ "E", "T" ] }, { "value": "t", "abstract": [ "const", 10 ] }, { "edge": [ "T", "J" ] }, { "value": "v", "abstract": [ "const", 10 ] }, { "value": "w", "abstract": [ "const", 20 ] }, { "value": "d", "abstract": [ "const", true ] }, { "edge": [ "J", "R" ] } ] }, "sccp_migration_conflict": { "values": { "p": [ "top" ], "q": [ "top" ], "a": [ "const", 4 ], "b": [ "const", 6 ], "c": [ "const", true ], "t": [ "const", 10 ], "f": [ "const", 14 ], "v": [ "top" ], "w": [ "top" ], "d": [ "top" ] }, "edges": [ [ "E", "F" ], [ "E", "T" ], [ "F", "J" ], [ "J", "B" ], [ "J", "R" ], [ "START", "E" ], [ "T", "J" ] ], "reachable": [ "B", "E", "F", "J", "R", "T" ], "events": [ { "edge": [ "START", "E" ] }, { "value": "a", "abstract": [ "const", 4 ] }, { "value": "b", "abstract": [ "const", 6 ] }, { "value": "c", "abstract": [ "const", true ] }, { "edge": [ "E", "T" ] }, { "value": "t", "abstract": [ "const", 10 ] }, { "edge": [ "E", "F" ] }, { "value": "f", "abstract": [ "const", 14 ] }, { "edge": [ "T", "J" ] }, { "value": "v", "abstract": [ "const", 10 ] }, { "value": "w", "abstract": [ "const", 20 ] }, { "value": "d", "abstract": [ "const", true ] }, { "edge": [ "F", "J" ] }, { "value": "v", "abstract": [ "top" ] }, { "value": "w", "abstract": [ "top" ] }, { "value": "d", "abstract": [ "top" ] }, { "edge": [ "J", "R" ] }, { "edge": [ "J", "B" ] } ] }, "sccp_migration_equal": { "values": { "p": [ "top" ], "q": [ "top" ], "a": [ "const", 4 ], "b": [ "const", 6 ], "c": [ "const", true ], "t": [ "const", 10 ], "f": [ "const", 10 ], "v": [ "const", 10 ], "w": [ "const", 20 ], "d": [ "const", true ] }, "edges": [ [ "E", "F" ], [ "E", "T" ], [ "F", "J" ], [ "J", "R" ], [ "START", "E" ], [ "T", "J" ] ], "reachable": [ "E", "F", "J", "R", "T" ], "events": [ { "edge": [ "START", "E" ] }, { "value": "a", "abstract": [ "const", 4 ] }, { "value": "b", "abstract": [ "const", 6 ] }, { "value": "c", "abstract": [ "const", true ] }, { "edge": [ "E", "T" ] }, { "value": "t", "abstract": [ "const", 10 ] }, { "edge": [ "E", "F" ] }, { "value": "f", "abstract": [ "const", 10 ] }, { "edge": [ "T", "J" ] }, { "value": "v", "abstract": [ "const", 10 ] }, { "value": "w", "abstract": [ "const", 20 ] }, { "value": "d", "abstract": [ "const", true ] }, { "edge": [ "F", "J" ] }, { "edge": [ "J", "R" ] } ] }, "licm_n3": { "source": { "value": 18, "multiplications": 3, "states": [ [ 1, 6 ], [ 2, 12 ], [ 3, 18 ] ] }, "hoisted": { "value": 18, "multiplications": 1, "states": [ [ 1, 6 ], [ 2, 12 ], [ 3, 18 ] ] } }, "licm_zero": { "source": { "value": 0, "multiplications": 0, "states": [] }, "hoisted": { "value": 0, "multiplications": 1, "states": [] } }, "unreachable_block_regression": { "copy_preserved": true, "dce_preserved": true, "both_reachable_paths_preserved": true }, "empty_fact_universes": "PASS", "negative_witnesses": { "stale_copy": [ 1, 9 ], "missing_branch_carrier": { "error": "undefined t" }, "dead_trap": { "source": { "trap": "divide by zero" }, "incorrect_deleted": { "return": 7 } }, "zero_trip_hoist": { "source": { "return": 0 }, "incorrect_hoisted": { "trap": "divide by zero" } } }, "rd_loop_in": { "E": [ "input:a", "input:b", "input:p" ], "H": [ "E.1", "E.2", "L.1", "input:a", "input:b", "input:p" ], "L": [ "E.1", "E.2", "L.1", "input:a", "input:b", "input:p" ], "X": [ "E.1", "E.2", "L.1", "input:a", "input:b", "input:p" ] }, "ae_loop_in": { "E": [], "H": [ [ "add", "a", "b" ] ], "L": [ [ "add", "a", "b" ] ], "X": [ [ "add", "a", "b" ] ] }, "phi_live_edges": { "T": [ "x" ], "F": [ "y" ] }, "limits": "Finite tests supplement proofs. CSE is the documented anchored subset; no LLVM, machine timings, alias analysis, exceptions, or general optimizer certification." }