Electrical computers and digital processing systems: processing – Processing control – Branching
Reexamination Certificate
2008-03-25
2008-03-25
Kim, Kenneth S. (Department: 2111)
Electrical computers and digital processing systems: processing
Processing control
Branching
C712S234000, C717S151000, C717S159000
Reexamination Certificate
active
07350061
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: 5471593 (1995-11-01), Branigin
patent: 5999738 (1999-12-01), Schlansker et al.
patent: 6446258 (2002-09-01), McKinsey et al.
patent: 6754812 (2004-06-01), Abdallah et al.
patent: 2003/0023959 (2003-01-01), Park
Chaiken Ronnie Ira
Gillies David Mitford
Grace Ryan T.
Kim Kenneth S.
Merchant & Gould P.C.
Microsoft Corporation
LandOfFree
Assigning free register to unmaterialized predicate in... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Assigning free register to unmaterialized predicate in..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Assigning free register to unmaterialized predicate in... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2793662