98 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir2// RUN: FileCheck --input-file=%t.cir %s3 4struct Struk {5 ~Struk();6};7 8// CHECK: !rec_Struk = !cir.record<struct "Struk" padded {!u8i}>9 10// CHECK: cir.func{{.*}} @_ZN5StrukD1Ev(!cir.ptr<!rec_Struk>)11 12void test_cleanup() {13 Struk s;14}15 16// CHECK: cir.func{{.*}} @_Z12test_cleanupv()17// CHECK: %[[S_ADDR:.*]] = cir.alloca !rec_Struk, !cir.ptr<!rec_Struk>, ["s"]18// CHECK: cir.call @_ZN5StrukD1Ev(%[[S_ADDR]]) nothrow : (!cir.ptr<!rec_Struk>) -> ()19// CHECK: cir.return20 21void test_cleanup_ifelse(bool b) {22 if (b) {23 Struk s;24 } else {25 Struk s;26 }27}28 29// CHECK: cir.func{{.*}} @_Z19test_cleanup_ifelseb(%arg0: !cir.bool30// CHECK: cir.scope {31// CHECK: %[[B:.*]] = cir.load{{.*}} %0 : !cir.ptr<!cir.bool>32// CHECK: cir.if %[[B]] {33// CHECK: %[[S:.*]] = cir.alloca !rec_Struk, !cir.ptr<!rec_Struk>, ["s"]34// CHECK: cir.call @_ZN5StrukD1Ev(%[[S]]) nothrow : (!cir.ptr<!rec_Struk>) -> ()35// CHECK: } else {36// CHECK: %[[S_TOO:.*]] = cir.alloca !rec_Struk, !cir.ptr<!rec_Struk>, ["s"]37// CHECK: cir.call @_ZN5StrukD1Ev(%[[S_TOO]]) nothrow : (!cir.ptr<!rec_Struk>) -> ()38// CHECK: }39// CHECK: }40// CHECK: cir.return41 42void test_cleanup_for() {43 for (int i = 0; i < 10; i++) {44 Struk s;45 }46}47 48// CHECK: cir.func{{.*}} @_Z16test_cleanup_forv()49// CHECK: cir.scope {50// CHECK: cir.for : cond {51// CHECK: } body {52// CHECK: cir.scope {53// CHECK: %[[S:.*]] = cir.alloca !rec_Struk, !cir.ptr<!rec_Struk>, ["s"]54// CHECK: cir.call @_ZN5StrukD1Ev(%[[S]]) nothrow : (!cir.ptr<!rec_Struk>) -> ()55// CHECK: }56// CHECK: cir.yield57// CHECK: } step {58// CHECK: }59// CHECK: }60// CHECK: cir.return61 62void test_cleanup_nested() {63 Struk outer;64 {65 Struk middle;66 {67 Struk inner;68 }69 }70}71 72// CHECK: cir.func{{.*}} @_Z19test_cleanup_nestedv()73// CHECK: %[[OUTER:.*]] = cir.alloca !rec_Struk, !cir.ptr<!rec_Struk>, ["outer"]74// CHECK: cir.scope {75// CHECK: %[[MIDDLE:.*]] = cir.alloca !rec_Struk, !cir.ptr<!rec_Struk>, ["middle"]76// CHECK: cir.scope {77// CHECK: %[[INNER:.*]] = cir.alloca !rec_Struk, !cir.ptr<!rec_Struk>, ["inner"]78// CHECK: cir.call @_ZN5StrukD1Ev(%[[INNER]]) nothrow : (!cir.ptr<!rec_Struk>) -> ()79// CHECK: }80// CHECK: cir.call @_ZN5StrukD1Ev(%[[MIDDLE]]) nothrow : (!cir.ptr<!rec_Struk>) -> ()81// CHECK: }82// CHECK: cir.call @_ZN5StrukD1Ev(%[[OUTER]]) nothrow : (!cir.ptr<!rec_Struk>) -> ()83// CHECK: cir.return84 85void use_ref(const Struk &);86 87void test_expr_with_cleanup() {88 use_ref(Struk{});89}90 91// CHECK: cir.func{{.*}} @_Z22test_expr_with_cleanupv()92// CHECK: cir.scope {93// CHECK: %[[S:.*]] = cir.alloca !rec_Struk, !cir.ptr<!rec_Struk>94// CHECK: cir.call @_Z7use_refRK5Struk(%[[S]])95// CHECK: cir.call @_ZN5StrukD1Ev(%[[S]]) nothrow : (!cir.ptr<!rec_Struk>) -> ()96// CHECK: }97// CHECK: cir.return98