Function assertNewSuperOpAllocs

quest/src/core/validation.cpp:2719–2753

}

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

    // this validation is called AFTER the caller has checked for failed
    // allocs and (in that scenario) freed every pointer, but does not 
    // overwrite any pointers to nullptr, so the failed alloc is known.
    // This is only safe to do so (rather than making the caller set ptrs
    // to nullptr) because the struct contains only 1D pointers (no nesting)

    tokenSubs vars = {{"${NUM_BYTES}", mem_getLocalSuperOpMemoryRequired(op.numQubits)}};

    // we expensively get node consensus about malloc failure, in case of heterogeneous hardware/loads,
    // but we avoid this if validation is anyway disabled
    if (!global_isValidationEnabled)
        return;

    // assert CPU array of rows was alloc'd successfully
    auto msg = (isInKrausMap)?
        report::NEW_KRAUS_MAPS_SUPER_OP_CPU_ELEMS_ALLOC_FAILED:
        report::NEW_SUPER_OP_CPU_ELEMS_ALLOC_FAILED;

    // note .cpuElems size is not included in error msg; fine since quadratically smaller than .cpuElemsFlat
    bool isAlloc = mem_isAllocated(op.cpuElemsFlat) && mem_isOuterAllocated(op.cpuElems);
    assertAllNodesAgreeThat(isAlloc, msg, vars, caller);

    // optionally assert GPU memory was malloc'd successfully
    msg = (isInKrausMap)?
        report::NEW_KRAUS_MAPS_SUPER_OP_GPU_ELEMS_ALLOC_FAILED:
        report::NEW_SUPER_OP_GPU_ELEMS_ALLOC_FAILED;
    if (getQuESTEnv().isGpuAccelerated)
        assertAllNodesAgreeThat(mem_isAllocated(util_getGpuMemPtr(op)), msg, vars, caller);

    // assert the teeny-tiny heap flag was alloc'd
    vars["${NUM_BYTES}"] = sizeof(*(op.wasGpuSynced));
    assertAllNodesAgreeThat(mem_isAllocated(op.wasGpuSynced), report::NEW_HEAP_FLAG_ALLOC_FAILED, vars, caller);
}

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