diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-11 12:14:33 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-11 12:14:33 +0200 |
| commit | 71bfa128316019b0199db87acdf31deb9f9e7405 (patch) | |
| tree | 141abac0b985cbf2904e68df40309fb9fda18cfc /test/monniaux/k1_builtins | |
| parent | e93ef3ef5f0925ce6b99208157a49a99032c1f87 (diff) | |
| download | compcert-kvx-71bfa128316019b0199db87acdf31deb9f9e7405.tar.gz compcert-kvx-71bfa128316019b0199db87acdf31deb9f9e7405.zip | |
some more builtins
Diffstat (limited to 'test/monniaux/k1_builtins')
| -rw-r--r-- | test/monniaux/k1_builtins/test_k1_builtins.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/monniaux/k1_builtins/test_k1_builtins.c b/test/monniaux/k1_builtins/test_k1_builtins.c index 261eedc2..db90d4ea 100644 --- a/test/monniaux/k1_builtins/test_k1_builtins.c +++ b/test/monniaux/k1_builtins/test_k1_builtins.c @@ -10,3 +10,11 @@ void test_system_regs(void) { void test_loads(void *addr) { __builtin_k1_ldu(addr); } + +void test_stops(void) { + __builtin_k1_await(); + __builtin_k1_sleep(); + __builtin_k1_stop(); + __builtin_k1_barrier(); + __builtin_k1_fence(); +} |