12 lines · plain
1// RUN: mlir-opt %s -canonicalize="test-convergence" --split-input-file | FileCheck %s2 3 4// CHECK-LABEL: func @merge_poison()5// CHECK: %[[RES:.*]] = ub.poison : i326// CHECK: return %[[RES]], %[[RES]]7func.func @merge_poison() -> (i32, i32) {8 %0 = ub.poison : i329 %1 = ub.poison : i3210 return %0, %1 : i32, i3211}12