From ad31314ed306321f61cc2d71c1a72988d05ce148 Mon Sep 17 00:00:00 2001 From: Ryan Scott Date: Mon, 22 Jul 2024 14:06:00 -0400 Subject: [PATCH] ppcInstructionMatcher: Reference PPCSyscall Haddocks --- macaw-ppc/src/Data/Macaw/PPC/Arch.hs | 2 ++ 1 file changed, 2 insertions(+) diff --git a/macaw-ppc/src/Data/Macaw/PPC/Arch.hs b/macaw-ppc/src/Data/Macaw/PPC/Arch.hs index f0124bc7..42a66750 100644 --- a/macaw-ppc/src/Data/Macaw/PPC/Arch.hs +++ b/macaw-ppc/src/Data/Macaw/PPC/Arch.hs @@ -842,6 +842,8 @@ ppcInstructionMatcher (D.Instruction opc operands) = resVal <- G.addExpr (G.AppExpr (MC.TupleField knownRepr res PL.index0)) errorCondVal <- G.addExpr (G.AppExpr (MC.TupleField knownRepr res PL.index1)) + -- See the documentation on 'PPCSyscall' for a description of the + -- registers used to return values from syscalls. G.setRegVal (PPC_GP (D.GPR 3)) resVal -- We need to use an explicit type signature here to prevent GHC's type -- inference from becoming confused by the GADT pattern match on