| // RUN: mlir-opt %s -canonicalize -split-input-file | FileCheck %s |
| |
| func.func @test() -> i32 { |
| %c5 = "test.constant"() {value = 5 : i32} : () -> i32 |
| %c1 = "test.constant"() {value = 1 : i32} : () -> i32 |
| %c2 = "test.constant"() {value = 2 : i32} : () -> i32 |
| %c3 = "test.constant"() {value = 3 : i32} : () -> i32 |
| %res = test.fold_with_fold_adaptor %c5, [ %c1, %c2], { (%c3), (%c3) } { |
| %c0 = "test.constant"() {value = 0 : i32} : () -> i32 |
| } |
| return %res : i32 |
| } |
| |
| // CHECK-LABEL: func.func @test |
| // CHECK-NEXT: %[[C:.*]] = "test.constant"() {value = 33 : i32} |
| // CHECK-NEXT: return %[[C]] |