+++ /dev/null
-module Predict where
-
-import Hawk
-import Trans
-import qualified TransSig as T
-
-import DLX
-
-annotate x = lift1 (map anno) x
- where anno t = let Just (Reg PC (Val pc)) = getSrcPC t
- in if isBranch t then addInfo (Reg SpecPC (Val pc)) t
- else t
-