{ "endianness": "little", "entry": "freeze_memory_forwarded_multiarm_conditional_cyclic_byte_lane_carry", "functions": { "freeze_memory_forwarded_multiarm_conditional_cyclic_byte_lane_carry": { "blocks": { "bb0": [ { "dst": "input_raw_5", "offset": 0, "op": "input" }, { "bits": 1, "dst": "input_ext_6", "op": "unary", "operator": "zext", "value": { "var": "input_raw_5" } }, { "bits": 1, "dst": "arg0", "op": "unary", "operator": "trunc", "value": { "var": "input_ext_6" } }, { "dst": "input_raw_7", "offset": 1, "op": "input" }, { "bits": 1, "dst": "input_ext_8", "op": "unary", "operator": "zext", "value": { "var": "input_raw_7" } }, { "bits": 1, "dst": "arg1", "op": "unary", "operator": "trunc", "value": { "var": "input_ext_8" } }, { "bits": 64, "dst": "v0", "op": "unary", "operator": "identity", "value": { "bits": 64, "const": 64 } }, { "bits": 64, "dst": "v1", "left": { "var": "v0" }, "op": "binary", "operator": "add", "right": { "bits": 64, "const": 1 } }, { "address": { "bits": 64, "const": 64 }, "bits": 16, "byte_lane_store": "byte_lane_store_0", "bytes": 2, "op": "store", "value": { "bits": 16, "const": 42 } }, { "op": "jump", "target": "edge_bb0_bb1" } ], "bb1": [ { "address": { "bits": 64, "const": 64 }, "bits": 16, "bytes": 2, "dst": "v3", "op": "load" }, { "bits": 1, "dst": "v3__cyclic_byte_defined", "left": { "var": "v3__lane_0_defined" }, "op": "binary", "operator": "and", "right": { "var": "v3__lane_1_defined" } }, { "bits": 16, "dst": "deferred_poison_choice_9", "op": "nondet", "site": "9591395358384578675" }, { "bits": 16, "condition": { "var": "v3__cyclic_byte_defined" }, "dst": "v4", "false": { "var": "deferred_poison_choice_9" }, "op": "select", "true": { "var": "v3" } }, { "bits": 1, "dst": "v5", "left": { "var": "v2" }, "op": "binary", "operator": "eq", "right": { "bits": 8, "const": 0 } }, { "condition": { "var": "v5" }, "false": "bb11", "op": "branch", "site": "9429373274690455444", "true": "bb2" } ], "bb10": [ { "op": "jump", "target": "edge_bb10_bb1" } ], "bb11": [ { "bits": 1, "dst": "v11", "left": { "var": "v4" }, "op": "binary", "operator": "eq", "right": { "bits": 16, "const": 42 } }, { "condition": { "var": "v11" }, "false": "bb13", "op": "branch", "site": "17994887929846424987", "true": "bb12" } ], "bb12": [ { "op": "return", "value": { "bits": 8, "const": 1 } } ], "bb13": [ { "op": "return", "value": { "bits": 8, "const": 2 } } ], "bb2": [ { "condition": { "var": "arg0" }, "false": "bb3", "op": "branch", "site": "11251954295269713075", "true": "bb4" } ], "bb3": [ { "condition": { "var": "arg1" }, "false": "bb8", "op": "branch", "site": "8466573326671772242", "true": "bb6" } ], "bb4": [ { "bits": 8, "dst": "v6", "left": { "bits": 8, "const": 1 }, "op": "binary", "operator": "add", "right": { "bits": 8, "const": 1 } }, { "op": "jump", "target": "bb5" } ], "bb5": [ { "bits": 8, "dst": "v7", "left": { "bits": 8, "const": 127 }, "op": "binary", "operator": "add", "right": { "bits": 8, "const": 1 } }, { "bits": 8, "dst": "llvm_signed_left_10", "left": { "bits": 8, "const": 127 }, "op": "binary", "operator": "lshr", "right": { "bits": 8, "const": 7 } }, { "bits": 8, "dst": "llvm_signed_right_11", "left": { "bits": 8, "const": 1 }, "op": "binary", "operator": "lshr", "right": { "bits": 8, "const": 7 } }, { "bits": 8, "dst": "llvm_signed_result_12", "left": { "var": "v7" }, "op": "binary", "operator": "lshr", "right": { "bits": 8, "const": 7 } }, { "bits": 1, "dst": "llvm_signed_risky_13", "left": { "var": "llvm_signed_left_10" }, "op": "binary", "operator": "eq", "right": { "var": "llvm_signed_right_11" } }, { "bits": 1, "dst": "llvm_signed_result_same_14", "left": { "var": "llvm_signed_result_12" }, "op": "binary", "operator": "eq", "right": { "var": "llvm_signed_left_10" } }, { "bits": 1, "dst": "llvm_signed_not_risky_15", "op": "unary", "operator": "not", "value": { "var": "llvm_signed_risky_13" } }, { "bits": 1, "dst": "llvm_signed_defined_16", "left": { "var": "llvm_signed_not_risky_15" }, "op": "binary", "operator": "or", "right": { "var": "llvm_signed_result_same_14" } }, { "address": { "bits": 64, "const": 64 }, "bits": 8, "byte_lane_defined": "byte_lane_store_defined_2", "byte_lane_poison_source": "llvm_signed_defined_16", "byte_lane_store": "byte_lane_store_1", "bytes": 1, "op": "store", "value": { "var": "v7" } }, { "bits": 1, "dst": "byte_lane_store_defined_2", "op": "unary", "operator": "identity", "value": { "var": "llvm_signed_defined_16" } }, { "op": "jump", "target": "edge_bb5_bb10" } ], "bb6": [ { "bits": 8, "dst": "v8", "left": { "bits": 8, "const": 2 }, "op": "binary", "operator": "add", "right": { "bits": 8, "const": 1 } }, { "op": "jump", "target": "bb7" } ], "bb7": [ { "bits": 8, "dst": "v9", "left": { "bits": 8, "const": 127 }, "op": "binary", "operator": "add", "right": { "bits": 8, "const": 1 } }, { "bits": 8, "dst": "llvm_signed_left_17", "left": { "bits": 8, "const": 127 }, "op": "binary", "operator": "lshr", "right": { "bits": 8, "const": 7 } }, { "bits": 8, "dst": "llvm_signed_right_18", "left": { "bits": 8, "const": 1 }, "op": "binary", "operator": "lshr", "right": { "bits": 8, "const": 7 } }, { "bits": 8, "dst": "llvm_signed_result_19", "left": { "var": "v9" }, "op": "binary", "operator": "lshr", "right": { "bits": 8, "const": 7 } }, { "bits": 1, "dst": "llvm_signed_risky_20", "left": { "var": "llvm_signed_left_17" }, "op": "binary", "operator": "eq", "right": { "var": "llvm_signed_right_18" } }, { "bits": 1, "dst": "llvm_signed_result_same_21", "left": { "var": "llvm_signed_result_19" }, "op": "binary", "operator": "eq", "right": { "var": "llvm_signed_left_17" } }, { "bits": 1, "dst": "llvm_signed_not_risky_22", "op": "unary", "operator": "not", "value": { "var": "llvm_signed_risky_20" } }, { "bits": 1, "dst": "llvm_signed_defined_23", "left": { "var": "llvm_signed_not_risky_22" }, "op": "binary", "operator": "or", "right": { "var": "llvm_signed_result_same_21" } }, { "address": { "bits": 64, "const": 65 }, "bits": 8, "byte_lane_defined": "byte_lane_store_defined_4", "byte_lane_poison_source": "llvm_signed_defined_23", "byte_lane_store": "byte_lane_store_3", "bytes": 1, "op": "store", "value": { "var": "v9" } }, { "bits": 1, "dst": "byte_lane_store_defined_4", "op": "unary", "operator": "identity", "value": { "var": "llvm_signed_defined_23" } }, { "op": "jump", "target": "edge_bb7_bb10" } ], "bb8": [ { "bits": 8, "dst": "v10", "left": { "bits": 8, "const": 3 }, "op": "binary", "operator": "add", "right": { "bits": 8, "const": 1 } }, { "op": "jump", "target": "bb9" } ], "bb9": [ { "op": "jump", "target": "edge_bb9_bb10" } ], "edge_bb0_bb1": [ { "bits": 8, "dst": "phi_in_24", "op": "unary", "operator": "identity", "value": { "bits": 8, "const": 0 } }, { "bits": 8, "dst": "v2", "op": "unary", "operator": "identity", "value": { "var": "phi_in_24" } }, { "bits": 1, "dst": "v3__lane_0_defined", "op": "unary", "operator": "identity", "value": { "bits": 1, "const": 1 } }, { "bits": 1, "dst": "v3__lane_1_defined", "op": "unary", "operator": "identity", "value": { "bits": 1, "const": 1 } }, { "op": "jump", "target": "bb1" } ], "edge_bb10_bb1": [ { "bits": 8, "dst": "phi_in_25", "op": "unary", "operator": "identity", "value": { "bits": 8, "const": 1 } }, { "bits": 8, "dst": "v2", "op": "unary", "operator": "identity", "value": { "var": "phi_in_25" } }, { "bits": 1, "dst": "v3__lane_0_defined", "op": "unary", "operator": "identity", "value": { "var": "v3__lane_0_defined" } }, { "bits": 1, "dst": "v3__lane_1_defined", "op": "unary", "operator": "identity", "value": { "var": "v3__lane_1_defined" } }, { "op": "jump", "target": "bb1" } ], "edge_bb5_bb10": [ { "bits": 1, "dst": "v3__lane_0_defined", "op": "unary", "operator": "identity", "value": { "var": "byte_lane_store_defined_2" } }, { "bits": 1, "dst": "v3__lane_1_defined", "op": "unary", "operator": "identity", "value": { "var": "v3__lane_1_defined" } }, { "op": "jump", "target": "bb10" } ], "edge_bb7_bb10": [ { "bits": 1, "dst": "v3__lane_0_defined", "op": "unary", "operator": "identity", "value": { "var": "v3__lane_0_defined" } }, { "bits": 1, "dst": "v3__lane_1_defined", "op": "unary", "operator": "identity", "value": { "var": "byte_lane_store_defined_4" } }, { "op": "jump", "target": "bb10" } ], "edge_bb9_bb10": [ { "bits": 1, "dst": "v3__lane_0_defined", "op": "unary", "operator": "identity", "value": { "var": "v3__lane_0_defined" } }, { "bits": 1, "dst": "v3__lane_1_defined", "op": "unary", "operator": "identity", "value": { "var": "v3__lane_1_defined" } }, { "op": "jump", "target": "bb10" } ] }, "entry": "bb0", "forwarded_multiarm_conditional_cyclic_byte_lane_memory_definedness_phis": [ { "block": "bb1", "bytes": 2, "defined": "v3__cyclic_byte_defined", "incoming": [ { "block": "edge_bb10_bb1", "lanes": [ { "lane": 0, "source": "carry" }, { "lane": 1, "source": "carry" } ] }, { "block": "edge_bb0_bb1", "lanes": [ { "lane": 0, "source": "store", "store": "byte_lane_store_0", "store_byte": 0, "store_bytes": 2 }, { "lane": 1, "source": "store", "store": "byte_lane_store_0", "store_byte": 1, "store_bytes": 2 } ] } ], "lane_defined": [ "v3__lane_0_defined", "v3__lane_1_defined" ], "load": "v3", "multiarm_transfers": [ { "arms": [ { "block": "bb5", "edge": "edge_bb5_bb10", "lanes": [ { "defined": "byte_lane_store_defined_2", "lane": 0, "source": "store", "store": "byte_lane_store_1", "store_byte": 0, "store_bytes": 1 }, { "lane": 1, "source": "carry" } ], "route": "root", "successor": "bb4" }, { "block": "bb7", "edge": "edge_bb7_bb10", "lanes": [ { "lane": 0, "source": "carry" }, { "defined": "byte_lane_store_defined_4", "lane": 1, "source": "store", "store": "byte_lane_store_3", "store_byte": 0, "store_bytes": 1 } ], "route": "inner_true", "successor": "bb6" }, { "block": "bb9", "edge": "edge_bb9_bb10", "lanes": [ { "lane": 0, "source": "carry" }, { "lane": 1, "source": "carry" } ], "route": "inner_false", "successor": "bb8" } ], "forwarded": true, "inner_branch": "bb3", "join": "bb10", "root_branch": "bb2" } ], "writer_graph": true } ], "param_bits": [], "params": [], "return_bits": 8 } }, "input_size": 2, "lowering": { "capabilities": [ "integer-ssa", "scalar-mem2reg", "phi-edge-copies", "switch-chain", "direct-internal-calls", "bounded-bitvectors", "static-global-memory", "constant-gep", "multi-byte-memory", "stable-nondeterministic-freeze", "bounded-deferred-poison-freeze", "bounded-transitive-deferred-poison", "bounded-memory-deferred-poison", "canonical-address-memory-deferred-poison", "bounded-cross-block-memory-deferred-poison", "bounded-branch-memory-deferred-poison", "bounded-forwarded-multiarm-conditional-cyclic-byte-lane-memory-definedness-phi", "bounded-multiarm-cyclic-byte-lane-writer-graph" ], "entry": "freeze_memory_forwarded_multiarm_conditional_cyclic_byte_lane_carry", "input_abi": "integer-arguments-little-endian", "llvm_version": "18.1.3", "schema": "symcc-llvm-continuation-lowering-v1", "source_module": "/home/ubuntu/code/symcc/test/live_continuation_lowering.ll", "status": "lowered" }, "memory_hex": "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000", "memory_objects": [ { "address": 64, "kind": "static", "name": "poison_memory_array", "read_only": false, "size": 4 } ], "memory_size": 68, "schema": "symcc-live-program-v1" }