[mips] Fix 64-bit address loading in case of applying 32-bit mask to the result
authorSimon Atanasyan <simon@atanasyan.com>
Wed, 28 Aug 2019 22:32:10 +0000 (22:32 +0000)
committerSimon Atanasyan <simon@atanasyan.com>
Wed, 28 Aug 2019 22:32:10 +0000 (22:32 +0000)
commit59bb3609fa5f759b21d5e6e05e45d17a837352dd
treec6ae548f6631a25b693de50b1517f58f25a86cad
parent01cd91aaea652477da5eebdc9ceb9bfe13bf10dd
[mips] Fix 64-bit address loading in case of applying 32-bit mask to the result

If result of 64-bit address loading combines with 32-bit mask, LLVM
tries to optimize the code and remove "redundant" loading of upper
32-bits of the address. It leads to incorrect code on MIPS64 targets.

MIPS backend creates the following chain of commands to load 64-bit
address in the `MipsTargetLowering::getAddrNonPICSym64` method:
```
(add (shl (add (shl (add %highest(sym), %higher(sym)),
                    16),
               %hi(sym)),
          16),
     %lo(%sym))
```

If the mask presents, LLVM decides to optimize the chain of commands. It
really does not make sense to load upper 32-bits because the 0x0fffffff
mask anyway clears them. After removing redundant commands we get this
chain:
```
(add (shl (%hi(sym), 16), %lo(%sym))
```

There is no patterns matched `(MipsHi (i64 symbol))`. Due a bug in `SYM_32`
predicate definition, backend incorrectly selects a pattern for a 32-bit
symbols and uses the `lui` instruction for loading `%hi(sym)`.

As a result we get incorrect set of instructions with unnecessary 16-bit
left shifting:
```
lui     at,0x0
    R_MIPS_HI16     foo
dsll    at,at,0x10
daddiu  at,at,0
    R_MIPS_LO16     foo
```

This patch resolves two problems:
- Fix `SYM_32/SYM_64` predicates to prevent selection of patterns dedicated
  to 32-bit symbols in case of using N64 ABI.
- Add missed patterns for 64-bit symbols for `%hi/%lo`.

Fix PR42736.

Differential Revision: https://reviews.llvm.org/D66228

llvm-svn: 370268
llvm/lib/Target/Mips/Mips.td
llvm/lib/Target/Mips/Mips64InstrInfo.td
llvm/lib/Target/Mips/MipsInstrInfo.td
llvm/test/CodeGen/Mips/indirect-jump-hazard/long-calls.ll
llvm/test/CodeGen/Mips/long-calls.ll
llvm/test/CodeGen/Mips/pr42736.ll [new file with mode: 0644]