Function validate_localAmpIndices

quest/src/core/validation.cpp:3506–3537

}

void validate_localAmpIndices(Qureg qureg, qindex localStartInd, qindex numInds, const char* caller) {

    // note that localStartInd and numInds can validly DIFFER between nodes,
    // so we use assertAllNodesAgreeThat() in lieu of assertThat()

    tokenSubs baseVars = {
        {"${NUM_QB}", qureg.numQubits},
        {"${NUM_AMPS_TOTAL}", qureg.numAmps},
        {"${MAX_IND_EXCL}", qureg.numAmpsPerNode},
        {"${NUM_NODES}", qureg.numNodes}
    };

    // when numInds=0, we permit startInd to be anything (even something invalid)
    if (numInds == 0)
        return;

    // unlike validate_basisStateIndices(), we limit to #amps per node
    tokenSubs firstVars = baseVars;
    firstVars["${START_IND}"] = localStartInd;
    assertAllNodesAgreeThat(localStartInd >= 0 && localStartInd < qureg.numAmpsPerNode, report::INVALID_STARTING_LOCAL_AMP_INDEX, firstVars, caller);

    // unlike validate_basisStateIndices(), we permit numInds == 0
    tokenSubs secondVars = baseVars;
    secondVars["${NUM_INDS}"] = numInds;
    assertAllNodesAgreeThat(numInds >= 0 && numInds <= qureg.numAmps, report::INVALID_NUM_LOCAL_AMP_INDICES, secondVars, caller);

    qindex endIndExcl = localStartInd + numInds;
    baseVars["${START_IND}"] = localStartInd;
    baseVars["${NUM_INDS}"] = numInds;
    baseVars["${END_IND_EXCL}"] = endIndExcl;
    assertAllNodesAgreeThat(endIndExcl <= qureg.numAmpsPerNode, report::INVALID_ENDING_LOCAL_AMP_INDEX, baseVars, caller);
}