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

about summary refs log tree commit diff stats

path: root/backend/LICMaux.ml

blob: 542b6ea8971f679b68237c0a2bbe8c301dca2053 (plain)

open RTL;;

let gen_injections (f : function) (max_pc : node) (max_reg : reg) =
  PTree.empty;;