From d2fb7b751abd47f25e96e5a34c3f26410c346317 Mon Sep 17 00:00:00 2001 From: Kevin Quick Date: Thu, 22 Feb 2018 15:43:54 -0800 Subject: [PATCH] [arm] Output logging information while generating instructions. --- macaw-arm/src/Data/Macaw/ARM/Semantics/ARMSemantics.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/macaw-arm/src/Data/Macaw/ARM/Semantics/ARMSemantics.hs b/macaw-arm/src/Data/Macaw/ARM/Semantics/ARMSemantics.hs index ddcb1dea..686480f2 100644 --- a/macaw-arm/src/Data/Macaw/ARM/Semantics/ARMSemantics.hs +++ b/macaw-arm/src/Data/Macaw/ARM/Semantics/ARMSemantics.hs @@ -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