13 lines · plain
1// RUN: mlir-opt %s --cse | FileCheck %s2 3func.func @declare_const_cse(%in: i8) -> (!smt.bool, !smt.bool){4 // CHECK: smt.declare_fun "a" : !smt.bool5 %a = smt.declare_fun "a" : !smt.bool6 // CHECK-NEXT: smt.declare_fun "a" : !smt.bool7 %b = smt.declare_fun "a" : !smt.bool8 // CHECK-NEXT: return9 %c = smt.declare_fun "a" : !smt.bool10 11 return %a, %b : !smt.bool, !smt.bool12}13