Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Improved ARM64 code generation #9937

Merged
merged 4 commits into from
Nov 26, 2020
Merged

Improved ARM64 code generation #9937

merged 4 commits into from
Nov 26, 2020

Commits on Nov 26, 2020

  1. ARM64: improve recognition of immediate operands for logical instruct… 

    …ions

Now we recognize the full set of hardware supported immediate operands.

`is_logical_immediate` was moved from Selection to Arch and made
to work on nativeints.  This is in preparation for future use in Emit.
    @xavierleroy
    xavierleroy committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    223eaea View commit details
    Browse the repository at this point in the history

  2. ARM64: Improve code generation for load integer immediate 

    Add a special case for immediates that can be loaded in one "or" instruction.

Refactor the code that produces sequences of movz/movn/movk to be less
redundant and to choose the shortest sequence between the "movz" sequence
and the "movn" sequence.
    @xavierleroy
    xavierleroy committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    b1102ef View commit details
    Browse the repository at this point in the history

  3. ARM64: add and recognize specific operation for sign extension

    @xavierleroy
    xavierleroy committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    4da8eb4 View commit details
    Browse the repository at this point in the history

  4. Changes for ocaml#9937

    @xavierleroy
    xavierleroy committed Nov 26, 2020
    Configuration menu
    Copy the full SHA
    5e15e3c View commit details
    Browse the repository at this point in the history