tree cd0fc93b94ed3f2ae930c083e85cf073661d5da0
parent f280d3b705de7f94ef9756e3ef2842b415a7c038
author Craig Topper <craig.topper@sifive.com> 1750557360 -0700
committer GitHub <noreply@github.com> 1750557360 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJoV2KwCRC1aQ7uu5UhlAAAGDYQAAmCXHjPhU06kX9BLhcrY4mN
 aKjiykY7zwzYt/52Zi+p7W3UQg4w84RhQvt71dxpp7SLywcof+ij2tYA0SqwljWB
 3Fd3jp43/bivXT8Loen/16km5SINMMUYwXLF731Q8WwQirzpTnytqSMWCY3sanqk
 xycHKSr0Y7Itv91TrlkJ3rIwkZfBTeN0Q8SbD0fsM2B7n0+WuBQKGIoFzjRo48qE
 lG9anqR4A+gHBY/kRgD1dlSij/YfmYVInbBZBuZn71eo6Q+xdG3XzOn9iunUTLci
 wCcluMXAjY5Gt+xA0WMjOea9+Y275i/LzMGkWhcHqXOZzGn6sGFjcg2kQrb7lyBL
 fSG2CMXKKrS8pGpOzbmbrsytVZqYQ0y1LDFkbuz29cyMIeeFTaRT97k3kiXk3wAl
 ord2m9Hd/IjUwRKDGtX8SAhoFKdavV5dgAGSWCzIZnCTONyODwGZyLai3QgiyHq1
 vuWltGeIW44HACDDddJmS79pEuDT9hgLMJDmlYSPuGHe33pT89FLCdUHglDLlrl7
 H6wiVN0nYJQ8cO3yoBOmd+YP9jJ+8gOnco255N5600R/9OXQW8NizQhK3fsYs92p
 yaZwi9HK0wtbep4XX4BFv5TglsGe7/9VIYVHLgQW9mRih62hi3FRctMi0yNelDjI
 3lTEuZ53B8M/dE53P4X4
 =Iq8R
 -----END PGP SIGNATURE-----
 

[SelectionDAG][RISCV] Treat zext nneg as sext in PromoteIntOp_ZERO_EXTEND if the promoted input is sign extended. (#145120)

If the zext has the nneg flag and we can prove the promoted input
is sign extended, we can avoid generating an AND that we might not
be able to remove. RISC-V emits a lot of sext_inreg operations during
i32->i64 promotion that makes this likely.

I've restricted this to the case where the promoted type is the same
as the result type so we don't need to create an additional extend.

I've also restricted it to cases where the target has stated a
preference for sext like i32->i64 on RV64. This is largely to avoid
wasting time in computeNumSignBits until we have a test case that
benefits.