legalize-extract-vector-elt.mir 25.7 KB