aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/k1_builtins
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-11 11:57:09 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-11 11:57:09 +0200
commite93ef3ef5f0925ce6b99208157a49a99032c1f87 (patch)
treee23eaf50b40e6bfdeee8e9fe3da9a840269f5401 /test/monniaux/k1_builtins
parentcdb5ec57d700c5409c0717bb99258a5effed9601 (diff)
downloadcompcert-kvx-e93ef3ef5f0925ce6b99208157a49a99032c1f87.tar.gz
compcert-kvx-e93ef3ef5f0925ce6b99208157a49a99032c1f87.zip
__builtin_k1_ldu
Diffstat (limited to 'test/monniaux/k1_builtins')
-rw-r--r--test/monniaux/k1_builtins/test_k1_builtins.c4
1 files changed, 4 insertions, 0 deletions
diff --git a/test/monniaux/k1_builtins/test_k1_builtins.c b/test/monniaux/k1_builtins/test_k1_builtins.c
index 9aa6873b..261eedc2 100644
--- a/test/monniaux/k1_builtins/test_k1_builtins.c
+++ b/test/monniaux/k1_builtins/test_k1_builtins.c
@@ -6,3 +6,7 @@ void test_system_regs(void) {
__builtin_k1_get(K1_SFR_EV4);
__builtin_k1_set(K1_SFR_EV4, 0x4000ULL);
}
+
+void test_loads(void *addr) {
+ __builtin_k1_ldu(addr);
+}