Fixes to DataflowAPI's backwards slicing code
authorKevin Roundy <roundy@cumin.cs.wisc.edu>
Thu, 26 Aug 2010 20:24:09 +0000 (15:24 -0500)
committerKevin Roundy <roundy@cumin.cs.wisc.edu>
Thu, 26 Aug 2010 20:24:09 +0000 (15:24 -0500)
commitdb70b0e49f0a6e59674ec87a5a2ac26112ced8c2
treebdbacd1f60593c95d1cdcede694c0c85bca369af
parent62e5f42583e7f9569ea1e6aff37772d9fa8c3508
Fixes to DataflowAPI's backwards slicing code

Fixes backwards slicing's getPredecessors function so that it doesn't traverse block edges that leave the function; this bad case could arise when there is shared code and we're traversing the CFG backwards, passing from a shared-code block into non-shared blocks.

Also fixes the popad instruction's InstructionAPI to Rose translation.
dataflowAPI/src/RoseInsnFactory.C
dataflowAPI/src/slicing.C