GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-22 23:32:15 +03:00
Code Issues Projects Releases Wiki Activity

ppcInstructionMatcher: Reference PPCSyscall Haddocks

Browse Source
This commit is contained in:
Ryan Scott 2024-07-22 14:06:00 -04:00 committed by Ryan Scott
parent 98290062a7
commit 3e83b3eff3
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
macaw-ppc/src/Data/Macaw/PPC/Arch.hs
View File

@ -842,6 +842,8 @@ ppcInstructionMatcher (D.Instruction opc operands) =
resVal <- G.addExpr (G.AppExpr (MC.TupleField knownRepr res PL.index0)) resVal <- G.addExpr (G.AppExpr (MC.TupleField knownRepr res PL.index0))
errorCondVal <- G.addExpr (G.AppExpr (MC.TupleField knownRepr res PL.index1)) 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 G.setRegVal (PPC_GP (D.GPR 3)) resVal
-- We need to use an explicit type signature here to prevent GHC's type -- We need to use an explicit type signature here to prevent GHC's type
-- inference from becoming confused by the GADT pattern match on -- inference from becoming confused by the GADT pattern match on