[DynInst_API:] [dyninst/dyninst] 84e671: Semantics for UBFM and SBFM variants

[Sunny Shah <shah28@xxxxxxxx>]

  Branch: refs/heads/arm64/feature/semantics
  Home:   https://github.com/dyninst/dyninst
  Commit: 84e671b838fb335661b53832195f7d59cbd4383c
      https://github.com/dyninst/dyninst/commit/84e671b838fb335661b53832195f7d59cbd4383c
  Author: Sunny Shah <shahsunny712@xxxxxxxxx>
  Date:   2016-10-20 (Thu, 20 Oct 2016)

  Changed paths:
    M dataflowAPI/rose/semantics/DispatcherARM64.C
    M dataflowAPI/rose/semantics/DispatcherARM64.h

  Log Message:
  -----------
  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.


  Commit: 71de69136ad559954845ed70c5c8792ded00e373
      https://github.com/dyninst/dyninst/commit/71de69136ad559954845ed70c5c8792ded00e373
  Author: Sunny Shah <shah28@xxxxxxxx>
  Date:   2016-10-31 (Mon, 31 Oct 2016)

  Changed paths:
    M dataflowAPI/rose/semantics/DispatcherARM64.C
    M dataflowAPI/rose/semantics/DispatcherARM64.h

  Log Message:
  -----------
  Added a method to get the target SgAsmExpression when executing
write-back for load/store instructions


Compare: https://github.com/dyninst/dyninst/compare/3c8edd88e856...71de69136ad5