aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/memcpy/test_memcpy.c
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-13 16:57:12 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-13 16:57:12 +0100
commit097b85b91be59734a62f8d38abea74c35c483e5d (patch)
tree4b672eeda3a0167248602dc155aa19281d3618e9 /test/monniaux/memcpy/test_memcpy.c
parentff3e7317ef8d225e6c6045829bd37b01a3af577a (diff)
downloadcompcert-kvx-097b85b91be59734a62f8d38abea74c35c483e5d.tar.gz
compcert-kvx-097b85b91be59734a62f8d38abea74c35c483e5d.zip
test for memcpy builtin
Diffstat (limited to 'test/monniaux/memcpy/test_memcpy.c')
-rw-r--r--test/monniaux/memcpy/test_memcpy.c15
1 files changed, 15 insertions, 0 deletions
diff --git a/test/monniaux/memcpy/test_memcpy.c b/test/monniaux/memcpy/test_memcpy.c
new file mode 100644
index 00000000..4a055692
--- /dev/null
+++ b/test/monniaux/memcpy/test_memcpy.c
@@ -0,0 +1,15 @@
+#include <stdio.h>
+
+int main() {
+ char buf1[16], buf2[16];
+ for(int i=0; i<16; i++) {
+ buf1[i] = i;
+ }
+ for(int i=0; i<16; i++) {
+ buf2[i] = 100+i;
+ }
+ __builtin_memcpy_aligned(buf1, buf2+3, 4, 1);
+ for(int i=0; i<16; i++) {
+ printf("%d : %d\n", i, buf1[i]);
+ }
+}