Patents by Inventor Avery LAIRD

Avery LAIRD has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Control flow auto-vectorization using run-time checks and compile-time analysis
    Patent number: 12265807
    Abstract: Vectorization of program code by way of a method that includes obtaining program code to be compiled. The program code has a loop that includes a control-flow having divergent branch conditions. The method includes compiling the program code to produce compiled code. The compiling includes performing compile-time analysis of the loop based on an assumption of dynamic uniformity, and determining from the analysis a vectorizable access pattern of the loop. The compiling also includes vectorizing the loop as part of the compiling the program code, including compiling the loop. The vectorizing includes providing run-time checks in the compiled code. The run-time checks are configured for checking for dynamically uniform conditions for vector processing at run-time to control program execution flow based on a result of the checking. The method also includes outputting the compiled code for execution.
    Type: Grant
    Filed: March 30, 2023
    Date of Patent: April 1, 2025
    Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Bangtian Liu, Avery Laird, Wai Hung Tsang, Bardia Mahjour, Maryam Dehnavi
  • CONTROL FLOW AUTO-VECTORIZATION USING RUN-TIME CHECKS AND COMPILE-TIME ANALYSIS
    Publication number: 20240329957
    Abstract: Vectorization of program code by way of a method that includes obtaining program code to be compiled. The program code has a loop that includes a control-flow having divergent branch conditions. The method includes compiling the program code to produce compiled code. The compiling includes performing compile-time analysis of the loop based on an assumption of dynamic uniformity, and determining from the analysis a vectorizable access pattern of the loop. The compiling also includes vectorizing the loop as part of the compiling the program code, including compiling the loop. The vectorizing includes providing run-time checks in the compiled code. The run-time checks are configured for checking for dynamically uniform conditions for vector processing at run-time to control program execution flow based on a result of the checking. The method also includes outputting the compiled code for execution.
    Type: Application
    Filed: March 30, 2023
    Publication date: October 3, 2024
    Inventors: Bangtian LIU, Avery LAIRD, Wai Hung TSANG, Bardia MAHJOUR, Maryam DEHNAVI