ctr.h

Go to the documentation of this file.

 
#ifndef MBEDTLS_CTR_H
#define MBEDTLS_CTR_H
 
#include "common.h"
 
static inline void mbedtls_ctr_increment_counter(uint8_t n[16])
{
    // The 32-bit version seems to perform about the same as a 64-bit version
    // on 64-bit architectures, so no need to define a 64-bit version.
    for (int i = 3;; i--) {
        uint32_t x = MBEDTLS_GET_UINT32_BE(n, i << 2);
        x += 1;
        MBEDTLS_PUT_UINT32_BE(x, n, i << 2);
        if (x != 0 || i == 0) {
            break;
        }
    }
}
 
#endif /* MBEDTLS_CTR_H */