1// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py
2// Example input for update_cc_test_checks
3// RUN: %clang_cc1 -no-opaque-pointers -triple=x86_64-unknown-linux-gnu -emit-llvm -o - %s | FileCheck %s
4
5// CHECK-LABEL: @test(
6// CHECK-NEXT:  entry:
7// CHECK-NEXT:    [[A_ADDR:%.*]] = alloca i64, align 8
8// CHECK-NEXT:    [[B_ADDR:%.*]] = alloca i32, align 4
9// CHECK-NEXT:    store i64 [[A:%.*]], i64* [[A_ADDR]], align 8
10// CHECK-NEXT:    store i32 [[B:%.*]], i32* [[B_ADDR]], align 4
11// CHECK-NEXT:    [[TMP0:%.*]] = load i64, i64* [[A_ADDR]], align 8
12// CHECK-NEXT:    [[TMP1:%.*]] = load i32, i32* [[B_ADDR]], align 4
13// CHECK-NEXT:    [[CONV:%.*]] = sext i32 [[TMP1]] to i64
14// CHECK-NEXT:    [[ADD:%.*]] = add nsw i64 [[TMP0]], [[CONV]]
15// CHECK-NEXT:    ret i64 [[ADD]]
16//
17long test(long a, int b) {
18  return a + b;
19}
20
21// A function with a mangled name
22// CHECK-LABEL: @_Z4testlii(
23// CHECK-NEXT:  entry:
24// CHECK-NEXT:    [[A_ADDR:%.*]] = alloca i64, align 8
25// CHECK-NEXT:    [[B_ADDR:%.*]] = alloca i32, align 4
26// CHECK-NEXT:    [[C_ADDR:%.*]] = alloca i32, align 4
27// CHECK-NEXT:    store i64 [[A:%.*]], i64* [[A_ADDR]], align 8
28// CHECK-NEXT:    store i32 [[B:%.*]], i32* [[B_ADDR]], align 4
29// CHECK-NEXT:    store i32 [[C:%.*]], i32* [[C_ADDR]], align 4
30// CHECK-NEXT:    [[TMP0:%.*]] = load i64, i64* [[A_ADDR]], align 8
31// CHECK-NEXT:    [[TMP1:%.*]] = load i32, i32* [[B_ADDR]], align 4
32// CHECK-NEXT:    [[CONV:%.*]] = sext i32 [[TMP1]] to i64
33// CHECK-NEXT:    [[ADD:%.*]] = add nsw i64 [[TMP0]], [[CONV]]
34// CHECK-NEXT:    [[TMP2:%.*]] = load i32, i32* [[C_ADDR]], align 4
35// CHECK-NEXT:    [[CONV1:%.*]] = sext i32 [[TMP2]] to i64
36// CHECK-NEXT:    [[ADD2:%.*]] = add nsw i64 [[ADD]], [[CONV1]]
37// CHECK-NEXT:    ret i64 [[ADD2]]
38//
39__attribute__((overloadable)) long test(long a, int b, int c) {
40  return a + b + c;
41}
42