62 lines · plain
1; RUN: opt -S -passes=mergefunc < %s | FileCheck %s2 3; We should not merge these two functions, because the blocks are different.4; This tests the handling of block addresses from different functions.5; ModuleID = '<stdin>'6target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"7target triple = "x86_64-unknown-linux-gnu"8 9 10define internal ptr @Afunc(ptr %P) {11; CHECK-LABEL: @Afunc12; CHECK-NEXT: store13; CHECK-NEXT: store14; CHECK-NEXT: ret15 store i32 1, ptr %P16 store i32 3, ptr %P17 ret ptr blockaddress(@_Z1fi, %if.then)18}19 20define internal ptr @Bfunc(ptr %P) {21; CHECK-LABEL: @Bfunc22; CHECK-NEXT: store23; CHECK-NEXT: store24; CHECK-NEXT: ret25 store i32 1, ptr %P26 store i32 3, ptr %P27 ret ptr blockaddress(@_Z1fi, %if.then.2)28}29 30 31; Function Attrs: nounwind uwtable32define i32 @_Z1fi(i32 %i) #0 {33entry:34 %retval = alloca i32, align 435 %i.addr = alloca i32, align 436 store i32 %i, ptr %i.addr, align 437 %0 = load i32, ptr %i.addr, align 438 %cmp = icmp eq i32 %0, 139 br i1 %cmp, label %if.then, label %if.end40 41if.then:42 store i32 3, ptr %retval43 br label %return44 45if.end:46 %1 = load i32, ptr %i.addr, align 447 %cmp1 = icmp eq i32 %1, 348 br i1 %cmp1, label %if.then.2, label %if.end.349 50if.then.2:51 store i32 56, ptr %retval52 br label %return53 54if.end.3:55 store i32 0, ptr %retval56 br label %return57 58return:59 %2 = load i32, ptr %retval60 ret i32 %261}62