Patent ID: 6182284
Filing Date: 2001-01-30
Classification: G06F

Abstract:
A method for detecting and eliminating interferences between resources of phi instructions in static-single-assignment-form code, the method comprising:selecting each phi instruction of the static-single-assignment-form code;for each selected phi instruction,analyzing resources of the selected phi instruction to identify variables used as resources in the selected phi instruction that are members of interfering phi congruence classes, a first phi congruence class interfering with a second phi congruence class when a variable in the first phi congruence class interferes with a variable in the second phi congruence class; andinserting copy instructions into the static-single-assignment-form code to remove a number of variables of the identified variables from phi instructions so that no pair of variables used as resources in any phi instruction within the static-single-assignment-form code are members of two interfering phi congruence classes.