blob: c3f286e49b09bb9f6b93142f1d5fb5c63fc8873e [file] [log] [blame]
// RUN: mlir-opt %s -canonicalize="test-convergence" --split-input-file | FileCheck %s
// CHECK-LABEL: func @merge_poison()
// CHECK: %[[RES:.*]] = ub.poison : i32
// CHECK: return %[[RES]], %[[RES]]
func.func @merge_poison() -> (i32, i32) {
%0 = ub.poison : i32
%1 = ub.poison : i32
return %0, %1 : i32, i32
}