diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-03-01 16:44:07 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-03-01 16:44:07 +0100 |
| commit | d8fafb0add258e47287a2d57454194db8f1dd635 (patch) | |
| tree | 8b47f5fddb0b32fef035bbb4fec68d0d40f27f31 /mppa_k1c/Asmblockdeps.v | |
| parent | df32503f46a62b18f92363ac7f81ec0d5b36c64a (diff) | |
| download | compcert-kvx-d8fafb0add258e47287a2d57454194db8f1dd635.tar.gz compcert-kvx-d8fafb0add258e47287a2d57454194db8f1dd635.zip | |
Implemented float comparisons (no branching yet, and no negation)
Diffstat (limited to 'mppa_k1c/Asmblockdeps.v')
| -rw-r--r-- | mppa_k1c/Asmblockdeps.v | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/mppa_k1c/Asmblockdeps.v b/mppa_k1c/Asmblockdeps.v index 67ca94e2..69d3d0cc 100644 --- a/mppa_k1c/Asmblockdeps.v +++ b/mppa_k1c/Asmblockdeps.v @@ -159,6 +159,8 @@ Definition arith_eval (ao: arith_op) (l: list value) := | OArithRRR n, [Val v1; Val v2] => match n with + | Pfcompw c => Some (Val (compare_single c v1 v2)) + | Paddw => Some (Val (Val.add v1 v2)) | Psubw => Some (Val (Val.sub v1 v2)) | Pmulw => Some (Val (Val.mul v1 v2)) |