@@ -449,8 +449,8 @@ def Shape_AnyOp : Shape_Op<"any", [Commutative, NoSideEffect]> {
449
449
450
450
Example:
451
451
```mlir
452
- %s0 = shape.any [2,?], [?,3] // [2,3]
453
- %s1 = shape.any [?,?], [1,2] // [1,2]
452
+ %s0 = shape.any [2,?], [?,3] // [2,3]
453
+ %s1 = shape.any [?,?], [1,2] // [1,2]
454
454
```
455
455
}];
456
456
@@ -475,11 +475,11 @@ def Shape_AssumingAllOp : Shape_Op<"assuming_all", [Commutative, NoSideEffect]>
475
475
476
476
Example:
477
477
```mlir
478
- %w0 = shape.cstr_broadcastable [2,2], [3,1,2] // Passing
479
- %w1 = shape.cstr_broadcastable [2,2], [3,2] // Failure
480
- %w2 = shape.cstr_eq [1,2], [1,2], [1,2] // Passing
481
- %wf = shape.assuming_all %w0, %w1 // Failure
482
- %wt = shape.assuming_all %w0, %w2 // Passing
478
+ %w0 = shape.cstr_broadcastable [2,2], [3,1,2] // Passing
479
+ %w1 = shape.cstr_broadcastable [2,2], [3,2] // Failure
480
+ %w2 = shape.cstr_eq [1,2], [1,2], [1,2] // Passing
481
+ %wf = shape.assuming_all %w0, %w1 // Failure
482
+ %wt = shape.assuming_all %w0, %w2 // Passing
483
483
```
484
484
}];
485
485
@@ -543,8 +543,8 @@ def Shape_CstrBroadcastableOp : Shape_Op<"cstr_broadcastable", [Commutative]> {
543
543
544
544
Example:
545
545
```mlir
546
- %w0 = shape.cstr_broadcastable [2,2], [3,1,2] // Passing
547
- %w1 = shape.cstr_broadcastable [2,2], [3,2] // Failure
546
+ %w0 = shape.cstr_broadcastable [2,2], [3,1,2] // Passing
547
+ %w1 = shape.cstr_broadcastable [2,2], [3,2] // Failure
548
548
```
549
549
}];
550
550
@@ -566,8 +566,8 @@ def Shape_CstrEqOp : Shape_Op<"cstr_eq", [Commutative]> {
566
566
567
567
Example:
568
568
```mlir
569
- %w0 = shape.cstr_eq [1,2], [1,2], [1,2] // Passing
570
- %w1 = shape.cstr_eq [2,2], [1,2] // Failure
569
+ %w0 = shape.cstr_eq [1,2], [1,2], [1,2] // Passing
570
+ %w1 = shape.cstr_eq [2,2], [1,2] // Failure
571
571
```
572
572
}];
573
573
let arguments = (ins Variadic<Shape_ShapeType>:$inputs);
0 commit comments