75 lines · plain
1; This test checks if two similar functions, f1 and f2, can be merged locally within a single module2; while parameterizing a difference in their global variables, g1 and g2.3; To achieve this, we create two instances of the global merging function, f1.Tgm and f2.Tgm,4; which are tail-called from thunks f1 and f2 respectively.5; These identical functions, f1.Tgm and f2.Tgm, will be folded by the linker via Identical Code Folding (ICF).6 7; RUN: opt -mtriple=arm64-apple-darwin -S --passes=global-merge-func %s | FileCheck %s8 9; A merging instance is created with additional parameter.10; CHECK: define internal i32 @f1.Tgm(i32 %0, ptr %1)11; CHECK-NEXT: entry:12; CHECK-NEXT: %idxprom = sext i32 %0 to i6413; CHECK-NEXT: %arrayidx = getelementptr inbounds [0 x i32], ptr @g, i64 0, i64 %idxprom14; CHECK-NEXT: %2 = load i32, ptr %arrayidx, align 415; CHECK-NEXT: %3 = load volatile i32, ptr %1, align 416; CHECK-NEXT: %mul = mul nsw i32 %3, %217; CHECK-NEXT: %add = add nsw i32 %mul, 118; CHECK-NEXT: ret i32 %add19 20; The original function becomes a thunk passing g1.21; CHECK: define i32 @f1(i32 %a)22; CHECK-NEXT: %1 = tail call i32 @f1.Tgm(i32 %a, ptr @g1)23; CHECK-NEXT: ret i32 %124 25; A same sequence is produced for f2.Tgm.26; CHECK: define internal i32 @f2.Tgm(i32 %0, ptr %1)27; CHECK-NEXT: entry:28; CHECK-NEXT: %idxprom = sext i32 %0 to i6429; CHECK-NEXT: %arrayidx = getelementptr inbounds [0 x i32], ptr @g, i64 0, i64 %idxprom30; CHECK-NEXT: %2 = load i32, ptr %arrayidx, align 431; CHECK-NEXT: %3 = load volatile i32, ptr %1, align 432; CHECK-NEXT: %mul = mul nsw i32 %3, %233; CHECK-NEXT: %add = add nsw i32 %mul, 134; CHECK-NEXT: ret i32 %add35 36; The original function becomes a thunk passing g2.37; CHECK: define i32 @f2(i32 %a)38; CHECK-NEXT: %1 = tail call i32 @f2.Tgm(i32 %a, ptr @g2)39; CHECK-NEXT: ret i32 %140 41; RUN: llc -mtriple=arm64-apple-darwin -enable-global-merge-func=true < %s | FileCheck %s --check-prefix=MERGE42; RUN: llc -mtriple=arm64-apple-darwin -enable-global-merge-func=false < %s | FileCheck %s --check-prefix=NOMERGE43 44; MERGE: _f1.Tgm45; MERGE: _f2.Tgm46 47; NOMERGE-NOT: _f1.Tgm48; NOMERGE-NOT: _f2.Tgm49 50@g = external local_unnamed_addr global [0 x i32], align 451@g1 = external global i32, align 452@g2 = external global i32, align 453 54define i32 @f1(i32 %a) {55entry:56 %idxprom = sext i32 %a to i6457 %arrayidx = getelementptr inbounds [0 x i32], ptr @g, i64 0, i64 %idxprom58 %0 = load i32, ptr %arrayidx, align 459 %1 = load volatile i32, ptr @g1, align 460 %mul = mul nsw i32 %1, %061 %add = add nsw i32 %mul, 162 ret i32 %add63}64 65define i32 @f2(i32 %a) {66entry:67 %idxprom = sext i32 %a to i6468 %arrayidx = getelementptr inbounds [0 x i32], ptr @g, i64 0, i64 %idxprom69 %0 = load i32, ptr %arrayidx, align 470 %1 = load volatile i32, ptr @g2, align 471 %mul = mul nsw i32 %1, %072 %add = add nsw i32 %mul, 173 ret i32 %add74}75