87 lines · cpp
1// RUN: %clang_cc1 -std=c++17 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir2// RUN: FileCheck --input-file=%t.cir %s --check-prefix=CIR3// RUN: %clang_cc1 -std=c++17 -triple x86_64-unknown-linux-gnu -fclangir -emit-llvm %s -o %t-cir.ll4// RUN: FileCheck --input-file=%t-cir.ll %s --check-prefix=LLVM5// RUN: %clang_cc1 -std=c++17 -triple x86_64-unknown-linux-gnu -emit-llvm %s -o %t.ll6// RUN: FileCheck --input-file=%t.ll %s --check-prefix=OGCG7 8int make_int();9 10int test() {11 const int &x = make_int();12 return x;13}14 15// CIR: cir.func {{.*}} @_Z4testv()16// CIR: %[[TEMP_SLOT:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["ref.tmp0", init]17// CIR-NEXT: %[[X:.*]] = cir.alloca !cir.ptr<!s32i>, !cir.ptr<!cir.ptr<!s32i>>, ["x", init, const]18// CIR-NEXT: %[[TEMP_VALUE:.*]] = cir.call @_Z8make_intv() : () -> !s32i19// CIR-NEXT: cir.store{{.*}} %[[TEMP_VALUE]], %[[TEMP_SLOT]]20// CIR-NEXT: cir.store{{.*}} %[[TEMP_SLOT]], %[[X]]21 22// LLVM: define {{.*}} i32 @_Z4testv()23// LLVM: %[[RETVAL:.*]] = alloca i3224// LLVM: %[[TEMP_SLOT:.*]] = alloca i3225// LLVM: %[[X:.*]] = alloca ptr26// LLVM: %[[TEMP_VALUE:.*]] = call i32 @_Z8make_intv()27// LLVM: store i32 %[[TEMP_VALUE]], ptr %[[TEMP_SLOT]]28// LLVM: store ptr %[[TEMP_SLOT]], ptr %[[X]]29 30// OGCG: define {{.*}} i32 @_Z4testv()31// OGCG: %[[X:.*]] = alloca ptr32// OGCG: %[[TEMP_SLOT:.*]] = alloca i3233// OGCG: %[[TEMP_VALUE:.*]] = call noundef i32 @_Z8make_intv()34// OGCG: store i32 %[[TEMP_VALUE]], ptr %[[TEMP_SLOT]]35// OGCG: store ptr %[[TEMP_SLOT]], ptr %[[X]]36 37int test_scoped() {38 int x = make_int();39 {40 const int &y = make_int();41 x = y;42 }43 return x;44}45 46// CIR: cir.func {{.*}} @_Z11test_scopedv()47// CIR: %[[X:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["x", init]48// CIR: cir.scope {49// CIR-NEXT: %[[TEMP_SLOT:.*]] = cir.alloca !s32i, !cir.ptr<!s32i>, ["ref.tmp0", init]50// CIR-NEXT: %[[Y_ADDR:.*]] = cir.alloca !cir.ptr<!s32i>, !cir.ptr<!cir.ptr<!s32i>>, ["y", init, const]51// CIR-NEXT: %[[TEMP_VALUE:.*]] = cir.call @_Z8make_intv() : () -> !s32i52// CIR-NEXT: cir.store{{.*}} %[[TEMP_VALUE]], %[[TEMP_SLOT]] : !s32i, !cir.ptr<!s32i>53// CIR-NEXT: cir.store{{.*}} %[[TEMP_SLOT]], %[[Y_ADDR]] : !cir.ptr<!s32i>, !cir.ptr<!cir.ptr<!s32i>>54// CIR-NEXT: %[[Y_REF:.*]] = cir.load %[[Y_ADDR]] : !cir.ptr<!cir.ptr<!s32i>>, !cir.ptr<!s32i>55// CIR-NEXT: %[[Y_VALUE:.*]] = cir.load{{.*}} %[[Y_REF]] : !cir.ptr<!s32i>, !s32i56// CIR-NEXT: cir.store{{.*}} %[[Y_VALUE]], %[[X]] : !s32i, !cir.ptr<!s32i>57// CIR-NEXT: }58 59// LLVM: define {{.*}} i32 @_Z11test_scopedv()60// LLVM: %[[TEMP_SLOT:.*]] = alloca i3261// LLVM: %[[Y_ADDR:.*]] = alloca ptr62// LLVM: %[[RETVAL:.*]] = alloca i3263// LLVM: %[[X:.*]] = alloca i3264// LLVM: %[[TEMP_VALUE1:.*]] = call i32 @_Z8make_intv()65// LLVM: store i32 %[[TEMP_VALUE1]], ptr %[[X]]66// LLVM: br label %[[SCOPE_LABEL:.*]]67// LLVM: [[SCOPE_LABEL]]:68// LLVM: %[[TEMP_VALUE2:.*]] = call i32 @_Z8make_intv()69// LLVM: store i32 %[[TEMP_VALUE2]], ptr %[[TEMP_SLOT]]70// LLVM: store ptr %[[TEMP_SLOT]], ptr %[[Y_ADDR]]71// LLVM: %[[Y_REF:.*]] = load ptr, ptr %[[Y_ADDR]]72// LLVM: %[[Y_VALUE:.*]] = load i32, ptr %[[Y_REF]]73// LLVM: store i32 %[[Y_VALUE]], ptr %[[X]]74 75// OGCG: define {{.*}} i32 @_Z11test_scopedv()76// OGCG: %[[X:.*]] = alloca i3277// OGCG: %[[Y_ADDR:.*]] = alloca ptr78// OGCG: %[[TEMP_SLOT:.*]] = alloca i3279// OGCG: %[[TEMP_VALUE1:.*]] = call noundef i32 @_Z8make_intv()80// OGCG: store i32 %[[TEMP_VALUE1]], ptr %[[X]]81// OGCG: %[[TEMP_VALUE2:.*]] = call noundef i32 @_Z8make_intv()82// OGCG: store i32 %[[TEMP_VALUE2]], ptr %[[TEMP_SLOT]]83// OGCG: store ptr %[[TEMP_SLOT]], ptr %[[Y_ADDR]]84// OGCG: %[[Y_REF:.*]] = load ptr, ptr %[[Y_ADDR]]85// OGCG: %[[Y_VALUE:.*]] = load i32, ptr %[[Y_REF]]86// OGCG: store i32 %[[Y_VALUE]], ptr %[[X]]87