[DynInst_API:] [dyninst/dyninst] 5dbfd7: Rewrite default instruction handler.

[Matt Morehouse <mm@xxxxxxxxxxx>]

  Branch: refs/heads/master
  Home:   https://github.com/dyninst/dyninst
  Commit: 5dbfd782233d0e8d5f7d0dd7dc6466d0d2f5e5b2
      https://github.com/dyninst/dyninst/commit/5dbfd782233d0e8d5f7d0dd7dc6466d0d2f5e5b2
  Author: Matt Morehouse <mm@xxxxxxxxxxx>
  Date:   2016-08-12 (Fri, 12 Aug 2016)

  Changed paths:
    M dataflowAPI/h/stackanalysis.h
    M dataflowAPI/src/stackanalysis.C

  Log Message:
  -----------
  Rewrite default instruction handler.

The original handler was too liberal, only rounding written
registers to TOP/BOTTOM.  The new handler computes a join over all
read registers and memory locations, rounds the result to TOP or
BOTTOM, and then assigns the rounded value to all written registers
and memory locations.


  Commit: 3da53fcc59e5c74570d4c6d34f62a02e047c0423
      https://github.com/dyninst/dyninst/commit/3da53fcc59e5c74570d4c6d34f62a02e047c0423
  Author: Matt Morehouse <mm@xxxxxxxxxxx>
  Date:   2016-08-12 (Fri, 12 Aug 2016)

  Changed paths:
    M dataflowAPI/src/ABI.C

  Log Message:
  -----------
  Remove EDX from x86 return registers.

While RDX is considered a secondary return register in x86_64, EDX
is not considered a secondary return register in x86.


  Commit: 2e8bc43db402435281454adbc64c2010a134d13e
      https://github.com/dyninst/dyninst/commit/2e8bc43db402435281454adbc64c2010a134d13e
  Author: Matt Morehouse <mm@xxxxxxxxxxx>
  Date:   2016-08-12 (Fri, 12 Aug 2016)

  Changed paths:
    M dataflowAPI/src/stackanalysis.C
    M dyninstAPI/src/Relocation/Transformers/Movement-adhoc.C

  Log Message:
  -----------
  Stop following catch edges during stack analysis.

Following catch edges results in garbage stack analysis results
since our current CFGs simply place catch edges at exit points of
the function.  In reality such edges do not exist.


  Commit: 67be8fd70b52a225849abd931fece7ec895fe899
      https://github.com/dyninst/dyninst/commit/67be8fd70b52a225849abd931fece7ec895fe899
  Author: Matt Morehouse <mm@xxxxxxxxxxx>
  Date:   2016-08-12 (Fri, 12 Aug 2016)

  Changed paths:
    M dataflowAPI/src/stackanalysis.C

  Log Message:
  -----------
  Assume XMM registers contain floating-point values.


Compare: https://github.com/dyninst/dyninst/compare/a0e5bda2d225...67be8fd70b52