110 lines · c
1// RUN: %clang_cc1 -triple x86_64-gnu-linux -emit-llvm %s -o - | FileCheck %s2 3#define __maybe_undef __attribute__((maybe_undef))4 5// CHECK: define{{.*}} void @t1(i32 noundef [[TMP1:%.*]], i32 noundef [[TMP2:%.*]], i32 noundef [[TMP3:%.*]])6// CHECK-NEXT: entry:7// CHECK-NEXT: [[TMP4:%.*]] = alloca i32, align 48// CHECK-NEXT: [[TMP5:%.*]] = alloca i32, align 49// CHECK-NEXT: [[TMP6:%.*]] = alloca i32, align 410// CHECK-NEXT: store i32 [[TMP1:%.*]], ptr [[TMP4:%.*]], align 411// CHECK-NEXT: store i32 [[TMP2:%.*]], ptr [[TMP5:%.*]], align 412// CHECK-NEXT: store i32 [[TMP3:%.*]], ptr [[TMP6:%.*]], align 413// CHECK-NEXT: ret void14 15// CHECK: define{{.*}} void @t2(i32 noundef [[TMP1:%.*]], i32 noundef [[TMP2:%.*]], i32 noundef [[TMP3:%.*]])16// CHECK-NEXT: entry:17// CHECK-NEXT: [[TMP4:%.*]] = alloca i32, align 418// CHECK-NEXT: [[TMP5:%.*]] = alloca i32, align 419// CHECK-NEXT: [[TMP6:%.*]] = alloca i32, align 420// CHECK-NEXT: store i32 [[TMP1:%.*]], ptr [[TMP4:%.*]], align 421// CHECK-NEXT: store i32 [[TMP2:%.*]], ptr [[TMP5:%.*]], align 422// CHECK-NEXT: store i32 [[TMP3:%.*]], ptr [[TMP6:%.*]], align 423// CHECK-NEXT: [[TMP7:%.*]] = load i32, ptr [[TMP4:%.*]], align 424// CHECK-NEXT: [[TMP8:%.*]] = load i32, ptr [[TMP5:%.*]], align 425// CHECK-NEXT: [[TMP9:%.*]] = load i32, ptr [[TMP6:%.*]], align 426// CHECK-NEXT: [[TMP10:%.*]] = freeze i32 [[TMP8:%.*]]27// CHECK-NEXT: call void @t1(i32 noundef [[TMP7:%.*]], i32 noundef [[TMP10:%.*]], i32 noundef [[TMP9:%.*]])28// CHECK-NEXT: ret void29 30void t1(int param1, int __maybe_undef param2, int param3) {}31 32void t2(int param1, int param2, int param3) {33 t1(param1, param2, param3);34}35 36// CHECK: define{{.*}} void @TestVariadicFunction(i32 noundef [[TMP0:%.*]], ...)37// CHECK-NEXT: entry:38// CHECK-NEXT: [[TMP1:%.*]] = alloca i32, align 439// CHECK-NEXT: [[TMP2:%.*]] = alloca i32, align 440// CHECK-NEXT: store i32 [[TMP0:%.*]], ptr [[TMP1:%.*]], align 441// CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[TMP1:%.*]], align 442// CHECK-NEXT: [[TMP4:%.*]] = load i32, ptr [[TMP2:%.*]], align 443// CHECK-NEXT: [[TMP5:%.*]] = load i32, ptr [[TMP2:%.*]], align 444// CHECK-NEXT: [[TMP5:%.*]] = freeze i32 [[TMP2:%.*]]45// CHECK-NEXT: call void (i32, ...) @VariadicFunction(i32 noundef [[TMP6:%.*]], i32 noundef [[TMP4:%.*]], i32 noundef [[TMP5:%.*]])46// CHECK-NEXT: ret void47 48// CHECK: declare{{.*}} void @VariadicFunction(i32 noundef, ...)49 50void VariadicFunction(int __maybe_undef x, ...);51void TestVariadicFunction(int x, ...) {52 int Var;53 return VariadicFunction(x, Var, Var);54}55 56// CHECK: define{{.*}} void @other()57// CHECK-NEXT: entry:58// CHECK-NEXT: [[TMP1:%.*]] = alloca i32, align 459// CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[TMP1:%.*]], align 460// CHECK-NEXT: call void @func(i32 noundef [[TMP2:%.*]])61// CHECK-NEXT: [[TMP3:%.*]] = load i32, ptr [[TMP1:%.*]], align 462// CHECK-NEXT: [[TMP4:%.*]] = freeze i32 [[TMP3:%.*]]63// CHECK-NEXT: call void @func1(i32 noundef [[TMP4:%.*]])64// CHECK-NEXT: ret void65 66// CHECK: define{{.*}} void @func(i32 noundef [[TMP1:%.*]])67// CHECK-NEXT: entry:68// CHECK-NEXT: [[TMP2:%.*]] = alloca i32, align 469// CHECK-NEXT: store i32 [[TMP1:%.*]], ptr [[TMP2:%.*]], align 470// CHECK-NEXT: ret void71 72// CHECK: define{{.*}} void @func1(i32 noundef [[TMP1:%.*]])73// CHECK-NEXT: entry:74// CHECK-NEXT: [[TMP2:%.*]] = alloca i32, align 475// CHECK-NEXT: store i32 [[TMP1:%.*]], ptr [[TMP2:%.*]], align 476// CHECK-NEXT: ret void77 78void func(int param);79void func1(int __maybe_undef param);80 81void other() {82 int Var;83 func(Var);84 func1(Var);85}86 87void func(__maybe_undef int param) {}88void func1(int param) {}89 90// CHECK: define{{.*}} void @foo(i32 noundef [[TMP1:%.*]])91// CHECK-NEXT: entry:92// CHECK-NEXT: [[TMP2:%.*]] = alloca i32, align 493// CHECK-NEXT: store i32 [[TMP1:%.*]], ptr [[TMP2:%.*]], align 494// CHECK-NEXT: ret void95 96// CHECK: define{{.*}} void @bar()97// CHECK-NEXT: entry:98// CHECK-NEXT: [[TMP1:%.*]] = alloca i32, align 499// CHECK-NEXT: [[TMP2:%.*]] = load i32, ptr [[TMP1:%.*]], align 4100// CHECK-NEXT: call void @foo(i32 noundef [[TMP2:%.*]])101// CHECK-NEXT: ret void102 103void foo(__maybe_undef int param);104void foo(int param) {}105 106void bar() {107 int Var;108 foo(Var);109}110