{
  "__version__": [
    17,
    0,
    6
  ],
  "elapsed": 63.99369955062866,
  "tests": [
    {
      "code": "PASS",
      "elapsed": 63.98444890975952,
      "name": "compiler :: live_nested_loop_memoryphi_executable_transfer.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   env SYMCC_LIVE_ALIAS_LIMIT=64 python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_executable_transfer.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.json --entry executable_nested_summary_i16\n: 'RUN: at line 2';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.json --validate-only --expect-stack --expect-alias --expect-nested-loop-memoryphi-decision-dag-value-summary --expect-executable-loop-summary-transfer\n: 'RUN: at line 3';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.json --input-hex 0001033412 --expect-values 13994,13994,13994,13994,13994,13994 --expect-stack --expect-alias --expect-nested-loop-memoryphi-decision-dag-value-summary --expect-executable-loop-summary-transfer --expect-loop-summary-transfer-fallback\n: 'RUN: at line 4';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.json --input-hex 0001033412 --expect-values 13994 --expect-stack --expect-alias --expect-nested-loop-memoryphi-decision-dag-value-summary --expect-executable-loop-summary-transfer --enable-loop-summary-transfer --expect-loop-summary-transfer-applied --expect-zero-forks --expect-max-steps 64\n: 'RUN: at line 5';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.json --input-hex 0803033412 --expect-values 9898 --expect-stack --expect-alias --expect-nested-loop-memoryphi-decision-dag-value-summary --expect-executable-loop-summary-transfer --enable-loop-summary-transfer --expect-loop-summary-transfer-applied --expect-zero-forks --expect-max-steps 64\n: 'RUN: at line 6';   python3 /home/ubuntu/code/symcc/test/../benchmark/check_executable_loop_summary_transfer_oracles.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.json --payload 0x1234 --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.oracle.json\n: 'RUN: at line 7';   python3 -c \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.oracle.json')); assert data['all_passed'] and data['configurations'] == 176 and data['summary_transfers'] == 176 and data['forks'] == 0 and data['maximum_steps'] <= 64\"\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"env\" \"SYMCC_LIVE_ALIAS_LIMIT=64\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_executable_transfer.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.json\" \"--entry\" \"executable_nested_summary_i16\"\n# command output:\n{\"command\":[\"/usr/lib/llvm-17/bin/opt\",\"-load-pass-plugin=/home/ubuntu/code/symcc/build-llvm17/libsymcc.so\",\"-passes=live-continuation-export\",\"-disable-output\",\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_executable_transfer.ll\"],\"diagnostics\":[],\"entry\":\"executable_nested_summary_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_executable_transfer.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 2\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-nested-loop-memoryphi-decision-dag-value-summary\" \"--expect-executable-loop-summary-transfer\"\n$ \":\" \"RUN: at line 3\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.json\" \"--input-hex\" \"0001033412\" \"--expect-values\" \"13994,13994,13994,13994,13994,13994\" \"--expect-stack\" \"--expect-alias\" \"--expect-nested-loop-memoryphi-decision-dag-value-summary\" \"--expect-executable-loop-summary-transfer\" \"--expect-loop-summary-transfer-fallback\"\n$ \":\" \"RUN: at line 4\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.json\" \"--input-hex\" \"0001033412\" \"--expect-values\" \"13994\" \"--expect-stack\" \"--expect-alias\" \"--expect-nested-loop-memoryphi-decision-dag-value-summary\" \"--expect-executable-loop-summary-transfer\" \"--enable-loop-summary-transfer\" \"--expect-loop-summary-transfer-applied\" \"--expect-zero-forks\" \"--expect-max-steps\" \"64\"\n$ \":\" \"RUN: at line 5\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.json\" \"--input-hex\" \"0803033412\" \"--expect-values\" \"9898\" \"--expect-stack\" \"--expect-alias\" \"--expect-nested-loop-memoryphi-decision-dag-value-summary\" \"--expect-executable-loop-summary-transfer\" \"--enable-loop-summary-transfer\" \"--expect-loop-summary-transfer-applied\" \"--expect-zero-forks\" \"--expect-max-steps\" \"64\"\n$ \":\" \"RUN: at line 6\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/check_executable_loop_summary_transfer_oracles.py\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.json\" \"--payload\" \"0x1234\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.oracle.json\"\n# command output:\n{\"all_passed\":true,\"claim_boundary\":\"Concrete memory and initializedness equivalence for the bounded i2/i2, i16 Decision-DAG fixture, with value equality asserted only for fully initialized in-object i16 loads; not general LoopSCC, heap, call-effect, solver-time, or campaign-speedup proof\",\"configurations\":176,\"defined_load_value_equivalences\":33,\"forks\":0,\"initialized_loads\":33,\"initializedness_equivalences\":2112,\"maximum_steps\":27,\"memory_byte_equivalences\":2112,\"partial_or_uninitialized_loads\":143,\"payload\":4660,\"schema\":\"symcc-executable-loop-summary-differential-v1\",\"summary_transfers\":176}\n\n$ \":\" \"RUN: at line 7\"\n$ \"python3\" \"-c\" \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer.ll.tmp.oracle.json')); assert data['all_passed'] and data['configurations'] == 176 and data['summary_transfers'] == 176 and data['forks'] == 0 and data['maximum_steps'] <= 64\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 0.46797990798950195,
      "name": "compiler :: live_nested_loop_memoryphi_executable_transfer_fallback.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   python3 -c \"from pathlib import Path; source=Path(r'/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_executable_transfer.ll').read_text(); source=source.replace('ret i16 %value', '%combined = add i16 %value, %outer_iv\\n  ret i16 %combined'); Path(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer_fallback.ll.tmp.liveout.ll').write_text(source)\"\n: 'RUN: at line 2';   env SYMCC_LIVE_ALIAS_LIMIT=64 python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer_fallback.ll.tmp.liveout.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer_fallback.ll.tmp.json --entry executable_nested_summary_i16\n: 'RUN: at line 3';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer_fallback.ll.tmp.json --validate-only --expect-stack --expect-alias --expect-nested-loop-memoryphi-decision-dag-value-summary --reject-capability refinement-verified-nested-loop-memory-summary-transfer\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"python3\" \"-c\" \"from pathlib import Path; source=Path(r'/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_executable_transfer.ll').read_text(); source=source.replace('ret i16 %value', '%combined = add i16 %value, %outer_iv\\n  ret i16 %combined'); Path(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer_fallback.ll.tmp.liveout.ll').write_text(source)\"\n$ \":\" \"RUN: at line 2\"\n$ \"env\" \"SYMCC_LIVE_ALIAS_LIMIT=64\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer_fallback.ll.tmp.liveout.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer_fallback.ll.tmp.json\" \"--entry\" \"executable_nested_summary_i16\"\n# command output:\n{\"command\":[\"/usr/lib/llvm-17/bin/opt\",\"-load-pass-plugin=/home/ubuntu/code/symcc/build-llvm17/libsymcc.so\",\"-passes=live-continuation-export\",\"-disable-output\",\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer_fallback.ll.tmp.liveout.ll\"],\"diagnostics\":[],\"entry\":\"executable_nested_summary_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer_fallback.ll.tmp.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer_fallback.ll.tmp.liveout.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 3\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_executable_transfer_fallback.ll.tmp.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-nested-loop-memoryphi-decision-dag-value-summary\" \"--reject-capability\" \"refinement-verified-nested-loop-memory-summary-transfer\"\n\n--\n"
    }
  ]
}