diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2017-08-26 23:16:00 +0200 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2017-08-26 23:16:15 +0200 |
| commit | aa049227c17f15ad22092f1fcab4410bbf3521ba (patch) | |
| tree | 7046e62ff530746754e19d07d4e8bc7d7a42ea22 /ReplaceRefs.hs | |
| parent | b2c5ef755bc7a2c736c5f52c4753dde66c04c3aa (diff) | |
Cleanup and features
debugger, bitwise ops, bounds checking, hex literals,
better typing of some optimisations, makefile fix, exit function.
Diffstat (limited to 'ReplaceRefs.hs')
| -rw-r--r-- | ReplaceRefs.hs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ReplaceRefs.hs b/ReplaceRefs.hs index 821952b..f9490ef 100644 --- a/ReplaceRefs.hs +++ b/ReplaceRefs.hs @@ -16,6 +16,7 @@ replaceRefsIns from to (IAri at a b c) = IAri at (trans from to a) (trans from t replaceRefsIns from to (ICall n al) = ICall n (map (trans from to) al) replaceRefsIns from to (ICallr a n al) = ICallr (trans from to a) n (map (trans from to) al) replaceRefsIns from to (IResize a b) = IResize (trans from to a) (trans from to b) +replaceRefsIns _ _ IDebugger = IDebugger replaceRefsIns _ _ INop = INop replaceRefsTerm :: Ref -> Ref -> IRTerm -> IRTerm @@ -23,6 +24,7 @@ replaceRefsTerm from to (IJcc ct a b i1 i2) = IJcc ct (trans from to a) (trans f replaceRefsTerm _ _ (IJmp i) = IJmp i replaceRefsTerm _ _ IRet = IRet replaceRefsTerm from to (IRetr a) = IRetr (trans from to a) +replaceRefsTerm _ _ IUnreachable = IUnreachable replaceRefsTerm _ _ ITermNone = ITermNone replaceRefsBB :: Ref -> Ref -> BB -> BB |