@@ -3362,7 +3362,7 @@ def BaseClassAddrOp : CIR_Op<"base_class_addr"> {
33623362 ```
33633363 will generate
33643364 ```mlir
3365- %3 = cir.base_class_addr ( %1 : !cir.ptr<!rec_Derived> nonnull) [0] -> !cir.ptr<!rec_Base>
3365+ %3 = cir.base_class_addr %1 : !cir.ptr<!rec_Derived> nonnull [0] -> !cir.ptr<!rec_Base>
33663366 ```
33673367 }];
33683368
@@ -3375,10 +3375,9 @@ def BaseClassAddrOp : CIR_Op<"base_class_addr"> {
33753375 let results = (outs Res<CIR_PointerType, "">:$base_addr);
33763376
33773377 let assemblyFormat = [{
3378- `(`
33793378 $derived_addr `:` qualified(type($derived_addr))
33803379 (`nonnull` $assume_not_null^)?
3381- `) ` `[` $offset `]` `->` qualified(type($base_addr)) attr-dict
3380+ ` ` `[` $offset `]` `->` qualified(type($base_addr)) attr-dict
33823381 }];
33833382}
33843383
@@ -3411,8 +3410,8 @@ def DerivedClassAddrOp : CIR_Op<"derived_class_addr"> {
34113410 leads to
34123411 ```mlir
34133412 %2 = cir.load %0 : !cir.ptr<!cir.ptr<!rec_B>>, !cir.ptr<!rec_B>
3414- %3 = cir.derived_class_addr( %2 : !cir.ptr<!rec_B> nonnull) [4] -> !cir.ptr<!rec_X>
3415- %4 = cir.base_class_addr( %3 : !cir.ptr<!rec_X>) [0] -> !cir.ptr<!rec_A>
3413+ %3 = cir.derived_class_addr %2 : !cir.ptr<!rec_B> nonnull [4] -> !cir.ptr<!rec_X>
3414+ %4 = cir.base_class_addr %3 : !cir.ptr<!rec_X> [0] -> !cir.ptr<!rec_A>
34163415 cir.return %4
34173416 ```
34183417 }];
@@ -3426,10 +3425,9 @@ def DerivedClassAddrOp : CIR_Op<"derived_class_addr"> {
34263425 let results = (outs Res<CIR_PointerType, "">:$derived_addr);
34273426
34283427 let assemblyFormat = [{
3429- `(`
34303428 $base_addr `:` qualified(type($base_addr))
34313429 (`nonnull` $assume_not_null^)?
3432- `) ` `[` $offset `]` `->` qualified(type($derived_addr)) attr-dict
3430+ ` ` `[` $offset `]` `->` qualified(type($derived_addr)) attr-dict
34333431 }];
34343432}
34353433
@@ -3454,8 +3452,8 @@ def BaseDataMemberOp : CIR_Op<"base_data_member", [Pure]> {
34543452 let results = (outs CIR_DataMemberType:$result);
34553453
34563454 let assemblyFormat = [{
3457- `(` $src `:` qualified(type($src)) `)`
3458- `[` $offset `]` `->` qualified(type($result)) attr-dict
3455+ $src `:` qualified(type($src))
3456+ ` ` ` [` $offset `]` `->` qualified(type($result)) attr-dict
34593457 }];
34603458
34613459 let hasVerifier = 1;
@@ -3478,8 +3476,8 @@ def DerivedDataMemberOp : CIR_Op<"derived_data_member", [Pure]> {
34783476 let results = (outs CIR_DataMemberType:$result);
34793477
34803478 let assemblyFormat = [{
3481- `(` $src `:` qualified(type($src)) `)`
3482- `[` $offset `]` `->` qualified(type($result)) attr-dict
3479+ $src `:` qualified(type($src))
3480+ ` ` ` [` $offset `]` `->` qualified(type($result)) attr-dict
34833481 }];
34843482
34853483 let hasVerifier = 1;
@@ -3506,16 +3504,16 @@ def BaseMethodOp : CIR_Op<"base_method", [Pure]> {
35063504 Example:
35073505
35083506 ```mlir
3509- %1 = cir.base_method( %0 : !cir.method<!cir.func<(!s32i)> in !rec_Derived>) [16] -> !cir.method<!cir.func<(!s32i)> in !rec_Base>
3507+ %1 = cir.base_method %0 : !cir.method<!cir.func<(!s32i)> in !rec_Derived> [16] -> !cir.method<!cir.func<(!s32i)> in !rec_Base>
35103508 ```
35113509 }];
35123510
35133511 let arguments = (ins CIR_MethodType:$src, IndexAttr:$offset);
35143512 let results = (outs CIR_MethodType:$result);
35153513
35163514 let assemblyFormat = [{
3517- `(` $src `:` qualified(type($src)) `)`
3518- `[` $offset `]` `->` qualified(type($result)) attr-dict
3515+ $src `:` qualified(type($src))
3516+ ` ` ` [` $offset `]` `->` qualified(type($result)) attr-dict
35193517 }];
35203518
35213519 let hasVerifier = 1;
@@ -3538,16 +3536,16 @@ def DerivedMethodOp : CIR_Op<"derived_method", [Pure]> {
35383536 Example:
35393537
35403538 ```mlir
3541- %1 = cir.derived_method( %0 : !cir.method<!cir.func<(!s32i)> in !rec_Base>) [16] -> !cir.method<!cir.func<(!s32i)> in !rec_Derived>
3539+ %1 = cir.derived_method %0 : !cir.method<!cir.func<(!s32i)> in !rec_Base> [16] -> !cir.method<!cir.func<(!s32i)> in !rec_Derived>
35423540 ```
35433541 }];
35443542
35453543 let arguments = (ins CIR_MethodType:$src, IndexAttr:$offset);
35463544 let results = (outs CIR_MethodType:$result);
35473545
35483546 let assemblyFormat = [{
3549- `(` $src `:` qualified(type($src)) `)`
3550- `[` $offset `]` `->` qualified(type($result)) attr-dict
3547+ $src `:` qualified(type($src))
3548+ ` ` ` [` $offset `]` `->` qualified(type($result)) attr-dict
35513549 }];
35523550
35533551 let hasVerifier = 1;
0 commit comments