* Improve verification for unary, binary, cmp and select ops. Refactor .td file to enable that.
Attach a file by drag & drop or click to upload
