• Pierre Langlois's avatar
    [turbofan] Lower NumberConstant nodes to IntPtrConstant. · 7ac10da7
    Pierre Langlois authored
    If a NumberConstant can be represented as a Smi, then lower it to a
    IntPtrConstant node during simplified lowering. Thanks to this, all backends can
    match Smi values that can also be encoded as immediates in the instruction
    selector. Additionally, we can apply the same lowering to the CodeAssembler for
    the snapshot.
    
    As a result, we can remove `mov` instructions generated because Int32Matcher and
    Int64Matcher didn't not recognize Smis:
    
    For 32-bit target, it's common for Smis also be immediates: "if (a < 100) {}"
    ~~~
    mov r1, #200 -> cmp r0, #200
    cmp r0, r1   -> blt <>
    blt <>       ->
    ~~~
    
    On Arm64 particularly, we lose opportunites to use `cbz`: "if (a == 0) {}"
    ~~~
    movz x0, #0x0 -> cbz x1 <>
    cmp x1, x0    ->
    b.eq <>       ->
    ~~~
    
    Overall, we do not see an impact on benchmarks such as webtooling. However, we
    do see noteworthy code size reduction, from 0.5% to 1.5%.
    
    Bug: 
    Change-Id: I7fbb718ad51b9036c3514fa31c1326bdd6f2b0e6
    Reviewed-on: https://chromium-review.googlesource.com/848814Reviewed-by: 's avatarJaroslav Sevcik <jarin@chromium.org>
    Reviewed-by: 's avatarBenedikt Meurer <bmeurer@chromium.org>
    Commit-Queue: Pierre Langlois <pierre.langlois@arm.com>
    Cr-Commit-Position: refs/heads/master@{#50569}
    7ac10da7
Name
Last commit
Last update
..
api Loading commit data...
asmjs Loading commit data...
base Loading commit data...
compiler Loading commit data...
compiler-dispatcher Loading commit data...
heap Loading commit data...
interpreter Loading commit data...
libplatform Loading commit data...
parser Loading commit data...
wasm Loading commit data...
zone Loading commit data...
BUILD.gn Loading commit data...
DEPS Loading commit data...
allocation-unittest.cc Loading commit data...
bigint-unittest.cc Loading commit data...
cancelable-tasks-unittest.cc Loading commit data...
char-predicates-unittest.cc Loading commit data...
code-stub-assembler-unittest.cc Loading commit data...
code-stub-assembler-unittest.h Loading commit data...
counters-unittest.cc Loading commit data...
detachable-vector-unittest.cc Loading commit data...
eh-frame-iterator-unittest.cc Loading commit data...
eh-frame-writer-unittest.cc Loading commit data...
locked-queue-unittest.cc Loading commit data...
object-unittest.cc Loading commit data...
register-configuration-unittest.cc Loading commit data...
run-all-unittests.cc Loading commit data...
source-position-table-unittest.cc Loading commit data...
test-helpers.cc Loading commit data...
test-helpers.h Loading commit data...
test-utils.cc Loading commit data...
test-utils.h Loading commit data...
testcfg.py Loading commit data...
unicode-unittest.cc Loading commit data...
unittests.gyp Loading commit data...
unittests.isolate Loading commit data...
unittests.status Loading commit data...
utils-unittest.cc Loading commit data...
value-serializer-unittest.cc Loading commit data...