Overflow predictive arithmetic instruction optimization...

Details Overflow predictive arithmetic instruction optimization... Overflow predictive arithmetic instruction optimization...

2006-09-12

2006-09-12

Chavis, John (Department: 2193)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S153000

Reexamination Certificate

active

07107581

ABSTRACT:
A method for arithmetic expression optimization includes receiving an operator and at least one operand of a first instruction defined for a first processor having a first base. The method also includes converting the first instruction to a second instruction optimized for a second processor having a second base smaller than the first base when overflow is impossible based at least in part on the operator and the relationship between the operand type and the second base. The method also includes converting instructions in an instruction chain to a wider base larger than the second base and smaller or equal to the first base when the at least one operand carries potential overflow beyond the second base and when the operator is sensitive to overflow. The chain is bounded by the second instruction and a third instruction that has been previously optimized and is the source of the potential overflow.

REFERENCES:
patent: 3805045 (1974-04-01), Larsen
patent: 3993891 (1976-11-01), Beck et al.
patent: 4400769 (1983-08-01), Kaneda et al.
patent: 4504924 (1985-03-01), Cook et al.
patent: 5107451 (1992-04-01), Houk
patent: 5305456 (1994-04-01), Boitana
patent: 5408670 (1995-04-01), Davies
patent: 5446901 (1995-08-01), Owicki et al.
patent: 5497340 (1996-03-01), Uramoto et al.
patent: 5606677 (1997-02-01), Balmer et al.
patent: 5668999 (1997-09-01), Gosling
patent: 5724279 (1998-03-01), Benaloh et al.
patent: 5732263 (1998-03-01), Havens et al.
patent: 5740441 (1998-04-01), Yellin et al.
patent: 5784553 (1998-07-01), Kolawa et al.
patent: 5794049 (1998-08-01), Lindholm
patent: 5884316 (1999-03-01), Bernstein et al.
patent: 5920720 (1999-07-01), Toutonghi et al.
patent: 5999731 (1999-12-01), Yellin et al.
patent: 6003038 (1999-12-01), Chen
patent: 6026237 (2000-02-01), Berry et al.
patent: 6075863 (2000-06-01), Krishnan et al.
patent: 6092147 (2000-07-01), Levy et al.
patent: 6093216 (2000-07-01), Adi-Tabatabai et al.
patent: 6151618 (2000-11-01), Wahbe et al.
patent: 6182158 (2001-01-01), Kougiouris et al.
patent: 6212633 (2001-04-01), Levy et al.
patent: 6247174 (2001-06-01), Santhanam et al.
patent: 6308317 (2001-10-01), Wilkinson et al.
patent: 6363523 (2002-03-01), Chen et al.
patent: 6477702 (2002-11-01), Yellin et al.
patent: 2002/0023954 (2002-02-01), Calder et al.
patent: 2003/0028572 (2003-02-01), Hoskote et al.
patent: 0 778 522 (1997-06-01), None
patent: WO 01/14958 (2001-03-01), None
Sun Microsystems, Inc., Java Card™ 20. Developer's Guide, Aug. 19, 1998, Revision 1.12.
Sun Microsystems, Inc., “Java Card™ 2.0 Application Programming Interfaces”, Oct. 13, 1997, Rev. 1.0.
Sun Microsystems, Inc., “Java Card™ 2.0 Language Subset and Virtual Machine Specification”, Oct. 13, 1997, Revision 1.0 Final.
Sun Microsystems, Inc., “Java Card™ 2.0 Programming Concepts”, Oct. 15, 1997, Rev. 1.0 Final.
Sun Microsystems, Inc., “Java Card™ 2.1 Application Programming Interface”, Jun. 7, 1999, Final Rev. 1.1.
Sun Microsystems, Inc., “Java Card™ 2.1 Runtime Environment (JCRE) Specification”, Jun. 7, 1999, Final Revision 1.1.
Sun Microsystems, Inc., “Java Card™ 2.1 Virtual Machine Specification”, Jun. 7, 1999, Final Rev. 1.1.
Sun Microsystems, Inc., “Release Notes—Java Card™ 2.1 Specifications”, Jun. 7, 1999, Final Rev. 1.1.
Sun Microsystems, Inc., “Java Check™ 3.0 Frequently Asked Questions”, printed from http://java.sun.com/products/personaljava/jcheckfaq30-beta.html, on Dec. 3, 1999.
Sun Microsystems, Inc., “Java Check™ Technical Notice”, printed from http://java.sun.com/products/personaljava/JcheckTechNotice.html, on Dec. 3, 1999.
Sun Microsystems, Inc., “Using Java Check™”, Version 2.0.1, printed from www.sun.com/software/personaljava/techinfo.html, on Dec. 3, 1999.
Sun Microsystems, Inc., “Using Java Check™”, Version 3.0, printed from http://java.sun.com/cgi-bin/download2.cgi, on Dec. 3, 1999.
Sun Microsystems, Inc., “The K Virtual Machine (KVM)”, White Paper Jun. 8, 1999.
Ritchey, Tim, “Advanced Topics: The Java Virtual Machine”JAVA!, Chapter 14, pp. 25-346, Sep. 22, 1995.
Daniels, John et al., “Strategies For Sharing Objects In Distributed Systems”, JOOP, Object Designers Ltd. UK, pp. 27-36.
Michael Shuttle et al., “Exact Rounding of Certain Elementary Functions”, Jun. 29, 1993, pp. 138-145.
Ziv, Abraham, “Fast Evaluation of Elementary Mathematical Functions with Correctly Rounded Last Bit”, Sep. 1, 1991, pp. 410-423.
George E. Necula et al., “Proof Carrying Code”, Nov. 1996, pp. 1-60.

Affiliated with

Also associated with

Rating

Overflow predictive arithmetic instruction optimization... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Overflow predictive arithmetic instruction optimization..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Overflow predictive arithmetic instruction optimization... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3564902