tree 23e1eba1e49e4de987ba0963c6f4feedd41f00bc
parent 15b20a13e6a35a8c5864080644f9bc39f6dbd573
author Alexander Peskov <apeskov@nvidia.com> 1747328673 +0400
committer GitHub <noreply@github.com> 1747328673 +0100
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJoJh6hCRC1aQ7uu5UhlAAAtmwQAHQZzUSkl3yO4e1Erw/Ix7EG
 rubkrPsFfM5B3nyZV3MSZCHyY3O4AyxlodkdwUePnzwA/WAPGWjPcSqqbLwVaYbw
 mNBFo40+teVW7PE4/FLaV82LfvBv/dKYKimWPjF69gPYsWq5r9j+A2rZKKkajwMo
 fZxV+G0xbIhB1rkdgry9wrank6VzGsAIXA/mUGx4zvk3mHr4WgURpQ8PchLTsSyd
 RMGrhvQK9jHvfhoSrabUe6lWm1/Fd89oYhTF8izFcDPcCtk3VXAlDUmPNR4Fkf+B
 l3COoAeB8QKbjODDfCsZMfuHLC+whb8t/ccS3q3MthMu8X0t9QaCDkG+mt12ry+G
 sKyAklAWaLHRc4OZCoWpLALtu/hGAr9yh1NOHXrxANTm3HGb9hMxvQRAFRcMwi6j
 RXRj6/fubC+jBsxg+RmSop8h/Khms+dRLTo6mjSk7MJ68gLoqzOVJDFp7X/sVf9z
 FdW5wzcxnx+eh0AJHODgwN9fgp2Q4sUFSoX+MjUsmgxg/0K7se3RPAg5Pm+8Z/HH
 xFD5MLB0uFqcVQMyC6qN6b2559y8kfNerBDPm6wR2JI/IQrvTEMTm3LTyUvWag3X
 /iVd5X0DyFhuTsKKyHXhueyBjvmgzNjvstipvHT6JHmRfiA6oLHILl6l5pq3TvXn
 GgPy88O/yy871zbcBYCK
 =Kk5E
 -----END PGP SIGNATURE-----
 

[DAGCombiner] Fold pattern for srl-shl-zext (REAPPLIED) (#140038)

Fold (srl (lop x, (shl (zext y), c1)), c1) -> (lop (srl x, c1), (zext y)) where c1 <= leadingzeros(zext(y)).

This is equivalent of existing fold chain (srl (shl (zext y), c1), c1) -> (and (zext y), mask) -> (zext y), but logical op in the middle prevents it from combining.

Profit : Allow to reduce the number of instructions.

Original commit: #138290 / bbc5221

Previously reverted due to conflict in LIT test. Mainline changed
default version of load instruction to untyped version by this #137698 .
Updated test uses `ld.param.b64` instead of `ld.param.u64`.