{
  "__version__": [
    17,
    0,
    6
  ],
  "elapsed": 66.75041556358337,
  "tests": [
    {
      "code": "PASS",
      "elapsed": 66.74113178253174,
      "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": 19.004319429397583,
      "name": "compiler :: live_nested_loop_memoryphi_last_write_value.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.ordered.json --entry nested_last_write_value_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_last_write_value.ll.tmp.ordered.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary\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_last_write_value.ll.tmp.ordered.json --input-hex 000103 --expect-values 4660,4660,4660,4660,4660,4660 --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary\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_last_write_value.ll.tmp.ordered.json --input-hex 010103 --expect-values 0,0,0,13330,13330,13330 --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary\n: 'RUN: at line 5';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.singleton.json --entry nested_singleton_value_i8\n: 'RUN: at line 6';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.singleton.json --input-hex 000101 --expect-values 255,255,255,255,255,255 --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary\n: 'RUN: at line 7';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.dynamic.json --entry nested_dynamic_value_fallback_i8\n: 'RUN: at line 8';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.dynamic.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --reject-capability bounded-nested-loop-memoryphi-last-write-value-summary\n: 'RUN: at line 9';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.nonbyte.json --entry nested_non_byte_constant_fallback_i1\n: 'RUN: at line 10';   python3 -c \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.nonbyte.json')); assert data['schema'] == 'symcc-llvm-continuation-lowering-v1'; assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n: 'RUN: at line 11';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_value_summary_fixture.py --object-bytes 64 --inner-step 8 --writer-widths 1,2,4,8 --writer-values 17,4660,305419896,72623859790382856 --load-bytes 8 --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.boundary64.ll\n: 'RUN: at line 12';   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_last_write_value.ll.tmp.boundary64.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.boundary64.json --entry generated_nested_loop_memoryphi_summary\n: 'RUN: at line 13';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.boundary64.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.ordered.json\" \"--entry\" \"nested_last_write_value_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_last_write_value.ll\"],\"diagnostics\":[],\"entry\":\"nested_last_write_value_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.ordered.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value.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_last_write_value.ll.tmp.ordered.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\"\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_last_write_value.ll.tmp.ordered.json\" \"--input-hex\" \"000103\" \"--expect-values\" \"4660,4660,4660,4660,4660,4660\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\"\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_last_write_value.ll.tmp.ordered.json\" \"--input-hex\" \"010103\" \"--expect-values\" \"0,0,0,13330,13330,13330\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\"\n$ \":\" \"RUN: at line 5\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.singleton.json\" \"--entry\" \"nested_singleton_value_i8\"\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_last_write_value.ll\"],\"diagnostics\":[],\"entry\":\"nested_singleton_value_i8\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.singleton.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 6\"\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_last_write_value.ll.tmp.singleton.json\" \"--input-hex\" \"000101\" \"--expect-values\" \"255,255,255,255,255,255\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\"\n$ \":\" \"RUN: at line 7\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.dynamic.json\" \"--entry\" \"nested_dynamic_value_fallback_i8\"\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_last_write_value.ll\"],\"diagnostics\":[],\"entry\":\"nested_dynamic_value_fallback_i8\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.dynamic.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 8\"\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_last_write_value.ll.tmp.dynamic.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--reject-capability\" \"bounded-nested-loop-memoryphi-last-write-value-summary\"\n$ \":\" \"RUN: at line 9\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.nonbyte.json\" \"--entry\" \"nested_non_byte_constant_fallback_i1\"\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_last_write_value.ll\"],\"diagnostics\":[\"nested_non_byte_constant_fallback_i1:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"nested_non_byte_constant_fallback_i1\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.nonbyte.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 10\"\n$ \"python3\" \"-c\" \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.nonbyte.json')); assert data['schema'] == 'symcc-llvm-continuation-lowering-v1'; assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n$ \":\" \"RUN: at line 11\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_value_summary_fixture.py\" \"--object-bytes\" \"64\" \"--inner-step\" \"8\" \"--writer-widths\" \"1,2,4,8\" \"--writer-values\" \"17,4660,305419896,72623859790382856\" \"--load-bytes\" \"8\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.boundary64.ll\"\n$ \":\" \"RUN: at line 12\"\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_last_write_value.ll.tmp.boundary64.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.boundary64.json\" \"--entry\" \"generated_nested_loop_memoryphi_summary\"\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_last_write_value.ll.tmp.boundary64.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_summary\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.boundary64.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value.ll.tmp.boundary64.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 13\"\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_last_write_value.ll.tmp.boundary64.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 20.226823329925537,
      "name": "compiler :: live_nested_loop_memoryphi_affine_symbolic_value.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.json --entry nested_affine_symbolic_value_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_affine_symbolic_value.ll.tmp.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary --expect-nested-loop-memoryphi-affine-symbolic-value-summary\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_affine_symbolic_value.ll.tmp.json --input-hex 0001013412 --expect-values 13994,13994,13994,13994,13994,13994 --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary --expect-nested-loop-memoryphi-affine-symbolic-value-summary\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_affine_symbolic_value.ll.tmp.json --input-hex 0602038012 --expect-values 0,0,0,0,14250,14250 --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary --expect-nested-loop-memoryphi-affine-symbolic-value-summary\n: 'RUN: at line 5';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_affine_symbolic_value_fixture.py --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.generated.ll\n: 'RUN: at line 6';   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_affine_symbolic_value.ll.tmp.generated.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.generated.json --entry generated_nested_loop_memoryphi_affine_symbolic_value\n: 'RUN: at line 7';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.generated.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary --expect-nested-loop-memoryphi-affine-symbolic-value-summary\n: 'RUN: at line 8';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_affine_symbolic_value_fixture.py --object-bytes 12 --outer-bound-bits 1 --inner-bound-bits 2 --address-outer-scale 8 --address-inner-scale 4 --inner-step 1 --value-bits 32 --load-bytes 4 --overlay-byte none --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i32.ll\n: 'RUN: at line 9';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i32.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i32.json --entry generated_nested_loop_memoryphi_affine_symbolic_value\n: 'RUN: at line 10';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i32.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary --expect-nested-loop-memoryphi-affine-symbolic-value-summary\n: 'RUN: at line 11';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_affine_symbolic_value_fixture.py --object-bytes 24 --outer-bound-bits 1 --inner-bound-bits 2 --address-outer-scale 16 --address-inner-scale 8 --inner-step 1 --value-bits 64 --load-bytes 8 --overlay-byte none --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i64.ll\n: 'RUN: at line 12';   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_affine_symbolic_value.ll.tmp.i64.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i64.json --entry generated_nested_loop_memoryphi_affine_symbolic_value\n: 'RUN: at line 13';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i64.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary --expect-nested-loop-memoryphi-affine-symbolic-value-summary\n: 'RUN: at line 14';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_affine_symbolic_value_fixture.py --object-bytes 14 --outer-bound-bits 2 --inner-bound-bits 2 --address-outer-scale 4 --address-inner-scale 2 --inner-step 1 --value-input-scale 0 --overlay-byte none --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.iv-only.ll\n: 'RUN: at line 15';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.iv-only.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.iv-only.json --entry generated_nested_loop_memoryphi_affine_symbolic_value\n: 'RUN: at line 16';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.iv-only.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary --expect-nested-loop-memoryphi-affine-symbolic-value-summary\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.json\" \"--entry\" \"nested_affine_symbolic_value_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_affine_symbolic_value.ll\"],\"diagnostics\":[],\"entry\":\"nested_affine_symbolic_value_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value.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_affine_symbolic_value.ll.tmp.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\" \"--expect-nested-loop-memoryphi-affine-symbolic-value-summary\"\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_affine_symbolic_value.ll.tmp.json\" \"--input-hex\" \"0001013412\" \"--expect-values\" \"13994,13994,13994,13994,13994,13994\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\" \"--expect-nested-loop-memoryphi-affine-symbolic-value-summary\"\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_affine_symbolic_value.ll.tmp.json\" \"--input-hex\" \"0602038012\" \"--expect-values\" \"0,0,0,0,14250,14250\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\" \"--expect-nested-loop-memoryphi-affine-symbolic-value-summary\"\n$ \":\" \"RUN: at line 5\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_affine_symbolic_value_fixture.py\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.generated.ll\"\n$ \":\" \"RUN: at line 6\"\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_affine_symbolic_value.ll.tmp.generated.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.generated.json\" \"--entry\" \"generated_nested_loop_memoryphi_affine_symbolic_value\"\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_affine_symbolic_value.ll.tmp.generated.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_affine_symbolic_value\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.generated.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.generated.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 7\"\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_affine_symbolic_value.ll.tmp.generated.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\" \"--expect-nested-loop-memoryphi-affine-symbolic-value-summary\"\n$ \":\" \"RUN: at line 8\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_affine_symbolic_value_fixture.py\" \"--object-bytes\" \"12\" \"--outer-bound-bits\" \"1\" \"--inner-bound-bits\" \"2\" \"--address-outer-scale\" \"8\" \"--address-inner-scale\" \"4\" \"--inner-step\" \"1\" \"--value-bits\" \"32\" \"--load-bytes\" \"4\" \"--overlay-byte\" \"none\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i32.ll\"\n$ \":\" \"RUN: at line 9\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i32.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i32.json\" \"--entry\" \"generated_nested_loop_memoryphi_affine_symbolic_value\"\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_affine_symbolic_value.ll.tmp.i32.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_affine_symbolic_value\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i32.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i32.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 10\"\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_affine_symbolic_value.ll.tmp.i32.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\" \"--expect-nested-loop-memoryphi-affine-symbolic-value-summary\"\n$ \":\" \"RUN: at line 11\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_affine_symbolic_value_fixture.py\" \"--object-bytes\" \"24\" \"--outer-bound-bits\" \"1\" \"--inner-bound-bits\" \"2\" \"--address-outer-scale\" \"16\" \"--address-inner-scale\" \"8\" \"--inner-step\" \"1\" \"--value-bits\" \"64\" \"--load-bytes\" \"8\" \"--overlay-byte\" \"none\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i64.ll\"\n$ \":\" \"RUN: at line 12\"\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_affine_symbolic_value.ll.tmp.i64.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i64.json\" \"--entry\" \"generated_nested_loop_memoryphi_affine_symbolic_value\"\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_affine_symbolic_value.ll.tmp.i64.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_affine_symbolic_value\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i64.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.i64.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 13\"\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_affine_symbolic_value.ll.tmp.i64.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\" \"--expect-nested-loop-memoryphi-affine-symbolic-value-summary\"\n$ \":\" \"RUN: at line 14\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_affine_symbolic_value_fixture.py\" \"--object-bytes\" \"14\" \"--outer-bound-bits\" \"2\" \"--inner-bound-bits\" \"2\" \"--address-outer-scale\" \"4\" \"--address-inner-scale\" \"2\" \"--inner-step\" \"1\" \"--value-input-scale\" \"0\" \"--overlay-byte\" \"none\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.iv-only.ll\"\n$ \":\" \"RUN: at line 15\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.iv-only.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.iv-only.json\" \"--entry\" \"generated_nested_loop_memoryphi_affine_symbolic_value\"\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_affine_symbolic_value.ll.tmp.iv-only.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_affine_symbolic_value\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.iv-only.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value.ll.tmp.iv-only.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 16\"\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_affine_symbolic_value.ll.tmp.iv-only.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\" \"--expect-nested-loop-memoryphi-affine-symbolic-value-summary\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 19.98568296432495,
      "name": "compiler :: live_nested_loop_memoryphi_piecewise_affine_value.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.json --entry nested_piecewise_affine_value_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_piecewise_affine_value.ll.tmp.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary --expect-nested-loop-memoryphi-piecewise-affine-value-summary\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_piecewise_affine_value.ll.tmp.json --input-hex 0001033412 --expect-values 13994,13994,13994,13994,13994,13994 --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-piecewise-affine-value-summary\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_piecewise_affine_value.ll.tmp.json --input-hex 0201033412 --expect-values 0,0,0,15018,15018,15018 --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-piecewise-affine-value-summary\n: 'RUN: at line 5';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.outer.json --entry nested_piecewise_outer_reversed_i16\n: 'RUN: at line 6';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.outer.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-piecewise-affine-value-summary\n: 'RUN: at line 7';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py --guard-predicate eq --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.eq.ll && 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_piecewise_affine_value.ll.tmp.eq.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.eq.json --entry generated_nested_loop_memoryphi_piecewise_affine_value && python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.eq.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-piecewise-affine-value-summary\n: 'RUN: at line 8';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py --guard-predicate ne --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ne.ll && 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_piecewise_affine_value.ll.tmp.ne.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ne.json --entry generated_nested_loop_memoryphi_piecewise_affine_value && python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ne.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-piecewise-affine-value-summary\n: 'RUN: at line 9';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py --guard-predicate ugt --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ugt.ll && 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_piecewise_affine_value.ll.tmp.ugt.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ugt.json --entry generated_nested_loop_memoryphi_piecewise_affine_value && python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ugt.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-piecewise-affine-value-summary\n: 'RUN: at line 10';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py --guard-predicate uge --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.uge.ll && 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_piecewise_affine_value.ll.tmp.uge.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.uge.json --entry generated_nested_loop_memoryphi_piecewise_affine_value && python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.uge.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-piecewise-affine-value-summary\n: 'RUN: at line 11';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py --guard-predicate ult --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ult.ll && 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_piecewise_affine_value.ll.tmp.ult.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ult.json --entry generated_nested_loop_memoryphi_piecewise_affine_value && python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ult.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-piecewise-affine-value-summary\n: 'RUN: at line 12';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py --guard-predicate ule --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ule.ll && 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_piecewise_affine_value.ll.tmp.ule.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ule.json --entry generated_nested_loop_memoryphi_piecewise_affine_value && python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ule.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-piecewise-affine-value-summary\n: 'RUN: at line 13';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py --object-bytes 24 --outer-bound-bits 1 --inner-bound-bits 2 --address-outer-scale 16 --address-inner-scale 8 --inner-step 1 --value-bits 64 --load-bytes 8 --overlay-byte none --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.i64.ll\n: 'RUN: at line 14';   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_piecewise_affine_value.ll.tmp.i64.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.i64.json --entry generated_nested_loop_memoryphi_piecewise_affine_value\n: 'RUN: at line 15';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.i64.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-piecewise-affine-value-summary\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.json\" \"--entry\" \"nested_piecewise_affine_value_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_piecewise_affine_value.ll\"],\"diagnostics\":[],\"entry\":\"nested_piecewise_affine_value_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value.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_piecewise_affine_value.ll.tmp.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\" \"--expect-nested-loop-memoryphi-piecewise-affine-value-summary\"\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_piecewise_affine_value.ll.tmp.json\" \"--input-hex\" \"0001033412\" \"--expect-values\" \"13994,13994,13994,13994,13994,13994\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-piecewise-affine-value-summary\"\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_piecewise_affine_value.ll.tmp.json\" \"--input-hex\" \"0201033412\" \"--expect-values\" \"0,0,0,15018,15018,15018\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-piecewise-affine-value-summary\"\n$ \":\" \"RUN: at line 5\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.outer.json\" \"--entry\" \"nested_piecewise_outer_reversed_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_piecewise_affine_value.ll\"],\"diagnostics\":[],\"entry\":\"nested_piecewise_outer_reversed_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.outer.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 6\"\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_piecewise_affine_value.ll.tmp.outer.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-piecewise-affine-value-summary\"\n$ \":\" \"RUN: at line 7\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py\" \"--guard-predicate\" \"eq\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.eq.ll\"\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_piecewise_affine_value.ll.tmp.eq.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.eq.json\" \"--entry\" \"generated_nested_loop_memoryphi_piecewise_affine_value\"\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_piecewise_affine_value.ll.tmp.eq.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_piecewise_affine_value\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.eq.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.eq.ll\",\"status\":\"lowered\"}\n\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_piecewise_affine_value.ll.tmp.eq.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-piecewise-affine-value-summary\"\n$ \":\" \"RUN: at line 8\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py\" \"--guard-predicate\" \"ne\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ne.ll\"\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_piecewise_affine_value.ll.tmp.ne.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ne.json\" \"--entry\" \"generated_nested_loop_memoryphi_piecewise_affine_value\"\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_piecewise_affine_value.ll.tmp.ne.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_piecewise_affine_value\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ne.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ne.ll\",\"status\":\"lowered\"}\n\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_piecewise_affine_value.ll.tmp.ne.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-piecewise-affine-value-summary\"\n$ \":\" \"RUN: at line 9\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py\" \"--guard-predicate\" \"ugt\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ugt.ll\"\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_piecewise_affine_value.ll.tmp.ugt.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ugt.json\" \"--entry\" \"generated_nested_loop_memoryphi_piecewise_affine_value\"\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_piecewise_affine_value.ll.tmp.ugt.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_piecewise_affine_value\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ugt.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ugt.ll\",\"status\":\"lowered\"}\n\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_piecewise_affine_value.ll.tmp.ugt.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-piecewise-affine-value-summary\"\n$ \":\" \"RUN: at line 10\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py\" \"--guard-predicate\" \"uge\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.uge.ll\"\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_piecewise_affine_value.ll.tmp.uge.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.uge.json\" \"--entry\" \"generated_nested_loop_memoryphi_piecewise_affine_value\"\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_piecewise_affine_value.ll.tmp.uge.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_piecewise_affine_value\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.uge.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.uge.ll\",\"status\":\"lowered\"}\n\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_piecewise_affine_value.ll.tmp.uge.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-piecewise-affine-value-summary\"\n$ \":\" \"RUN: at line 11\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py\" \"--guard-predicate\" \"ult\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ult.ll\"\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_piecewise_affine_value.ll.tmp.ult.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ult.json\" \"--entry\" \"generated_nested_loop_memoryphi_piecewise_affine_value\"\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_piecewise_affine_value.ll.tmp.ult.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_piecewise_affine_value\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ult.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ult.ll\",\"status\":\"lowered\"}\n\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_piecewise_affine_value.ll.tmp.ult.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-piecewise-affine-value-summary\"\n$ \":\" \"RUN: at line 12\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py\" \"--guard-predicate\" \"ule\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ule.ll\"\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_piecewise_affine_value.ll.tmp.ule.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ule.json\" \"--entry\" \"generated_nested_loop_memoryphi_piecewise_affine_value\"\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_piecewise_affine_value.ll.tmp.ule.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_piecewise_affine_value\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ule.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.ule.ll\",\"status\":\"lowered\"}\n\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_piecewise_affine_value.ll.tmp.ule.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-piecewise-affine-value-summary\"\n$ \":\" \"RUN: at line 13\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_piecewise_affine_value_fixture.py\" \"--object-bytes\" \"24\" \"--outer-bound-bits\" \"1\" \"--inner-bound-bits\" \"2\" \"--address-outer-scale\" \"16\" \"--address-inner-scale\" \"8\" \"--inner-step\" \"1\" \"--value-bits\" \"64\" \"--load-bytes\" \"8\" \"--overlay-byte\" \"none\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.i64.ll\"\n$ \":\" \"RUN: at line 14\"\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_piecewise_affine_value.ll.tmp.i64.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.i64.json\" \"--entry\" \"generated_nested_loop_memoryphi_piecewise_affine_value\"\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_piecewise_affine_value.ll.tmp.i64.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_piecewise_affine_value\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.i64.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value.ll.tmp.i64.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 15\"\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_piecewise_affine_value.ll.tmp.i64.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-piecewise-affine-value-summary\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 22.76513695716858,
      "name": "compiler :: live_nested_loop_memoryphi_two_dimensional_affine.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_two_dimensional_affine.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.json --entry nested_two_dimensional_affine_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_two_dimensional_affine.ll.tmp.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary\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_two_dimensional_affine.ll.tmp.json --input-hex 000101 --expect-values 4778,4778,4778,4778,4778,4778 --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary\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_two_dimensional_affine.ll.tmp.json --input-hex 060203 --expect-values 0,0,0,0,4778,4778 --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary\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_two_dimensional_affine.ll.tmp.json --input-hex 010303 --expect-values 0,0,0,43538,43538,43538 --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary\n: 'RUN: at line 6';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_two_dimensional_affine_fixture.py --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.boundary.ll\n: 'RUN: at line 7';   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_two_dimensional_affine.ll.tmp.boundary.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.boundary.json --entry generated_nested_loop_memoryphi_two_dimensional_affine\n: 'RUN: at line 8';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.boundary.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary\n: 'RUN: at line 9';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_two_dimensional_affine_fixture.py --object-bytes 3 --outer-bound-bits 2 --inner-bound-bits 1 --inner-step 1 --affine-outer-scale 1 --affine-inner-scale 2 --writer-widths 1 --writer-values 17 --load-bytes 1 --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.affine-stride.ll\n: 'RUN: at line 10';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.affine-stride.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.affine-stride.json --entry generated_nested_loop_memoryphi_two_dimensional_affine\n: 'RUN: at line 11';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.affine-stride.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_two_dimensional_affine.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.json\" \"--entry\" \"nested_two_dimensional_affine_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_two_dimensional_affine.ll\"],\"diagnostics\":[],\"entry\":\"nested_two_dimensional_affine_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_two_dimensional_affine.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_two_dimensional_affine.ll.tmp.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\"\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_two_dimensional_affine.ll.tmp.json\" \"--input-hex\" \"000101\" \"--expect-values\" \"4778,4778,4778,4778,4778,4778\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\"\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_two_dimensional_affine.ll.tmp.json\" \"--input-hex\" \"060203\" \"--expect-values\" \"0,0,0,0,4778,4778\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\"\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_two_dimensional_affine.ll.tmp.json\" \"--input-hex\" \"010303\" \"--expect-values\" \"0,0,0,43538,43538,43538\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\"\n$ \":\" \"RUN: at line 6\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_two_dimensional_affine_fixture.py\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.boundary.ll\"\n$ \":\" \"RUN: at line 7\"\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_two_dimensional_affine.ll.tmp.boundary.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.boundary.json\" \"--entry\" \"generated_nested_loop_memoryphi_two_dimensional_affine\"\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_two_dimensional_affine.ll.tmp.boundary.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_two_dimensional_affine\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.boundary.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.boundary.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 8\"\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_two_dimensional_affine.ll.tmp.boundary.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\"\n$ \":\" \"RUN: at line 9\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_two_dimensional_affine_fixture.py\" \"--object-bytes\" \"3\" \"--outer-bound-bits\" \"2\" \"--inner-bound-bits\" \"1\" \"--inner-step\" \"1\" \"--affine-outer-scale\" \"1\" \"--affine-inner-scale\" \"2\" \"--writer-widths\" \"1\" \"--writer-values\" \"17\" \"--load-bytes\" \"1\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.affine-stride.ll\"\n$ \":\" \"RUN: at line 10\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.affine-stride.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.affine-stride.json\" \"--entry\" \"generated_nested_loop_memoryphi_two_dimensional_affine\"\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_two_dimensional_affine.ll.tmp.affine-stride.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_two_dimensional_affine\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.affine-stride.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine.ll.tmp.affine-stride.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 11\"\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_two_dimensional_affine.ll.tmp.affine-stride.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 17.12223505973816,
      "name": "compiler :: live_nested_loop_memoryphi_decision_dag_value.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_decision_dag_value.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.json --entry nested_decision_dag_value_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_decision_dag_value.ll.tmp.json --validate-only --expect-stack --expect-alias --expect-nested-loop-memoryphi-decision-dag-value-summary\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_decision_dag_value.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\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_decision_dag_value.ll.tmp.json --input-hex 0803033412 --expect-values 0,0,0,0,9898,9898 --expect-stack --expect-alias --expect-nested-loop-memoryphi-decision-dag-value-summary\n: 'RUN: at line 5';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_decision_dag_fixture.py --endianness big --no-shared-leaf --inner-predicate ne --root-predicate uge --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.big.ll\n: 'RUN: at line 6';   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_decision_dag_value.ll.tmp.big.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.big.json --entry generated_nested_loop_memoryphi_decision_dag\n: 'RUN: at line 7';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.big.json --validate-only --expect-stack --expect-alias --expect-nested-loop-memoryphi-decision-dag-value-summary\n: 'RUN: at line 8';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_decision_dag_fixture.py --mixed-piecewise-writer --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.mixed.ll\n: 'RUN: at line 9';   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_decision_dag_value.ll.tmp.mixed.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.mixed.json --entry generated_nested_loop_memoryphi_decision_dag\n: 'RUN: at line 10';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.mixed.json --validate-only --expect-stack --expect-alias --expect-nested-loop-memoryphi-decision-dag-value-summary\n: 'RUN: at line 11';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_decision_dag_fixture.py --shared-subtree --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.subtree.ll\n: 'RUN: at line 12';   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_decision_dag_value.ll.tmp.subtree.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.subtree.json --entry generated_nested_loop_memoryphi_decision_dag\n: 'RUN: at line 13';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.subtree.json --validate-only --expect-stack --expect-alias --expect-nested-loop-memoryphi-decision-dag-value-summary\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_decision_dag_value.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.json\" \"--entry\" \"nested_decision_dag_value_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_decision_dag_value.ll\"],\"diagnostics\":[],\"entry\":\"nested_decision_dag_value_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_decision_dag_value.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_decision_dag_value.ll.tmp.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-nested-loop-memoryphi-decision-dag-value-summary\"\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_decision_dag_value.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\"\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_decision_dag_value.ll.tmp.json\" \"--input-hex\" \"0803033412\" \"--expect-values\" \"0,0,0,0,9898,9898\" \"--expect-stack\" \"--expect-alias\" \"--expect-nested-loop-memoryphi-decision-dag-value-summary\"\n$ \":\" \"RUN: at line 5\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_decision_dag_fixture.py\" \"--endianness\" \"big\" \"--no-shared-leaf\" \"--inner-predicate\" \"ne\" \"--root-predicate\" \"uge\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.big.ll\"\n$ \":\" \"RUN: at line 6\"\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_decision_dag_value.ll.tmp.big.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.big.json\" \"--entry\" \"generated_nested_loop_memoryphi_decision_dag\"\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_decision_dag_value.ll.tmp.big.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_decision_dag\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.big.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.big.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 7\"\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_decision_dag_value.ll.tmp.big.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-nested-loop-memoryphi-decision-dag-value-summary\"\n$ \":\" \"RUN: at line 8\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_decision_dag_fixture.py\" \"--mixed-piecewise-writer\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.mixed.ll\"\n$ \":\" \"RUN: at line 9\"\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_decision_dag_value.ll.tmp.mixed.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.mixed.json\" \"--entry\" \"generated_nested_loop_memoryphi_decision_dag\"\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_decision_dag_value.ll.tmp.mixed.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_decision_dag\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.mixed.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.mixed.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 10\"\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_decision_dag_value.ll.tmp.mixed.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-nested-loop-memoryphi-decision-dag-value-summary\"\n$ \":\" \"RUN: at line 11\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_decision_dag_fixture.py\" \"--shared-subtree\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.subtree.ll\"\n$ \":\" \"RUN: at line 12\"\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_decision_dag_value.ll.tmp.subtree.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.subtree.json\" \"--entry\" \"generated_nested_loop_memoryphi_decision_dag\"\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_decision_dag_value.ll.tmp.subtree.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_decision_dag\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.subtree.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value.ll.tmp.subtree.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 13\"\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_decision_dag_value.ll.tmp.subtree.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-nested-loop-memoryphi-decision-dag-value-summary\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 8.227834939956665,
      "name": "compiler :: live_nested_loop_memoryphi_piecewise_affine_value_big_endian.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_big_endian.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_big_endian.ll.tmp.json --entry nested_piecewise_affine_value_big_endian_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_piecewise_affine_value_big_endian.ll.tmp.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-piecewise-affine-value-summary\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_piecewise_affine_value_big_endian.ll.tmp.json --input-hex 0201033412 --expect-values 0,0,0,43699,43699,43699 --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-piecewise-affine-value-summary\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_big_endian.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_big_endian.ll.tmp.json\" \"--entry\" \"nested_piecewise_affine_value_big_endian_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_piecewise_affine_value_big_endian.ll\"],\"diagnostics\":[],\"entry\":\"nested_piecewise_affine_value_big_endian_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_big_endian.ll.tmp.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_big_endian.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_piecewise_affine_value_big_endian.ll.tmp.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-piecewise-affine-value-summary\"\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_piecewise_affine_value_big_endian.ll.tmp.json\" \"--input-hex\" \"0201033412\" \"--expect-values\" \"0,0,0,43699,43699,43699\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-piecewise-affine-value-summary\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 7.572197675704956,
      "name": "compiler :: live_nested_loop_memoryphi_affine_symbolic_value_big_endian.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value_big_endian.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_big_endian.ll.tmp.json --entry nested_affine_symbolic_value_big_endian_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_affine_symbolic_value_big_endian.ll.tmp.json --input-hex 0001013412 --expect-values 43693,43693,43693,43693,43693,43693 --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary --expect-nested-loop-memoryphi-affine-symbolic-value-summary\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value_big_endian.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_big_endian.ll.tmp.json\" \"--entry\" \"nested_affine_symbolic_value_big_endian_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_affine_symbolic_value_big_endian.ll\"],\"diagnostics\":[],\"entry\":\"nested_affine_symbolic_value_big_endian_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_big_endian.ll.tmp.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value_big_endian.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_affine_symbolic_value_big_endian.ll.tmp.json\" \"--input-hex\" \"0001013412\" \"--expect-values\" \"43693,43693,43693,43693,43693,43693\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\" \"--expect-nested-loop-memoryphi-affine-symbolic-value-summary\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 7.041532278060913,
      "name": "compiler :: live_nested_loop_memoryphi_summary.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.single.json --entry nested_loop_memoryphi_summary_i8\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_summary.ll.tmp.single.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition\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_summary.ll.tmp.single.json --input-hex 000104 --expect-values 91,91,91,91,91,91 --expect-infeasible --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition\n: 'RUN: at line 4';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.ordered.json --entry nested_loop_ordered_writer_summary_i16\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_summary.ll.tmp.ordered.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition\n: 'RUN: at line 6';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.variant-bound.json --entry bad_nested_outer_variant_inner_bound\n: 'RUN: at line 7';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.variant-bound.json --expect-rejected \"stack load lacks a dominating\"\n: 'RUN: at line 8';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.extra-memory.json --entry bad_nested_extra_memory_use\n: 'RUN: at line 9';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.extra-memory.json --expect-rejected \"stack load lacks a dominating\"\n: 'RUN: at line 10';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.five-writers.json --entry bad_nested_five_writer_summary\n: 'RUN: at line 11';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.five-writers.json --expect-rejected \"stack load lacks a dominating\"\n: 'RUN: at line 12';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_summary_fixture.py --object-bytes 64 --outer-step 1 --inner-step 8 --writer-widths 1,2,4,8 --load-bytes 8 --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.boundary64.ll\n: 'RUN: at line 13';   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_summary.ll.tmp.boundary64.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.boundary64.json --entry generated_nested_loop_memoryphi_summary\n: 'RUN: at line 14';   python3 /home/ubuntu/code/symcc/test/../util/check_live_continuation_lowering.py /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.boundary64.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.single.json\" \"--entry\" \"nested_loop_memoryphi_summary_i8\"\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_summary.ll\"],\"diagnostics\":[],\"entry\":\"nested_loop_memoryphi_summary_i8\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.single.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.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_summary.ll.tmp.single.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\"\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_summary.ll.tmp.single.json\" \"--input-hex\" \"000104\" \"--expect-values\" \"91,91,91,91,91,91\" \"--expect-infeasible\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\"\n$ \":\" \"RUN: at line 4\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.ordered.json\" \"--entry\" \"nested_loop_ordered_writer_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_summary.ll\"],\"diagnostics\":[],\"entry\":\"nested_loop_ordered_writer_summary_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.ordered.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll\",\"status\":\"lowered\"}\n\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_summary.ll.tmp.ordered.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\"\n$ \":\" \"RUN: at line 6\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.variant-bound.json\" \"--entry\" \"bad_nested_outer_variant_inner_bound\"\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_summary.ll\"],\"diagnostics\":[\"bad_nested_outer_variant_inner_bound:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"bad_nested_outer_variant_inner_bound\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.variant-bound.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 7\"\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_summary.ll.tmp.variant-bound.json\" \"--expect-rejected\" \"stack load lacks a dominating\"\n$ \":\" \"RUN: at line 8\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.extra-memory.json\" \"--entry\" \"bad_nested_extra_memory_use\"\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_summary.ll\"],\"diagnostics\":[\"bad_nested_extra_memory_use:inner_body: load must be a non-atomic bounded scalar access [load]\",\"bad_nested_extra_memory_use:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"bad_nested_extra_memory_use\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.extra-memory.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 9\"\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_summary.ll.tmp.extra-memory.json\" \"--expect-rejected\" \"stack load lacks a dominating\"\n$ \":\" \"RUN: at line 10\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.five-writers.json\" \"--entry\" \"bad_nested_five_writer_summary\"\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_summary.ll\"],\"diagnostics\":[\"bad_nested_five_writer_summary:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"bad_nested_five_writer_summary\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.five-writers.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_summary.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 11\"\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_summary.ll.tmp.five-writers.json\" \"--expect-rejected\" \"stack load lacks a dominating\"\n$ \":\" \"RUN: at line 12\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_summary_fixture.py\" \"--object-bytes\" \"64\" \"--outer-step\" \"1\" \"--inner-step\" \"8\" \"--writer-widths\" \"1,2,4,8\" \"--load-bytes\" \"8\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.boundary64.ll\"\n$ \":\" \"RUN: at line 13\"\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_summary.ll.tmp.boundary64.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.boundary64.json\" \"--entry\" \"generated_nested_loop_memoryphi_summary\"\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_summary.ll.tmp.boundary64.ll\"],\"diagnostics\":[],\"entry\":\"generated_nested_loop_memoryphi_summary\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.boundary64.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_summary.ll.tmp.boundary64.ll\",\"status\":\"lowered\"}\n\n$ \":\" \"RUN: at line 14\"\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_summary.ll.tmp.boundary64.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 6.6941869258880615,
      "name": "compiler :: live_nested_loop_memoryphi_two_dimensional_affine_big_endian.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_two_dimensional_affine_big_endian.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine_big_endian.ll.tmp.json --entry nested_two_dimensional_affine_big_endian_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_two_dimensional_affine_big_endian.ll.tmp.json --input-hex 000101 --expect-values 43572,43572,43572,43572,43572,43572 --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary --expect-nested-loop-memoryphi-two-dimensional-affine-summary\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_two_dimensional_affine_big_endian.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine_big_endian.ll.tmp.json\" \"--entry\" \"nested_two_dimensional_affine_big_endian_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_two_dimensional_affine_big_endian.ll\"],\"diagnostics\":[],\"entry\":\"nested_two_dimensional_affine_big_endian_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine_big_endian.ll.tmp.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_two_dimensional_affine_big_endian.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_two_dimensional_affine_big_endian.ll.tmp.json\" \"--input-hex\" \"000101\" \"--expect-values\" \"43572,43572,43572,43572,43572,43572\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\" \"--expect-nested-loop-memoryphi-two-dimensional-affine-summary\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 0.7189898490905762,
      "name": "compiler :: live_nested_loop_memoryphi_last_write_value_big_endian.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value_big_endian.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value_big_endian.ll.tmp.json --entry nested_last_write_value_big_endian_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_last_write_value_big_endian.ll.tmp.json --validate-only --expect-stack --expect-alias --expect-loop-memoryphi-byte-lane-induction --expect-strided-loop-memoryphi-byte-lane-induction --expect-nested-loop-memoryphi-summary-composition --expect-nested-loop-memoryphi-last-write-value-summary\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value_big_endian.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value_big_endian.ll.tmp.json\" \"--entry\" \"nested_last_write_value_big_endian_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_last_write_value_big_endian.ll\"],\"diagnostics\":[],\"entry\":\"nested_last_write_value_big_endian_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_last_write_value_big_endian.ll.tmp.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_last_write_value_big_endian.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_last_write_value_big_endian.ll.tmp.json\" \"--validate-only\" \"--expect-stack\" \"--expect-alias\" \"--expect-loop-memoryphi-byte-lane-induction\" \"--expect-strided-loop-memoryphi-byte-lane-induction\" \"--expect-nested-loop-memoryphi-summary-composition\" \"--expect-nested-loop-memoryphi-last-write-value-summary\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 0.47476983070373535,
      "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"
    },
    {
      "code": "PASS",
      "elapsed": 0.23753976821899414,
      "name": "compiler :: live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.signed.json --entry piecewise_signed_guard_fallback\n: 'RUN: at line 2';   python3 -c \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.signed.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n: 'RUN: at line 3';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.input.json --entry piecewise_input_guard_fallback\n: 'RUN: at line 4';   python3 -c \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.input.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n: 'RUN: at line 5';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.inputs.json --entry piecewise_distinct_inputs_fallback\n: 'RUN: at line 6';   python3 -c \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.inputs.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n: 'RUN: at line 7';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.identical.json --entry piecewise_identical_arms_fallback\n: 'RUN: at line 8';   python3 -c \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.identical.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n: 'RUN: at line 9';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.modulo.json --entry piecewise_modulo_identical_arms_fallback\n: 'RUN: at line 10';   python3 -c \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.modulo.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.signed.json\" \"--entry\" \"piecewise_signed_guard_fallback\"\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_piecewise_affine_value_fallback.ll\"],\"diagnostics\":[\"piecewise_signed_guard_fallback:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"piecewise_signed_guard_fallback\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.signed.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 2\"\n$ \"python3\" \"-c\" \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.signed.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n$ \":\" \"RUN: at line 3\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.input.json\" \"--entry\" \"piecewise_input_guard_fallback\"\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_piecewise_affine_value_fallback.ll\"],\"diagnostics\":[\"piecewise_input_guard_fallback:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"piecewise_input_guard_fallback\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.input.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 4\"\n$ \"python3\" \"-c\" \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.input.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n$ \":\" \"RUN: at line 5\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.inputs.json\" \"--entry\" \"piecewise_distinct_inputs_fallback\"\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_piecewise_affine_value_fallback.ll\"],\"diagnostics\":[\"piecewise_distinct_inputs_fallback:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"piecewise_distinct_inputs_fallback\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.inputs.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 6\"\n$ \"python3\" \"-c\" \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.inputs.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n$ \":\" \"RUN: at line 7\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.identical.json\" \"--entry\" \"piecewise_identical_arms_fallback\"\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_piecewise_affine_value_fallback.ll\"],\"diagnostics\":[\"piecewise_identical_arms_fallback:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"piecewise_identical_arms_fallback\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.identical.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 8\"\n$ \"python3\" \"-c\" \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.identical.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n$ \":\" \"RUN: at line 9\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.modulo.json\" \"--entry\" \"piecewise_modulo_identical_arms_fallback\"\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_piecewise_affine_value_fallback.ll\"],\"diagnostics\":[\"piecewise_modulo_identical_arms_fallback:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"piecewise_modulo_identical_arms_fallback\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.modulo.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 10\"\n$ \"python3\" \"-c\" \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_piecewise_affine_value_fallback.ll.tmp.modulo.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 0.13958287239074707,
      "name": "compiler :: live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.wrap.json --entry nested_affine_symbolic_value_wrap_flag_fallback\n: 'RUN: at line 2';   python3 -c \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.wrap.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n: 'RUN: at line 3';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.sub.json --entry nested_affine_symbolic_value_sub_fallback\n: 'RUN: at line 4';   python3 -c \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.sub.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n: 'RUN: at line 5';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.multi.json --entry nested_affine_symbolic_value_multiple_input_fallback\n: 'RUN: at line 6';   python3 -c \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.multi.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.wrap.json\" \"--entry\" \"nested_affine_symbolic_value_wrap_flag_fallback\"\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_affine_symbolic_value_fallback.ll\"],\"diagnostics\":[\"nested_affine_symbolic_value_wrap_flag_fallback:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"nested_affine_symbolic_value_wrap_flag_fallback\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.wrap.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 2\"\n$ \"python3\" \"-c\" \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.wrap.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n$ \":\" \"RUN: at line 3\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.sub.json\" \"--entry\" \"nested_affine_symbolic_value_sub_fallback\"\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_affine_symbolic_value_fallback.ll\"],\"diagnostics\":[\"nested_affine_symbolic_value_sub_fallback:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"nested_affine_symbolic_value_sub_fallback\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.sub.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 4\"\n$ \"python3\" \"-c\" \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.sub.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n$ \":\" \"RUN: at line 5\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.multi.json\" \"--entry\" \"nested_affine_symbolic_value_multiple_input_fallback\"\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_affine_symbolic_value_fallback.ll\"],\"diagnostics\":[\"nested_affine_symbolic_value_multiple_input_fallback:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"nested_affine_symbolic_value_multiple_input_fallback\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.multi.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 6\"\n$ \"python3\" \"-c\" \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_affine_symbolic_value_fallback.ll.tmp.multi.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 0.11655497550964355,
      "name": "compiler :: live_nested_loop_memoryphi_decision_dag_value_fallback.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   python3 /home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_decision_dag_fixture.py --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.valid.ll\n: 'RUN: at line 2';   sed 's/%inner_guard = icmp ult i16/%inner_guard = icmp slt i16/' /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.valid.ll > /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.signed.ll\n: 'RUN: at line 3';   not 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_decision_dag_value_fallback.ll.tmp.signed.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.signed.json --entry generated_nested_loop_memoryphi_decision_dag\n: 'RUN: at line 4';   python3 -c \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.signed.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n: 'RUN: at line 5';   sed 's/%inner_guard = icmp ult i16 %inner_iv, 2/%inner_guard = icmp ult i16 %payload, 2/' /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.valid.ll > /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.input.ll\n: 'RUN: at line 6';   not 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_decision_dag_value_fallback.ll.tmp.input.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.input.json --entry generated_nested_loop_memoryphi_decision_dag\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_decision_dag_value_fallback.ll.tmp.input.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"python3\" \"/home/ubuntu/code/symcc/test/../benchmark/generate_nested_loop_memoryphi_decision_dag_fixture.py\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.valid.ll\"\n$ \":\" \"RUN: at line 2\"\n$ \"sed\" \"s/%inner_guard = icmp ult i16/%inner_guard = icmp slt i16/\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.valid.ll\"\n$ \":\" \"RUN: at line 3\"\n$ \"not\" \"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_decision_dag_value_fallback.ll.tmp.signed.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.signed.json\" \"--entry\" \"generated_nested_loop_memoryphi_decision_dag\"\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_decision_dag_value_fallback.ll.tmp.signed.ll\"],\"diagnostics\":[\"generated_nested_loop_memoryphi_decision_dag:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"generated_nested_loop_memoryphi_decision_dag\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.signed.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.signed.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 4\"\n$ \"python3\" \"-c\" \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.signed.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n$ \":\" \"RUN: at line 5\"\n$ \"sed\" \"s/%inner_guard = icmp ult i16 %inner_iv, 2/%inner_guard = icmp ult i16 %payload, 2/\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.valid.ll\"\n$ \":\" \"RUN: at line 6\"\n$ \"not\" \"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_decision_dag_value_fallback.ll.tmp.input.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.input.json\" \"--entry\" \"generated_nested_loop_memoryphi_decision_dag\"\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_decision_dag_value_fallback.ll.tmp.input.ll\"],\"diagnostics\":[\"generated_nested_loop_memoryphi_decision_dag:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"generated_nested_loop_memoryphi_decision_dag\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.input.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_decision_dag_value_fallback.ll.tmp.input.ll\",\"status\":\"rejected\"}\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_decision_dag_value_fallback.ll.tmp.input.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n\n--\n"
    },
    {
      "code": "PASS",
      "elapsed": 0.09594345092773438,
      "name": "compiler :: live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll",
      "output": "Script:\n--\n: 'RUN: at line 1';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll.tmp.dynamic.json --entry nested_two_dimensional_dynamic_value_fallback_i16\n: 'RUN: at line 2';   python3 -c \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll.tmp.dynamic.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n: 'RUN: at line 3';   not python3 /home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py /home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll --output /home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll.tmp.nonaffine.json --entry nested_two_dimensional_nonaffine_fallback_i16\n: 'RUN: at line 4';   python3 -c \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll.tmp.nonaffine.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n--\nExit Code: 0\n\nCommand Output (stdout):\n--\n$ \":\" \"RUN: at line 1\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll.tmp.dynamic.json\" \"--entry\" \"nested_two_dimensional_dynamic_value_fallback_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_two_dimensional_affine_fallback.ll\"],\"diagnostics\":[\"nested_two_dimensional_dynamic_value_fallback_i16:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"nested_two_dimensional_dynamic_value_fallback_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll.tmp.dynamic.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 2\"\n$ \"python3\" \"-c\" \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll.tmp.dynamic.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n$ \":\" \"RUN: at line 3\"\n$ \"not\" \"python3\" \"/home/ubuntu/code/symcc/test/../util/llvm_to_continuation.py\" \"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll\" \"--output\" \"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll.tmp.nonaffine.json\" \"--entry\" \"nested_two_dimensional_nonaffine_fallback_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_two_dimensional_affine_fallback.ll\"],\"diagnostics\":[\"nested_two_dimensional_nonaffine_fallback_i16:exit: stack load lacks a dominating full-width initializing store [load]\"],\"entry\":\"nested_two_dimensional_nonaffine_fallback_i16\",\"output\":\"/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll.tmp.nonaffine.json\",\"schema\":\"symcc-llvm-continuation-lowering-v1\",\"source\":\"/home/ubuntu/code/symcc/test/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll\",\"status\":\"rejected\"}\n\n$ \":\" \"RUN: at line 4\"\n$ \"python3\" \"-c\" \"import json; data=json.load(open(r'/home/ubuntu/code/symcc/build-llvm17/test/Output/live_nested_loop_memoryphi_two_dimensional_affine_fallback.ll.tmp.nonaffine.json')); assert data['status'] == 'rejected'; assert any('lacks a dominating full-width initializing store' in item for item in data['diagnostics'])\"\n\n--\n"
    }
  ]
}