diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-08-28 22:51:21 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-08-28 22:51:21 +0200 |
commit | a114da2cc9f6caca4824582eea75ec91b8439cc7 (patch) | |
tree | 97ee933852e2d9fb9855b192313dc68c2bc95c11 /test/monniaux/latency | |
parent | 23a129e18ae930de5f40df59307c48c68d62d8d7 (diff) | |
download | compcert-kvx-a114da2cc9f6caca4824582eea75ec91b8439cc7.tar.gz compcert-kvx-a114da2cc9f6caca4824582eea75ec91b8439cc7.zip |
merge upstream including fma fixes
Diffstat (limited to 'test/monniaux/latency')
-rw-r--r-- | test/monniaux/latency/latency.s | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/test/monniaux/latency/latency.s b/test/monniaux/latency/latency.s deleted file mode 100644 index 494f9f77..00000000 --- a/test/monniaux/latency/latency.s +++ /dev/null @@ -1,27 +0,0 @@ -# File generated by CompCert 3.4 -# Command line: -S latency.c - .text - .balign 2 - .globl latency -latency: - make $r2 = 100 -;; - loopdo $r2, .exitloop -;; - lws $r1 = 0[$r0] -;; - addw $r0 = $r0, 0 -;; - addw $r0 = $r0, 0 -;; - addw $r0 = $r0, 0 -;; - addw $r1 = $r1, 1 -;; - sw 0[$r0] = $r1 -;; -.exitloop: - ret -;; - .type latency, @function - .size latency, . - latency |