mlir/test/Transforms/test-dialect-conversion-pdll.mlir

   1 // RUN: mlir-opt %s -test-dialect-conversion-pdll | FileCheck %s
   2
   3 // CHECK-LABEL: @TestSingleConversion
   4 func.func @TestSingleConversion() {
   5   // CHECK: %[[CAST:.*]] = "test.cast"() : () -> f64
   6   // CHECK-NEXT: "test.return"(%[[CAST]]) : (f64) -> ()
   7   %result = "test.cast"() : () -> (i64)
   8   "test.return"(%result) : (i64) -> ()
   9 }
  10
  11 // CHECK-LABEL: @TestLingeringConversion
  12 func.func @TestLingeringConversion() -> i64 {
  13   // CHECK: %[[ORIG_CAST:.*]] = "test.cast"() : () -> f64
  14   // CHECK: %[[MATERIALIZE_CAST:.*]] = builtin.unrealized_conversion_cast %[[ORIG_CAST]] : f64 to i64
  15   // CHECK-NEXT: return %[[MATERIALIZE_CAST]] : i64
  16   %result = "test.cast"() : () -> (i64)
  17   return %result : i64
  18 }