diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 12:03:44 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 12:03:44 +0100 |
commit | dc25573ed79a0d55c5a24b20474aa8504a758a2c (patch) | |
tree | 894a85209cb933b89b3d0fdb9c2320b43412424e /test/monniaux/BearSSL/src/codec/enc64be.c | |
parent | 44b2d04414b13811868a134f1eae9eaece506b69 (diff) | |
download | compcert-kvx-dc25573ed79a0d55c5a24b20474aa8504a758a2c.tar.gz compcert-kvx-dc25573ed79a0d55c5a24b20474aa8504a758a2c.zip |
BearSSL
Diffstat (limited to 'test/monniaux/BearSSL/src/codec/enc64be.c')
-rw-r--r-- | test/monniaux/BearSSL/src/codec/enc64be.c | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/test/monniaux/BearSSL/src/codec/enc64be.c b/test/monniaux/BearSSL/src/codec/enc64be.c new file mode 100644 index 00000000..d548944c --- /dev/null +++ b/test/monniaux/BearSSL/src/codec/enc64be.c @@ -0,0 +1,38 @@ +/* + * Copyright (c) 2016 Thomas Pornin <pornin@bolet.org> + * + * Permission is hereby granted, free of charge, to any person obtaining + * a copy of this software and associated documentation files (the + * "Software"), to deal in the Software without restriction, including + * without limitation the rights to use, copy, modify, merge, publish, + * distribute, sublicense, and/or sell copies of the Software, and to + * permit persons to whom the Software is furnished to do so, subject to + * the following conditions: + * + * The above copyright notice and this permission notice shall be + * included in all copies or substantial portions of the Software. + * + * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, + * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF + * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND + * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS + * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN + * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN + * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE + * SOFTWARE. + */ + +#include "inner.h" + +/* see inner.h */ +void +br_range_enc64be(void *dst, const uint64_t *v, size_t num) +{ + unsigned char *buf; + + buf = dst; + while (num -- > 0) { + br_enc64be(buf, *v ++); + buf += 8; + } +} |