619a9c1e81
This PR adds "downcasting" of `ir.Value` to either `BlockArgument` or `OpResult` (and then potentially further down if a user-registered "value caster" exists). Also this PR changes `__str__` to return the correct thing (`OpResult(...)` or `BlockArgument(...)` instead of generic `Value(...)`).
28 lines
665 B
Python
28 lines
665 B
Python
# RUN: %PYTHON %s | FileCheck %s
|
|
# This is just a smoke test that the dialect is functional.
|
|
from array import array
|
|
|
|
from mlir.ir import *
|
|
from mlir.dialects import ub
|
|
from mlir.extras import types as T
|
|
|
|
|
|
def constructAndPrintInModule(f):
|
|
print("\nTEST:", f.__name__)
|
|
with Context(), Location.unknown():
|
|
module = Module.create()
|
|
with InsertionPoint(module.body):
|
|
f()
|
|
print(module)
|
|
return f
|
|
|
|
|
|
# CHECK-LABEL: testSmoke
|
|
@constructAndPrintInModule
|
|
def testSmoke():
|
|
# CHECK: OpResult(%{{.*}} = ub.poison : f32
|
|
f32 = F32Type.get()
|
|
poison = ub.poison(f32)
|
|
print(poison)
|
|
assert isinstance(poison, Value)
|