tree 1dd210e7cfc114a3345f3269cf8af2f9078bac7c
parent dbb43c85e52363c102c9c575fbe33f94e39f8472
author Ben Vanik <ben.vanik@gmail.com> 1708472476 -0800
committer GitHub <noreply@github.com> 1708472476 +0000
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJl1TicCRC1aQ7uu5UhlAAAnjAQAA6HtrIARnIBWrvzR514+dqV
 9u4xMFK+TNdEkGF59mpbYaq8LEL8+LejJRQOH7D8iBn0XeT+kgSRI4UZJ+GMnaFF
 ONi7e5egPLKQToMeVbUt+aGjrxIdEEMwiShMZyQXLOFFXv2ipMiv4j3n+7WOy0Yc
 3YY2mVBr3k+pLePx0dKeep9ZvjGU/4ixOyK1BlmGDmOp4UiAd5vaq27LAUVPOTpq
 f6K2DoPysc3EKO9VFubNLM/XMytVU7+Cc5EUL6lq8dl1WEek7RwPuFOacIVho2uA
 d/ama7NFKun5TFtAXIb0hbqyLsibxXWUV9SDRZ4o75k4OV7jaT5+i63OJY+nIOek
 t3zgxBpcLAP+/SbmvRyaS2Rvcl1fVX9/4fl4j/aNl20tkvP/dzd8PeJM4B8jJwvM
 KRqZjxJQTBG+NSuO9Rhc7IqXTYQKcBgMURJy8Tk5WZCRa+xrTtS7pg8TAs7aD6t5
 lHf2cUKsvp91xwMsUdGBA0mw9tW9PFH9ZDY9AKK24e4077KnWWEynP+M+R/U2AoE
 XOFcbQsgixze1mZWdJwvyPyv+S91KdhR191pmEDK9N5SzOShCcTvfOSTWbpYfuXi
 8BJnjHS/EOdCxBSch4a13pmGUAWnxva/JcAhaHTcYj2TPLPpfRl1xEfqKHqEj0nk
 d7VyxmbeRJDhvkkNow9V
 =nWiU
 -----END PGP SIGNATURE-----
 

Adding hal.device.id queries to HAL devices. (#16495)

This allows for the compiler to query whether a particular device ID
(`cuda`, `local-task`, etc) matches a pattern string (`local-*`, etc).
Today all devices just report on whatever ID they were assigned by their
driver but we could support other HAL driver matches in the future (for
things like remote devices that may expose multiple subdevices).

Note that this is not a vendor identifier (like `NVIDIA GeForce ..`).