tree f349382a60bd69b43d3cbf03dd6d6ef9844a8280
parent 9ffe4735c8ed54a622e40b9a16df37657c0417b4
author Ben Vanik <ben.vanik@gmail.com> 1720488395 -0700
committer GitHub <noreply@github.com> 1720488395 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJmjJHLCRC1aQ7uu5UhlAAApTYQAE6E95NzbCdZYmdHh1ceuQpv
 JjX9CFKmcYq2NNcd0OoARLO6+UL7MpXeucGAI5adpBGfGBrOUk5FRpUzlWmxUEO2
 gwa/rkxLf/us7/VljbxjsVkQ6Egbs/LuUCDpgkAJ16GR9y29N7B6zPiThgcggixV
 VAQD+gnhk6hiEJf0jVbBJz9x62L7XOyT2SIbBpWlm+9bZ4FIyAcGsdN5WgQRiqJZ
 o6Qv4p4bt43hemxiT4fyekyg6QSqyeOb0iGTkTgdEYrRJqcCG54ihpfwO49QBhxa
 SSyiKrZZirnvjtX1A4WzM2TX3C8ZmHtpP30aYluAEwzYx3YAwMReRRHvgHvcK6UX
 7TTzuHZv2VsolBwJurDToZTqIN8FH6NgUkFmiKy+9zmnuTi6763qps0aOSNYDOtP
 LJroOSVyz2xR0Mkmd5b4ON9Lbh3q9PFze1f816yl9HaOHGkybBwIN0brBREg4m4C
 CecvYU1wv8PDljhabIdkbALsw1VXrzChrWPUzQIEkieEMAVl/bX/hTSZTfrd1TSF
 whpXj/ioeBQUUcbDEKVATa7r4SHQWjc60+wmc6n2PPW2tJ5Ls8SW4OY4UJ0UQcy5
 yR2Zu4NJydKuKpi+zemehs/jnNBzigg67AeIR5NFtmw5BDF1RC/qpjdk34bQr2ES
 eUYVzdubzhcoSS0YOApP
 =zEsk
 -----END PGP SIGNATURE-----
 

Actually implement bytecode verifier IREE_VM_VERIFY_REG_ANY. (#17829)

This enables branch and variadic operand verification. It only verifies
that the referenced registers are in the declared range and that there
will be no out-of-bounds access of the register files at runtime. It
will not catch correctness issues (but the verifier isn't intended to).

Fixes #14313.