XOR operations
XOR arrays. Postcondition output[i] = input[i] ^ output[i] forall i = 0...length
T* output | the input/output buffer |
const(T)* input | the read-only input buffer |
size_t length | the length of the buffers |
XOR arrays. Postcondition output[i] = input[i] ^ in2[i] forall i = 0...length
T* output | the output buffer |
const(T)* input | the first input buffer |
const(T)* input2 | the second output buffer |
size_t length | the length of the three buffers |