[Mlir-commits] [mlir] [MLIR][XeVM] Add xevm.extf op as the inverse of xevm.truncf (PR #203124)

[Sang Ik Lee]

================
@@ -377,6 +377,26 @@ LogicalResult TruncfOp::verify() {
   return success();
 }
 
+LogicalResult ExtfOp::verify() {
+  Type srcTy = getSrc().getType();
+  Type dstTy = getDst().getType();
+  if (isa<VectorType>(srcTy) && !isa<VectorType>(dstTy))
----------------
silee2 wrote:

While addressing the `ExtfOp::verify` feedback, I noticed `TruncfOp::verify` had the identical `&& !` issue (a scalar↔vector mismatch would fall through and assert in `getIntOrFloatBitWidth()`). Since `extf` mirrors `truncf`, I applied the same `!=` + `getElementTypeOrSelf` fix there too and added an `invalid_xevm_truncf_2` case. 

https://github.com/llvm/llvm-project/pull/203124