blob: e908bd38aef10cf3671dc91086bc0481564f7ac9 [file] [log] [blame]
Matthias Andreas Benkard08586462020-06-28 22:42:43 +02001#include <stddef.h>
2
Matthias Andreas Benkard8d687852020-06-30 22:53:27 +02003void swap_loop(char* __restrict a, char* __restrict b, size_t len);
4void swap_malloc(char* __restrict a, char* __restrict b, size_t len);
5void swap_alloca(char* __restrict a, char* __restrict b, size_t len);