mlir/test/Dialect/UB/canonicalize.mlir

   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]]
   7 func.func @merge_poison() -> (i32, i32) {
   8   %0 = ub.poison : i32
   9   %1 = ub.poison : i32
  10   return %0, %1 : i32, i32
  11 }