Adopt Properties to store operations inherent Attributes in the ControlFlow dialect

[mehdi_amini]

Summary

This is part of an on-going migration to adopt Properties inside MLIR.

[mehdi_amini]

Rebase

[mehdi_amini]

Rebase

[mehdi_amini]

Rebase after improving diagnostic on invalid IR

[mehdi_amini]

Rebase

mlir/include/mlir/Dialect/ControlFlow/IR/ControlFlowOps.td

def ControlFlow_Dialect : Dialect {
   let name = "cf";
   let cppNamespace = "::mlir::cf";
   let dependentDialects = ["arith::ArithDialect"];
   let description = [{
     This dialect contains low-level, i.e. non-region based, control flow
     constructs. These constructs generally represent control flow directly
     on SSA blocks of a control flow graph.
   }];
+  let usePropertiesForAttributes = 1;
 
 }
 
 class CF_Op<string mnemonic, list<Trait> traits = []> :
     Op<ControlFlow_Dialect, mnemonic, traits>;
 
 //===----------------------------------------------------------------------===//
 // AssertOp