1// RUN: mlir-opt %s -canonicalize="test-convergence" --split-input-file | FileCheck %s 2 3 4// CHECK-LABEL: func @merge_poison() 5// CHECK: %[[RES:.*]] = ub.poison : i32 6// CHECK: return %[[RES]], %[[RES]] 7func.func @merge_poison() -> (i32, i32) { 8 %0 = ub.poison : i32 9 %1 = ub.poison : i32 10 return %0, %1 : i32, i32 11} 12