Semantics for UBFM and SBFM variants
authorSunny Shah <shahsunny712@gmail.com>
Thu, 20 Oct 2016 21:48:49 +0000 (16:48 -0500)
committerSunny Shah <shahsunny712@gmail.com>
Thu, 20 Oct 2016 21:48:49 +0000 (16:48 -0500)
commit84e671b838fb335661b53832195f7d59cbd4383c
tree7b61279039511e384ad08c20d24f22bc7f432443
parent3c8edd88e8567d8562f76ceb7345dbefb17f6e89
Semantics for UBFM and SBFM variants

This commit introduces semantics for the 5 UBFM variants (UXTB, UXTH, UBFM, UBFIZ, UBFX) and SBFM variants (SXTB, SXTH, SBFM, SBFIZ, SBFX), and a couple functions in the DispatcherARM64 class used by these semantics. Implementation of one of these functions needs to be updated (next commit) and UXTB's semantics are modified to proceed with jump table analysis for now; the original semantics are still present as comments and will be restored in a future commit.
dataflowAPI/rose/semantics/DispatcherARM64.C
dataflowAPI/rose/semantics/DispatcherARM64.h