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/predicated/predicated.s | |
parent | 23a129e18ae930de5f40df59307c48c68d62d8d7 (diff) | |
download | compcert-kvx-a114da2cc9f6caca4824582eea75ec91b8439cc7.tar.gz compcert-kvx-a114da2cc9f6caca4824582eea75ec91b8439cc7.zip |
merge upstream including fma fixes
Diffstat (limited to 'test/monniaux/predicated/predicated.s')
-rw-r--r-- | test/monniaux/predicated/predicated.s | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/test/monniaux/predicated/predicated.s b/test/monniaux/predicated/predicated.s deleted file mode 100644 index f11606c2..00000000 --- a/test/monniaux/predicated/predicated.s +++ /dev/null @@ -1,13 +0,0 @@ - .text - - .globl predicated_write -predicated_write: - sd.wnez $r0? 8[$r1] = $r2 - ret - ;; - - .globl predicated_read -predicated_read: - ld.wnez $r1? $r0 = 8[$r2] - ret - ;; |