{ "endianness": "little", "entry": "freeze_memory_byte_lane_phi", "functions": { "freeze_memory_byte_lane_phi": { "blocks": { "bb0": [ { "dst": "input_raw_8", "offset": 0, "op": "input" }, { "bits": 1, "dst": "input_ext_9", "op": "unary", "operator": "zext", "value": { "var": "input_raw_8" } }, { "bits": 1, "dst": "arg0", "op": "unary", "operator": "trunc", "value": { "var": "input_ext_9" } }, { "condition": { "var": "arg0" }, "false": "bb2", "op": "branch", "site": "10016743731154101881", "true": "bb1" } ], "bb1": [ { "bits": 8, "dst": "v0", "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": "v0" }, "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" } }, { "bits": 64, "dst": "v1", "op": "unary", "operator": "identity", "value": { "bits": 64, "const": 64 } }, { "address": { "bits": 64, "const": 64 }, "bits": 8, "byte_lane_defined": "byte_lane_store_defined_5", "byte_lane_poison_source": "llvm_signed_defined_16", "byte_lane_store": "byte_lane_store_4", "bytes": 1, "op": "store", "value": { "var": "v0" } }, { "bits": 1, "dst": "byte_lane_store_defined_5", "op": "unary", "operator": "identity", "value": { "var": "llvm_signed_defined_16" } }, { "bits": 8, "dst": "v2", "left": { "bits": 8, "const": 1 }, "op": "binary", "operator": "add", "right": { "bits": 8, "const": 1 } }, { "bits": 8, "dst": "llvm_signed_left_17", "left": { "bits": 8, "const": 1 }, "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": "v2" }, "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" } }, { "bits": 64, "dst": "v3", "left": { "bits": 64, "const": 64 }, "op": "binary", "operator": "add", "right": { "bits": 64, "const": 1 } }, { "address": { "bits": 64, "const": 65 }, "bits": 8, "byte_lane_defined": "byte_lane_store_defined_7", "byte_lane_poison_source": "llvm_signed_defined_23", "byte_lane_store": "byte_lane_store_6", "bytes": 1, "op": "store", "value": { "var": "v2" } }, { "bits": 1, "dst": "byte_lane_store_defined_7", "op": "unary", "operator": "identity", "value": { "var": "llvm_signed_defined_23" } }, { "op": "jump", "target": "edge_bb1_bb3" } ], "bb2": [ { "bits": 8, "dst": "v4", "left": { "bits": 8, "const": 1 }, "op": "binary", "operator": "add", "right": { "bits": 8, "const": 1 } }, { "bits": 8, "dst": "llvm_signed_left_24", "left": { "bits": 8, "const": 1 }, "op": "binary", "operator": "lshr", "right": { "bits": 8, "const": 7 } }, { "bits": 8, "dst": "llvm_signed_right_25", "left": { "bits": 8, "const": 1 }, "op": "binary", "operator": "lshr", "right": { "bits": 8, "const": 7 } }, { "bits": 8, "dst": "llvm_signed_result_26", "left": { "var": "v4" }, "op": "binary", "operator": "lshr", "right": { "bits": 8, "const": 7 } }, { "bits": 1, "dst": "llvm_signed_risky_27", "left": { "var": "llvm_signed_left_24" }, "op": "binary", "operator": "eq", "right": { "var": "llvm_signed_right_25" } }, { "bits": 1, "dst": "llvm_signed_result_same_28", "left": { "var": "llvm_signed_result_26" }, "op": "binary", "operator": "eq", "right": { "var": "llvm_signed_left_24" } }, { "bits": 1, "dst": "llvm_signed_not_risky_29", "op": "unary", "operator": "not", "value": { "var": "llvm_signed_risky_27" } }, { "bits": 1, "dst": "llvm_signed_defined_30", "left": { "var": "llvm_signed_not_risky_29" }, "op": "binary", "operator": "or", "right": { "var": "llvm_signed_result_same_28" } }, { "bits": 64, "dst": "v5", "op": "unary", "operator": "identity", "value": { "bits": 64, "const": 64 } }, { "address": { "bits": 64, "const": 64 }, "bits": 8, "byte_lane_defined": "byte_lane_store_defined_1", "byte_lane_poison_source": "llvm_signed_defined_30", "byte_lane_store": "byte_lane_store_0", "bytes": 1, "op": "store", "value": { "var": "v4" } }, { "bits": 1, "dst": "byte_lane_store_defined_1", "op": "unary", "operator": "identity", "value": { "var": "llvm_signed_defined_30" } }, { "bits": 8, "dst": "v6", "left": { "bits": 8, "const": 3 }, "op": "binary", "operator": "add", "right": { "bits": 8, "const": 1 } }, { "bits": 8, "dst": "llvm_signed_left_31", "left": { "bits": 8, "const": 3 }, "op": "binary", "operator": "lshr", "right": { "bits": 8, "const": 7 } }, { "bits": 8, "dst": "llvm_signed_right_32", "left": { "bits": 8, "const": 1 }, "op": "binary", "operator": "lshr", "right": { "bits": 8, "const": 7 } }, { "bits": 8, "dst": "llvm_signed_result_33", "left": { "var": "v6" }, "op": "binary", "operator": "lshr", "right": { "bits": 8, "const": 7 } }, { "bits": 1, "dst": "llvm_signed_risky_34", "left": { "var": "llvm_signed_left_31" }, "op": "binary", "operator": "eq", "right": { "var": "llvm_signed_right_32" } }, { "bits": 1, "dst": "llvm_signed_result_same_35", "left": { "var": "llvm_signed_result_33" }, "op": "binary", "operator": "eq", "right": { "var": "llvm_signed_left_31" } }, { "bits": 1, "dst": "llvm_signed_not_risky_36", "op": "unary", "operator": "not", "value": { "var": "llvm_signed_risky_34" } }, { "bits": 1, "dst": "llvm_signed_defined_37", "left": { "var": "llvm_signed_not_risky_36" }, "op": "binary", "operator": "or", "right": { "var": "llvm_signed_result_same_35" } }, { "bits": 64, "dst": "v7", "left": { "bits": 64, "const": 64 }, "op": "binary", "operator": "add", "right": { "bits": 64, "const": 1 } }, { "address": { "bits": 64, "const": 65 }, "bits": 8, "byte_lane_defined": "byte_lane_store_defined_3", "byte_lane_poison_source": "llvm_signed_defined_37", "byte_lane_store": "byte_lane_store_2", "bytes": 1, "op": "store", "value": { "var": "v6" } }, { "bits": 1, "dst": "byte_lane_store_defined_3", "op": "unary", "operator": "identity", "value": { "var": "llvm_signed_defined_37" } }, { "op": "jump", "target": "edge_bb2_bb3" } ], "bb3": [ { "bits": 64, "dst": "v8", "op": "unary", "operator": "identity", "value": { "bits": 64, "const": 64 } }, { "address": { "bits": 64, "const": 64 }, "bits": 16, "bytes": 2, "dst": "v9", "op": "load" }, { "bits": 16, "dst": "deferred_poison_choice_38", "op": "nondet", "site": "1535960558570363321" }, { "bits": 16, "condition": { "var": "v9__byte_phi_defined" }, "dst": "v10", "false": { "var": "deferred_poison_choice_38" }, "op": "select", "true": { "var": "v9" } }, { "bits": 1, "dst": "v11", "left": { "var": "v10" }, "op": "binary", "operator": "eq", "right": { "bits": 16, "const": 42 } }, { "condition": { "var": "v11" }, "false": "bb5", "op": "branch", "site": "14911162091923796190", "true": "bb4" } ], "bb4": [ { "op": "return", "value": { "bits": 8, "const": 1 } } ], "bb5": [ { "op": "return", "value": { "bits": 8, "const": 2 } } ], "edge_bb1_bb3": [ { "bits": 1, "dst": "v9__byte_phi_defined", "left": { "var": "byte_lane_store_defined_5" }, "op": "binary", "operator": "and", "right": { "var": "byte_lane_store_defined_7" } }, { "op": "jump", "target": "bb3" } ], "edge_bb2_bb3": [ { "bits": 1, "dst": "v9__byte_phi_defined", "left": { "var": "byte_lane_store_defined_1" }, "op": "binary", "operator": "and", "right": { "var": "byte_lane_store_defined_3" } }, { "op": "jump", "target": "bb3" } ] }, "byte_lane_memory_definedness_phis": [ { "block": "bb3", "bytes": 2, "defined": "v9__byte_phi_defined", "incoming": [ { "block": "edge_bb2_bb3", "lanes": [ { "defined": "byte_lane_store_defined_1", "lane": 0, "source": "store", "store": "byte_lane_store_0", "store_byte": 0, "store_bytes": 1 }, { "defined": "byte_lane_store_defined_3", "lane": 1, "source": "store", "store": "byte_lane_store_2", "store_byte": 0, "store_bytes": 1 } ] }, { "block": "edge_bb1_bb3", "lanes": [ { "defined": "byte_lane_store_defined_5", "lane": 0, "source": "store", "store": "byte_lane_store_4", "store_byte": 0, "store_bytes": 1 }, { "defined": "byte_lane_store_defined_7", "lane": 1, "source": "store", "store": "byte_lane_store_6", "store_byte": 0, "store_bytes": 1 } ] } ], "load": "v9", "writer_graph": true } ], "entry": "bb0", "param_bits": [], "params": [], "return_bits": 8 } }, "input_size": 1, "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-byte-lane-memory-definedness-phi", "bounded-byte-lane-phi-writer-graph" ], "entry": "freeze_memory_byte_lane_phi", "input_abi": "integer-arguments-little-endian", "llvm_version": "17.0.6", "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" }