tree 0fd528267c0e3c8778cfd7c1d38f6ce0c9f76b81
parent bcd0a7ae2a3ae81545190a0b2796eb63656b5d42
author Luke Lau <luke@igalia.com> 1752602653 +0800
committer GitHub <noreply@github.com> 1752602653 +0800
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJodpgdCRC1aQ7uu5UhlAAAUioQACNBV2uHpoGkM4dgYlGkXaQ2
 L8Aq577Zsw/lmJZxqeDa8Q9CdANvYLCr+jrGiCXHqTbqSZkzlCznMDPJvRCFLZim
 xSm9J1440s97rGABHRU2KcP9WJg8/PTwoZAEdYJhf5TRtrQQhZV90OSjRy3XAayS
 h5elnXIysw1poXucR2kfdytCMBrdygwCdH8t3WUmtUNurEqDbbYo1d029aJYprFe
 kPV58PiwUiZqugMGSRzzbdzgC9jSciuV17zCeAQ2kMdrV1hMS8Ukm9VU59GfAXC4
 7+FKE7BoCaEuRvdzh32QCrH+xuzPevS7stimkRCQ85AsjPPSXTMygv8ps7m8t+6e
 dycI7nbOamoNoahRTwCg3ZU4dKOctohHd2bdqjGAM7hyTGgSgPCgB5c6Pz8jSU9C
 MwMMrDqEjUnwTVUBMtXoDdzqJHuP12o0aF9IEejFNejZOU3D03UKLzcFLx14Y1Z8
 HhY+0CwLymnoEvaQI5J37kz84+TQ6iUVMdP6MPaO6Dywvq1JDpIZt7pDb5C0fHIc
 7tf+cF4jZz54pmwWhJZ67FMGJBuAodvFmGVicwU6gr7DCPbTJkl+F0R37OxRP22x
 Mel4B6ZYmyAUunH8fQVpvbM9mqAinBfO2f/qTwgPJ3wYwH7tCA38FB/1vsxIrKUS
 w8l6sWkZJMAsWVUItaTX
 =4Dz8
 -----END PGP SIGNATURE-----
 

[RISCV] Handle LHS == 0 in isVLKnownLE (#148860)

If a VL is zero then it's known to be less than or equal to every other
VL.

This looks weird on its own since a VL of zero isn't that common. The
test diffs come from a type being split resulting in a VP intrinsic's
EVL being zero.

The motivation for this is to split off part of an upcoming patch I plan
on submitting for RISCVVLOptimizer, which generalizes it to handle
recurrences, and needs to reason about an initial state of demanded VLs
set to zero.