37 lines · plain
1// RUN: mlir-opt -test-target-materialization-with-no-uses -split-input-file %s | FileCheck %s2 3// The conversion is set up as follows:4// - type_changer ops are illegal;5// - type_changer ops are replaced with their operands;6// - i16 types are converted to i64 by the type conversion;7// - the rest of the types are legal.8// The first type_changer is replaced with its operand. For the pattern to9// apply to the second type_changer, the conversion infra creates a dummy10// cast operation to cast from the i32 to i64 because the original op takes an11// (illegal) i16 that became i64. This dummy operation should be replaced by12// the one produced by the target materialization hook. At the moment when the13// materialization decision is taken, the i64 replacement of the first type14// change (the result of the dummy cast) has no uses, but the value it replaces15// does, so the infra must call the materialization rather than assume the16// dummy cast to be dead.17 18// CHECK-LABEL: @foo19func.func @foo() {20 %0 = "test.type_producer"() : () -> i3221 // CHECK: test.cast22 // CHECK-NOT: test.type_changer23 %1 = "test.type_changer"(%0) : (i32) -> i1624 %2 = "test.type_changer"(%1) : (i16) -> i6425 "test.type_consumer"(%2) : (i64) -> ()26 return27}28 29// -----30 31// CHECK-LABEL: @direct_forward32func.func @direct_forward(%arg0 : i16) -> i16 {33 // CHECK-NEXT: return34 %0 = "test.type_changer"(%arg0) : (i16) -> i1635 return %0 : i1636}37