DuplicateOpcodeHeuristic.ml « arm - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/arm/DuplicateOpcodeHeuristic.ml

blob: 85505245c9f5b5e3d2b52da1116893b25b4e8353 (plain)

1
2
3

exception HeuristicSucceeded
        
let opcode_heuristic code cond ifso ifnot preferred = ()