[RISCV] Add an additional remw test to rv64m-exhaustive-w-insts.ll. NFC
authorCraig Topper <craig.topper@sifive.com>
Sat, 20 Feb 2021 19:51:41 +0000 (11:51 -0800)
committerCraig Topper <craig.topper@sifive.com>
Sat, 20 Feb 2021 20:20:19 +0000 (12:20 -0800)
commit09966a66ffd08a04306c754ce20420d05109771a
treec937c97c7bf593e710186b39d88eb63cf7f17519
parent33d660939d9acb027f9941f037802936124dad8c
[RISCV] Add an additional remw test to rv64m-exhaustive-w-insts.ll. NFC

This adds the IR for this C code

int32_t foo(uint16_t x, int16_t y) {
  x %= y;
  return x;
}

Note the dividend is unsigned and the divisor is signed. C type
promotion rules will extend them and use a 32-bit srem and the
function returns a 32-bit result.

We fail to use remw for this case. The zero extended input has
enough sign bits, but we won't consider (i64 AssertZext X, i16) in
the sexti32 isel pattern.

We also end up with a extra shifts to zero upper bits on the result.
computeKnownBits knew the result was positive before type legalization
and allowed the SIGN_EXTEND to become ZERO_EXTEND. But after promoting
to i64 we no longer know that bit 31 (and all bits above it) should
be 0.
llvm/test/CodeGen/RISCV/rv64m-exhaustive-w-insts.ll