Global Patent Index - EP 0199006 A2

EP 0199006 A2 19861029 - A data processing system for optimising a machine code instruction stream.

Title (en)

A data processing system for optimising a machine code instruction stream.

Title (de)

Datenverarbeitungssystem für Optimierung von Instruktionsfolgen im Maschinenkode.

Title (fr)

Système de traitement d'informations pour optimiser une suite d'instructions en code machine.

Publication

EP 0199006 A2 19861029 (EN)

Application

EP 86101873 A 19860214

Priority

US 72339585 A 19850415

Abstract (en)

[origin: US4642765A] A method operable within an optimizing compiler to move certain range check instructions out of single entry strongly connected regions or loops and into linear regions of the instruction stream whereby computational efficiency is increased with no loss of program accuracy. The method comprises placing a range check trap instruction into the header node of the SCR provided there is only one conditional exit from the SCR, modifying the conditional exit test based on the value of the induction variable v, and inserting a new check at the loop exit point(s) to insure that the induction variable has reached the value it would have obtained in the original (unmodified) program.

IPC 1-7

G06F 9/44

IPC 8 full level

G06F 9/44 (2006.01); G06F 9/45 (2006.01)

CPC (source: EP US)

G06F 8/443 (2013.01 - EP US)

Citation (applicant)

  • US 4656583 A 19870407 - AUSLANDER MARC A [US], et al
  • J T SCHWARTZ: "On programming - An Interim Report on the SETL Language. Installment II: The SETL Language and Examples ot Its Use", COURANT INSTITUTE OF MATHEMATICAL SCIENCES, 1973, pages 293 - 310
  • A AHO; J ULLMAN: "Principles of Compiler Design", 1977, ADDISON-WESLEY
  • V MARKSTEIN; J COCKE; P MARKSTEIN: "Optimisation of Range Checking, Proc. of the SIGPLAN", SYMPOSIUM ON COMPILER CONSTRUCTION, 1982, pages 114 - 119
  • W HARRISON: "Compiler Analysis of the Value Ranges for Variables", IEEE TRANSACTIONS OF SOFTWARE ENGINEERING, May 1974 (1974-05-01), pages 243 - 250
  • J WELSH: "Economic Range Checks in Pascal", SOFTWARE - PRACTICE AN EXPERIENCE, vol. 8, 1978, pages 85 - 91

Designated contracting state (EPC)

DE FR GB

DOCDB simple family (publication)

EP 0199006 A2 19861029; EP 0199006 A3 19880629; EP 0199006 B1 19920506; DE 3685149 D1 19920611; JP H0656582 B2 19940727; JP S61241837 A 19861028; US 4642765 A 19870210

DOCDB simple family (application)

EP 86101873 A 19860214; DE 3685149 T 19860214; JP 5519886 A 19860314; US 72339585 A 19850415