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

[arm] Add support for Thumb THINT uninterpreted function.

Browse Source
This commit is contained in:
Kevin Quick 2018-03-26 16:04:34 -07:00
parent 0069d3c907
commit 80886bd73d
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -212,4 +212,8 @@ t32InstructionMatcher (ThumbDis.Instruction opc operands) =
ThumbDis.TSVC -> case operands of
ThumbDis.Imm0_255 imm ThumbDis.:< ThumbDis.Nil ->
Just $ G.finishWithTerminator (MCB.ArchTermStmt (ThumbSyscall $ ThumbDis.Imm0_255 imm))
ThumbDis.THINT -> case operands of
ThumbDis.Imm0_15 imm ThumbDis.:< ThumbDis.Nil ->
Just $ return ()
-- G.finishWithTerminator (MCB.ArchTermStmt (ThumbHint $ ThumbDis.Imm0_15 imm))
_ -> Nothing