Added ASM Result Naming to AssumeAlignment

Set AsmResultName for the operation to be assume_align

Author: Shay Kleiman

mlir/include/mlir/Dialect/MemRef/IR/MemRefOps.td

@@ -143,23 +143,23 @@ class AllocLikeOp<string mnemonic,
 //===----------------------------------------------------------------------===//
 
 def AssumeAlignmentOp : MemRef_Op<"assume_alignment", [
+      DeclareOpInterfaceMethods<OpAsmOpInterface, ["getAsmResultNames"]>,
       Pure, 
       ViewLikeOpInterface,
       SameOperandsAndResultType
     ]> {
   let summary =
       "assertion that gives alignment information to the input memref";
   let description = [{
-      The `assume_alignment` operation takes a memref and an integer alignment
+      The `assume_alignment` operation takes a memref and an integer of alignment
       value. It returns a new SSA value of the same memref type, but associated
       with the assertion that the underlying buffer is aligned to the given
       alignment. 
 
-      If the buffer isn't actually aligned to the given alignment, this operation
+      If the buffer isn't aligned to the given alignment, this operation
       itself does not cause undefined behavior. However, subsequent operations
       that consume the resulting memref and rely on this asserted alignment for
-      correctness (e.g., to avoid hardware traps or to meet ISA requirements for
-      specific instructions) will produce a poison value if the assertion is false.
+      correctness will produce a poison value if the assertion is false.
 
       This operation doesn't affect the semantics of a program where the
       alignment assertion holds true. It is intended for optimization purposes,

mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp

@@ -527,6 +527,10 @@ LogicalResult AssumeAlignmentOp::verify() {
   return success();
 }
 
+void AssumeAlignmentOp::getAsmResultNames(function_ref<void(Value, StringRef)> setNameFn) {
+  setNameFn(getResult(), "assume_align");
+}
+
 //===----------------------------------------------------------------------===//
 // CastOp
 //===----------------------------------------------------------------------===//