test/Transforms/MergeFunc/no-merge-block-address-other-function.ll

   1 ; RUN: opt -S -mergefunc < %s | FileCheck %s
   2
   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>'
   6 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   7 target triple = "x86_64-unknown-linux-gnu"
   8
   9
  10 define internal i8* @Afunc(i32* %P) {
  11 ; CHECK-LABEL: @Afunc
  12 ; CHECK-NEXT: store
  13 ; CHECK-NEXT: store
  14 ; CHECK-NEXT: ret
  15   store i32 1, i32* %P
  16   store i32 3, i32* %P
  17   ret i8* blockaddress(@_Z1fi, %if.then)
  18 }
  19
  20 define internal i8* @Bfunc(i32* %P) {
  21 ; CHECK-LABEL: @Bfunc
  22 ; CHECK-NEXT: store
  23 ; CHECK-NEXT: store
  24 ; CHECK-NEXT: ret
  25   store i32 1, i32* %P
  26   store i32 3, i32* %P
  27   ret i8* blockaddress(@_Z1fi, %if.then.2)
  28 }
  29
  30
  31 ; Function Attrs: nounwind uwtable
  32 define i32 @_Z1fi(i32 %i) #0 {
  33 entry:
  34   %retval = alloca i32, align 4
  35   %i.addr = alloca i32, align 4
  36   store i32 %i, i32* %i.addr, align 4
  37   %0 = load i32, i32* %i.addr, align 4
  38   %cmp = icmp eq i32 %0, 1
  39   br i1 %cmp, label %if.then, label %if.end
  40
  41 if.then:
  42   store i32 3, i32* %retval
  43   br label %return
  44
  45 if.end:
  46   %1 = load i32, i32* %i.addr, align 4
  47   %cmp1 = icmp eq i32 %1, 3
  48   br i1 %cmp1, label %if.then.2, label %if.end.3
  49
  50 if.then.2:
  51   store i32 56, i32* %retval
  52   br label %return
  53
  54 if.end.3:
  55   store i32 0, i32* %retval
  56   br label %return
  57
  58 return:
  59   %2 = load i32, i32* %retval
  60   ret i32 %2
  61 }