Determining guarding predicate from partition graph based...

Details Determining guarding predicate from partition graph based... Determining guarding predicate from partition graph based...

2007-04-10

2007-04-10

Kim, Kenneth S. (Department: 2111)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C712S226000, C712S234000, C717S156000

Reexamination Certificate

active

10934018

ABSTRACT:
Described is a method that identifies a predicate expression representing conditions in predicated assembly language instructions that determine a direction of a conditional branch instruction. The predicate expression is employed to enable a transformation to be made that causes the conditional branch instruction to trigger, or execute, when an opposite condition is true. A method is directed to producing a binary-level conditional branch reversal within a binary program on a computer architecture that supports a predicated execution. The method includes obtaining a predicate expression representing a condition that influences a direction of program flow of the binary-level conditional branch to be reversed, determining a binary-level transformation that causes the binary-level conditional branch to be triggered when an opposite condition is true, and modifying the binary-level conditional branch with the determined binary-level transformation, wherein the binary-level conditional branch is reversed.

REFERENCES:
patent: 5650948 (1997-07-01), Gafter
patent: 5742803 (1998-04-01), Igarashi et al.
patent: 6446258 (2002-09-01), McKinsey et al.
patent: 2001/0003822 (2001-06-01), Hibi et al.

Affiliated with

Also associated with

Rating

Determining guarding predicate from partition graph based... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Determining guarding predicate from partition graph based..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Determining guarding predicate from partition graph based... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3755058