return IntegerAttr.get(
IntegerType.get_signless(64, context=context), x)
+@register_attribute_builder("StrAttr")
+def _stringAttr(x, context):
+ return StringAttr.get(x, context=context)
+
@register_attribute_builder("SymbolNameAttr")
def _symbolNameAttr(x, context):
return StringAttr.get(x, context=context)
shape.ConstWitnessOp(False)
shape.ConstSizeOp(30)
shape.ConstSizeOp(IntegerAttr.get(IndexType.get(), 40))
- shape.ConstShapeOp([1, 2])
+ x = shape.ConstShapeOp([1, 2])
+ shape.MeetOp(x, x, error="impossible")
return shape.ConstShapeOp(
DenseElementsAttr.get(
np.array([3, 4], dtype=np.int64), type=IndexType.get()))
+
+
# CHECK-LABEL: func @const_shape_tensor(%arg0: tensor<12x?xf32>)
# CHECK-DAG: shape.const_witness false
# CHECK-DAG: shape.const_size 30