65 lines · plain
1// RUN: cir-opt %s --verify-roundtrip | FileCheck %s2 3!s32i = !cir.int<s, 32>4 5module {6 7cir.func private @f1()8 9cir.func @f2() {10 cir.call @f1() : () -> ()11 cir.call @f1() side_effect(pure) : () -> ()12 cir.call @f1() side_effect(const) : () -> ()13 cir.return14}15 16// CHECK: cir.func{{.*}} @f2() {17// CHECK-NEXT: cir.call @f1() : () -> ()18// CHECK-NEXT: cir.call @f1() side_effect(pure) : () -> ()19// CHECK-NEXT: cir.call @f1() side_effect(const) : () -> ()20// CHECK-NEXT: cir.return21// CHECK-NEXT: }22 23cir.func private @f3() -> !s32i24 25cir.func @f4() -> !s32i {26 %0 = cir.call @f3() : () -> !s32i27 cir.return %0 : !s32i28}29 30// CHECK: cir.func{{.*}} @f4() -> !s32i {31// CHECK-NEXT: %[[#x:]] = cir.call @f3() : () -> !s32i32// CHECK-NEXT: cir.return %[[#x]] : !s32i33// CHECK-NEXT: }34 35cir.func private @f5(!s32i, !s32i) -> !s32i36cir.func @f6() -> !s32i {37 %0 = cir.const #cir.int<1> : !s32i38 %1 = cir.const #cir.int<2> : !s32i39 %2 = cir.call @f5(%0, %1) : (!s32i, !s32i) -> !s32i40 cir.return %2 : !s32i41}42 43// CHECK: cir.func{{.*}} @f6() -> !s32i {44// CHECK-NEXT: %[[#a:]] = cir.const #cir.int<1> : !s32i45// CHECK-NEXT: %[[#b:]] = cir.const #cir.int<2> : !s32i46// CHECK-NEXT: %[[#c:]] = cir.call @f5(%[[#a]], %[[#b]]) : (!s32i, !s32i) -> !s32i47// CHECK-NEXT: cir.return %[[#c]] : !s32i48// CHECK-NEXT: }49 50cir.func @f7(%arg0: !cir.ptr<!cir.func<(!s32i, !s32i) -> !s32i>>) -> !s32i {51 %0 = cir.const #cir.int<1> : !s32i52 %1 = cir.const #cir.int<2> : !s32i53 %2 = cir.call %arg0(%0, %1) : (!cir.ptr<!cir.func<(!s32i, !s32i) -> !s32i>>, !s32i, !s32i) -> !s32i54 cir.return %2 : !s32i55}56 57// CHECK: cir.func{{.*}} @f7(%[[ptr:.+]]: !cir.ptr<!cir.func<(!s32i, !s32i) -> !s32i>>) -> !s32i {58// CHECK-NEXT: %[[#a:]] = cir.const #cir.int<1> : !s32i59// CHECK-NEXT: %[[#b:]] = cir.const #cir.int<2> : !s32i60// CHECK-NEXT: %[[#ret:]] = cir.call %[[ptr]](%[[#a]], %[[#b]]) : (!cir.ptr<!cir.func<(!s32i, !s32i) -> !s32i>>, !s32i, !s32i) -> !s32i61// CHECK-NEXT: cir.return %[[#ret]] : !s32i62// CHECK-NEXT: }63 64}65