55 lines · cpp
1// RUN: %clang_cc1 -std=c++20 -triple x86_64-unknown-linux-gnu -fclangir -emit-llvm %s -o - 2>&1 | FileCheck %s2 3int f1() {4 int i;5 return i;6}7 8// CHECK: define{{.*}} i32 @_Z2f1v(){{.*}} {9// CHECK: %[[RV:.*]] = alloca i32, i64 1, align 410// CHECK: %[[I_PTR:.*]] = alloca i32, i64 1, align 411// CHECK: %[[I:.*]] = load i32, ptr %[[I_PTR]], align 412// CHECK: store i32 %[[I]], ptr %[[RV]], align 413// CHECK: %[[R:.*]] = load i32, ptr %[[RV]], align 414// CHECK: ret i32 %[[R]]15 16int f2() {17 const int i = 2;18 return i;19}20 21// CHECK: define{{.*}} i32 @_Z2f2v(){{.*}} {22// CHECK: %[[RV:.*]] = alloca i32, i64 1, align 423// CHECK: %[[I_PTR:.*]] = alloca i32, i64 1, align 424// CHECK: store i32 2, ptr %[[I_PTR]], align 425// CHECK: %[[I:.*]] = load i32, ptr %[[I_PTR]], align 426// CHECK: store i32 %[[I]], ptr %[[RV]], align 427// CHECK: %[[R:.*]] = load i32, ptr %[[RV]], align 428// CHECK: ret i32 %[[R]]29 30int f3(int i) {31 return i;32 }33 34// CHECK: define{{.*}} i32 @_Z2f3i(i32 %[[ARG:.*]])35// CHECK: %[[ARG_ALLOCA:.*]] = alloca i32, i64 1, align 436// CHECK: %[[RV:.*]] = alloca i32, i64 1, align 437// CHECK: store i32 %[[ARG]], ptr %[[ARG_ALLOCA]], align 438// CHECK: %[[ARG_VAL:.*]] = load i32, ptr %[[ARG_ALLOCA]], align 439// CHECK: store i32 %[[ARG_VAL]], ptr %[[RV]], align 440// CHECK: %[[R:.*]] = load i32, ptr %[[RV]], align 441// CHECK: ret i32 %[[R]]42 43int f4(const int i) {44 return i;45}46 47// CHECK: define{{.*}} i32 @_Z2f4i(i32 %[[ARG:.*]])48// CHECK: %[[ARG_ALLOCA:.*]] = alloca i32, i64 1, align 449// CHECK: %[[RV:.*]] = alloca i32, i64 1, align 450// CHECK: store i32 %[[ARG]], ptr %[[ARG_ALLOCA]], align 451// CHECK: %[[ARG_VAL:.*]] = load i32, ptr %[[ARG_ALLOCA]], align 452// CHECK: store i32 %[[ARG_VAL]], ptr %[[RV]], align 453// CHECK: %[[R:.*]] = load i32, ptr %[[RV]], align 454// CHECK: ret i32 %[[R]]55