GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 17:09:58 +03:00
Code Issues Projects Releases Wiki Activity

[arm] Output logging information while generating instructions.

Browse Source
This commit is contained in:
Kevin Quick 2018-02-22 15:43:54 -08:00
parent 24f1f65cc6
commit d2fb7b751a
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
macaw-arm/src/Data/Macaw/ARM/Semantics/ARMSemantics.hs
View File

@ -16,7 +16,7 @@ import Data.Macaw.ARM.Operand
import Data.Macaw.ARM.Semantics.TH ( armAppEvaluator, armNonceAppEval )
import qualified Data.Macaw.CFG as MC
import Data.Macaw.SemMC.Generator ( Generator )
import Data.Macaw.SemMC.TH ( genExecInstruction )
import Data.Macaw.SemMC.TH ( genExecInstructionLogStdErr )
import qualified Data.Macaw.Types as MT
import Data.Proxy ( Proxy(..) )
import Dismantle.ARM -- must be present to supply definitions for genExecInstruction output
@ -25,7 +25,7 @@ import SemMC.Architecture.ARM.Opcodes ( allA32Semantics, allA32OpcodeI
execInstruction :: MC.Value ARM ids (MT.BVType 32) -> Dismantle.ARM.Instruction -> Maybe (Generator ARM ids s ())
execInstruction = $(genExecInstruction (Proxy @ARM)
execInstruction = $(genExecInstructionLogStdErr (Proxy @ARM)
(locToRegTH (Proxy @ARM))
armNonceAppEval
armAppEvaluator