26 lines · plain
1// RUN: mlir-opt %s -canonicalize="test-convergence" | FileCheck %s2 3//===----------------------------------------------------------------------===//4// UnrealizedConversionCastOp5//===----------------------------------------------------------------------===//6 7// Test folding conversion casts feeding into other casts.8// CHECK-LABEL: func @multiple_conversion_casts9// CHECK-SAME: %[[ARG0:.*]]: i32, %[[ARG1:.*]]:10func.func @multiple_conversion_casts(%arg0: i32, %arg1: i32) -> (i32, i32) {11 // CHECK-NOT: unrealized_conversion_cast12 // CHECK: return %[[ARG0]], %[[ARG1]]13 %inputs:2 = builtin.unrealized_conversion_cast %arg0, %arg1 : i32, i32 to i64, i6414 %outputs:2 = builtin.unrealized_conversion_cast %inputs#0, %inputs#1 : i64, i64 to i32, i3215 return %outputs#0, %outputs#1 : i32, i3216}17 18// CHECK-LABEL: func @multiple_conversion_casts19func.func @multiple_conversion_casts_failure(%arg0: i32, %arg1: i32, %arg2: i64) -> (i32, i32) {20 // CHECK: unrealized_conversion_cast21 // CHECK: unrealized_conversion_cast22 %inputs:2 = builtin.unrealized_conversion_cast %arg0, %arg1 : i32, i32 to i64, i6423 %outputs:2 = builtin.unrealized_conversion_cast %arg2, %inputs#1 : i64, i64 to i32, i3224 return %outputs#0, %outputs#1 : i32, i3225}26