diff --git a/clang/test/utils/update_cc_test_checks/Inputs/generated-funcs.c b/clang/test/utils/update_cc_test_checks/Inputs/generated-funcs.c new file mode 100644 index 000000000000..42b9f4fffaa1 --- /dev/null +++ b/clang/test/utils/update_cc_test_checks/Inputs/generated-funcs.c @@ -0,0 +1,31 @@ +// Check that the CHECK lines are generated for clang-generated functions +// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fopenmp %s -emit-llvm -o - | FileCheck --check-prefix=OMP %s +// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu %s -emit-llvm -o - | FileCheck --check-prefix=NOOMP %s + +const int size = 1024 * 1024 * 32; + +double A[size]; + +void foo(void); + +int main() { + int i = 0; + +#pragma omp parallel for + for (i = 0; i < size; ++i) { + A[i] = 0.0; + } + + foo(); + + return 0; +} + +void foo(void) { + int i = 0; + +#pragma omp parallel for + for (i = 0; i < size; ++i) { + A[i] = 1.0; + } +} diff --git a/clang/test/utils/update_cc_test_checks/Inputs/generated-funcs.c.generated.expected b/clang/test/utils/update_cc_test_checks/Inputs/generated-funcs.c.generated.expected new file mode 100644 index 000000000000..d41971b3a027 --- /dev/null +++ b/clang/test/utils/update_cc_test_checks/Inputs/generated-funcs.c.generated.expected @@ -0,0 +1,229 @@ +// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py UTC_ARGS: --include-generated-funcs +// Check that the CHECK lines are generated for clang-generated functions +// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fopenmp %s -emit-llvm -o - | FileCheck --check-prefix=OMP %s +// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu %s -emit-llvm -o - | FileCheck --check-prefix=NOOMP %s + +const int size = 1024 * 1024 * 32; + +double A[size]; + +void foo(void); + +int main() { + int i = 0; + +#pragma omp parallel for + for (i = 0; i < size; ++i) { + A[i] = 0.0; + } + + foo(); + + return 0; +} + +void foo(void) { + int i = 0; + +#pragma omp parallel for + for (i = 0; i < size; ++i) { + A[i] = 1.0; + } +} +// OMP-LABEL: @foo( +// OMP-NEXT: entry: +// OMP-NEXT: [[I:%.*]] = alloca i32, align 4 +// OMP-NEXT: store i32 0, i32* [[I]], align 4 +// OMP-NEXT: call void (%struct.ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(%struct.ident_t* [[GLOB2:@.*]], i32 0, void (i32*, i32*, ...)* bitcast (void (i32*, i32*)* @.omp_outlined. to void (i32*, i32*, ...)*)) +// OMP-NEXT: ret void +// +// +// OMP-LABEL: @.omp_outlined.( +// OMP-NEXT: entry: +// OMP-NEXT: [[DOTGLOBAL_TID__ADDR:%.*]] = alloca i32*, align 8 +// OMP-NEXT: [[DOTBOUND_TID__ADDR:%.*]] = alloca i32*, align 8 +// OMP-NEXT: [[DOTOMP_IV:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[TMP:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[DOTOMP_LB:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[DOTOMP_UB:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[DOTOMP_STRIDE:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[DOTOMP_IS_LAST:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[I:%.*]] = alloca i32, align 4 +// OMP-NEXT: store i32* [[DOTGLOBAL_TID_:%.*]], i32** [[DOTGLOBAL_TID__ADDR]], align 8 +// OMP-NEXT: store i32* [[DOTBOUND_TID_:%.*]], i32** [[DOTBOUND_TID__ADDR]], align 8 +// OMP-NEXT: store i32 0, i32* [[DOTOMP_LB]], align 4 +// OMP-NEXT: store i32 33554431, i32* [[DOTOMP_UB]], align 4 +// OMP-NEXT: store i32 1, i32* [[DOTOMP_STRIDE]], align 4 +// OMP-NEXT: store i32 0, i32* [[DOTOMP_IS_LAST]], align 4 +// OMP-NEXT: [[TMP0:%.*]] = load i32*, i32** [[DOTGLOBAL_TID__ADDR]], align 8 +// OMP-NEXT: [[TMP1:%.*]] = load i32, i32* [[TMP0]], align 4 +// OMP-NEXT: call void @__kmpc_for_static_init_4(%struct.ident_t* [[GLOB1:@.*]], i32 [[TMP1]], i32 34, i32* [[DOTOMP_IS_LAST]], i32* [[DOTOMP_LB]], i32* [[DOTOMP_UB]], i32* [[DOTOMP_STRIDE]], i32 1, i32 1) +// OMP-NEXT: [[TMP2:%.*]] = load i32, i32* [[DOTOMP_UB]], align 4 +// OMP-NEXT: [[CMP:%.*]] = icmp sgt i32 [[TMP2]], 33554431 +// OMP-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]] +// OMP: cond.true: +// OMP-NEXT: br label [[COND_END:%.*]] +// OMP: cond.false: +// OMP-NEXT: [[TMP3:%.*]] = load i32, i32* [[DOTOMP_UB]], align 4 +// OMP-NEXT: br label [[COND_END]] +// OMP: cond.end: +// OMP-NEXT: [[COND:%.*]] = phi i32 [ 33554431, [[COND_TRUE]] ], [ [[TMP3]], [[COND_FALSE]] ] +// OMP-NEXT: store i32 [[COND]], i32* [[DOTOMP_UB]], align 4 +// OMP-NEXT: [[TMP4:%.*]] = load i32, i32* [[DOTOMP_LB]], align 4 +// OMP-NEXT: store i32 [[TMP4]], i32* [[DOTOMP_IV]], align 4 +// OMP-NEXT: br label [[OMP_INNER_FOR_COND:%.*]] +// OMP: omp.inner.for.cond: +// OMP-NEXT: [[TMP5:%.*]] = load i32, i32* [[DOTOMP_IV]], align 4 +// OMP-NEXT: [[TMP6:%.*]] = load i32, i32* [[DOTOMP_UB]], align 4 +// OMP-NEXT: [[CMP1:%.*]] = icmp sle i32 [[TMP5]], [[TMP6]] +// OMP-NEXT: br i1 [[CMP1]], label [[OMP_INNER_FOR_BODY:%.*]], label [[OMP_INNER_FOR_END:%.*]] +// OMP: omp.inner.for.body: +// OMP-NEXT: [[TMP7:%.*]] = load i32, i32* [[DOTOMP_IV]], align 4 +// OMP-NEXT: [[MUL:%.*]] = mul nsw i32 [[TMP7]], 1 +// OMP-NEXT: [[ADD:%.*]] = add nsw i32 0, [[MUL]] +// OMP-NEXT: store i32 [[ADD]], i32* [[I]], align 4 +// OMP-NEXT: [[TMP8:%.*]] = load i32, i32* [[I]], align 4 +// OMP-NEXT: [[IDXPROM:%.*]] = sext i32 [[TMP8]] to i64 +// OMP-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [33554432 x double], [33554432 x double]* @A, i64 0, i64 [[IDXPROM]] +// OMP-NEXT: store double 1.000000e+00, double* [[ARRAYIDX]], align 8 +// OMP-NEXT: br label [[OMP_BODY_CONTINUE:%.*]] +// OMP: omp.body.continue: +// OMP-NEXT: br label [[OMP_INNER_FOR_INC:%.*]] +// OMP: omp.inner.for.inc: +// OMP-NEXT: [[TMP9:%.*]] = load i32, i32* [[DOTOMP_IV]], align 4 +// OMP-NEXT: [[ADD2:%.*]] = add nsw i32 [[TMP9]], 1 +// OMP-NEXT: store i32 [[ADD2]], i32* [[DOTOMP_IV]], align 4 +// OMP-NEXT: br label [[OMP_INNER_FOR_COND]] +// OMP: omp.inner.for.end: +// OMP-NEXT: br label [[OMP_LOOP_EXIT:%.*]] +// OMP: omp.loop.exit: +// OMP-NEXT: call void @__kmpc_for_static_fini(%struct.ident_t* [[GLOB1]], i32 [[TMP1]]) +// OMP-NEXT: ret void +// +// +// OMP-LABEL: @main( +// OMP-NEXT: entry: +// OMP-NEXT: [[RETVAL:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[I:%.*]] = alloca i32, align 4 +// OMP-NEXT: store i32 0, i32* [[RETVAL]], align 4 +// OMP-NEXT: store i32 0, i32* [[I]], align 4 +// OMP-NEXT: call void (%struct.ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(%struct.ident_t* [[GLOB2]], i32 0, void (i32*, i32*, ...)* bitcast (void (i32*, i32*)* @.omp_outlined..1 to void (i32*, i32*, ...)*)) +// OMP-NEXT: call void @foo() +// OMP-NEXT: ret i32 0 +// +// +// OMP-LABEL: @.omp_outlined..1( +// OMP-NEXT: entry: +// OMP-NEXT: [[DOTGLOBAL_TID__ADDR:%.*]] = alloca i32*, align 8 +// OMP-NEXT: [[DOTBOUND_TID__ADDR:%.*]] = alloca i32*, align 8 +// OMP-NEXT: [[DOTOMP_IV:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[TMP:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[DOTOMP_LB:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[DOTOMP_UB:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[DOTOMP_STRIDE:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[DOTOMP_IS_LAST:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[I:%.*]] = alloca i32, align 4 +// OMP-NEXT: store i32* [[DOTGLOBAL_TID_:%.*]], i32** [[DOTGLOBAL_TID__ADDR]], align 8 +// OMP-NEXT: store i32* [[DOTBOUND_TID_:%.*]], i32** [[DOTBOUND_TID__ADDR]], align 8 +// OMP-NEXT: store i32 0, i32* [[DOTOMP_LB]], align 4 +// OMP-NEXT: store i32 33554431, i32* [[DOTOMP_UB]], align 4 +// OMP-NEXT: store i32 1, i32* [[DOTOMP_STRIDE]], align 4 +// OMP-NEXT: store i32 0, i32* [[DOTOMP_IS_LAST]], align 4 +// OMP-NEXT: [[TMP0:%.*]] = load i32*, i32** [[DOTGLOBAL_TID__ADDR]], align 8 +// OMP-NEXT: [[TMP1:%.*]] = load i32, i32* [[TMP0]], align 4 +// OMP-NEXT: call void @__kmpc_for_static_init_4(%struct.ident_t* [[GLOB1]], i32 [[TMP1]], i32 34, i32* [[DOTOMP_IS_LAST]], i32* [[DOTOMP_LB]], i32* [[DOTOMP_UB]], i32* [[DOTOMP_STRIDE]], i32 1, i32 1) +// OMP-NEXT: [[TMP2:%.*]] = load i32, i32* [[DOTOMP_UB]], align 4 +// OMP-NEXT: [[CMP:%.*]] = icmp sgt i32 [[TMP2]], 33554431 +// OMP-NEXT: br i1 [[CMP]], label [[COND_TRUE:%.*]], label [[COND_FALSE:%.*]] +// OMP: cond.true: +// OMP-NEXT: br label [[COND_END:%.*]] +// OMP: cond.false: +// OMP-NEXT: [[TMP3:%.*]] = load i32, i32* [[DOTOMP_UB]], align 4 +// OMP-NEXT: br label [[COND_END]] +// OMP: cond.end: +// OMP-NEXT: [[COND:%.*]] = phi i32 [ 33554431, [[COND_TRUE]] ], [ [[TMP3]], [[COND_FALSE]] ] +// OMP-NEXT: store i32 [[COND]], i32* [[DOTOMP_UB]], align 4 +// OMP-NEXT: [[TMP4:%.*]] = load i32, i32* [[DOTOMP_LB]], align 4 +// OMP-NEXT: store i32 [[TMP4]], i32* [[DOTOMP_IV]], align 4 +// OMP-NEXT: br label [[OMP_INNER_FOR_COND:%.*]] +// OMP: omp.inner.for.cond: +// OMP-NEXT: [[TMP5:%.*]] = load i32, i32* [[DOTOMP_IV]], align 4 +// OMP-NEXT: [[TMP6:%.*]] = load i32, i32* [[DOTOMP_UB]], align 4 +// OMP-NEXT: [[CMP1:%.*]] = icmp sle i32 [[TMP5]], [[TMP6]] +// OMP-NEXT: br i1 [[CMP1]], label [[OMP_INNER_FOR_BODY:%.*]], label [[OMP_INNER_FOR_END:%.*]] +// OMP: omp.inner.for.body: +// OMP-NEXT: [[TMP7:%.*]] = load i32, i32* [[DOTOMP_IV]], align 4 +// OMP-NEXT: [[MUL:%.*]] = mul nsw i32 [[TMP7]], 1 +// OMP-NEXT: [[ADD:%.*]] = add nsw i32 0, [[MUL]] +// OMP-NEXT: store i32 [[ADD]], i32* [[I]], align 4 +// OMP-NEXT: [[TMP8:%.*]] = load i32, i32* [[I]], align 4 +// OMP-NEXT: [[IDXPROM:%.*]] = sext i32 [[TMP8]] to i64 +// OMP-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [33554432 x double], [33554432 x double]* @A, i64 0, i64 [[IDXPROM]] +// OMP-NEXT: store double 0.000000e+00, double* [[ARRAYIDX]], align 8 +// OMP-NEXT: br label [[OMP_BODY_CONTINUE:%.*]] +// OMP: omp.body.continue: +// OMP-NEXT: br label [[OMP_INNER_FOR_INC:%.*]] +// OMP: omp.inner.for.inc: +// OMP-NEXT: [[TMP9:%.*]] = load i32, i32* [[DOTOMP_IV]], align 4 +// OMP-NEXT: [[ADD2:%.*]] = add nsw i32 [[TMP9]], 1 +// OMP-NEXT: store i32 [[ADD2]], i32* [[DOTOMP_IV]], align 4 +// OMP-NEXT: br label [[OMP_INNER_FOR_COND]] +// OMP: omp.inner.for.end: +// OMP-NEXT: br label [[OMP_LOOP_EXIT:%.*]] +// OMP: omp.loop.exit: +// OMP-NEXT: call void @__kmpc_for_static_fini(%struct.ident_t* [[GLOB1]], i32 [[TMP1]]) +// OMP-NEXT: ret void +// +// +// NOOMP-LABEL: @main( +// NOOMP-NEXT: entry: +// NOOMP-NEXT: [[RETVAL:%.*]] = alloca i32, align 4 +// NOOMP-NEXT: [[I:%.*]] = alloca i32, align 4 +// NOOMP-NEXT: store i32 0, i32* [[RETVAL]], align 4 +// NOOMP-NEXT: store i32 0, i32* [[I]], align 4 +// NOOMP-NEXT: store i32 0, i32* [[I]], align 4 +// NOOMP-NEXT: br label [[FOR_COND:%.*]] +// NOOMP: for.cond: +// NOOMP-NEXT: [[TMP0:%.*]] = load i32, i32* [[I]], align 4 +// NOOMP-NEXT: [[CMP:%.*]] = icmp slt i32 [[TMP0]], 33554432 +// NOOMP-NEXT: br i1 [[CMP]], label [[FOR_BODY:%.*]], label [[FOR_END:%.*]] +// NOOMP: for.body: +// NOOMP-NEXT: [[TMP1:%.*]] = load i32, i32* [[I]], align 4 +// NOOMP-NEXT: [[IDXPROM:%.*]] = sext i32 [[TMP1]] to i64 +// NOOMP-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [33554432 x double], [33554432 x double]* @A, i64 0, i64 [[IDXPROM]] +// NOOMP-NEXT: store double 0.000000e+00, double* [[ARRAYIDX]], align 8 +// NOOMP-NEXT: br label [[FOR_INC:%.*]] +// NOOMP: for.inc: +// NOOMP-NEXT: [[TMP2:%.*]] = load i32, i32* [[I]], align 4 +// NOOMP-NEXT: [[INC:%.*]] = add nsw i32 [[TMP2]], 1 +// NOOMP-NEXT: store i32 [[INC]], i32* [[I]], align 4 +// NOOMP-NEXT: br label [[FOR_COND]] +// NOOMP: for.end: +// NOOMP-NEXT: call void @foo() +// NOOMP-NEXT: ret i32 0 +// +// +// NOOMP-LABEL: @foo( +// NOOMP-NEXT: entry: +// NOOMP-NEXT: [[I:%.*]] = alloca i32, align 4 +// NOOMP-NEXT: store i32 0, i32* [[I]], align 4 +// NOOMP-NEXT: store i32 0, i32* [[I]], align 4 +// NOOMP-NEXT: br label [[FOR_COND:%.*]] +// NOOMP: for.cond: +// NOOMP-NEXT: [[TMP0:%.*]] = load i32, i32* [[I]], align 4 +// NOOMP-NEXT: [[CMP:%.*]] = icmp slt i32 [[TMP0]], 33554432 +// NOOMP-NEXT: br i1 [[CMP]], label [[FOR_BODY:%.*]], label [[FOR_END:%.*]] +// NOOMP: for.body: +// NOOMP-NEXT: [[TMP1:%.*]] = load i32, i32* [[I]], align 4 +// NOOMP-NEXT: [[IDXPROM:%.*]] = sext i32 [[TMP1]] to i64 +// NOOMP-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [33554432 x double], [33554432 x double]* @A, i64 0, i64 [[IDXPROM]] +// NOOMP-NEXT: store double 1.000000e+00, double* [[ARRAYIDX]], align 8 +// NOOMP-NEXT: br label [[FOR_INC:%.*]] +// NOOMP: for.inc: +// NOOMP-NEXT: [[TMP2:%.*]] = load i32, i32* [[I]], align 4 +// NOOMP-NEXT: [[INC:%.*]] = add nsw i32 [[TMP2]], 1 +// NOOMP-NEXT: store i32 [[INC]], i32* [[I]], align 4 +// NOOMP-NEXT: br label [[FOR_COND]] +// NOOMP: for.end: +// NOOMP-NEXT: ret void +// diff --git a/clang/test/utils/update_cc_test_checks/Inputs/generated-funcs.c.no-generated.expected b/clang/test/utils/update_cc_test_checks/Inputs/generated-funcs.c.no-generated.expected new file mode 100644 index 000000000000..8aa1cb591e09 --- /dev/null +++ b/clang/test/utils/update_cc_test_checks/Inputs/generated-funcs.c.no-generated.expected @@ -0,0 +1,100 @@ +// NOTE: Assertions have been autogenerated by utils/update_cc_test_checks.py +// Check that the CHECK lines are generated for clang-generated functions +// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fopenmp %s -emit-llvm -o - | FileCheck --check-prefix=OMP %s +// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu %s -emit-llvm -o - | FileCheck --check-prefix=NOOMP %s + +const int size = 1024 * 1024 * 32; + +double A[size]; + +void foo(void); + +// OMP-LABEL: @main( +// OMP-NEXT: entry: +// OMP-NEXT: [[RETVAL:%.*]] = alloca i32, align 4 +// OMP-NEXT: [[I:%.*]] = alloca i32, align 4 +// OMP-NEXT: store i32 0, i32* [[RETVAL]], align 4 +// OMP-NEXT: store i32 0, i32* [[I]], align 4 +// OMP-NEXT: call void (%struct.ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(%struct.ident_t* [[GLOB2:@.*]], i32 0, void (i32*, i32*, ...)* bitcast (void (i32*, i32*)* @.omp_outlined..1 to void (i32*, i32*, ...)*)) +// OMP-NEXT: call void @foo() +// OMP-NEXT: ret i32 0 +// +// NOOMP-LABEL: @main( +// NOOMP-NEXT: entry: +// NOOMP-NEXT: [[RETVAL:%.*]] = alloca i32, align 4 +// NOOMP-NEXT: [[I:%.*]] = alloca i32, align 4 +// NOOMP-NEXT: store i32 0, i32* [[RETVAL]], align 4 +// NOOMP-NEXT: store i32 0, i32* [[I]], align 4 +// NOOMP-NEXT: store i32 0, i32* [[I]], align 4 +// NOOMP-NEXT: br label [[FOR_COND:%.*]] +// NOOMP: for.cond: +// NOOMP-NEXT: [[TMP0:%.*]] = load i32, i32* [[I]], align 4 +// NOOMP-NEXT: [[CMP:%.*]] = icmp slt i32 [[TMP0]], 33554432 +// NOOMP-NEXT: br i1 [[CMP]], label [[FOR_BODY:%.*]], label [[FOR_END:%.*]] +// NOOMP: for.body: +// NOOMP-NEXT: [[TMP1:%.*]] = load i32, i32* [[I]], align 4 +// NOOMP-NEXT: [[IDXPROM:%.*]] = sext i32 [[TMP1]] to i64 +// NOOMP-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [33554432 x double], [33554432 x double]* @A, i64 0, i64 [[IDXPROM]] +// NOOMP-NEXT: store double 0.000000e+00, double* [[ARRAYIDX]], align 8 +// NOOMP-NEXT: br label [[FOR_INC:%.*]] +// NOOMP: for.inc: +// NOOMP-NEXT: [[TMP2:%.*]] = load i32, i32* [[I]], align 4 +// NOOMP-NEXT: [[INC:%.*]] = add nsw i32 [[TMP2]], 1 +// NOOMP-NEXT: store i32 [[INC]], i32* [[I]], align 4 +// NOOMP-NEXT: br label [[FOR_COND]] +// NOOMP: for.end: +// NOOMP-NEXT: call void @foo() +// NOOMP-NEXT: ret i32 0 +// +int main() { + int i = 0; + +#pragma omp parallel for + for (i = 0; i < size; ++i) { + A[i] = 0.0; + } + + foo(); + + return 0; +} + +// OMP-LABEL: @foo( +// OMP-NEXT: entry: +// OMP-NEXT: [[I:%.*]] = alloca i32, align 4 +// OMP-NEXT: store i32 0, i32* [[I]], align 4 +// OMP-NEXT: call void (%struct.ident_t*, i32, void (i32*, i32*, ...)*, ...) @__kmpc_fork_call(%struct.ident_t* [[GLOB2]], i32 0, void (i32*, i32*, ...)* bitcast (void (i32*, i32*)* @.omp_outlined. to void (i32*, i32*, ...)*)) +// OMP-NEXT: ret void +// +// NOOMP-LABEL: @foo( +// NOOMP-NEXT: entry: +// NOOMP-NEXT: [[I:%.*]] = alloca i32, align 4 +// NOOMP-NEXT: store i32 0, i32* [[I]], align 4 +// NOOMP-NEXT: store i32 0, i32* [[I]], align 4 +// NOOMP-NEXT: br label [[FOR_COND:%.*]] +// NOOMP: for.cond: +// NOOMP-NEXT: [[TMP0:%.*]] = load i32, i32* [[I]], align 4 +// NOOMP-NEXT: [[CMP:%.*]] = icmp slt i32 [[TMP0]], 33554432 +// NOOMP-NEXT: br i1 [[CMP]], label [[FOR_BODY:%.*]], label [[FOR_END:%.*]] +// NOOMP: for.body: +// NOOMP-NEXT: [[TMP1:%.*]] = load i32, i32* [[I]], align 4 +// NOOMP-NEXT: [[IDXPROM:%.*]] = sext i32 [[TMP1]] to i64 +// NOOMP-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [33554432 x double], [33554432 x double]* @A, i64 0, i64 [[IDXPROM]] +// NOOMP-NEXT: store double 1.000000e+00, double* [[ARRAYIDX]], align 8 +// NOOMP-NEXT: br label [[FOR_INC:%.*]] +// NOOMP: for.inc: +// NOOMP-NEXT: [[TMP2:%.*]] = load i32, i32* [[I]], align 4 +// NOOMP-NEXT: [[INC:%.*]] = add nsw i32 [[TMP2]], 1 +// NOOMP-NEXT: store i32 [[INC]], i32* [[I]], align 4 +// NOOMP-NEXT: br label [[FOR_COND]] +// NOOMP: for.end: +// NOOMP-NEXT: ret void +// +void foo(void) { + int i = 0; + +#pragma omp parallel for + for (i = 0; i < size; ++i) { + A[i] = 1.0; + } +} diff --git a/clang/test/utils/update_cc_test_checks/generated-funcs.test b/clang/test/utils/update_cc_test_checks/generated-funcs.test new file mode 100644 index 000000000000..691969caf9fb --- /dev/null +++ b/clang/test/utils/update_cc_test_checks/generated-funcs.test @@ -0,0 +1,12 @@ +## Test that CHECK lines are generated for clang-generated functions + +# RUN: cp %S/Inputs/generated-funcs.c %t-generated.c && %update_cc_test_checks --include-generated-funcs %t-generated.c +# RUN: diff -u %S/Inputs/generated-funcs.c.generated.expected %t-generated.c +# RUN: cp %S/Inputs/generated-funcs.c %t-no-generated.c && %update_cc_test_checks %t-no-generated.c +# RUN: diff -u %S/Inputs/generated-funcs.c.no-generated.expected %t-no-generated.c + +## Check that re-running update_cc_test_checks doesn't change the output +# RUN: %update_cc_test_checks --include-generated-funcs %t-generated.c +# RUN: diff -u %S/Inputs/generated-funcs.c.generated.expected %t-generated.c +# RUN: %update_cc_test_checks %t-no-generated.c +# RUN: diff -u %S/Inputs/generated-funcs.c.no-generated.expected %t-no-generated.c diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/aarch64_generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/aarch64_generated_funcs.ll new file mode 100644 index 000000000000..c45406e2ab0a --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/aarch64_generated_funcs.ll @@ -0,0 +1,63 @@ +; RUN: llc -enable-machine-outliner -mtriple=aarch64-unknown-linux < %s | FileCheck %s +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/aarch64_generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/aarch64_generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..a2f0b078157b --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/aarch64_generated_funcs.ll.generated.expected @@ -0,0 +1,132 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: llc -enable-machine-outliner -mtriple=aarch64-unknown-linux < %s | FileCheck %s +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } +; CHECK-LABEL: check_boundaries: +; CHECK: // %bb.0: +; CHECK-NEXT: sub sp, sp, #48 // =48 +; CHECK-NEXT: stp x29, x30, [sp, #32] // 16-byte Folded Spill +; CHECK-NEXT: add x29, sp, #32 // =32 +; CHECK-NEXT: .cfi_def_cfa w29, 16 +; CHECK-NEXT: .cfi_offset w30, -8 +; CHECK-NEXT: .cfi_offset w29, -16 +; CHECK-NEXT: mov w8, #1 +; CHECK-NEXT: stur xzr, [x29, #-8] +; CHECK-NEXT: cbz wzr, .LBB0_3 +; CHECK-NEXT: // %bb.1: +; CHECK-NEXT: str w8, [sp, #16] +; CHECK-NEXT: ldur w8, [x29, #-8] +; CHECK-NEXT: cbz w8, .LBB0_4 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: mov w8, #1 +; CHECK-NEXT: str w8, [sp, #16] +; CHECK-NEXT: b .LBB0_5 +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: bl OUTLINED_FUNCTION_0 +; CHECK-NEXT: ldur w8, [x29, #-8] +; CHECK-NEXT: cbnz w8, .LBB0_2 +; CHECK-NEXT: .LBB0_4: +; CHECK-NEXT: mov w8, #1 +; CHECK-NEXT: bl OUTLINED_FUNCTION_0 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: ldp x29, x30, [sp, #32] // 16-byte Folded Reload +; CHECK-NEXT: b OUTLINED_FUNCTION_1 +; +; CHECK-LABEL: main: +; CHECK: // %bb.0: +; CHECK-NEXT: sub sp, sp, #48 // =48 +; CHECK-NEXT: stp x29, x30, [sp, #32] // 16-byte Folded Spill +; CHECK-NEXT: add x29, sp, #32 // =32 +; CHECK-NEXT: .cfi_def_cfa w29, 16 +; CHECK-NEXT: .cfi_offset w30, -8 +; CHECK-NEXT: .cfi_offset w29, -16 +; CHECK-NEXT: adrp x8, x +; CHECK-NEXT: mov w9, #1 +; CHECK-NEXT: mov w10, #2 +; CHECK-NEXT: mov w11, #3 +; CHECK-NEXT: mov w12, #4 +; CHECK-NEXT: stp w9, wzr, [x29, #-8] +; CHECK-NEXT: stur w10, [x29, #-12] +; CHECK-NEXT: stp w12, w11, [sp, #12] +; CHECK-NEXT: str w9, [x8, :lo12:x] +; CHECK-NEXT: //APP +; CHECK-NEXT: //NO_APP +; CHECK-NEXT: stp w10, w9, [x29, #-12] +; CHECK-NEXT: ldp x29, x30, [sp, #32] // 16-byte Folded Reload +; CHECK-NEXT: stp w12, w11, [sp, #12] +; CHECK-NEXT: b OUTLINED_FUNCTION_1 +; +; CHECK-LABEL: OUTLINED_FUNCTION_0: +; CHECK: // %bb.0: +; CHECK-NEXT: mov w9, #2 +; CHECK-NEXT: mov w10, #3 +; CHECK-NEXT: mov w11, #4 +; CHECK-NEXT: stp w9, w8, [x29, #-12] +; CHECK-NEXT: stp w11, w10, [sp, #12] +; CHECK-NEXT: ret +; +; CHECK-LABEL: OUTLINED_FUNCTION_1: +; CHECK: // %bb.0: +; CHECK-NEXT: mov w0, wzr +; CHECK-NEXT: add sp, sp, #48 // =48 +; CHECK-NEXT: ret diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/aarch64_generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/aarch64_generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..11592d00e20d --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/aarch64_generated_funcs.ll.nogenerated.expected @@ -0,0 +1,116 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -enable-machine-outliner -mtriple=aarch64-unknown-linux < %s | FileCheck %s +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { +; CHECK-LABEL: check_boundaries: +; CHECK: // %bb.0: +; CHECK-NEXT: sub sp, sp, #48 // =48 +; CHECK-NEXT: stp x29, x30, [sp, #32] // 16-byte Folded Spill +; CHECK-NEXT: add x29, sp, #32 // =32 +; CHECK-NEXT: .cfi_def_cfa w29, 16 +; CHECK-NEXT: .cfi_offset w30, -8 +; CHECK-NEXT: .cfi_offset w29, -16 +; CHECK-NEXT: mov w8, #1 +; CHECK-NEXT: stur xzr, [x29, #-8] +; CHECK-NEXT: cbz wzr, .LBB0_3 +; CHECK-NEXT: // %bb.1: +; CHECK-NEXT: str w8, [sp, #16] +; CHECK-NEXT: ldur w8, [x29, #-8] +; CHECK-NEXT: cbz w8, .LBB0_4 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: mov w8, #1 +; CHECK-NEXT: str w8, [sp, #16] +; CHECK-NEXT: b .LBB0_5 +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: bl OUTLINED_FUNCTION_0 +; CHECK-NEXT: ldur w8, [x29, #-8] +; CHECK-NEXT: cbnz w8, .LBB0_2 +; CHECK-NEXT: .LBB0_4: +; CHECK-NEXT: mov w8, #1 +; CHECK-NEXT: bl OUTLINED_FUNCTION_0 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: ldp x29, x30, [sp, #32] // 16-byte Folded Reload +; CHECK-NEXT: b OUTLINED_FUNCTION_1 + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { +; CHECK-LABEL: main: +; CHECK: // %bb.0: +; CHECK-NEXT: sub sp, sp, #48 // =48 +; CHECK-NEXT: stp x29, x30, [sp, #32] // 16-byte Folded Spill +; CHECK-NEXT: add x29, sp, #32 // =32 +; CHECK-NEXT: .cfi_def_cfa w29, 16 +; CHECK-NEXT: .cfi_offset w30, -8 +; CHECK-NEXT: .cfi_offset w29, -16 +; CHECK-NEXT: adrp x8, x +; CHECK-NEXT: mov w9, #1 +; CHECK-NEXT: mov w10, #2 +; CHECK-NEXT: mov w11, #3 +; CHECK-NEXT: mov w12, #4 +; CHECK-NEXT: stp w9, wzr, [x29, #-8] +; CHECK-NEXT: stur w10, [x29, #-12] +; CHECK-NEXT: stp w12, w11, [sp, #12] +; CHECK-NEXT: str w9, [x8, :lo12:x] +; CHECK-NEXT: //APP +; CHECK-NEXT: //NO_APP +; CHECK-NEXT: stp w10, w9, [x29, #-12] +; CHECK-NEXT: ldp x29, x30, [sp, #32] // 16-byte Folded Reload +; CHECK-NEXT: stp w12, w11, [sp, #12] +; CHECK-NEXT: b OUTLINED_FUNCTION_1 + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/amdgpu_generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/amdgpu_generated_funcs.ll new file mode 100644 index 000000000000..5736e1759c9f --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/amdgpu_generated_funcs.ll @@ -0,0 +1,65 @@ +; RUN: llc -enable-machine-outliner -mtriple=amdgcn-adm-amdhsa < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4, addrspace(5) + %2 = alloca i32, align 4, addrspace(5) + %3 = alloca i32, align 4, addrspace(5) + %4 = alloca i32, align 4, addrspace(5) + %5 = alloca i32, align 4, addrspace(5) + store i32 0, i32 addrspace(5)* %1, align 4 + store i32 0, i32 addrspace(5)* %2, align 4 + %6 = load i32, i32 addrspace(5)* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32 addrspace(5)* %2, align 4 + store i32 2, i32 addrspace(5)* %3, align 4 + store i32 3, i32 addrspace(5)* %4, align 4 + store i32 4, i32 addrspace(5)* %5, align 4 + br label %10 + + store i32 1, i32 addrspace(5)* %4, align 4 + br label %10 + + %11 = load i32, i32 addrspace(5)* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32 addrspace(5)* %2, align 4 + store i32 2, i32 addrspace(5)* %3, align 4 + store i32 3, i32 addrspace(5)* %4, align 4 + store i32 4, i32 addrspace(5)* %5, align 4 + br label %15 + + store i32 1, i32 addrspace(5)* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4, addrspace(5) + %2 = alloca i32, align 4, addrspace(5) + %3 = alloca i32, align 4, addrspace(5) + %4 = alloca i32, align 4, addrspace(5) + %5 = alloca i32, align 4, addrspace(5) + + store i32 0, i32 addrspace(5)* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32 addrspace(5)* %2, align 4 + store i32 2, i32 addrspace(5)* %3, align 4 + store i32 3, i32 addrspace(5)* %4, align 4 + store i32 4, i32 addrspace(5)* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32 addrspace(5)* %2, align 4 + store i32 2, i32 addrspace(5)* %3, align 4 + store i32 3, i32 addrspace(5)* %4, align 4 + store i32 4, i32 addrspace(5)* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/amdgpu_generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/amdgpu_generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..6aaf63b4a884 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/amdgpu_generated_funcs.ll.generated.expected @@ -0,0 +1,94 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: llc -enable-machine-outliner -mtriple=amdgcn-adm-amdhsa < %s | FileCheck %s +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4, addrspace(5) + %2 = alloca i32, align 4, addrspace(5) + %3 = alloca i32, align 4, addrspace(5) + %4 = alloca i32, align 4, addrspace(5) + %5 = alloca i32, align 4, addrspace(5) + store i32 0, i32 addrspace(5)* %1, align 4 + store i32 0, i32 addrspace(5)* %2, align 4 + %6 = load i32, i32 addrspace(5)* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32 addrspace(5)* %2, align 4 + store i32 2, i32 addrspace(5)* %3, align 4 + store i32 3, i32 addrspace(5)* %4, align 4 + store i32 4, i32 addrspace(5)* %5, align 4 + br label %10 + + store i32 1, i32 addrspace(5)* %4, align 4 + br label %10 + + %11 = load i32, i32 addrspace(5)* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32 addrspace(5)* %2, align 4 + store i32 2, i32 addrspace(5)* %3, align 4 + store i32 3, i32 addrspace(5)* %4, align 4 + store i32 4, i32 addrspace(5)* %5, align 4 + br label %15 + + store i32 1, i32 addrspace(5)* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4, addrspace(5) + %2 = alloca i32, align 4, addrspace(5) + %3 = alloca i32, align 4, addrspace(5) + %4 = alloca i32, align 4, addrspace(5) + %5 = alloca i32, align 4, addrspace(5) + + store i32 0, i32 addrspace(5)* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32 addrspace(5)* %2, align 4 + store i32 2, i32 addrspace(5)* %3, align 4 + store i32 3, i32 addrspace(5)* %4, align 4 + store i32 4, i32 addrspace(5)* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32 addrspace(5)* %2, align 4 + store i32 2, i32 addrspace(5)* %3, align 4 + store i32 3, i32 addrspace(5)* %4, align 4 + store i32 4, i32 addrspace(5)* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } +; CHECK-LABEL: check_boundaries: +; CHECK: ; %bb.0: +; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; CHECK-NEXT: s_mov_b32 s4, s33 +; CHECK-NEXT: s_mov_b32 s33, s32 +; CHECK-NEXT: v_mov_b32_e32 v0, 0 +; CHECK-NEXT: s_mov_b32 s33, s4 +; CHECK-NEXT: s_setpc_b64 s[30:31] +; +; CHECK-LABEL: main: +; CHECK: ; %bb.0: +; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; CHECK-NEXT: s_mov_b32 s6, s33 +; CHECK-NEXT: s_mov_b32 s33, s32 +; CHECK-NEXT: s_getpc_b64 s[4:5] +; CHECK-NEXT: s_add_u32 s4, s4, x@gotpcrel32@lo+4 +; CHECK-NEXT: s_addc_u32 s5, s5, x@gotpcrel32@hi+12 +; CHECK-NEXT: s_load_dwordx2 s[4:5], s[4:5], 0x0 +; CHECK-NEXT: v_mov_b32_e32 v2, 1 +; CHECK-NEXT: s_waitcnt lgkmcnt(0) +; CHECK-NEXT: v_mov_b32_e32 v0, s4 +; CHECK-NEXT: v_mov_b32_e32 v1, s5 +; CHECK-NEXT: flat_store_dword v[0:1], v2 +; CHECK-NEXT: ;;#ASMSTART +; CHECK-NEXT: ;;#ASMEND +; CHECK-NEXT: v_mov_b32_e32 v0, 0 +; CHECK-NEXT: s_mov_b32 s33, s6 +; CHECK-NEXT: s_waitcnt vmcnt(0) lgkmcnt(0) +; CHECK-NEXT: s_setpc_b64 s[30:31] diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/amdgpu_generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/amdgpu_generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..ee9d6dfe678a --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/amdgpu_generated_funcs.ll.nogenerated.expected @@ -0,0 +1,94 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -enable-machine-outliner -mtriple=amdgcn-adm-amdhsa < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { +; CHECK-LABEL: check_boundaries: +; CHECK: ; %bb.0: +; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; CHECK-NEXT: s_mov_b32 s4, s33 +; CHECK-NEXT: s_mov_b32 s33, s32 +; CHECK-NEXT: v_mov_b32_e32 v0, 0 +; CHECK-NEXT: s_mov_b32 s33, s4 +; CHECK-NEXT: s_setpc_b64 s[30:31] + %1 = alloca i32, align 4, addrspace(5) + %2 = alloca i32, align 4, addrspace(5) + %3 = alloca i32, align 4, addrspace(5) + %4 = alloca i32, align 4, addrspace(5) + %5 = alloca i32, align 4, addrspace(5) + store i32 0, i32 addrspace(5)* %1, align 4 + store i32 0, i32 addrspace(5)* %2, align 4 + %6 = load i32, i32 addrspace(5)* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32 addrspace(5)* %2, align 4 + store i32 2, i32 addrspace(5)* %3, align 4 + store i32 3, i32 addrspace(5)* %4, align 4 + store i32 4, i32 addrspace(5)* %5, align 4 + br label %10 + + store i32 1, i32 addrspace(5)* %4, align 4 + br label %10 + + %11 = load i32, i32 addrspace(5)* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32 addrspace(5)* %2, align 4 + store i32 2, i32 addrspace(5)* %3, align 4 + store i32 3, i32 addrspace(5)* %4, align 4 + store i32 4, i32 addrspace(5)* %5, align 4 + br label %15 + + store i32 1, i32 addrspace(5)* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { +; CHECK-LABEL: main: +; CHECK: ; %bb.0: +; CHECK-NEXT: s_waitcnt vmcnt(0) expcnt(0) lgkmcnt(0) +; CHECK-NEXT: s_mov_b32 s6, s33 +; CHECK-NEXT: s_mov_b32 s33, s32 +; CHECK-NEXT: s_getpc_b64 s[4:5] +; CHECK-NEXT: s_add_u32 s4, s4, x@gotpcrel32@lo+4 +; CHECK-NEXT: s_addc_u32 s5, s5, x@gotpcrel32@hi+12 +; CHECK-NEXT: s_load_dwordx2 s[4:5], s[4:5], 0x0 +; CHECK-NEXT: v_mov_b32_e32 v2, 1 +; CHECK-NEXT: s_waitcnt lgkmcnt(0) +; CHECK-NEXT: v_mov_b32_e32 v0, s4 +; CHECK-NEXT: v_mov_b32_e32 v1, s5 +; CHECK-NEXT: flat_store_dword v[0:1], v2 +; CHECK-NEXT: ;;#ASMSTART +; CHECK-NEXT: ;;#ASMEND +; CHECK-NEXT: v_mov_b32_e32 v0, 0 +; CHECK-NEXT: s_mov_b32 s33, s6 +; CHECK-NEXT: s_waitcnt vmcnt(0) lgkmcnt(0) +; CHECK-NEXT: s_setpc_b64 s[30:31] + %1 = alloca i32, align 4, addrspace(5) + %2 = alloca i32, align 4, addrspace(5) + %3 = alloca i32, align 4, addrspace(5) + %4 = alloca i32, align 4, addrspace(5) + %5 = alloca i32, align 4, addrspace(5) + + store i32 0, i32 addrspace(5)* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32 addrspace(5)* %2, align 4 + store i32 2, i32 addrspace(5)* %3, align 4 + store i32 3, i32 addrspace(5)* %4, align 4 + store i32 4, i32 addrspace(5)* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32 addrspace(5)* %2, align 4 + store i32 2, i32 addrspace(5)* %3, align 4 + store i32 3, i32 addrspace(5)* %4, align 4 + store i32 4, i32 addrspace(5)* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/arm_generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/arm_generated_funcs.ll new file mode 100644 index 000000000000..a9150376fb8e --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/arm_generated_funcs.ll @@ -0,0 +1,65 @@ +; RUN: llc -enable-machine-outliner -mtriple=arm-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner runs, but doesn't do anything. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/arm_generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/arm_generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..3463d1398e23 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/arm_generated_funcs.ll.generated.expected @@ -0,0 +1,136 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: llc -enable-machine-outliner -mtriple=arm-unknown-linux < %s | FileCheck %s +; NOTE: Machine outliner runs, but doesn't do anything. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } +; CHECK-LABEL: check_boundaries: +; CHECK: @ %bb.0: +; CHECK-NEXT: sub sp, sp, #20 +; CHECK-NEXT: mov r0, #0 +; CHECK-NEXT: cmp r0, #0 +; CHECK-NEXT: str r0, [sp, #12] +; CHECK-NEXT: str r0, [sp, #16] +; CHECK-NEXT: beq .LBB0_2 +; CHECK-NEXT: @ %bb.1: +; CHECK-NEXT: mov r0, #1 +; CHECK-NEXT: str r0, [sp, #4] +; CHECK-NEXT: b .LBB0_3 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: mov r0, #2 +; CHECK-NEXT: str r0, [sp, #8] +; CHECK-NEXT: mov r0, #1 +; CHECK-NEXT: str r0, [sp, #12] +; CHECK-NEXT: mov r0, #3 +; CHECK-NEXT: str r0, [sp, #4] +; CHECK-NEXT: mov r0, #4 +; CHECK-NEXT: str r0, [sp] +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: ldr r0, [sp, #12] +; CHECK-NEXT: cmp r0, #0 +; CHECK-NEXT: beq .LBB0_5 +; CHECK-NEXT: @ %bb.4: +; CHECK-NEXT: mov r0, #1 +; CHECK-NEXT: str r0, [sp, #4] +; CHECK-NEXT: b .LBB0_6 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: mov r0, #2 +; CHECK-NEXT: str r0, [sp, #8] +; CHECK-NEXT: mov r0, #1 +; CHECK-NEXT: str r0, [sp, #12] +; CHECK-NEXT: mov r0, #3 +; CHECK-NEXT: str r0, [sp, #4] +; CHECK-NEXT: mov r0, #4 +; CHECK-NEXT: str r0, [sp] +; CHECK-NEXT: .LBB0_6: +; CHECK-NEXT: mov r0, #0 +; CHECK-NEXT: add sp, sp, #20 +; CHECK-NEXT: mov pc, lr +; +; CHECK-LABEL: main: +; CHECK: @ %bb.0: +; CHECK-NEXT: sub sp, sp, #20 +; CHECK-NEXT: ldr r0, .LCPI1_0 +; CHECK-NEXT: mov r1, #1 +; CHECK-NEXT: mov r2, #3 +; CHECK-NEXT: mov r3, #4 +; CHECK-NEXT: str r1, [sp, #12] +; CHECK-NEXT: str r1, [r0] +; CHECK-NEXT: mov r0, #0 +; CHECK-NEXT: str r0, [sp, #16] +; CHECK-NEXT: mov r0, #2 +; CHECK-NEXT: str r0, [sp, #8] +; CHECK-NEXT: str r2, [sp, #4] +; CHECK-NEXT: str r3, [sp] +; CHECK-NEXT: @APP +; CHECK-NEXT: @NO_APP +; CHECK-NEXT: str r0, [sp, #8] +; CHECK-NEXT: mov r0, #0 +; CHECK-NEXT: str r1, [sp, #12] +; CHECK-NEXT: str r2, [sp, #4] +; CHECK-NEXT: str r3, [sp] +; CHECK-NEXT: add sp, sp, #20 +; CHECK-NEXT: mov pc, lr +; CHECK-NEXT: .p2align 2 +; CHECK-NEXT: @ %bb.1: +; CHECK-NEXT: .LCPI1_0: +; CHECK-NEXT: .long x diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/arm_generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/arm_generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..af4851316652 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/arm_generated_funcs.ll.nogenerated.expected @@ -0,0 +1,136 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -enable-machine-outliner -mtriple=arm-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner runs, but doesn't do anything. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { +; CHECK-LABEL: check_boundaries: +; CHECK: @ %bb.0: +; CHECK-NEXT: sub sp, sp, #20 +; CHECK-NEXT: mov r0, #0 +; CHECK-NEXT: cmp r0, #0 +; CHECK-NEXT: str r0, [sp, #12] +; CHECK-NEXT: str r0, [sp, #16] +; CHECK-NEXT: beq .LBB0_2 +; CHECK-NEXT: @ %bb.1: +; CHECK-NEXT: mov r0, #1 +; CHECK-NEXT: str r0, [sp, #4] +; CHECK-NEXT: b .LBB0_3 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: mov r0, #2 +; CHECK-NEXT: str r0, [sp, #8] +; CHECK-NEXT: mov r0, #1 +; CHECK-NEXT: str r0, [sp, #12] +; CHECK-NEXT: mov r0, #3 +; CHECK-NEXT: str r0, [sp, #4] +; CHECK-NEXT: mov r0, #4 +; CHECK-NEXT: str r0, [sp] +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: ldr r0, [sp, #12] +; CHECK-NEXT: cmp r0, #0 +; CHECK-NEXT: beq .LBB0_5 +; CHECK-NEXT: @ %bb.4: +; CHECK-NEXT: mov r0, #1 +; CHECK-NEXT: str r0, [sp, #4] +; CHECK-NEXT: b .LBB0_6 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: mov r0, #2 +; CHECK-NEXT: str r0, [sp, #8] +; CHECK-NEXT: mov r0, #1 +; CHECK-NEXT: str r0, [sp, #12] +; CHECK-NEXT: mov r0, #3 +; CHECK-NEXT: str r0, [sp, #4] +; CHECK-NEXT: mov r0, #4 +; CHECK-NEXT: str r0, [sp] +; CHECK-NEXT: .LBB0_6: +; CHECK-NEXT: mov r0, #0 +; CHECK-NEXT: add sp, sp, #20 +; CHECK-NEXT: mov pc, lr + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { +; CHECK-LABEL: main: +; CHECK: @ %bb.0: +; CHECK-NEXT: sub sp, sp, #20 +; CHECK-NEXT: ldr r0, .LCPI1_0 +; CHECK-NEXT: mov r1, #1 +; CHECK-NEXT: mov r2, #3 +; CHECK-NEXT: mov r3, #4 +; CHECK-NEXT: str r1, [sp, #12] +; CHECK-NEXT: str r1, [r0] +; CHECK-NEXT: mov r0, #0 +; CHECK-NEXT: str r0, [sp, #16] +; CHECK-NEXT: mov r0, #2 +; CHECK-NEXT: str r0, [sp, #8] +; CHECK-NEXT: str r2, [sp, #4] +; CHECK-NEXT: str r3, [sp] +; CHECK-NEXT: @APP +; CHECK-NEXT: @NO_APP +; CHECK-NEXT: str r0, [sp, #8] +; CHECK-NEXT: mov r0, #0 +; CHECK-NEXT: str r1, [sp, #12] +; CHECK-NEXT: str r2, [sp, #4] +; CHECK-NEXT: str r3, [sp] +; CHECK-NEXT: add sp, sp, #20 +; CHECK-NEXT: mov pc, lr +; CHECK-NEXT: .p2align 2 +; CHECK-NEXT: @ %bb.1: +; CHECK-NEXT: .LCPI1_0: +; CHECK-NEXT: .long x + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/hexagon_generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/hexagon_generated_funcs.ll new file mode 100644 index 000000000000..b05e97801dc8 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/hexagon_generated_funcs.ll @@ -0,0 +1,65 @@ +; RUN: llc -enable-machine-outliner -mtriple=hexagon-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/hexagon_generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/hexagon_generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..190a854d08d3 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/hexagon_generated_funcs.ll.generated.expected @@ -0,0 +1,142 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: llc -enable-machine-outliner -mtriple=hexagon-unknown-linux < %s | FileCheck %s +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } +; CHECK-LABEL: check_boundaries: +; CHECK: .cfi_startproc +; CHECK-NEXT: // %bb.0: +; CHECK-NEXT: { +; CHECK-NEXT: r0 = #0 +; CHECK-NEXT: allocframe(#24) +; CHECK-NEXT: } +; CHECK-NEXT: .cfi_def_cfa r30, 8 +; CHECK-NEXT: .cfi_offset r31, -4 +; CHECK-NEXT: .cfi_offset r30, -8 +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#20) = #0 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#16) = #0 +; CHECK-NEXT: memw(r29+#16) = #1 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: r1 = memw(r29+#16) +; CHECK-NEXT: memw(r29+#12) = #2 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#8) = #3 +; CHECK-NEXT: memw(r29+#4) = #4 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: p0 = cmp.eq(r1,#0) +; CHECK-NEXT: if (p0.new) memw(r29+#8) = #3 +; CHECK-NEXT: if (p0.new) memw(r29+#12) = #2 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: if (p0) memw(r29+#4) = #4 +; CHECK-NEXT: if (p0) memw(r29+#16) = #1 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: if (!p0) memw(r29+#8) = #1 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: r31:30 = dealloc_return(r30):raw +; CHECK-NEXT: } +; +; CHECK-LABEL: main: +; CHECK: .cfi_startproc +; CHECK-NEXT: // %bb.0: +; CHECK-NEXT: { +; CHECK-NEXT: r0 = ##x +; CHECK-NEXT: allocframe(#24) +; CHECK-NEXT: } +; CHECK-NEXT: .cfi_def_cfa r30, 8 +; CHECK-NEXT: .cfi_offset r31, -4 +; CHECK-NEXT: .cfi_offset r30, -8 +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#20) = #0 +; CHECK-NEXT: memw(r0+#0) = #1 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#16) = #1 +; CHECK-NEXT: memw(r29+#12) = #2 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#8) = #3 +; CHECK-NEXT: memw(r29+#4) = #4 +; CHECK-NEXT: } +; CHECK-NEXT: //# InlineAsm Start +; CHECK-NEXT: //# InlineAsm End +; CHECK-NEXT: { +; CHECK-NEXT: r0 = #0 +; CHECK-NEXT: memw(r29+#16) = #1 +; CHECK-NEXT: memw(r29+#12) = #2 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#8) = #3 +; CHECK-NEXT: memw(r29+#4) = #4 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: r31:30 = dealloc_return(r30):raw +; CHECK-NEXT: } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/hexagon_generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/hexagon_generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..407f4b78c46e --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/hexagon_generated_funcs.ll.nogenerated.expected @@ -0,0 +1,142 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -enable-machine-outliner -mtriple=hexagon-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { +; CHECK-LABEL: check_boundaries: +; CHECK: .cfi_startproc +; CHECK-NEXT: // %bb.0: +; CHECK-NEXT: { +; CHECK-NEXT: r0 = #0 +; CHECK-NEXT: allocframe(#24) +; CHECK-NEXT: } +; CHECK-NEXT: .cfi_def_cfa r30, 8 +; CHECK-NEXT: .cfi_offset r31, -4 +; CHECK-NEXT: .cfi_offset r30, -8 +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#20) = #0 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#16) = #0 +; CHECK-NEXT: memw(r29+#16) = #1 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: r1 = memw(r29+#16) +; CHECK-NEXT: memw(r29+#12) = #2 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#8) = #3 +; CHECK-NEXT: memw(r29+#4) = #4 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: p0 = cmp.eq(r1,#0) +; CHECK-NEXT: if (p0.new) memw(r29+#8) = #3 +; CHECK-NEXT: if (p0.new) memw(r29+#12) = #2 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: if (p0) memw(r29+#4) = #4 +; CHECK-NEXT: if (p0) memw(r29+#16) = #1 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: if (!p0) memw(r29+#8) = #1 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: r31:30 = dealloc_return(r30):raw +; CHECK-NEXT: } + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { +; CHECK-LABEL: main: +; CHECK: .cfi_startproc +; CHECK-NEXT: // %bb.0: +; CHECK-NEXT: { +; CHECK-NEXT: r0 = ##x +; CHECK-NEXT: allocframe(#24) +; CHECK-NEXT: } +; CHECK-NEXT: .cfi_def_cfa r30, 8 +; CHECK-NEXT: .cfi_offset r31, -4 +; CHECK-NEXT: .cfi_offset r30, -8 +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#20) = #0 +; CHECK-NEXT: memw(r0+#0) = #1 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#16) = #1 +; CHECK-NEXT: memw(r29+#12) = #2 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#8) = #3 +; CHECK-NEXT: memw(r29+#4) = #4 +; CHECK-NEXT: } +; CHECK-NEXT: //# InlineAsm Start +; CHECK-NEXT: //# InlineAsm End +; CHECK-NEXT: { +; CHECK-NEXT: r0 = #0 +; CHECK-NEXT: memw(r29+#16) = #1 +; CHECK-NEXT: memw(r29+#12) = #2 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: memw(r29+#8) = #3 +; CHECK-NEXT: memw(r29+#4) = #4 +; CHECK-NEXT: } +; CHECK-NEXT: { +; CHECK-NEXT: r31:30 = dealloc_return(r30):raw +; CHECK-NEXT: } + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/lanai_generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/lanai_generated_funcs.ll new file mode 100644 index 000000000000..ec5ea6718a60 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/lanai_generated_funcs.ll @@ -0,0 +1,65 @@ +; RUN: llc -enable-machine-outliner -mtriple=lanai-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/lanai_generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/lanai_generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..bc604fc28c19 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/lanai_generated_funcs.ll.generated.expected @@ -0,0 +1,137 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: llc -enable-machine-outliner -mtriple=lanai-unknown-linux < %s | FileCheck %s +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } +; CHECK-LABEL: check_boundaries: +; CHECK: ! %bb.0: +; CHECK-NEXT: st %fp, [--%sp] +; CHECK-NEXT: add %sp, 0x8, %fp +; CHECK-NEXT: sub %sp, 0x20, %sp +; CHECK-NEXT: st %r0, -12[%fp] +; CHECK-NEXT: sub.f %r0, 0x0, %r0 +; CHECK-NEXT: st %r0, -16[%fp] +; CHECK-NEXT: beq .LBB0_1 +; CHECK-NEXT: mov 0x1, %r3 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: bt .LBB0_3 +; CHECK-NEXT: st %r3, -24[%fp] +; CHECK-NEXT: .LBB0_1: +; CHECK-NEXT: st %r3, -16[%fp] +; CHECK-NEXT: mov 0x2, %r3 +; CHECK-NEXT: st %r3, -20[%fp] +; CHECK-NEXT: mov 0x3, %r3 +; CHECK-NEXT: st %r3, -24[%fp] +; CHECK-NEXT: mov 0x4, %r3 +; CHECK-NEXT: st %r3, -28[%fp] +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: ld -16[%fp], %r3 +; CHECK-NEXT: sub.f %r3, 0x0, %r0 +; CHECK-NEXT: beq .LBB0_4 +; CHECK-NEXT: nop +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: mov 0x1, %r3 +; CHECK-NEXT: bt .LBB0_6 +; CHECK-NEXT: st %r3, -24[%fp] +; CHECK-NEXT: .LBB0_4: +; CHECK-NEXT: mov 0x1, %r3 +; CHECK-NEXT: st %r3, -16[%fp] +; CHECK-NEXT: mov 0x2, %r3 +; CHECK-NEXT: st %r3, -20[%fp] +; CHECK-NEXT: mov 0x3, %r3 +; CHECK-NEXT: st %r3, -24[%fp] +; CHECK-NEXT: mov 0x4, %r3 +; CHECK-NEXT: st %r3, -28[%fp] +; CHECK-NEXT: .LBB0_6: +; CHECK-NEXT: or %r0, 0x0, %rv +; CHECK-NEXT: ld -4[%fp], %pc ! return +; CHECK-NEXT: add %fp, 0x0, %sp +; CHECK-NEXT: ld -8[%fp], %fp +; +; CHECK-LABEL: main: +; CHECK: ! %bb.0: +; CHECK-NEXT: st %fp, [--%sp] +; CHECK-NEXT: add %sp, 0x8, %fp +; CHECK-NEXT: sub %sp, 0x20, %sp +; CHECK-NEXT: st %r0, -12[%fp] +; CHECK-NEXT: mov hi(x), %r3 +; CHECK-NEXT: or %r3, lo(x), %r3 +; CHECK-NEXT: mov 0x1, %r9 +; CHECK-NEXT: st %r9, -16[%fp] +; CHECK-NEXT: mov 0x2, %r12 +; CHECK-NEXT: st %r12, -20[%fp] +; CHECK-NEXT: mov 0x3, %r13 +; CHECK-NEXT: st %r13, -24[%fp] +; CHECK-NEXT: mov 0x4, %r14 +; CHECK-NEXT: st %r14, -28[%fp] +; CHECK-NEXT: st %r9, 0[%r3] +; CHECK-NEXT: !APP +; CHECK-NEXT: !NO_APP +; CHECK-NEXT: st %r9, -16[%fp] +; CHECK-NEXT: st %r12, -20[%fp] +; CHECK-NEXT: st %r13, -24[%fp] +; CHECK-NEXT: st %r14, -28[%fp] +; CHECK-NEXT: or %r0, 0x0, %rv +; CHECK-NEXT: ld -4[%fp], %pc ! return +; CHECK-NEXT: add %fp, 0x0, %sp +; CHECK-NEXT: ld -8[%fp], %fp diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/lanai_generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/lanai_generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..10f466fe6e14 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/lanai_generated_funcs.ll.nogenerated.expected @@ -0,0 +1,137 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -enable-machine-outliner -mtriple=lanai-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { +; CHECK-LABEL: check_boundaries: +; CHECK: ! %bb.0: +; CHECK-NEXT: st %fp, [--%sp] +; CHECK-NEXT: add %sp, 0x8, %fp +; CHECK-NEXT: sub %sp, 0x20, %sp +; CHECK-NEXT: st %r0, -12[%fp] +; CHECK-NEXT: sub.f %r0, 0x0, %r0 +; CHECK-NEXT: st %r0, -16[%fp] +; CHECK-NEXT: beq .LBB0_1 +; CHECK-NEXT: mov 0x1, %r3 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: bt .LBB0_3 +; CHECK-NEXT: st %r3, -24[%fp] +; CHECK-NEXT: .LBB0_1: +; CHECK-NEXT: st %r3, -16[%fp] +; CHECK-NEXT: mov 0x2, %r3 +; CHECK-NEXT: st %r3, -20[%fp] +; CHECK-NEXT: mov 0x3, %r3 +; CHECK-NEXT: st %r3, -24[%fp] +; CHECK-NEXT: mov 0x4, %r3 +; CHECK-NEXT: st %r3, -28[%fp] +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: ld -16[%fp], %r3 +; CHECK-NEXT: sub.f %r3, 0x0, %r0 +; CHECK-NEXT: beq .LBB0_4 +; CHECK-NEXT: nop +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: mov 0x1, %r3 +; CHECK-NEXT: bt .LBB0_6 +; CHECK-NEXT: st %r3, -24[%fp] +; CHECK-NEXT: .LBB0_4: +; CHECK-NEXT: mov 0x1, %r3 +; CHECK-NEXT: st %r3, -16[%fp] +; CHECK-NEXT: mov 0x2, %r3 +; CHECK-NEXT: st %r3, -20[%fp] +; CHECK-NEXT: mov 0x3, %r3 +; CHECK-NEXT: st %r3, -24[%fp] +; CHECK-NEXT: mov 0x4, %r3 +; CHECK-NEXT: st %r3, -28[%fp] +; CHECK-NEXT: .LBB0_6: +; CHECK-NEXT: or %r0, 0x0, %rv +; CHECK-NEXT: ld -4[%fp], %pc ! return +; CHECK-NEXT: add %fp, 0x0, %sp +; CHECK-NEXT: ld -8[%fp], %fp + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { +; CHECK-LABEL: main: +; CHECK: ! %bb.0: +; CHECK-NEXT: st %fp, [--%sp] +; CHECK-NEXT: add %sp, 0x8, %fp +; CHECK-NEXT: sub %sp, 0x20, %sp +; CHECK-NEXT: st %r0, -12[%fp] +; CHECK-NEXT: mov hi(x), %r3 +; CHECK-NEXT: or %r3, lo(x), %r3 +; CHECK-NEXT: mov 0x1, %r9 +; CHECK-NEXT: st %r9, -16[%fp] +; CHECK-NEXT: mov 0x2, %r12 +; CHECK-NEXT: st %r12, -20[%fp] +; CHECK-NEXT: mov 0x3, %r13 +; CHECK-NEXT: st %r13, -24[%fp] +; CHECK-NEXT: mov 0x4, %r14 +; CHECK-NEXT: st %r14, -28[%fp] +; CHECK-NEXT: st %r9, 0[%r3] +; CHECK-NEXT: !APP +; CHECK-NEXT: !NO_APP +; CHECK-NEXT: st %r9, -16[%fp] +; CHECK-NEXT: st %r12, -20[%fp] +; CHECK-NEXT: st %r13, -24[%fp] +; CHECK-NEXT: st %r14, -28[%fp] +; CHECK-NEXT: or %r0, 0x0, %rv +; CHECK-NEXT: ld -4[%fp], %pc ! return +; CHECK-NEXT: add %fp, 0x0, %sp +; CHECK-NEXT: ld -8[%fp], %fp + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/mips_generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/mips_generated_funcs.ll new file mode 100644 index 000000000000..5c1be9bbb394 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/mips_generated_funcs.ll @@ -0,0 +1,65 @@ +; RUN: llc -enable-machine-outliner -mtriple=mips-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/mips_generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/mips_generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..0af161179eed --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/mips_generated_funcs.ll.generated.expected @@ -0,0 +1,150 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: llc -enable-machine-outliner -mtriple=mips-unknown-linux < %s | FileCheck %s +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } +; CHECK-LABEL: check_boundaries: +; CHECK: # %bb.0: +; CHECK-NEXT: addiu $sp, $sp, -32 +; CHECK-NEXT: .cfi_def_cfa_offset 32 +; CHECK-NEXT: sw $ra, 28($sp) # 4-byte Folded Spill +; CHECK-NEXT: sw $fp, 24($sp) # 4-byte Folded Spill +; CHECK-NEXT: .cfi_offset 31, -4 +; CHECK-NEXT: .cfi_offset 30, -8 +; CHECK-NEXT: move $fp, $sp +; CHECK-NEXT: .cfi_def_cfa_register 30 +; CHECK-NEXT: sw $zero, 16($fp) +; CHECK-NEXT: b $BB0_3 +; CHECK-NEXT: sw $zero, 20($fp) +; CHECK-NEXT: # %bb.1: +; CHECK-NEXT: addiu $1, $zero, 1 +; CHECK-NEXT: sw $1, 8($fp) +; CHECK-NEXT: lw $1, 16($fp) +; CHECK-NEXT: beqz $1, $BB0_4 +; CHECK-NEXT: nop +; CHECK-NEXT: $BB0_2: +; CHECK-NEXT: addiu $1, $zero, 1 +; CHECK-NEXT: j $BB0_5 +; CHECK-NEXT: sw $1, 8($fp) +; CHECK-NEXT: $BB0_3: +; CHECK-NEXT: addiu $1, $zero, 2 +; CHECK-NEXT: sw $1, 12($fp) +; CHECK-NEXT: addiu $1, $zero, 1 +; CHECK-NEXT: sw $1, 16($fp) +; CHECK-NEXT: addiu $1, $zero, 3 +; CHECK-NEXT: sw $1, 8($fp) +; CHECK-NEXT: addiu $1, $zero, 4 +; CHECK-NEXT: sw $1, 4($fp) +; CHECK-NEXT: lw $1, 16($fp) +; CHECK-NEXT: bnez $1, $BB0_2 +; CHECK-NEXT: nop +; CHECK-NEXT: $BB0_4: +; CHECK-NEXT: addiu $1, $zero, 2 +; CHECK-NEXT: sw $1, 12($fp) +; CHECK-NEXT: addiu $1, $zero, 1 +; CHECK-NEXT: sw $1, 16($fp) +; CHECK-NEXT: addiu $1, $zero, 3 +; CHECK-NEXT: sw $1, 8($fp) +; CHECK-NEXT: addiu $1, $zero, 4 +; CHECK-NEXT: sw $1, 4($fp) +; CHECK-NEXT: $BB0_5: +; CHECK-NEXT: addiu $2, $zero, 0 +; CHECK-NEXT: move $sp, $fp +; CHECK-NEXT: lw $fp, 24($sp) # 4-byte Folded Reload +; CHECK-NEXT: lw $ra, 28($sp) # 4-byte Folded Reload +; CHECK-NEXT: jr $ra +; CHECK-NEXT: addiu $sp, $sp, 32 +; +; CHECK-LABEL: main: +; CHECK: # %bb.0: +; CHECK-NEXT: addiu $sp, $sp, -32 +; CHECK-NEXT: .cfi_def_cfa_offset 32 +; CHECK-NEXT: sw $ra, 28($sp) # 4-byte Folded Spill +; CHECK-NEXT: sw $fp, 24($sp) # 4-byte Folded Spill +; CHECK-NEXT: .cfi_offset 31, -4 +; CHECK-NEXT: .cfi_offset 30, -8 +; CHECK-NEXT: move $fp, $sp +; CHECK-NEXT: .cfi_def_cfa_register 30 +; CHECK-NEXT: lui $1, %hi(x) +; CHECK-NEXT: addiu $2, $zero, 1 +; CHECK-NEXT: sw $2, %lo(x)($1) +; CHECK-NEXT: sw $2, 16($fp) +; CHECK-NEXT: addiu $1, $zero, 2 +; CHECK-NEXT: sw $1, 12($fp) +; CHECK-NEXT: addiu $3, $zero, 3 +; CHECK-NEXT: sw $3, 8($fp) +; CHECK-NEXT: addiu $4, $zero, 4 +; CHECK-NEXT: sw $4, 4($fp) +; CHECK-NEXT: sw $zero, 20($fp) +; CHECK-NEXT: #APP +; CHECK-NEXT: #NO_APP +; CHECK-NEXT: sw $1, 12($fp) +; CHECK-NEXT: sw $2, 16($fp) +; CHECK-NEXT: sw $3, 8($fp) +; CHECK-NEXT: sw $4, 4($fp) +; CHECK-NEXT: addiu $2, $zero, 0 +; CHECK-NEXT: move $sp, $fp +; CHECK-NEXT: lw $fp, 24($sp) # 4-byte Folded Reload +; CHECK-NEXT: lw $ra, 28($sp) # 4-byte Folded Reload +; CHECK-NEXT: jr $ra +; CHECK-NEXT: addiu $sp, $sp, 32 diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/mips_generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/mips_generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..f6053fe26930 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/mips_generated_funcs.ll.nogenerated.expected @@ -0,0 +1,150 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -enable-machine-outliner -mtriple=mips-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { +; CHECK-LABEL: check_boundaries: +; CHECK: # %bb.0: +; CHECK-NEXT: addiu $sp, $sp, -32 +; CHECK-NEXT: .cfi_def_cfa_offset 32 +; CHECK-NEXT: sw $ra, 28($sp) # 4-byte Folded Spill +; CHECK-NEXT: sw $fp, 24($sp) # 4-byte Folded Spill +; CHECK-NEXT: .cfi_offset 31, -4 +; CHECK-NEXT: .cfi_offset 30, -8 +; CHECK-NEXT: move $fp, $sp +; CHECK-NEXT: .cfi_def_cfa_register 30 +; CHECK-NEXT: sw $zero, 16($fp) +; CHECK-NEXT: b $BB0_3 +; CHECK-NEXT: sw $zero, 20($fp) +; CHECK-NEXT: # %bb.1: +; CHECK-NEXT: addiu $1, $zero, 1 +; CHECK-NEXT: sw $1, 8($fp) +; CHECK-NEXT: lw $1, 16($fp) +; CHECK-NEXT: beqz $1, $BB0_4 +; CHECK-NEXT: nop +; CHECK-NEXT: $BB0_2: +; CHECK-NEXT: addiu $1, $zero, 1 +; CHECK-NEXT: j $BB0_5 +; CHECK-NEXT: sw $1, 8($fp) +; CHECK-NEXT: $BB0_3: +; CHECK-NEXT: addiu $1, $zero, 2 +; CHECK-NEXT: sw $1, 12($fp) +; CHECK-NEXT: addiu $1, $zero, 1 +; CHECK-NEXT: sw $1, 16($fp) +; CHECK-NEXT: addiu $1, $zero, 3 +; CHECK-NEXT: sw $1, 8($fp) +; CHECK-NEXT: addiu $1, $zero, 4 +; CHECK-NEXT: sw $1, 4($fp) +; CHECK-NEXT: lw $1, 16($fp) +; CHECK-NEXT: bnez $1, $BB0_2 +; CHECK-NEXT: nop +; CHECK-NEXT: $BB0_4: +; CHECK-NEXT: addiu $1, $zero, 2 +; CHECK-NEXT: sw $1, 12($fp) +; CHECK-NEXT: addiu $1, $zero, 1 +; CHECK-NEXT: sw $1, 16($fp) +; CHECK-NEXT: addiu $1, $zero, 3 +; CHECK-NEXT: sw $1, 8($fp) +; CHECK-NEXT: addiu $1, $zero, 4 +; CHECK-NEXT: sw $1, 4($fp) +; CHECK-NEXT: $BB0_5: +; CHECK-NEXT: addiu $2, $zero, 0 +; CHECK-NEXT: move $sp, $fp +; CHECK-NEXT: lw $fp, 24($sp) # 4-byte Folded Reload +; CHECK-NEXT: lw $ra, 28($sp) # 4-byte Folded Reload +; CHECK-NEXT: jr $ra +; CHECK-NEXT: addiu $sp, $sp, 32 + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { +; CHECK-LABEL: main: +; CHECK: # %bb.0: +; CHECK-NEXT: addiu $sp, $sp, -32 +; CHECK-NEXT: .cfi_def_cfa_offset 32 +; CHECK-NEXT: sw $ra, 28($sp) # 4-byte Folded Spill +; CHECK-NEXT: sw $fp, 24($sp) # 4-byte Folded Spill +; CHECK-NEXT: .cfi_offset 31, -4 +; CHECK-NEXT: .cfi_offset 30, -8 +; CHECK-NEXT: move $fp, $sp +; CHECK-NEXT: .cfi_def_cfa_register 30 +; CHECK-NEXT: lui $1, %hi(x) +; CHECK-NEXT: addiu $2, $zero, 1 +; CHECK-NEXT: sw $2, %lo(x)($1) +; CHECK-NEXT: sw $2, 16($fp) +; CHECK-NEXT: addiu $1, $zero, 2 +; CHECK-NEXT: sw $1, 12($fp) +; CHECK-NEXT: addiu $3, $zero, 3 +; CHECK-NEXT: sw $3, 8($fp) +; CHECK-NEXT: addiu $4, $zero, 4 +; CHECK-NEXT: sw $4, 4($fp) +; CHECK-NEXT: sw $zero, 20($fp) +; CHECK-NEXT: #APP +; CHECK-NEXT: #NO_APP +; CHECK-NEXT: sw $1, 12($fp) +; CHECK-NEXT: sw $2, 16($fp) +; CHECK-NEXT: sw $3, 8($fp) +; CHECK-NEXT: sw $4, 4($fp) +; CHECK-NEXT: addiu $2, $zero, 0 +; CHECK-NEXT: move $sp, $fp +; CHECK-NEXT: lw $fp, 24($sp) # 4-byte Folded Reload +; CHECK-NEXT: lw $ra, 28($sp) # 4-byte Folded Reload +; CHECK-NEXT: jr $ra +; CHECK-NEXT: addiu $sp, $sp, 32 + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/msp430_generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/msp430_generated_funcs.ll new file mode 100644 index 000000000000..b37c6652016c --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/msp430_generated_funcs.ll @@ -0,0 +1,65 @@ +; RUN: llc -enable-machine-outliner -mtriple=msp430-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/msp430_generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/msp430_generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..c4790f5c7b61 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/msp430_generated_funcs.ll.generated.expected @@ -0,0 +1,147 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: llc -enable-machine-outliner -mtriple=msp430-unknown-linux < %s | FileCheck %s +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } +; CHECK-LABEL: check_boundaries: +; CHECK: ; %bb.0: +; CHECK-NEXT: push r4 +; CHECK-NEXT: mov r1, r4 +; CHECK-NEXT: sub #20, r1 +; CHECK-NEXT: clr -6(r4) +; CHECK-NEXT: clr -8(r4) +; CHECK-NEXT: clr -2(r4) +; CHECK-NEXT: clr -4(r4) +; CHECK-NEXT: clr r12 +; CHECK-NEXT: tst r12 +; CHECK-NEXT: jeq .LBB0_2 +; CHECK-NEXT: ; %bb.1: +; CHECK-NEXT: clr -14(r4) +; CHECK-NEXT: mov #1, -16(r4) +; CHECK-NEXT: jmp .LBB0_3 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: clr -10(r4) +; CHECK-NEXT: mov #2, -12(r4) +; CHECK-NEXT: clr -6(r4) +; CHECK-NEXT: mov #1, -8(r4) +; CHECK-NEXT: clr -14(r4) +; CHECK-NEXT: mov #3, -16(r4) +; CHECK-NEXT: clr -18(r4) +; CHECK-NEXT: mov #4, -20(r4) +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: mov -8(r4), r12 +; CHECK-NEXT: bis -6(r4), r12 +; CHECK-NEXT: tst r12 +; CHECK-NEXT: jeq .LBB0_5 +; CHECK-NEXT: ; %bb.4: +; CHECK-NEXT: clr -14(r4) +; CHECK-NEXT: mov #1, -16(r4) +; CHECK-NEXT: jmp .LBB0_6 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: clr -10(r4) +; CHECK-NEXT: mov #2, -12(r4) +; CHECK-NEXT: clr -6(r4) +; CHECK-NEXT: mov #1, -8(r4) +; CHECK-NEXT: clr -14(r4) +; CHECK-NEXT: mov #3, -16(r4) +; CHECK-NEXT: clr -18(r4) +; CHECK-NEXT: mov #4, -20(r4) +; CHECK-NEXT: .LBB0_6: +; CHECK-NEXT: clr r12 +; CHECK-NEXT: clr r13 +; CHECK-NEXT: add #20, r1 +; CHECK-NEXT: pop r4 +; CHECK-NEXT: ret +; +; CHECK-LABEL: main: +; CHECK: ; %bb.0: +; CHECK-NEXT: push r4 +; CHECK-NEXT: mov r1, r4 +; CHECK-NEXT: sub #20, r1 +; CHECK-NEXT: clr &x+2 +; CHECK-NEXT: mov #1, &x +; CHECK-NEXT: clr -2(r4) +; CHECK-NEXT: clr -4(r4) +; CHECK-NEXT: clr -6(r4) +; CHECK-NEXT: mov #1, -8(r4) +; CHECK-NEXT: clr -10(r4) +; CHECK-NEXT: mov #2, -12(r4) +; CHECK-NEXT: clr -14(r4) +; CHECK-NEXT: mov #3, -16(r4) +; CHECK-NEXT: clr -18(r4) +; CHECK-NEXT: mov #4, -20(r4) +; CHECK-NEXT: ;APP +; CHECK-NEXT: ;NO_APP +; CHECK-NEXT: clr -10(r4) +; CHECK-NEXT: mov #2, -12(r4) +; CHECK-NEXT: clr -6(r4) +; CHECK-NEXT: mov #1, -8(r4) +; CHECK-NEXT: clr -14(r4) +; CHECK-NEXT: mov #3, -16(r4) +; CHECK-NEXT: clr -18(r4) +; CHECK-NEXT: mov #4, -20(r4) +; CHECK-NEXT: clr r12 +; CHECK-NEXT: clr r13 +; CHECK-NEXT: add #20, r1 +; CHECK-NEXT: pop r4 +; CHECK-NEXT: ret diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/msp430_generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/msp430_generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..2bef3455f06c --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/msp430_generated_funcs.ll.nogenerated.expected @@ -0,0 +1,147 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -enable-machine-outliner -mtriple=msp430-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { +; CHECK-LABEL: check_boundaries: +; CHECK: ; %bb.0: +; CHECK-NEXT: push r4 +; CHECK-NEXT: mov r1, r4 +; CHECK-NEXT: sub #20, r1 +; CHECK-NEXT: clr -6(r4) +; CHECK-NEXT: clr -8(r4) +; CHECK-NEXT: clr -2(r4) +; CHECK-NEXT: clr -4(r4) +; CHECK-NEXT: clr r12 +; CHECK-NEXT: tst r12 +; CHECK-NEXT: jeq .LBB0_2 +; CHECK-NEXT: ; %bb.1: +; CHECK-NEXT: clr -14(r4) +; CHECK-NEXT: mov #1, -16(r4) +; CHECK-NEXT: jmp .LBB0_3 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: clr -10(r4) +; CHECK-NEXT: mov #2, -12(r4) +; CHECK-NEXT: clr -6(r4) +; CHECK-NEXT: mov #1, -8(r4) +; CHECK-NEXT: clr -14(r4) +; CHECK-NEXT: mov #3, -16(r4) +; CHECK-NEXT: clr -18(r4) +; CHECK-NEXT: mov #4, -20(r4) +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: mov -8(r4), r12 +; CHECK-NEXT: bis -6(r4), r12 +; CHECK-NEXT: tst r12 +; CHECK-NEXT: jeq .LBB0_5 +; CHECK-NEXT: ; %bb.4: +; CHECK-NEXT: clr -14(r4) +; CHECK-NEXT: mov #1, -16(r4) +; CHECK-NEXT: jmp .LBB0_6 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: clr -10(r4) +; CHECK-NEXT: mov #2, -12(r4) +; CHECK-NEXT: clr -6(r4) +; CHECK-NEXT: mov #1, -8(r4) +; CHECK-NEXT: clr -14(r4) +; CHECK-NEXT: mov #3, -16(r4) +; CHECK-NEXT: clr -18(r4) +; CHECK-NEXT: mov #4, -20(r4) +; CHECK-NEXT: .LBB0_6: +; CHECK-NEXT: clr r12 +; CHECK-NEXT: clr r13 +; CHECK-NEXT: add #20, r1 +; CHECK-NEXT: pop r4 +; CHECK-NEXT: ret + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { +; CHECK-LABEL: main: +; CHECK: ; %bb.0: +; CHECK-NEXT: push r4 +; CHECK-NEXT: mov r1, r4 +; CHECK-NEXT: sub #20, r1 +; CHECK-NEXT: clr &x+2 +; CHECK-NEXT: mov #1, &x +; CHECK-NEXT: clr -2(r4) +; CHECK-NEXT: clr -4(r4) +; CHECK-NEXT: clr -6(r4) +; CHECK-NEXT: mov #1, -8(r4) +; CHECK-NEXT: clr -10(r4) +; CHECK-NEXT: mov #2, -12(r4) +; CHECK-NEXT: clr -14(r4) +; CHECK-NEXT: mov #3, -16(r4) +; CHECK-NEXT: clr -18(r4) +; CHECK-NEXT: mov #4, -20(r4) +; CHECK-NEXT: ;APP +; CHECK-NEXT: ;NO_APP +; CHECK-NEXT: clr -10(r4) +; CHECK-NEXT: mov #2, -12(r4) +; CHECK-NEXT: clr -6(r4) +; CHECK-NEXT: mov #1, -8(r4) +; CHECK-NEXT: clr -14(r4) +; CHECK-NEXT: mov #3, -16(r4) +; CHECK-NEXT: clr -18(r4) +; CHECK-NEXT: mov #4, -20(r4) +; CHECK-NEXT: clr r12 +; CHECK-NEXT: clr r13 +; CHECK-NEXT: add #20, r1 +; CHECK-NEXT: pop r4 +; CHECK-NEXT: ret + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/ppc_generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/ppc_generated_funcs.ll new file mode 100644 index 000000000000..654a72814a82 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/ppc_generated_funcs.ll @@ -0,0 +1,65 @@ +; RUN: llc -enable-machine-outliner -mtriple=ppc32-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/ppc_generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/ppc_generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..7a4b7aa4dfdc --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/ppc_generated_funcs.ll.generated.expected @@ -0,0 +1,129 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: llc -enable-machine-outliner -mtriple=ppc32-unknown-linux < %s | FileCheck %s +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } +; CHECK-LABEL: check_boundaries: +; CHECK: # %bb.0: +; CHECK-NEXT: stwu 1, -32(1) +; CHECK-NEXT: stw 31, 28(1) +; CHECK-NEXT: .cfi_def_cfa_offset 32 +; CHECK-NEXT: .cfi_offset r31, -4 +; CHECK-NEXT: mr 31, 1 +; CHECK-NEXT: .cfi_def_cfa_register r31 +; CHECK-NEXT: li 4, 0 +; CHECK-NEXT: li 3, 1 +; CHECK-NEXT: stw 4, 24(31) +; CHECK-NEXT: li 4, 2 +; CHECK-NEXT: li 5, 3 +; CHECK-NEXT: li 6, 4 +; CHECK-NEXT: cmplwi 3, 0 +; CHECK-NEXT: stw 3, 20(31) +; CHECK-NEXT: stw 4, 16(31) +; CHECK-NEXT: stw 5, 12(31) +; CHECK-NEXT: stw 6, 8(31) +; CHECK-NEXT: beq 0, .LBB0_2 +; CHECK-NEXT: # %bb.1: +; CHECK-NEXT: stw 3, 12(31) +; CHECK-NEXT: b .LBB0_3 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: stw 3, 20(31) +; CHECK-NEXT: stw 4, 16(31) +; CHECK-NEXT: stw 5, 12(31) +; CHECK-NEXT: stw 6, 8(31) +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: li 3, 0 +; CHECK-NEXT: lwz 31, 28(1) +; CHECK-NEXT: addi 1, 1, 32 +; CHECK-NEXT: blr +; +; CHECK-LABEL: main: +; CHECK: # %bb.0: +; CHECK-NEXT: stwu 1, -32(1) +; CHECK-NEXT: stw 31, 28(1) +; CHECK-NEXT: .cfi_def_cfa_offset 32 +; CHECK-NEXT: .cfi_offset r31, -4 +; CHECK-NEXT: mr 31, 1 +; CHECK-NEXT: .cfi_def_cfa_register r31 +; CHECK-NEXT: li 3, 0 +; CHECK-NEXT: stw 3, 24(31) +; CHECK-NEXT: li 3, 1 +; CHECK-NEXT: li 4, 2 +; CHECK-NEXT: li 5, 3 +; CHECK-NEXT: li 6, 4 +; CHECK-NEXT: lis 7, x@ha +; CHECK-NEXT: stw 3, 20(31) +; CHECK-NEXT: stw 4, 16(31) +; CHECK-NEXT: stw 5, 12(31) +; CHECK-NEXT: stw 6, 8(31) +; CHECK-NEXT: stw 3, x@l(7) +; CHECK-NEXT: #APP +; CHECK-NEXT: #NO_APP +; CHECK-NEXT: stw 3, 20(31) +; CHECK-NEXT: li 3, 0 +; CHECK-NEXT: stw 4, 16(31) +; CHECK-NEXT: stw 5, 12(31) +; CHECK-NEXT: stw 6, 8(31) +; CHECK-NEXT: lwz 31, 28(1) +; CHECK-NEXT: addi 1, 1, 32 +; CHECK-NEXT: blr diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/ppc_generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/ppc_generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..63cb1cd1d0bc --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/ppc_generated_funcs.ll.nogenerated.expected @@ -0,0 +1,129 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -enable-machine-outliner -mtriple=ppc32-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { +; CHECK-LABEL: check_boundaries: +; CHECK: # %bb.0: +; CHECK-NEXT: stwu 1, -32(1) +; CHECK-NEXT: stw 31, 28(1) +; CHECK-NEXT: .cfi_def_cfa_offset 32 +; CHECK-NEXT: .cfi_offset r31, -4 +; CHECK-NEXT: mr 31, 1 +; CHECK-NEXT: .cfi_def_cfa_register r31 +; CHECK-NEXT: li 4, 0 +; CHECK-NEXT: li 3, 1 +; CHECK-NEXT: stw 4, 24(31) +; CHECK-NEXT: li 4, 2 +; CHECK-NEXT: li 5, 3 +; CHECK-NEXT: li 6, 4 +; CHECK-NEXT: cmplwi 3, 0 +; CHECK-NEXT: stw 3, 20(31) +; CHECK-NEXT: stw 4, 16(31) +; CHECK-NEXT: stw 5, 12(31) +; CHECK-NEXT: stw 6, 8(31) +; CHECK-NEXT: beq 0, .LBB0_2 +; CHECK-NEXT: # %bb.1: +; CHECK-NEXT: stw 3, 12(31) +; CHECK-NEXT: b .LBB0_3 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: stw 3, 20(31) +; CHECK-NEXT: stw 4, 16(31) +; CHECK-NEXT: stw 5, 12(31) +; CHECK-NEXT: stw 6, 8(31) +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: li 3, 0 +; CHECK-NEXT: lwz 31, 28(1) +; CHECK-NEXT: addi 1, 1, 32 +; CHECK-NEXT: blr + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { +; CHECK-LABEL: main: +; CHECK: # %bb.0: +; CHECK-NEXT: stwu 1, -32(1) +; CHECK-NEXT: stw 31, 28(1) +; CHECK-NEXT: .cfi_def_cfa_offset 32 +; CHECK-NEXT: .cfi_offset r31, -4 +; CHECK-NEXT: mr 31, 1 +; CHECK-NEXT: .cfi_def_cfa_register r31 +; CHECK-NEXT: li 3, 0 +; CHECK-NEXT: stw 3, 24(31) +; CHECK-NEXT: li 3, 1 +; CHECK-NEXT: li 4, 2 +; CHECK-NEXT: li 5, 3 +; CHECK-NEXT: li 6, 4 +; CHECK-NEXT: lis 7, x@ha +; CHECK-NEXT: stw 3, 20(31) +; CHECK-NEXT: stw 4, 16(31) +; CHECK-NEXT: stw 5, 12(31) +; CHECK-NEXT: stw 6, 8(31) +; CHECK-NEXT: stw 3, x@l(7) +; CHECK-NEXT: #APP +; CHECK-NEXT: #NO_APP +; CHECK-NEXT: stw 3, 20(31) +; CHECK-NEXT: li 3, 0 +; CHECK-NEXT: stw 4, 16(31) +; CHECK-NEXT: stw 5, 12(31) +; CHECK-NEXT: stw 6, 8(31) +; CHECK-NEXT: lwz 31, 28(1) +; CHECK-NEXT: addi 1, 1, 32 +; CHECK-NEXT: blr + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/riscv_generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/riscv_generated_funcs.ll new file mode 100644 index 000000000000..33691746124c --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/riscv_generated_funcs.ll @@ -0,0 +1,63 @@ +; RUN: llc -enable-machine-outliner -mtriple=riscv32-unknown-linux < %s | FileCheck %s +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/riscv_generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/riscv_generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..fffaba35572d --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/riscv_generated_funcs.ll.generated.expected @@ -0,0 +1,143 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: llc -enable-machine-outliner -mtriple=riscv32-unknown-linux < %s | FileCheck %s +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } +; CHECK-LABEL: check_boundaries: +; CHECK: # %bb.0: +; CHECK-NEXT: addi sp, sp, -32 +; CHECK-NEXT: .cfi_def_cfa_offset 32 +; CHECK-NEXT: sw ra, 28(sp) +; CHECK-NEXT: sw s0, 24(sp) +; CHECK-NEXT: .cfi_offset ra, -4 +; CHECK-NEXT: .cfi_offset s0, -8 +; CHECK-NEXT: addi s0, sp, 32 +; CHECK-NEXT: .cfi_def_cfa s0, 0 +; CHECK-NEXT: sw zero, -12(s0) +; CHECK-NEXT: sw zero, -16(s0) +; CHECK-NEXT: addi a0, zero, 1 +; CHECK-NEXT: beqz zero, .LBB0_3 +; CHECK-NEXT: # %bb.1: +; CHECK-NEXT: sw a0, -24(s0) +; CHECK-NEXT: lw a0, -16(s0) +; CHECK-NEXT: beqz a0, .LBB0_4 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: addi a0, zero, 1 +; CHECK-NEXT: sw a0, -24(s0) +; CHECK-NEXT: j .LBB0_5 +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: call t0, OUTLINED_FUNCTION_0 +; CHECK-NEXT: lw a0, -16(s0) +; CHECK-NEXT: bnez a0, .LBB0_2 +; CHECK-NEXT: .LBB0_4: +; CHECK-NEXT: addi a0, zero, 1 +; CHECK-NEXT: call t0, OUTLINED_FUNCTION_0 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: mv a0, zero +; CHECK-NEXT: lw s0, 24(sp) +; CHECK-NEXT: lw ra, 28(sp) +; CHECK-NEXT: addi sp, sp, 32 +; CHECK-NEXT: ret +; +; CHECK-LABEL: main: +; CHECK: # %bb.0: +; CHECK-NEXT: addi sp, sp, -32 +; CHECK-NEXT: .cfi_def_cfa_offset 32 +; CHECK-NEXT: sw ra, 28(sp) +; CHECK-NEXT: sw s0, 24(sp) +; CHECK-NEXT: .cfi_offset ra, -4 +; CHECK-NEXT: .cfi_offset s0, -8 +; CHECK-NEXT: addi s0, sp, 32 +; CHECK-NEXT: .cfi_def_cfa s0, 0 +; CHECK-NEXT: sw zero, -12(s0) +; CHECK-NEXT: lui a0, %hi(x) +; CHECK-NEXT: addi a1, zero, 1 +; CHECK-NEXT: sw a1, -16(s0) +; CHECK-NEXT: addi a2, zero, 2 +; CHECK-NEXT: sw a2, -20(s0) +; CHECK-NEXT: addi a3, zero, 3 +; CHECK-NEXT: sw a3, -24(s0) +; CHECK-NEXT: addi a4, zero, 4 +; CHECK-NEXT: sw a4, -28(s0) +; CHECK-NEXT: sw a1, %lo(x)(a0) +; CHECK-NEXT: #APP +; CHECK-NEXT: #NO_APP +; CHECK-NEXT: sw a1, -16(s0) +; CHECK-NEXT: sw a2, -20(s0) +; CHECK-NEXT: sw a3, -24(s0) +; CHECK-NEXT: sw a4, -28(s0) +; CHECK-NEXT: mv a0, zero +; CHECK-NEXT: lw s0, 24(sp) +; CHECK-NEXT: lw ra, 28(sp) +; CHECK-NEXT: addi sp, sp, 32 +; CHECK-NEXT: ret +; +; CHECK-LABEL: OUTLINED_FUNCTION_0: +; CHECK: # %bb.0: +; CHECK-NEXT: sw a0, -16(s0) +; CHECK-NEXT: addi a0, zero, 2 +; CHECK-NEXT: sw a0, -20(s0) +; CHECK-NEXT: addi a0, zero, 3 +; CHECK-NEXT: sw a0, -24(s0) +; CHECK-NEXT: addi a0, zero, 4 +; CHECK-NEXT: sw a0, -28(s0) +; CHECK-NEXT: jr t0 diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/riscv_generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/riscv_generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..4293bd3bb876 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/riscv_generated_funcs.ll.nogenerated.expected @@ -0,0 +1,131 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -enable-machine-outliner -mtriple=riscv32-unknown-linux < %s | FileCheck %s +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { +; CHECK-LABEL: check_boundaries: +; CHECK: # %bb.0: +; CHECK-NEXT: addi sp, sp, -32 +; CHECK-NEXT: .cfi_def_cfa_offset 32 +; CHECK-NEXT: sw ra, 28(sp) +; CHECK-NEXT: sw s0, 24(sp) +; CHECK-NEXT: .cfi_offset ra, -4 +; CHECK-NEXT: .cfi_offset s0, -8 +; CHECK-NEXT: addi s0, sp, 32 +; CHECK-NEXT: .cfi_def_cfa s0, 0 +; CHECK-NEXT: sw zero, -12(s0) +; CHECK-NEXT: sw zero, -16(s0) +; CHECK-NEXT: addi a0, zero, 1 +; CHECK-NEXT: beqz zero, .LBB0_3 +; CHECK-NEXT: # %bb.1: +; CHECK-NEXT: sw a0, -24(s0) +; CHECK-NEXT: lw a0, -16(s0) +; CHECK-NEXT: beqz a0, .LBB0_4 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: addi a0, zero, 1 +; CHECK-NEXT: sw a0, -24(s0) +; CHECK-NEXT: j .LBB0_5 +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: call t0, OUTLINED_FUNCTION_0 +; CHECK-NEXT: lw a0, -16(s0) +; CHECK-NEXT: bnez a0, .LBB0_2 +; CHECK-NEXT: .LBB0_4: +; CHECK-NEXT: addi a0, zero, 1 +; CHECK-NEXT: call t0, OUTLINED_FUNCTION_0 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: mv a0, zero +; CHECK-NEXT: lw s0, 24(sp) +; CHECK-NEXT: lw ra, 28(sp) +; CHECK-NEXT: addi sp, sp, 32 +; CHECK-NEXT: ret + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { +; CHECK-LABEL: main: +; CHECK: # %bb.0: +; CHECK-NEXT: addi sp, sp, -32 +; CHECK-NEXT: .cfi_def_cfa_offset 32 +; CHECK-NEXT: sw ra, 28(sp) +; CHECK-NEXT: sw s0, 24(sp) +; CHECK-NEXT: .cfi_offset ra, -4 +; CHECK-NEXT: .cfi_offset s0, -8 +; CHECK-NEXT: addi s0, sp, 32 +; CHECK-NEXT: .cfi_def_cfa s0, 0 +; CHECK-NEXT: sw zero, -12(s0) +; CHECK-NEXT: lui a0, %hi(x) +; CHECK-NEXT: addi a1, zero, 1 +; CHECK-NEXT: sw a1, -16(s0) +; CHECK-NEXT: addi a2, zero, 2 +; CHECK-NEXT: sw a2, -20(s0) +; CHECK-NEXT: addi a3, zero, 3 +; CHECK-NEXT: sw a3, -24(s0) +; CHECK-NEXT: addi a4, zero, 4 +; CHECK-NEXT: sw a4, -28(s0) +; CHECK-NEXT: sw a1, %lo(x)(a0) +; CHECK-NEXT: #APP +; CHECK-NEXT: #NO_APP +; CHECK-NEXT: sw a1, -16(s0) +; CHECK-NEXT: sw a2, -20(s0) +; CHECK-NEXT: sw a3, -24(s0) +; CHECK-NEXT: sw a4, -28(s0) +; CHECK-NEXT: mv a0, zero +; CHECK-NEXT: lw s0, 24(sp) +; CHECK-NEXT: lw ra, 28(sp) +; CHECK-NEXT: addi sp, sp, 32 +; CHECK-NEXT: ret + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/sparc_generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/sparc_generated_funcs.ll new file mode 100644 index 000000000000..904d1ca28432 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/sparc_generated_funcs.ll @@ -0,0 +1,65 @@ +; RUN: llc -enable-machine-outliner -mtriple=sparc-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/sparc_generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/sparc_generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..db3fcdeaf67a --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/sparc_generated_funcs.ll.generated.expected @@ -0,0 +1,138 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: llc -enable-machine-outliner -mtriple=sparc-unknown-linux < %s | FileCheck %s +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } +; CHECK-LABEL: check_boundaries: +; CHECK: .cfi_startproc +; CHECK-NEXT: ! %bb.0: +; CHECK-NEXT: save %sp, -112, %sp +; CHECK-NEXT: .cfi_def_cfa_register %fp +; CHECK-NEXT: .cfi_window_save +; CHECK-NEXT: .cfi_register %o7, %i7 +; CHECK-NEXT: st %g0, [%fp+-4] +; CHECK-NEXT: mov %g0, %i0 +; CHECK-NEXT: cmp %i0, 0 +; CHECK-NEXT: st %g0, [%fp+-8] +; CHECK-NEXT: be .LBB0_1 +; CHECK-NEXT: mov 1, %i0 +; CHECK-NEXT: ! %bb.2: +; CHECK-NEXT: ba .LBB0_3 +; CHECK-NEXT: st %i0, [%fp+-16] +; CHECK-NEXT: .LBB0_1: +; CHECK-NEXT: st %i0, [%fp+-8] +; CHECK-NEXT: mov 2, %i0 +; CHECK-NEXT: st %i0, [%fp+-12] +; CHECK-NEXT: mov 3, %i0 +; CHECK-NEXT: st %i0, [%fp+-16] +; CHECK-NEXT: mov 4, %i0 +; CHECK-NEXT: st %i0, [%fp+-20] +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: ld [%fp+-8], %i0 +; CHECK-NEXT: cmp %i0, 0 +; CHECK-NEXT: be .LBB0_4 +; CHECK-NEXT: nop +; CHECK-NEXT: ! %bb.5: +; CHECK-NEXT: mov 1, %i0 +; CHECK-NEXT: ba .LBB0_6 +; CHECK-NEXT: st %i0, [%fp+-16] +; CHECK-NEXT: .LBB0_4: +; CHECK-NEXT: mov 1, %i0 +; CHECK-NEXT: st %i0, [%fp+-8] +; CHECK-NEXT: mov 2, %i0 +; CHECK-NEXT: st %i0, [%fp+-12] +; CHECK-NEXT: mov 3, %i0 +; CHECK-NEXT: st %i0, [%fp+-16] +; CHECK-NEXT: mov 4, %i0 +; CHECK-NEXT: st %i0, [%fp+-20] +; CHECK-NEXT: .LBB0_6: +; CHECK-NEXT: ret +; CHECK-NEXT: restore %g0, %g0, %o0 +; +; CHECK-LABEL: main: +; CHECK: .cfi_startproc +; CHECK-NEXT: ! %bb.0: +; CHECK-NEXT: save %sp, -112, %sp +; CHECK-NEXT: .cfi_def_cfa_register %fp +; CHECK-NEXT: .cfi_window_save +; CHECK-NEXT: .cfi_register %o7, %i7 +; CHECK-NEXT: st %g0, [%fp+-4] +; CHECK-NEXT: sethi %hi(x), %i0 +; CHECK-NEXT: mov 1, %i1 +; CHECK-NEXT: st %i1, [%fp+-8] +; CHECK-NEXT: mov 2, %i2 +; CHECK-NEXT: st %i2, [%fp+-12] +; CHECK-NEXT: mov 3, %i3 +; CHECK-NEXT: st %i3, [%fp+-16] +; CHECK-NEXT: mov 4, %i4 +; CHECK-NEXT: st %i4, [%fp+-20] +; CHECK-NEXT: st %i1, [%i0+%lo(x)] +; CHECK-NEXT: !APP +; CHECK-NEXT: !NO_APP +; CHECK-NEXT: st %i1, [%fp+-8] +; CHECK-NEXT: st %i2, [%fp+-12] +; CHECK-NEXT: st %i3, [%fp+-16] +; CHECK-NEXT: mov %g0, %i0 +; CHECK-NEXT: st %i4, [%fp+-20] +; CHECK-NEXT: ret +; CHECK-NEXT: restore diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/sparc_generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/sparc_generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..ec5855f582c3 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/sparc_generated_funcs.ll.nogenerated.expected @@ -0,0 +1,138 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -enable-machine-outliner -mtriple=sparc-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { +; CHECK-LABEL: check_boundaries: +; CHECK: .cfi_startproc +; CHECK-NEXT: ! %bb.0: +; CHECK-NEXT: save %sp, -112, %sp +; CHECK-NEXT: .cfi_def_cfa_register %fp +; CHECK-NEXT: .cfi_window_save +; CHECK-NEXT: .cfi_register %o7, %i7 +; CHECK-NEXT: st %g0, [%fp+-4] +; CHECK-NEXT: mov %g0, %i0 +; CHECK-NEXT: cmp %i0, 0 +; CHECK-NEXT: st %g0, [%fp+-8] +; CHECK-NEXT: be .LBB0_1 +; CHECK-NEXT: mov 1, %i0 +; CHECK-NEXT: ! %bb.2: +; CHECK-NEXT: ba .LBB0_3 +; CHECK-NEXT: st %i0, [%fp+-16] +; CHECK-NEXT: .LBB0_1: +; CHECK-NEXT: st %i0, [%fp+-8] +; CHECK-NEXT: mov 2, %i0 +; CHECK-NEXT: st %i0, [%fp+-12] +; CHECK-NEXT: mov 3, %i0 +; CHECK-NEXT: st %i0, [%fp+-16] +; CHECK-NEXT: mov 4, %i0 +; CHECK-NEXT: st %i0, [%fp+-20] +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: ld [%fp+-8], %i0 +; CHECK-NEXT: cmp %i0, 0 +; CHECK-NEXT: be .LBB0_4 +; CHECK-NEXT: nop +; CHECK-NEXT: ! %bb.5: +; CHECK-NEXT: mov 1, %i0 +; CHECK-NEXT: ba .LBB0_6 +; CHECK-NEXT: st %i0, [%fp+-16] +; CHECK-NEXT: .LBB0_4: +; CHECK-NEXT: mov 1, %i0 +; CHECK-NEXT: st %i0, [%fp+-8] +; CHECK-NEXT: mov 2, %i0 +; CHECK-NEXT: st %i0, [%fp+-12] +; CHECK-NEXT: mov 3, %i0 +; CHECK-NEXT: st %i0, [%fp+-16] +; CHECK-NEXT: mov 4, %i0 +; CHECK-NEXT: st %i0, [%fp+-20] +; CHECK-NEXT: .LBB0_6: +; CHECK-NEXT: ret +; CHECK-NEXT: restore %g0, %g0, %o0 + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { +; CHECK-LABEL: main: +; CHECK: .cfi_startproc +; CHECK-NEXT: ! %bb.0: +; CHECK-NEXT: save %sp, -112, %sp +; CHECK-NEXT: .cfi_def_cfa_register %fp +; CHECK-NEXT: .cfi_window_save +; CHECK-NEXT: .cfi_register %o7, %i7 +; CHECK-NEXT: st %g0, [%fp+-4] +; CHECK-NEXT: sethi %hi(x), %i0 +; CHECK-NEXT: mov 1, %i1 +; CHECK-NEXT: st %i1, [%fp+-8] +; CHECK-NEXT: mov 2, %i2 +; CHECK-NEXT: st %i2, [%fp+-12] +; CHECK-NEXT: mov 3, %i3 +; CHECK-NEXT: st %i3, [%fp+-16] +; CHECK-NEXT: mov 4, %i4 +; CHECK-NEXT: st %i4, [%fp+-20] +; CHECK-NEXT: st %i1, [%i0+%lo(x)] +; CHECK-NEXT: !APP +; CHECK-NEXT: !NO_APP +; CHECK-NEXT: st %i1, [%fp+-8] +; CHECK-NEXT: st %i2, [%fp+-12] +; CHECK-NEXT: st %i3, [%fp+-16] +; CHECK-NEXT: mov %g0, %i0 +; CHECK-NEXT: st %i4, [%fp+-20] +; CHECK-NEXT: ret +; CHECK-NEXT: restore + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/systemz_generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/systemz_generated_funcs.ll new file mode 100644 index 000000000000..138057a625fa --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/systemz_generated_funcs.ll @@ -0,0 +1,65 @@ +; RUN: llc -enable-machine-outliner -mtriple=s390x-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/systemz_generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/systemz_generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..24a1d43a1aba --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/systemz_generated_funcs.ll.generated.expected @@ -0,0 +1,127 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: llc -enable-machine-outliner -mtriple=s390x-unknown-linux < %s | FileCheck %s +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } +; CHECK-LABEL: check_boundaries: +; CHECK: # %bb.0: +; CHECK-NEXT: stmg %r11, %r15, 88(%r15) +; CHECK-NEXT: .cfi_offset %r11, -72 +; CHECK-NEXT: .cfi_offset %r15, -40 +; CHECK-NEXT: aghi %r15, -184 +; CHECK-NEXT: .cfi_def_cfa_offset 344 +; CHECK-NEXT: lgr %r11, %r15 +; CHECK-NEXT: .cfi_def_cfa_register %r11 +; CHECK-NEXT: mvhi 180(%r11), 0 +; CHECK-NEXT: lhi %r0, 0 +; CHECK-NEXT: mvhi 176(%r11), 0 +; CHECK-NEXT: cije %r0, 0, .LBB0_3 +; CHECK-NEXT: # %bb.1: +; CHECK-NEXT: mvhi 168(%r11), 1 +; CHECK-NEXT: chsi 176(%r11), 0 +; CHECK-NEXT: je .LBB0_4 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: mvhi 168(%r11), 1 +; CHECK-NEXT: j .LBB0_5 +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: mvhi 176(%r11), 1 +; CHECK-NEXT: mvhi 172(%r11), 2 +; CHECK-NEXT: mvhi 168(%r11), 3 +; CHECK-NEXT: mvhi 164(%r11), 4 +; CHECK-NEXT: chsi 176(%r11), 0 +; CHECK-NEXT: jlh .LBB0_2 +; CHECK-NEXT: .LBB0_4: +; CHECK-NEXT: mvhi 176(%r11), 1 +; CHECK-NEXT: mvhi 172(%r11), 2 +; CHECK-NEXT: mvhi 168(%r11), 3 +; CHECK-NEXT: mvhi 164(%r11), 4 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: lhi %r2, 0 +; CHECK-NEXT: lmg %r11, %r15, 272(%r11) +; CHECK-NEXT: br %r14 +; +; CHECK-LABEL: main: +; CHECK: # %bb.0: +; CHECK-NEXT: stmg %r11, %r15, 88(%r15) +; CHECK-NEXT: .cfi_offset %r11, -72 +; CHECK-NEXT: .cfi_offset %r15, -40 +; CHECK-NEXT: aghi %r15, -184 +; CHECK-NEXT: .cfi_def_cfa_offset 344 +; CHECK-NEXT: lgr %r11, %r15 +; CHECK-NEXT: .cfi_def_cfa_register %r11 +; CHECK-NEXT: mvhi 180(%r11), 0 +; CHECK-NEXT: mvhi 176(%r11), 1 +; CHECK-NEXT: mvhi 172(%r11), 2 +; CHECK-NEXT: mvhi 168(%r11), 3 +; CHECK-NEXT: mvhi 164(%r11), 4 +; CHECK-NEXT: lhi %r0, 1 +; CHECK-NEXT: strl %r0, x +; CHECK-NEXT: #APP +; CHECK-NEXT: #NO_APP +; CHECK-NEXT: mvhi 176(%r11), 1 +; CHECK-NEXT: mvhi 172(%r11), 2 +; CHECK-NEXT: mvhi 168(%r11), 3 +; CHECK-NEXT: lhi %r2, 0 +; CHECK-NEXT: mvhi 164(%r11), 4 +; CHECK-NEXT: lmg %r11, %r15, 272(%r11) +; CHECK-NEXT: br %r14 diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/systemz_generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/systemz_generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..37a314f0060f --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/systemz_generated_funcs.ll.nogenerated.expected @@ -0,0 +1,127 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -enable-machine-outliner -mtriple=s390x-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { +; CHECK-LABEL: check_boundaries: +; CHECK: # %bb.0: +; CHECK-NEXT: stmg %r11, %r15, 88(%r15) +; CHECK-NEXT: .cfi_offset %r11, -72 +; CHECK-NEXT: .cfi_offset %r15, -40 +; CHECK-NEXT: aghi %r15, -184 +; CHECK-NEXT: .cfi_def_cfa_offset 344 +; CHECK-NEXT: lgr %r11, %r15 +; CHECK-NEXT: .cfi_def_cfa_register %r11 +; CHECK-NEXT: mvhi 180(%r11), 0 +; CHECK-NEXT: lhi %r0, 0 +; CHECK-NEXT: mvhi 176(%r11), 0 +; CHECK-NEXT: cije %r0, 0, .LBB0_3 +; CHECK-NEXT: # %bb.1: +; CHECK-NEXT: mvhi 168(%r11), 1 +; CHECK-NEXT: chsi 176(%r11), 0 +; CHECK-NEXT: je .LBB0_4 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: mvhi 168(%r11), 1 +; CHECK-NEXT: j .LBB0_5 +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: mvhi 176(%r11), 1 +; CHECK-NEXT: mvhi 172(%r11), 2 +; CHECK-NEXT: mvhi 168(%r11), 3 +; CHECK-NEXT: mvhi 164(%r11), 4 +; CHECK-NEXT: chsi 176(%r11), 0 +; CHECK-NEXT: jlh .LBB0_2 +; CHECK-NEXT: .LBB0_4: +; CHECK-NEXT: mvhi 176(%r11), 1 +; CHECK-NEXT: mvhi 172(%r11), 2 +; CHECK-NEXT: mvhi 168(%r11), 3 +; CHECK-NEXT: mvhi 164(%r11), 4 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: lhi %r2, 0 +; CHECK-NEXT: lmg %r11, %r15, 272(%r11) +; CHECK-NEXT: br %r14 + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { +; CHECK-LABEL: main: +; CHECK: # %bb.0: +; CHECK-NEXT: stmg %r11, %r15, 88(%r15) +; CHECK-NEXT: .cfi_offset %r11, -72 +; CHECK-NEXT: .cfi_offset %r15, -40 +; CHECK-NEXT: aghi %r15, -184 +; CHECK-NEXT: .cfi_def_cfa_offset 344 +; CHECK-NEXT: lgr %r11, %r15 +; CHECK-NEXT: .cfi_def_cfa_register %r11 +; CHECK-NEXT: mvhi 180(%r11), 0 +; CHECK-NEXT: mvhi 176(%r11), 1 +; CHECK-NEXT: mvhi 172(%r11), 2 +; CHECK-NEXT: mvhi 168(%r11), 3 +; CHECK-NEXT: mvhi 164(%r11), 4 +; CHECK-NEXT: lhi %r0, 1 +; CHECK-NEXT: strl %r0, x +; CHECK-NEXT: #APP +; CHECK-NEXT: #NO_APP +; CHECK-NEXT: mvhi 176(%r11), 1 +; CHECK-NEXT: mvhi 172(%r11), 2 +; CHECK-NEXT: mvhi 168(%r11), 3 +; CHECK-NEXT: lhi %r2, 0 +; CHECK-NEXT: mvhi 164(%r11), 4 +; CHECK-NEXT: lmg %r11, %r15, 272(%r11) +; CHECK-NEXT: br %r14 + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/wasm_generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/wasm_generated_funcs.ll new file mode 100644 index 000000000000..499e6e09d3a6 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/wasm_generated_funcs.ll @@ -0,0 +1,65 @@ +; RUN: llc -enable-machine-outliner -mtriple=wasm32-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/wasm_generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/wasm_generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..c032945acdfb --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/wasm_generated_funcs.ll.generated.expected @@ -0,0 +1,191 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: llc -enable-machine-outliner -mtriple=wasm32-unknown-linux < %s | FileCheck %s +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } +; CHECK-LABEL: check_boundaries: +; CHECK: .functype check_boundaries () -> (i32) +; CHECK-NEXT: .local i32 +; CHECK-NEXT: # %bb.0: +; CHECK-NEXT: global.get __stack_pointer +; CHECK-NEXT: i32.const 32 +; CHECK-NEXT: i32.sub +; CHECK-NEXT: local.tee 0 +; CHECK-NEXT: global.set __stack_pointer +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 0 +; CHECK-NEXT: i32.store 24 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 0 +; CHECK-NEXT: i32.store 28 +; CHECK-NEXT: block +; CHECK-NEXT: block +; CHECK-NEXT: i32.const 0 +; CHECK-NEXT: br_if 0 # 0: down to label1 +; CHECK-NEXT: # %bb.1: +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 2 +; CHECK-NEXT: i32.store 20 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 1 +; CHECK-NEXT: i32.store 24 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 3 +; CHECK-NEXT: i32.store 16 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 4 +; CHECK-NEXT: i32.store 12 +; CHECK-NEXT: br 1 # 1: down to label0 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: end_block # label1: +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 1 +; CHECK-NEXT: i32.store 16 +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: end_block # label0: +; CHECK-NEXT: block +; CHECK-NEXT: block +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.load 24 +; CHECK-NEXT: br_if 0 # 0: down to label3 +; CHECK-NEXT: # %bb.4: +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 2 +; CHECK-NEXT: i32.store 20 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 1 +; CHECK-NEXT: i32.store 24 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 3 +; CHECK-NEXT: i32.store 16 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 4 +; CHECK-NEXT: i32.store 12 +; CHECK-NEXT: br 1 # 1: down to label2 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: end_block # label3: +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 1 +; CHECK-NEXT: i32.store 16 +; CHECK-NEXT: .LBB0_6: +; CHECK-NEXT: end_block # label2: +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 32 +; CHECK-NEXT: i32.add +; CHECK-NEXT: global.set __stack_pointer +; CHECK-NEXT: i32.const 0 +; CHECK-NEXT: # fallthrough-return +; +; CHECK-LABEL: __original_main: +; CHECK: .functype __original_main () -> (i32) +; CHECK-NEXT: .local i32 +; CHECK-NEXT: # %bb.0: +; CHECK-NEXT: global.get __stack_pointer +; CHECK-NEXT: i32.const 32 +; CHECK-NEXT: i32.sub +; CHECK-NEXT: local.tee 0 +; CHECK-NEXT: global.set __stack_pointer +; CHECK-NEXT: i32.const 0 +; CHECK-NEXT: i32.const 1 +; CHECK-NEXT: i32.store x +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 0 +; CHECK-NEXT: i32.store 28 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 1 +; CHECK-NEXT: i32.store 24 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 2 +; CHECK-NEXT: i32.store 20 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 3 +; CHECK-NEXT: i32.store 16 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 4 +; CHECK-NEXT: i32.store 12 +; CHECK-NEXT: #APP +; CHECK-NEXT: #NO_APP +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 2 +; CHECK-NEXT: i32.store 20 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 1 +; CHECK-NEXT: i32.store 24 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 3 +; CHECK-NEXT: i32.store 16 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 4 +; CHECK-NEXT: i32.store 12 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 32 +; CHECK-NEXT: i32.add +; CHECK-NEXT: global.set __stack_pointer +; CHECK-NEXT: i32.const 0 +; CHECK-NEXT: # fallthrough-return +; +; CHECK-LABEL: main: +; CHECK: .functype main (i32, i32) -> (i32) +; CHECK-NEXT: # %bb.0: # %body +; CHECK-NEXT: call __original_main +; CHECK-NEXT: # fallthrough-return diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/wasm_generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/wasm_generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..14ae2ea71cb4 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/wasm_generated_funcs.ll.nogenerated.expected @@ -0,0 +1,143 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -enable-machine-outliner -mtriple=wasm32-unknown-linux < %s | FileCheck %s +; +; NOTE: Machine outliner doesn't run. +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { +; CHECK-LABEL: check_boundaries: +; CHECK: .functype check_boundaries () -> (i32) +; CHECK-NEXT: .local i32 +; CHECK-NEXT: # %bb.0: +; CHECK-NEXT: global.get __stack_pointer +; CHECK-NEXT: i32.const 32 +; CHECK-NEXT: i32.sub +; CHECK-NEXT: local.tee 0 +; CHECK-NEXT: global.set __stack_pointer +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 0 +; CHECK-NEXT: i32.store 24 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 0 +; CHECK-NEXT: i32.store 28 +; CHECK-NEXT: block +; CHECK-NEXT: block +; CHECK-NEXT: i32.const 0 +; CHECK-NEXT: br_if 0 # 0: down to label1 +; CHECK-NEXT: # %bb.1: +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 2 +; CHECK-NEXT: i32.store 20 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 1 +; CHECK-NEXT: i32.store 24 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 3 +; CHECK-NEXT: i32.store 16 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 4 +; CHECK-NEXT: i32.store 12 +; CHECK-NEXT: br 1 # 1: down to label0 +; CHECK-NEXT: .LBB0_2: +; CHECK-NEXT: end_block # label1: +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 1 +; CHECK-NEXT: i32.store 16 +; CHECK-NEXT: .LBB0_3: +; CHECK-NEXT: end_block # label0: +; CHECK-NEXT: block +; CHECK-NEXT: block +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.load 24 +; CHECK-NEXT: br_if 0 # 0: down to label3 +; CHECK-NEXT: # %bb.4: +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 2 +; CHECK-NEXT: i32.store 20 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 1 +; CHECK-NEXT: i32.store 24 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 3 +; CHECK-NEXT: i32.store 16 +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 4 +; CHECK-NEXT: i32.store 12 +; CHECK-NEXT: br 1 # 1: down to label2 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: end_block # label3: +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 1 +; CHECK-NEXT: i32.store 16 +; CHECK-NEXT: .LBB0_6: +; CHECK-NEXT: end_block # label2: +; CHECK-NEXT: local.get 0 +; CHECK-NEXT: i32.const 32 +; CHECK-NEXT: i32.add +; CHECK-NEXT: global.set __stack_pointer +; CHECK-NEXT: i32.const 0 +; CHECK-NEXT: # fallthrough-return + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { +; CHECK-LABEL: main: +; CHECK: .functype main (i32, i32) -> (i32) +; CHECK-NEXT: # %bb.0: # %body +; CHECK-NEXT: call __original_main +; CHECK-NEXT: # fallthrough-return + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/x86_generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/x86_generated_funcs.ll new file mode 100644 index 000000000000..be87e33156eb --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/x86_generated_funcs.ll @@ -0,0 +1,63 @@ +; RUN: llc -enable-machine-outliner -mtriple=x86_64-unknown-linux < %s | FileCheck %s +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/x86_generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/x86_generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..966b5095c252 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/x86_generated_funcs.ll.generated.expected @@ -0,0 +1,132 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: llc -enable-machine-outliner -mtriple=x86_64-unknown-linux < %s | FileCheck %s +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } +; CHECK-LABEL: check_boundaries: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rbp +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: .cfi_offset %rbp, -16 +; CHECK-NEXT: movq %rsp, %rbp +; CHECK-NEXT: .cfi_def_cfa_register %rbp +; CHECK-NEXT: subq $20, %rsp +; CHECK-NEXT: movl $0, -20(%rbp) +; CHECK-NEXT: movl $0, -8(%rbp) +; CHECK-NEXT: xorl %eax, %eax +; CHECK-NEXT: testb %al, %al +; CHECK-NEXT: je .LBB0_1 +; CHECK-NEXT: # %bb.2: +; CHECK-NEXT: movl $1, -4(%rbp) +; CHECK-NEXT: cmpl $0, -8(%rbp) +; CHECK-NEXT: je .LBB0_4 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: movl $1, -4(%rbp) +; CHECK-NEXT: jmp .LBB0_6 +; CHECK-NEXT: .LBB0_1: +; CHECK-NEXT: callq OUTLINED_FUNCTION_0 +; CHECK-NEXT: cmpl $0, -8(%rbp) +; CHECK-NEXT: jne .LBB0_5 +; CHECK-NEXT: .LBB0_4: +; CHECK-NEXT: callq OUTLINED_FUNCTION_0 +; CHECK-NEXT: .LBB0_6: +; CHECK-NEXT: xorl %eax, %eax +; CHECK-NEXT: addq $20, %rsp +; CHECK-NEXT: popq %rbp +; CHECK-NEXT: .cfi_def_cfa %rsp, 8 +; CHECK-NEXT: retq +; +; CHECK-LABEL: main: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rbp +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: .cfi_offset %rbp, -16 +; CHECK-NEXT: movq %rsp, %rbp +; CHECK-NEXT: .cfi_def_cfa_register %rbp +; CHECK-NEXT: subq $20, %rsp +; CHECK-NEXT: movl $0, -20(%rbp) +; CHECK-NEXT: callq OUTLINED_FUNCTION_1 +; CHECK-NEXT: movl $1, {{.*}}(%rip) +; CHECK-NEXT: #APP +; CHECK-NEXT: #NO_APP +; CHECK-NEXT: callq OUTLINED_FUNCTION_1 +; CHECK-NEXT: xorl %eax, %eax +; CHECK-NEXT: addq $20, %rsp +; CHECK-NEXT: popq %rbp +; CHECK-NEXT: .cfi_def_cfa %rsp, 8 +; CHECK-NEXT: retq +; +; CHECK-LABEL: OUTLINED_FUNCTION_0: +; CHECK: # %bb.0: +; CHECK-NEXT: movl $1, -8(%rbp) +; CHECK-NEXT: movl $2, -16(%rbp) +; CHECK-NEXT: movl $3, -4(%rbp) +; CHECK-NEXT: movl $4, -12(%rbp) +; CHECK-NEXT: retq +; +; CHECK-LABEL: OUTLINED_FUNCTION_1: +; CHECK: # %bb.0: +; CHECK-NEXT: movl $1, -16(%rbp) +; CHECK-NEXT: movl $2, -12(%rbp) +; CHECK-NEXT: movl $3, -8(%rbp) +; CHECK-NEXT: movl $4, -4(%rbp) +; CHECK-NEXT: retq diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/x86_generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/x86_generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..2d8c128f1a9f --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/Inputs/x86_generated_funcs.ll.nogenerated.expected @@ -0,0 +1,115 @@ +; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py +; RUN: llc -enable-machine-outliner -mtriple=x86_64-unknown-linux < %s | FileCheck %s +@x = global i32 0, align 4 + +define i32 @check_boundaries() #0 { +; CHECK-LABEL: check_boundaries: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rbp +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: .cfi_offset %rbp, -16 +; CHECK-NEXT: movq %rsp, %rbp +; CHECK-NEXT: .cfi_def_cfa_register %rbp +; CHECK-NEXT: subq $20, %rsp +; CHECK-NEXT: movl $0, -20(%rbp) +; CHECK-NEXT: movl $0, -8(%rbp) +; CHECK-NEXT: xorl %eax, %eax +; CHECK-NEXT: testb %al, %al +; CHECK-NEXT: je .LBB0_1 +; CHECK-NEXT: # %bb.2: +; CHECK-NEXT: movl $1, -4(%rbp) +; CHECK-NEXT: cmpl $0, -8(%rbp) +; CHECK-NEXT: je .LBB0_4 +; CHECK-NEXT: .LBB0_5: +; CHECK-NEXT: movl $1, -4(%rbp) +; CHECK-NEXT: jmp .LBB0_6 +; CHECK-NEXT: .LBB0_1: +; CHECK-NEXT: callq OUTLINED_FUNCTION_0 +; CHECK-NEXT: cmpl $0, -8(%rbp) +; CHECK-NEXT: jne .LBB0_5 +; CHECK-NEXT: .LBB0_4: +; CHECK-NEXT: callq OUTLINED_FUNCTION_0 +; CHECK-NEXT: .LBB0_6: +; CHECK-NEXT: xorl %eax, %eax +; CHECK-NEXT: addq $20, %rsp +; CHECK-NEXT: popq %rbp +; CHECK-NEXT: .cfi_def_cfa %rsp, 8 +; CHECK-NEXT: retq + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 0, i32* %2, align 4 + %6 = load i32, i32* %2, align 4 + %7 = icmp ne i32 %6, 0 + br i1 %7, label %9, label %8 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %10 + + store i32 1, i32* %4, align 4 + br label %10 + + %11 = load i32, i32* %2, align 4 + %12 = icmp ne i32 %11, 0 + br i1 %12, label %14, label %13 + + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + br label %15 + + store i32 1, i32* %4, align 4 + br label %15 + + ret i32 0 +} + +define i32 @main() #0 { +; CHECK-LABEL: main: +; CHECK: # %bb.0: +; CHECK-NEXT: pushq %rbp +; CHECK-NEXT: .cfi_def_cfa_offset 16 +; CHECK-NEXT: .cfi_offset %rbp, -16 +; CHECK-NEXT: movq %rsp, %rbp +; CHECK-NEXT: .cfi_def_cfa_register %rbp +; CHECK-NEXT: subq $20, %rsp +; CHECK-NEXT: movl $0, -20(%rbp) +; CHECK-NEXT: callq OUTLINED_FUNCTION_1 +; CHECK-NEXT: movl $1, {{.*}}(%rip) +; CHECK-NEXT: #APP +; CHECK-NEXT: #NO_APP +; CHECK-NEXT: callq OUTLINED_FUNCTION_1 +; CHECK-NEXT: xorl %eax, %eax +; CHECK-NEXT: addq $20, %rsp +; CHECK-NEXT: popq %rbp +; CHECK-NEXT: .cfi_def_cfa %rsp, 8 +; CHECK-NEXT: retq + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + %3 = alloca i32, align 4 + %4 = alloca i32, align 4 + %5 = alloca i32, align 4 + + store i32 0, i32* %1, align 4 + store i32 0, i32* @x, align 4 + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + store i32 1, i32* @x, align 4 + call void asm sideeffect "", "~{memory},~{dirflag},~{fpsr},~{flags}"() + store i32 1, i32* %2, align 4 + store i32 2, i32* %3, align 4 + store i32 3, i32* %4, align 4 + store i32 4, i32* %5, align 4 + ret i32 0 +} + +attributes #0 = { noredzone nounwind ssp uwtable "frame-pointer"="all" } diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/aarch64_generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/aarch64_generated_funcs.test new file mode 100644 index 000000000000..701c2a71ac02 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/aarch64_generated_funcs.test @@ -0,0 +1,17 @@ +# REQUIRES: aarch64-registered-target + +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/aarch64_generated_funcs.ll %t.ll && %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/aarch64_generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/aarch64_generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/aarch64_generated_funcs.ll %t.ll && %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/aarch64_generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/aarch64_generated_funcs.ll.nogenerated.expected diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/amdgpu_generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/amdgpu_generated_funcs.test new file mode 100644 index 000000000000..8e9d63829d53 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/amdgpu_generated_funcs.test @@ -0,0 +1,17 @@ +# REQUIRES: amdgpu-registered-target + +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/amdgpu_generated_funcs.ll %t.ll && %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/amdgpu_generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/amdgpu_generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/amdgpu_generated_funcs.ll %t.ll && %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/amdgpu_generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/amdgpu_generated_funcs.ll.nogenerated.expected diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/arm_generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/arm_generated_funcs.test new file mode 100644 index 000000000000..ace43d45433e --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/arm_generated_funcs.test @@ -0,0 +1,17 @@ +# REQUIRES: arm-registered-target + +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/arm_generated_funcs.ll %t.ll && %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/arm_generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/arm_generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/arm_generated_funcs.ll %t.ll && %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/arm_generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/arm_generated_funcs.ll.nogenerated.expected diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/hexagon_generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/hexagon_generated_funcs.test new file mode 100644 index 000000000000..bc43c219526a --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/hexagon_generated_funcs.test @@ -0,0 +1,17 @@ +# REQUIRES: hexagon-registered-target + +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/hexagon_generated_funcs.ll %t.ll && %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/hexagon_generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/hexagon_generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/hexagon_generated_funcs.ll %t.ll && %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/hexagon_generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/hexagon_generated_funcs.ll.nogenerated.expected diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/lanai_generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/lanai_generated_funcs.test new file mode 100644 index 000000000000..d81275254ab5 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/lanai_generated_funcs.test @@ -0,0 +1,17 @@ +# REQUIRES: lanai-registered-target + +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/lanai_generated_funcs.ll %t.ll && %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/lanai_generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/lanai_generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/lanai_generated_funcs.ll %t.ll && %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/lanai_generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/lanai_generated_funcs.ll.nogenerated.expected diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/mips_generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/mips_generated_funcs.test new file mode 100644 index 000000000000..67521cc57d2a --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/mips_generated_funcs.test @@ -0,0 +1,17 @@ +# REQUIRES: mips-registered-target + +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/mips_generated_funcs.ll %t.ll && %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/mips_generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/mips_generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/mips_generated_funcs.ll %t.ll && %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/mips_generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/mips_generated_funcs.ll.nogenerated.expected diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/msp430_generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/msp430_generated_funcs.test new file mode 100644 index 000000000000..c8ea9833d77b --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/msp430_generated_funcs.test @@ -0,0 +1,17 @@ +# REQUIRES: msp430-registered-target + +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/msp430_generated_funcs.ll %t.ll && %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/msp430_generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/msp430_generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/msp430_generated_funcs.ll %t.ll && %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/msp430_generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/msp430_generated_funcs.ll.nogenerated.expected diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/ppc_generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/ppc_generated_funcs.test new file mode 100644 index 000000000000..b4b3583b5d29 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/ppc_generated_funcs.test @@ -0,0 +1,17 @@ +# REQUIRES: powerpc-registered-target + +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/ppc_generated_funcs.ll %t.ll && %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/ppc_generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/ppc_generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/ppc_generated_funcs.ll %t.ll && %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/ppc_generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/ppc_generated_funcs.ll.nogenerated.expected diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/riscv_generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/riscv_generated_funcs.test new file mode 100644 index 000000000000..5275f8900624 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/riscv_generated_funcs.test @@ -0,0 +1,17 @@ +# REQUIRES: riscv-registered-target + +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/riscv_generated_funcs.ll %t.ll && %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/riscv_generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/riscv_generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/riscv_generated_funcs.ll %t.ll && %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/riscv_generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/riscv_generated_funcs.ll.nogenerated.expected diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/sparc_generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/sparc_generated_funcs.test new file mode 100644 index 000000000000..d8e59a93d43b --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/sparc_generated_funcs.test @@ -0,0 +1,17 @@ +# REQUIRES: sparc-registered-target + +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/sparc_generated_funcs.ll %t.ll && %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/sparc_generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/sparc_generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/sparc_generated_funcs.ll %t.ll && %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/sparc_generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/sparc_generated_funcs.ll.nogenerated.expected diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/systemz_generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/systemz_generated_funcs.test new file mode 100644 index 000000000000..925eda940966 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/systemz_generated_funcs.test @@ -0,0 +1,17 @@ +# REQUIRES: systemz-registered-target + +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/systemz_generated_funcs.ll %t.ll && %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/systemz_generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/systemz_generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/systemz_generated_funcs.ll %t.ll && %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/systemz_generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/systemz_generated_funcs.ll.nogenerated.expected diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/wasm_generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/wasm_generated_funcs.test new file mode 100644 index 000000000000..84ade92286a1 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/wasm_generated_funcs.test @@ -0,0 +1,17 @@ +# REQUIRES: webassembly-registered-target + +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/wasm_generated_funcs.ll %t.ll && %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/wasm_generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/wasm_generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/wasm_generated_funcs.ll %t.ll && %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/wasm_generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/wasm_generated_funcs.ll.nogenerated.expected diff --git a/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/x86_generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/x86_generated_funcs.test new file mode 100644 index 000000000000..d30ec1dbc7a6 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_llc_test_checks/x86_generated_funcs.test @@ -0,0 +1,17 @@ +# REQUIRES: x86-registered-target + +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/x86_generated_funcs.ll %t.ll && %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/x86_generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/x86_generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/x86_generated_funcs.ll %t.ll && %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/x86_generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_llc_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/x86_generated_funcs.ll.nogenerated.expected diff --git a/llvm/test/tools/UpdateTestChecks/update_test_checks/Inputs/generated_funcs.ll b/llvm/test/tools/UpdateTestChecks/update_test_checks/Inputs/generated_funcs.ll new file mode 100644 index 000000000000..f19d6dd1f042 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_test_checks/Inputs/generated_funcs.ll @@ -0,0 +1,34 @@ +; RUN: opt -hotcoldsplit -hotcoldsplit-threshold=0 -S < %s | FileCheck %s +target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-apple-macosx10.14.0" + +define void @foo(i32) { + %2 = icmp eq i32 %0, 0 + tail call void @_Z10sideeffectv() + br i1 %2, label %sink, label %exit + +sink: + tail call void @_Z10sideeffectv() + call void @llvm.trap() + unreachable + +exit: + ret void +} + +define void @bar(i32) { + %2 = icmp eq i32 %0, 0 + tail call void @_Z10sideeffectv() + br i1 %2, label %sink, label %exit + +sink: + tail call void @_Z10sideeffectv() + call void @llvm.trap() + unreachable + +exit: + ret void +} + +declare void @llvm.trap() noreturn cold +declare void @_Z10sideeffectv() diff --git a/llvm/test/tools/UpdateTestChecks/update_test_checks/Inputs/generated_funcs.ll.generated.expected b/llvm/test/tools/UpdateTestChecks/update_test_checks/Inputs/generated_funcs.ll.generated.expected new file mode 100644 index 000000000000..e34e2c2d1a68 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_test_checks/Inputs/generated_funcs.ll.generated.expected @@ -0,0 +1,74 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --include-generated-funcs +; RUN: opt -hotcoldsplit -hotcoldsplit-threshold=0 -S < %s | FileCheck %s +target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-apple-macosx10.14.0" + +define void @foo(i32) { + %2 = icmp eq i32 %0, 0 + tail call void @_Z10sideeffectv() + br i1 %2, label %sink, label %exit + +sink: + tail call void @_Z10sideeffectv() + call void @llvm.trap() + unreachable + +exit: + ret void +} + +define void @bar(i32) { + %2 = icmp eq i32 %0, 0 + tail call void @_Z10sideeffectv() + br i1 %2, label %sink, label %exit + +sink: + tail call void @_Z10sideeffectv() + call void @llvm.trap() + unreachable + +exit: + ret void +} + +declare void @llvm.trap() noreturn cold +declare void @_Z10sideeffectv() +; CHECK-LABEL: @foo( +; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP0:%.*]], 0 +; CHECK-NEXT: tail call void @_Z10sideeffectv() +; CHECK-NEXT: br i1 [[TMP2]], label [[CODEREPL:%.*]], label [[EXIT:%.*]] +; CHECK: codeRepl: +; CHECK-NEXT: call void @foo.cold.1() [[ATTR2:#.*]] +; CHECK-NEXT: ret void +; CHECK: exit: +; CHECK-NEXT: ret void +; +; +; CHECK-LABEL: @bar( +; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP0:%.*]], 0 +; CHECK-NEXT: tail call void @_Z10sideeffectv() +; CHECK-NEXT: br i1 [[TMP2]], label [[CODEREPL:%.*]], label [[EXIT:%.*]] +; CHECK: codeRepl: +; CHECK-NEXT: call void @bar.cold.1() [[ATTR2]] +; CHECK-NEXT: ret void +; CHECK: exit: +; CHECK-NEXT: ret void +; +; +; CHECK-LABEL: @foo.cold.1( +; CHECK-NEXT: newFuncRoot: +; CHECK-NEXT: br label [[SINK:%.*]] +; CHECK: sink: +; CHECK-NEXT: tail call void @_Z10sideeffectv() +; CHECK-NEXT: call void @llvm.trap() +; CHECK-NEXT: unreachable +; +; +; CHECK-LABEL: @bar.cold.1( +; CHECK-NEXT: newFuncRoot: +; CHECK-NEXT: br label [[SINK:%.*]] +; CHECK: sink: +; CHECK-NEXT: tail call void @_Z10sideeffectv() +; CHECK-NEXT: call void @llvm.trap() +; CHECK-NEXT: unreachable +; diff --git a/llvm/test/tools/UpdateTestChecks/update_test_checks/Inputs/generated_funcs.ll.nogenerated.expected b/llvm/test/tools/UpdateTestChecks/update_test_checks/Inputs/generated_funcs.ll.nogenerated.expected new file mode 100644 index 000000000000..fcd39c147006 --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_test_checks/Inputs/generated_funcs.ll.nogenerated.expected @@ -0,0 +1,55 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt -hotcoldsplit -hotcoldsplit-threshold=0 -S < %s | FileCheck %s +target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-apple-macosx10.14.0" + +define void @foo(i32) { +; CHECK-LABEL: @foo( +; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP0:%.*]], 0 +; CHECK-NEXT: tail call void @_Z10sideeffectv() +; CHECK-NEXT: br i1 [[TMP2]], label [[CODEREPL:%.*]], label [[EXIT:%.*]] +; CHECK: codeRepl: +; CHECK-NEXT: call void @foo.cold.1() [[ATTR2:#.*]] +; CHECK-NEXT: ret void +; CHECK: exit: +; CHECK-NEXT: ret void +; + %2 = icmp eq i32 %0, 0 + tail call void @_Z10sideeffectv() + br i1 %2, label %sink, label %exit + +sink: + tail call void @_Z10sideeffectv() + call void @llvm.trap() + unreachable + +exit: + ret void +} + +define void @bar(i32) { +; CHECK-LABEL: @bar( +; CHECK-NEXT: [[TMP2:%.*]] = icmp eq i32 [[TMP0:%.*]], 0 +; CHECK-NEXT: tail call void @_Z10sideeffectv() +; CHECK-NEXT: br i1 [[TMP2]], label [[CODEREPL:%.*]], label [[EXIT:%.*]] +; CHECK: codeRepl: +; CHECK-NEXT: call void @bar.cold.1() [[ATTR2]] +; CHECK-NEXT: ret void +; CHECK: exit: +; CHECK-NEXT: ret void +; + %2 = icmp eq i32 %0, 0 + tail call void @_Z10sideeffectv() + br i1 %2, label %sink, label %exit + +sink: + tail call void @_Z10sideeffectv() + call void @llvm.trap() + unreachable + +exit: + ret void +} + +declare void @llvm.trap() noreturn cold +declare void @_Z10sideeffectv() diff --git a/llvm/test/tools/UpdateTestChecks/update_test_checks/generated_funcs.test b/llvm/test/tools/UpdateTestChecks/update_test_checks/generated_funcs.test new file mode 100644 index 000000000000..68dead038d2b --- /dev/null +++ b/llvm/test/tools/UpdateTestChecks/update_test_checks/generated_funcs.test @@ -0,0 +1,15 @@ +## Check that generated functions are included. +# RUN: cp -f %S/Inputs/generated_funcs.ll %t.ll && %update_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/generated_funcs.ll.generated.expected + +## Check that running the script again does not change the result: +# RUN: %update_test_checks --include-generated-funcs %t.ll +# RUN: diff -u %t.ll %S/Inputs/generated_funcs.ll.generated.expected + +## Check that generated functions are not included. +# RUN: cp -f %S/Inputs/generated_funcs.ll %t.ll && %update_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/generated_funcs.ll.nogenerated.expected + +## Check that running the script again does not change the result: +# RUN: %update_test_checks %t.ll +# RUN: diff -u %t.ll %S/Inputs/generated_funcs.ll.nogenerated.expected diff --git a/llvm/utils/UpdateTestChecks/asm.py b/llvm/utils/UpdateTestChecks/asm.py index dc35859606e0..538604453b8a 100644 --- a/llvm/utils/UpdateTestChecks/asm.py +++ b/llvm/utils/UpdateTestChecks/asm.py @@ -15,7 +15,7 @@ else: ##### Assembly parser ASM_FUNCTION_X86_RE = re.compile( - r'^_?(?P[^:]+):[ \t]*#+[ \t]*@"?(?P=func)"?\n(?:\s*\.?Lfunc_begin[^:\n]*:\n)?[^:]*?' + r'^_?(?P[^:]+):[ \t]*#+[ \t]*(@"?(?P=func)"?| -- Begin function (?P=func))\n(?:\s*\.?Lfunc_begin[^:\n]*:\n)?[^:]*?' r'(?P^##?[ \t]+[^:]+:.*?)\s*' r'^\s*(?:[^:\n]+?:\s*\n\s*\.size|\.cfi_endproc|\.globl|\.comm|\.(?:sub)?section|#+ -- End function)', flags=(re.M | re.S)) @@ -28,7 +28,7 @@ ASM_FUNCTION_ARM_RE = re.compile( flags=(re.M | re.S)) ASM_FUNCTION_AARCH64_RE = re.compile( - r'^_?(?P[^:]+):[ \t]*\/\/[ \t]*@"?(?P=func)"?\n' + r'^_?(?P[^:]+):[ \t]*\/\/[ \t]*@"?(?P=func)"?( (Function|Tail Call))?\n' r'(?:[ \t]+.cfi_startproc\n)?' # drop optional cfi noise r'(?P.*?)\n' # This list is incomplete @@ -323,7 +323,8 @@ def get_triple_from_march(march): print("Cannot find a triple. Assume 'x86'", file=sys.stderr) return 'x86' -def build_function_body_dictionary_for_triple(args, raw_tool_output, triple, prefixes, func_dict): +def build_function_body_dictionary_for_triple(args, raw_tool_output, triple, + prefixes, func_dict, func_order): target_handlers = { 'i686': (scrub_asm_x86, ASM_FUNCTION_X86_RE), 'x86': (scrub_asm_x86, ASM_FUNCTION_X86_RE), @@ -366,7 +367,7 @@ def build_function_body_dictionary_for_triple(args, raw_tool_output, triple, pre scrubber, function_re = handler common.build_function_body_dictionary( function_re, scrubber, [args], raw_tool_output, prefixes, - func_dict, args.verbose, False, False) + func_dict, func_order, args.verbose, False, False) ##### Generator of assembly CHECK lines diff --git a/llvm/utils/UpdateTestChecks/common.py b/llvm/utils/UpdateTestChecks/common.py index d49fe50e5b1c..488425db3943 100644 --- a/llvm/utils/UpdateTestChecks/common.py +++ b/llvm/utils/UpdateTestChecks/common.py @@ -18,6 +18,8 @@ else: _verbose = False def parse_commandline_args(parser): + parser.add_argument('--include-generated-funcs', action='store_true', + help='Output checks for functions not in source') parser.add_argument('-v', '--verbose', action='store_true', help='Show verbose output') parser.add_argument('-u', '--update-only', action='store_true', @@ -62,19 +64,25 @@ class TestInfo(object): self.test_autogenerated_note = self.autogenerated_note_prefix + script_name self.test_autogenerated_note += get_autogennote_suffix(parser, self.args) + def ro_iterlines(self): + for line_num, input_line in enumerate(self.input_lines): + args, argv = check_for_command(input_line, self.parser, + self.args, self.argv, self.argparse_callback) + yield InputLineInfo(input_line, line_num, args, argv) + def iterlines(self, output_lines): output_lines.append(self.test_autogenerated_note) - for line_num, input_line in enumerate(self.input_lines): + for line_info in self.ro_iterlines(): + input_line = line_info.line # Discard any previous script advertising. if input_line.startswith(self.autogenerated_note_prefix): continue - self.args, self.argv = check_for_command(input_line, self.parser, - self.args, self.argv, self.argparse_callback) + self.args = line_info.args + self.argv = line_info.argv if not self.args.enabled: output_lines.append(input_line) continue - yield InputLineInfo(input_line, line_num, self.args, self.argv) - + yield line_info def itertests(test_patterns, parser, script_name, comment_prefix=None, argparse_callback=None): for pattern in test_patterns: @@ -250,7 +258,7 @@ class function_body(object): def __str__(self): return self.scrub -def build_function_body_dictionary(function_re, scrubber, scrubber_args, raw_tool_output, prefixes, func_dict, verbose, record_args, check_attributes): +def build_function_body_dictionary(function_re, scrubber, scrubber_args, raw_tool_output, prefixes, func_dict, func_order, verbose, record_args, check_attributes): for m in function_re.finditer(raw_tool_output): if not m: continue @@ -292,6 +300,7 @@ def build_function_body_dictionary(function_re, scrubber, scrubber_args, raw_too continue func_dict[prefix][func] = function_body(scrubbed_body, scrubbed_extra, args_and_sig, attrs) + func_order[prefix].append(func) ##### Generator of LLVM IR CHECK lines @@ -594,3 +603,66 @@ def check_for_command(line, parser, args, argv, argparse_callback): if argparse_callback is not None: argparse_callback(args) return args, argv + +def find_arg_in_test(test_info, get_arg_to_check, arg_string, is_global): + result = get_arg_to_check(test_info.args) + if not result and is_global: + # See if this has been specified via UTC_ARGS. This is a "global" option + # that affects the entire generation of test checks. If it exists anywhere + # in the test, apply it to everything. + saw_line = False + for line_info in test_info.ro_iterlines(): + line = line_info.line + if not line.startswith(';') and line.strip() != '': + saw_line = True + result = get_arg_to_check(line_info.args) + if result: + if warn and saw_line: + # We saw the option after already reading some test input lines. + # Warn about it. + print('WARNING: Found {} in line following test start: '.format(arg_string) + + line, file=sys.stderr) + print('WARNING: Consider moving {} to top of file'.format(arg_string), + file=sys.stderr) + break + return result + +def dump_input_lines(output_lines, test_info, prefix_set, comment_string): + for input_line_info in test_info.iterlines(output_lines): + line = input_line_info.line + args = input_line_info.args + if line.strip() == comment_string: + continue + if line.lstrip().startswith(comment_string): + m = CHECK_RE.match(line) + if m and m.group(1) in prefix_set: + continue + output_lines.append(line.rstrip('\n')) + +def add_checks_at_end(output_lines, prefix_list, func_order, + comment_string, check_generator): + added = set() + for prefixes, tool_args, *rest in prefix_list: + for prefix in prefixes: + for func in func_order[prefix]: + if added: + output_lines.append(comment_string) + added.add(func) + + # The add_*_checks routines expect a run list whose items are + # tuples that have a list of prefixes as their first element and + # tool command args string as their second element. They output + # checks for each prefix in the list of prefixes. By doing so, it + # implicitly assumes that for each function every run line will + # generate something for that function. That is not the case for + # generated functions as some run lines might not generate them + # (e.g. -fopenmp vs. no -fopenmp). + # + # Therefore, pass just the prefix we're interested in. This has + # the effect of generating all of the checks for functions of a + # single prefix before moving on to the next prefix. So checks + # are ordered by prefix instead of by function as in "normal" + # mode. + check_generator(output_lines, + [([prefix], tool_args)], + func) diff --git a/llvm/utils/update_cc_test_checks.py b/llvm/utils/update_cc_test_checks.py index e12be684016f..1dfb2d905e9e 100755 --- a/llvm/utils/update_cc_test_checks.py +++ b/llvm/utils/update_cc_test_checks.py @@ -176,7 +176,8 @@ def config(): return args, parser -def get_function_body(args, filename, clang_args, extra_commands, prefixes, triple_in_cmd, func_dict): +def get_function_body(args, filename, clang_args, extra_commands, prefixes, + triple_in_cmd, func_dict, func_order): # TODO Clean up duplication of asm/common build_function_body_dictionary # Invoke external tool and extract function bodies. raw_tool_output = common.invoke_tool(args.clang, clang_args, filename) @@ -196,7 +197,8 @@ def get_function_body(args, filename, clang_args, extra_commands, prefixes, trip if '-emit-llvm' in clang_args: common.build_function_body_dictionary( common.OPT_FUNCTION_RE, common.scrub_body, [], - raw_tool_output, prefixes, func_dict, args.verbose, args.function_signature, args.check_attributes) + raw_tool_output, prefixes, func_dict, func_order, args.verbose, + args.function_signature, args.check_attributes) else: print('The clang command line should include -emit-llvm as asm tests ' 'are discouraged in Clang testsuite.', file=sys.stderr) @@ -247,15 +249,18 @@ def main(): # Execute clang, generate LLVM IR, and extract functions. func_dict = {} + func_order = {} for p in run_list: prefixes = p[0] for prefix in prefixes: func_dict.update({prefix: dict()}) + func_order.update({prefix: []}) for prefixes, clang_args, extra_commands, triple_in_cmd in run_list: common.debug('Extracted clang cmd: clang {}'.format(clang_args)) common.debug('Extracted FileCheck prefixes: {}'.format(prefixes)) - get_function_body(ti.args, ti.path, clang_args, extra_commands, prefixes, triple_in_cmd, func_dict) + get_function_body(ti.args, ti.path, clang_args, extra_commands, prefixes, + triple_in_cmd, func_dict, func_order) # Invoke clang -Xclang -ast-dump=json to get mapping from start lines to # mangled names. Forward all clang args for now. @@ -265,41 +270,79 @@ def main(): global_vars_seen_dict = {} prefix_set = set([prefix for p in run_list for prefix in p[0]]) output_lines = [] - for line_info in ti.iterlines(output_lines): - idx = line_info.line_number - line = line_info.line - args = line_info.args - include_line = True - m = common.CHECK_RE.match(line) - if m and m.group(1) in prefix_set: - continue # Don't append the existing CHECK lines - if idx in line2spell_and_mangled_list: - added = set() - for spell, mangled in line2spell_and_mangled_list[idx]: - # One line may contain multiple function declarations. - # Skip if the mangled name has been added before. - # The line number may come from an included file, - # we simply require the spelling name to appear on the line - # to exclude functions from other files. - if mangled in added or spell not in line: - continue - if args.functions is None or any(re.search(regex, spell) for regex in args.functions): - last_line = output_lines[-1].strip() - while last_line == '//': - # Remove the comment line since we will generate a new comment - # line as part of common.add_ir_checks() - output_lines.pop() - last_line = output_lines[-1].strip() - if added: - output_lines.append('//') - added.add(mangled) - common.add_ir_checks(output_lines, '//', run_list, func_dict, mangled, - False, args.function_signature, global_vars_seen_dict) - if line.rstrip('\n') == '//': - include_line = False - if include_line: - output_lines.append(line.rstrip('\n')) + include_generated_funcs = common.find_arg_in_test(ti, + lambda args: ti.args.include_generated_funcs, + '--include-generated-funcs', + True) + + if include_generated_funcs: + # Generate the appropriate checks for each function. We need to emit + # these in the order according to the generated output so that CHECK-LABEL + # works properly. func_order provides that. + + # It turns out that when clang generates functions (for example, with + # -fopenmp), it can sometimes cause functions to be re-ordered in the + # output, even functions that exist in the source file. Therefore we + # can't insert check lines before each source function and instead have to + # put them at the end. So the first thing to do is dump out the source + # lines. + common.dump_input_lines(output_lines, ti, prefix_set, '//') + + # Now generate all the checks. + def check_generator(my_output_lines, prefixes, func): + if '-emit-llvm' in clang_args: + common.add_ir_checks(my_output_lines, '//', + prefixes, + func_dict, func, False, + ti.args.function_signature, + global_vars_seen_dict) + else: + asm.add_asm_checks(my_output_lines, '//', + prefixes, + func_dict, func) + + common.add_checks_at_end(output_lines, run_list, func_order, '//', + lambda my_output_lines, prefixes, func: + check_generator(my_output_lines, + prefixes, func)) + else: + # Normal mode. Put checks before each source function. + for line_info in ti.iterlines(output_lines): + idx = line_info.line_number + line = line_info.line + args = line_info.args + include_line = True + m = common.CHECK_RE.match(line) + if m and m.group(1) in prefix_set: + continue # Don't append the existing CHECK lines + if idx in line2spell_and_mangled_list: + added = set() + for spell, mangled in line2spell_and_mangled_list[idx]: + # One line may contain multiple function declarations. + # Skip if the mangled name has been added before. + # The line number may come from an included file, + # we simply require the spelling name to appear on the line + # to exclude functions from other files. + if mangled in added or spell not in line: + continue + if args.functions is None or any(re.search(regex, spell) for regex in args.functions): + last_line = output_lines[-1].strip() + while last_line == '//': + # Remove the comment line since we will generate a new comment + # line as part of common.add_ir_checks() + output_lines.pop() + last_line = output_lines[-1].strip() + if added: + output_lines.append('//') + added.add(mangled) + common.add_ir_checks(output_lines, '//', run_list, func_dict, mangled, + False, args.function_signature, global_vars_seen_dict) + if line.rstrip('\n') == '//': + include_line = False + + if include_line: + output_lines.append(line.rstrip('\n')) common.debug('Writing %d lines to %s...' % (len(output_lines), ti.path)) with open(ti.path, 'wb') as f: diff --git a/llvm/utils/update_llc_test_checks.py b/llvm/utils/update_llc_test_checks.py index 05fca340760e..b5422bd18791 100755 --- a/llvm/utils/update_llc_test_checks.py +++ b/llvm/utils/update_llc_test_checks.py @@ -100,10 +100,12 @@ def main(): check_indent = '' func_dict = {} + func_order = {} for p in run_list: prefixes = p[0] for prefix in prefixes: func_dict.update({prefix: dict()}) + func_order.update({prefix: []}) for prefixes, llc_args, triple_in_cmd, march_in_cmd in run_list: common.debug('Extracted LLC cmd:', llc_tool, llc_args) common.debug('Extracted FileCheck prefixes:', str(prefixes)) @@ -114,7 +116,7 @@ def main(): triple = asm.get_triple_from_march(march_in_cmd) asm.build_function_body_dictionary_for_triple(ti.args, raw_tool_output, - triple, prefixes, func_dict) + triple, prefixes, func_dict, func_order) is_in_function = False is_in_function_start = False @@ -122,43 +124,67 @@ def main(): prefix_set = set([prefix for p in run_list for prefix in p[0]]) common.debug('Rewriting FileCheck prefixes:', str(prefix_set)) output_lines = [] - for input_info in ti.iterlines(output_lines): - input_line = input_info.line - args = input_info.args - if is_in_function_start: - if input_line == '': - continue - if input_line.lstrip().startswith(';'): - m = common.CHECK_RE.match(input_line) - if not m or m.group(1) not in prefix_set: - output_lines.append(input_line) + + include_generated_funcs = common.find_arg_in_test(ti, + lambda args: ti.args.include_generated_funcs, + '--include-generated-funcs', + True) + + if include_generated_funcs: + # Generate the appropriate checks for each function. We need to emit + # these in the order according to the generated output so that CHECK-LABEL + # works properly. func_order provides that. + + # We can't predict where various passes might insert functions so we can't + # be sure the input function order is maintained. Therefore, first spit + # out all the source lines. + common.dump_input_lines(output_lines, ti, prefix_set, ';') + + # Now generate all the checks. + common.add_checks_at_end(output_lines, run_list, func_order, + check_indent + ';', + lambda my_output_lines, prefixes, func: + asm.add_asm_checks(my_output_lines, + check_indent + ';', + prefixes, func_dict, func)) + else: + for input_info in ti.iterlines(output_lines): + input_line = input_info.line + args = input_info.args + if is_in_function_start: + if input_line == '': continue + if input_line.lstrip().startswith(';'): + m = common.CHECK_RE.match(input_line) + if not m or m.group(1) not in prefix_set: + output_lines.append(input_line) + continue - # Print out the various check lines here. - asm.add_asm_checks(output_lines, check_indent + ';', run_list, func_dict, func_name) - is_in_function_start = False + # Print out the various check lines here. + asm.add_asm_checks(output_lines, check_indent + ';', run_list, func_dict, func_name) + is_in_function_start = False - if is_in_function: - if common.should_add_line_to_output(input_line, prefix_set): - # This input line of the function body will go as-is into the output. - output_lines.append(input_line) - else: + if is_in_function: + if common.should_add_line_to_output(input_line, prefix_set): + # This input line of the function body will go as-is into the output. + output_lines.append(input_line) + else: + continue + if input_line.strip() == '}': + is_in_function = False continue - if input_line.strip() == '}': - is_in_function = False - continue - # If it's outside a function, it just gets copied to the output. - output_lines.append(input_line) + # If it's outside a function, it just gets copied to the output. + output_lines.append(input_line) - m = common.IR_FUNCTION_RE.match(input_line) - if not m: - continue - func_name = m.group(1) - if args.function is not None and func_name != args.function: - # When filtering on a specific function, skip all others. - continue - is_in_function = is_in_function_start = True + m = common.IR_FUNCTION_RE.match(input_line) + if not m: + continue + func_name = m.group(1) + if args.function is not None and func_name != args.function: + # When filtering on a specific function, skip all others. + continue + is_in_function = is_in_function_start = True common.debug('Writing %d lines to %s...' % (len(output_lines), ti.path)) diff --git a/llvm/utils/update_test_checks.py b/llvm/utils/update_test_checks.py index 33fee8884675..1cbd7270b498 100755 --- a/llvm/utils/update_test_checks.py +++ b/llvm/utils/update_test_checks.py @@ -103,9 +103,11 @@ def main(): global_vars_seen_dict = {} func_dict = {} + func_order = {} for prefixes, _ in prefix_list: for prefix in prefixes: func_dict.update({prefix: dict()}) + func_order.update({prefix: []}) for prefixes, opt_args in prefix_list: common.debug('Extracted opt cmd: ' + opt_basename + ' ' + opt_args) common.debug('Extracted FileCheck prefixes: ' + str(prefixes)) @@ -113,7 +115,7 @@ def main(): raw_tool_output = common.invoke_tool(ti.args.opt_binary, opt_args, ti.path) common.build_function_body_dictionary( common.OPT_FUNCTION_RE, common.scrub_body, [], - raw_tool_output, prefixes, func_dict, ti.args.verbose, + raw_tool_output, prefixes, func_dict, func_order, ti.args.verbose, ti.args.function_signature, ti.args.check_attributes) is_in_function = False @@ -121,47 +123,73 @@ def main(): prefix_set = set([prefix for prefixes, _ in prefix_list for prefix in prefixes]) common.debug('Rewriting FileCheck prefixes:', str(prefix_set)) output_lines = [] - for input_line_info in ti.iterlines(output_lines): - input_line = input_line_info.line - args = input_line_info.args - if is_in_function_start: - if input_line == '': - continue - if input_line.lstrip().startswith(';'): - m = common.CHECK_RE.match(input_line) - if not m or m.group(1) not in prefix_set: - output_lines.append(input_line) + + include_generated_funcs = common.find_arg_in_test(ti, + lambda args: ti.args.include_generated_funcs, + '--include-generated-funcs', + True) + + if include_generated_funcs: + # Generate the appropriate checks for each function. We need to emit + # these in the order according to the generated output so that CHECK-LABEL + # works properly. func_order provides that. + + # We can't predict where various passes might insert functions so we can't + # be sure the input function order is maintained. Therefore, first spit + # out all the source lines. + common.dump_input_lines(output_lines, ti, prefix_set, ';') + + # Now generate all the checks. + common.add_checks_at_end(output_lines, prefix_list, func_order, ';', + lambda my_output_lines, prefixes, func: + common.add_ir_checks(my_output_lines, ';', + prefixes, + func_dict, func, False, + ti.args.function_signature, + global_vars_seen_dict)) + else: + # "Normal" mode. + for input_line_info in ti.iterlines(output_lines): + input_line = input_line_info.line + args = input_line_info.args + if is_in_function_start: + if input_line == '': continue + if input_line.lstrip().startswith(';'): + m = common.CHECK_RE.match(input_line) + if not m or m.group(1) not in prefix_set: + output_lines.append(input_line) + continue - # Print out the various check lines here. - common.add_ir_checks(output_lines, ';', prefix_list, func_dict, - func_name, args.preserve_names, args.function_signature, - global_vars_seen_dict) - is_in_function_start = False + # Print out the various check lines here. + common.add_ir_checks(output_lines, ';', prefix_list, func_dict, + func_name, args.preserve_names, args.function_signature, + global_vars_seen_dict) + is_in_function_start = False - if is_in_function: - if common.should_add_line_to_output(input_line, prefix_set): - # This input line of the function body will go as-is into the output. - # Except make leading whitespace uniform: 2 spaces. - input_line = common.SCRUB_LEADING_WHITESPACE_RE.sub(r' ', input_line) - output_lines.append(input_line) - else: + if is_in_function: + if common.should_add_line_to_output(input_line, prefix_set): + # This input line of the function body will go as-is into the output. + # Except make leading whitespace uniform: 2 spaces. + input_line = common.SCRUB_LEADING_WHITESPACE_RE.sub(r' ', input_line) + output_lines.append(input_line) + else: + continue + if input_line.strip() == '}': + is_in_function = False continue - if input_line.strip() == '}': - is_in_function = False - continue - # If it's outside a function, it just gets copied to the output. - output_lines.append(input_line) + # If it's outside a function, it just gets copied to the output. + output_lines.append(input_line) - m = common.IR_FUNCTION_RE.match(input_line) - if not m: - continue - func_name = m.group(1) - if args.function is not None and func_name != args.function: - # When filtering on a specific function, skip all others. - continue - is_in_function = is_in_function_start = True + m = common.IR_FUNCTION_RE.match(input_line) + if not m: + continue + func_name = m.group(1) + if args.function is not None and func_name != args.function: + # When filtering on a specific function, skip all others. + continue + is_in_function = is_in_function_start = True common.debug('Writing %d lines to %s...' % (len(output_lines), ti.path))