44 lines · plain
1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --function-signature2// Example input for update_cc_test_checks3// RUN: %clang_cc1 -triple=x86_64-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s4 5// CHECK-LABEL: define {{[^@]+}}@test6// CHECK-SAME: (i64 noundef [[A:%.*]], i32 noundef [[B:%.*]]) #[[ATTR0:[0-9]+]] {7// CHECK-NEXT: entry:8// CHECK-NEXT: [[A_ADDR:%.*]] = alloca i64, align 89// CHECK-NEXT: [[B_ADDR:%.*]] = alloca i32, align 410// CHECK-NEXT: store i64 [[A]], ptr [[A_ADDR]], align 811// CHECK-NEXT: store i32 [[B]], ptr [[B_ADDR]], align 412// CHECK-NEXT: [[TMP0:%.*]] = load i64, ptr [[A_ADDR]], align 813// CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[B_ADDR]], align 414// CHECK-NEXT: [[CONV:%.*]] = sext i32 [[TMP1]] to i6415// CHECK-NEXT: [[ADD:%.*]] = add nsw i64 [[TMP0]], [[CONV]]16// CHECK-NEXT: ret i64 [[ADD]]17//18long test(long a, int b) {19 return a + b;20}21 22// A function with a mangled name23// CHECK-LABEL: define {{[^@]+}}@_Z4testlii24// CHECK-SAME: (i64 noundef [[A:%.*]], i32 noundef [[B:%.*]], i32 noundef [[C:%.*]]) #[[ATTR0]] {25// CHECK-NEXT: entry:26// CHECK-NEXT: [[A_ADDR:%.*]] = alloca i64, align 827// CHECK-NEXT: [[B_ADDR:%.*]] = alloca i32, align 428// CHECK-NEXT: [[C_ADDR:%.*]] = alloca i32, align 429// CHECK-NEXT: store i64 [[A]], ptr [[A_ADDR]], align 830// CHECK-NEXT: store i32 [[B]], ptr [[B_ADDR]], align 431// CHECK-NEXT: store i32 [[C]], ptr [[C_ADDR]], align 432// CHECK-NEXT: [[TMP0:%.*]] = load i64, ptr [[A_ADDR]], align 833// CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[B_ADDR]], align 434// CHECK-NEXT: [[CONV:%.*]] = sext i32 [[TMP1]] to i6435// CHECK-NEXT: [[ADD:%.*]] = add nsw i64 [[TMP0]], [[CONV]]36// CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[C_ADDR]], align 437// CHECK-NEXT: [[CONV1:%.*]] = sext i32 [[TMP2]] to i6438// CHECK-NEXT: [[ADD2:%.*]] = add nsw i64 [[ADD]], [[CONV1]]39// CHECK-NEXT: ret i64 [[ADD2]]40//41__attribute__((overloadable)) long test(long a, int b, int c) {42 return a + b + c;43}44