48 lines · plain
1; We should never separate alias from aliasee.2; RUN: llvm-split -j=3 -preserve-locals -o %t %s3; RUN: llvm-dis -o - %t0 | FileCheck --check-prefix=CHECK0 %s4; RUN: llvm-dis -o - %t1 | FileCheck --check-prefix=CHECK1 %s5; RUN: llvm-dis -o - %t2 | FileCheck --check-prefix=CHECK2 %s6 7; Checks are not critical here - verifier will assert if we fail.8; CHECK0: @funInternalAlias = alias9; CHECK0: define internal i32 @funInternal10 11; CHECK1: @funExternalAlias = alias12; CHECK1: define i32 @funExternal13 14; CHECK2: @funInternal2Alias = alias15; CHECK2: @funExternal2Alias = alias16; CHECK2: define internal i32 @funInternal217; CHECK2: define i32 @funExternal218 19@funInternalAlias = alias i32 (), ptr @funInternal20@funExternalAlias = alias i32 (), ptr @funExternal21@funInternal2Alias = alias i32 (), ptr @funInternal222@funExternal2Alias = alias i32 (), ptr @funExternal223 24define internal i32 @funInternal() {25entry:26 ret i32 027}28 29define i32 @funExternal() {30entry:31 %x = call i32 @funInternalAlias()32 ret i32 %x33}34 35define internal i32 @funInternal2() {36entry:37 %x = call i32 @funInternalAlias()38 ret i32 %x39}40 41define i32 @funExternal2() {42entry:43 %x = call i32 @funInternal2()44 %y = call i32 @funExternalAlias()45 %z = add nsw i32 %x, %y46 ret i32 %z47}48