67 lines · plain
1; RUN: llvm-split -preserve-locals -o %t %s2; RUN: llvm-dis -o - %t0 | FileCheck --check-prefix=CHECK0 %s3; RUN: llvm-dis -o - %t1 | FileCheck --check-prefix=CHECK1 %s4 5; The main and a must not be separated.6; The main and local_func must not be together.7; CHECK0: @a8; CHECK0: define i32 @main9; CHECK0: declare dso_local fastcc void @local_func10 11; The local_var and local_func must not be separated.12; CHECK1: @local_var13; CHECK1: define internal fastcc void @local_func14 15@a = internal global i32 0, align 416@global_storage = common global i32 0, align 417@local_var = internal global i32 0, align 418 19; Function Attrs: nounwind20define i32 @main(i32 %x) {21entry:22 %call = call fastcc i32 @foo(i32 %x, ptr nonnull @a)23 %call1 = call fastcc i32 @baz(i32 %x)24 %add = add nsw i32 %call, %call125 ret i32 %add26}27 28; Function Attrs: nounwind29define fastcc i32 @bar(i32 %b) {30entry:31 %call = call fastcc i32 @baz(i32 %b)32 ret i32 %call33}34 35; Function Attrs: nounwind36define fastcc i32 @baz(i32 %x) {37entry:38 store i32 %x, ptr @global_storage, align 439 %shl = shl i32 %x, %x40 ret i32 %shl41}42 43; Function Attrs: noinline nounwind44define fastcc i32 @foo(i32 %a, ptr nocapture %b) {45entry:46 call fastcc void @local_func()47 %call = call fastcc i32 @bar(i32 %a)48 %0 = load i32, ptr @global_storage, align 449 %call1 = call fastcc i32 @baz(i32 %0)50 %add = add nsw i32 %call, %call151 store i32 %add, ptr %b, align 452 %call.i = call fastcc i32 @baz(i32 %add) #253 %add.i = add nsw i32 %call.i, 254 %1 = load volatile i32, ptr @local_var, align 455 %add3 = add nsw i32 %add.i, %156 ret i32 %add357}58 59; Function Attrs: noinline nounwind60define internal fastcc void @local_func() section ".text" {61entry:62 %0 = load i32, ptr @global_storage, align 463 %call = call fastcc i32 @foo(i32 %0, ptr null)64 store volatile i32 %call, ptr @local_var, align 465 ret void66}67