diff options
Diffstat (limited to 'mppa_k1c/DuplicateOpcodeHeuristic.ml')
| -rw-r--r-- | mppa_k1c/DuplicateOpcodeHeuristic.ml | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/mppa_k1c/DuplicateOpcodeHeuristic.ml b/mppa_k1c/DuplicateOpcodeHeuristic.ml deleted file mode 100644 index 2ec314c1..00000000 --- a/mppa_k1c/DuplicateOpcodeHeuristic.ml +++ /dev/null @@ -1,27 +0,0 @@ -(* open Camlcoq *) -open Op -open Integers - -let opcode_heuristic code cond ifso ifnot is_loop_header = - match cond with - | Ccompimm (c, n) | Ccompuimm (c, n) -> if n == Integers.Int.zero then (match c with - | Clt | Cle -> Some false - | Cgt | Cge -> Some true - | _ -> None - ) else None - | Ccomplimm (c, n) | Ccompluimm (c, n) -> if n == Integers.Int64.zero then (match c with - | Clt | Cle -> Some false - | Cgt | Cge -> Some true - | _ -> None - ) else None - | Ccompf c | Ccompfs c -> (match c with - | Ceq -> Some false - | Cne -> Some true - | _ -> None - ) - | Cnotcompf c | Cnotcompfs c -> (match c with - | Ceq -> Some true - | Cne -> Some false - | _ -> None - ) - | _ -> None |