Function assertSuperOpFieldsAreValid

quest/src/core/validation.cpp:2827–2856

 */

void assertSuperOpFieldsAreValid(SuperOp op, bool isInKrausMap, const char* caller) {

    tokenSubs vars = {
        {"${NUM_QUBITS}", op.numQubits},
        {"${NUM_ROWS}",   op.numRows}
    };

    // assert valid fields
    auto msg = (isInKrausMap)? report::INVALID_KRAUS_MAPS_SUPER_OP_FIELDS : report::INVALID_SUPER_OP_FIELDS;
    assertThat(op.numQubits >= 1, msg, vars, caller);
    assertThat(op.numRows == powerOf2(2 * op.numQubits), msg, vars, caller);
    
    // only check outer point is allocated, to avoid inefficiently enumerating matrix rows
    msg = (isInKrausMap)? report::INVALID_KRAUS_MAPS_SUPER_OP_CPU_MEM_PTR : report::INVALID_SUPER_OP_CPU_MEM_PTR;
    assertThat(mem_isOuterAllocated(op.cpuElems), msg, caller);

    validate_envIsInit(caller);
    msg = (isInKrausMap)? report::INVALID_KRAUS_MAPS_SUPER_OP_GPU_MEM_PTR : report::INVALID_SUPER_OP_GPU_MEM_PTR;
    if (getQuESTEnv().isGpuAccelerated)
        assertThat(mem_isOuterAllocated(util_getGpuMemPtr(op)), msg, caller);

    // check the teeny tiny heap pointer is not NULL
    assertThat(mem_isAllocated(op.wasGpuSynced), report::INVALID_HEAP_FLAG_PTR, caller);

    // and that its value is a boolean
    int flag = *op.wasGpuSynced;
    tokenSubs moreVars = {{"${BAD_FLAG}", flag}, {"${UNKNOWN_FLAG}", validate_STRUCT_PROPERTY_UNKNOWN_FLAG}};
    assertThat(flag == 0 || flag == 1, report::INVALID_HEAP_FLAG_VALUE, moreVars, caller);

}

void validate_superOpFields(SuperOp op, const char* caller) {