aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/k1_builtins
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-11 13:11:13 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-11 13:11:13 +0200
commit9ff90aa440d195076a30fe4d8a055d050d84f726 (patch)
tree415d9145ff9414b47370ac86c7c221fda694d628 /test/monniaux/k1_builtins
parent71bfa128316019b0199db87acdf31deb9f9e7405 (diff)
downloadcompcert-kvx-9ff90aa440d195076a30fe4d8a055d050d84f726.tar.gz
compcert-kvx-9ff90aa440d195076a30fe4d8a055d050d84f726.zip
data cache builtins
Diffstat (limited to 'test/monniaux/k1_builtins')
-rw-r--r--test/monniaux/k1_builtins/test_k1_builtins.c3
1 files changed, 3 insertions, 0 deletions
diff --git a/test/monniaux/k1_builtins/test_k1_builtins.c b/test/monniaux/k1_builtins/test_k1_builtins.c
index db90d4ea..e9ee6727 100644
--- a/test/monniaux/k1_builtins/test_k1_builtins.c
+++ b/test/monniaux/k1_builtins/test_k1_builtins.c
@@ -9,6 +9,9 @@ void test_system_regs(void) {
void test_loads(void *addr) {
__builtin_k1_ldu(addr);
+ __builtin_k1_dinvall(addr);
+ __builtin_k1_dtouchl(addr);
+ __builtin_k1_dzerol(addr);
}
void test_stops(void) {