llvm/test/Transforms/LowerConstantIntrinsics/builtin-object-size-phi.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=lower-constant-intrinsics  -S < %s | FileCheck %s
   3
   4
   5 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   6 target triple = "x86_64-unknown-linux-gnu"
   7
   8 declare dso_local noalias noundef ptr @malloc(i64 noundef) local_unnamed_addr allocsize(0)
   9 declare i64 @llvm.objectsize.i64.p0(ptr, i1 immarg, i1 immarg, i1 immarg)
  10
  11 @buffer = dso_local global [4 x i8] zeroinitializer, align 1
  12
  13 define dso_local i64 @pick_max(i32 noundef %n) local_unnamed_addr {
  14 ; CHECK-LABEL: @pick_max(
  15 ; CHECK-NEXT:  entry:
  16 ; CHECK-NEXT:    [[COND:%.*]] = icmp eq i32 [[N:%.*]], 0
  17 ; CHECK-NEXT:    br i1 [[COND]], label [[IF_ELSE:%.*]], label [[IF_END:%.*]]
  18 ; CHECK:       if.else:
  19 ; CHECK-NEXT:    [[MALLOCED:%.*]] = call noalias dereferenceable_or_null(8) ptr @malloc(i64 noundef 8)
  20 ; CHECK-NEXT:    br label [[IF_END]]
  21 ; CHECK:       if.end:
  22 ; CHECK-NEXT:    [[P:%.*]] = phi ptr [ [[MALLOCED]], [[IF_ELSE]] ], [ @buffer, [[ENTRY:%.*]] ]
  23 ; CHECK-NEXT:    ret i64 8
  24 ;
  25 entry:
  26   %cond = icmp eq i32 %n, 0
  27   br i1 %cond, label %if.else, label %if.end
  28
  29 if.else:
  30   %malloced = call noalias dereferenceable_or_null(8) ptr @malloc(i64 noundef 8)
  31   br label %if.end
  32
  33 if.end:
  34   %p = phi ptr [ %malloced, %if.else ], [ @buffer, %entry ]
  35   %size = call i64 @llvm.objectsize.i64.p0(ptr %p, i1 false, i1 true, i1 false)
  36   ret i64 %size
  37 }
  38
  39 define dso_local i64 @pick_min(i32 noundef %n) local_unnamed_addr {
  40 ; CHECK-LABEL: @pick_min(
  41 ; CHECK-NEXT:  entry:
  42 ; CHECK-NEXT:    [[COND:%.*]] = icmp eq i32 [[N:%.*]], 0
  43 ; CHECK-NEXT:    br i1 [[COND]], label [[IF_ELSE:%.*]], label [[IF_END:%.*]]
  44 ; CHECK:       if.else:
  45 ; CHECK-NEXT:    [[MALLOCED:%.*]] = call noalias dereferenceable_or_null(8) ptr @malloc(i64 noundef 8)
  46 ; CHECK-NEXT:    br label [[IF_END]]
  47 ; CHECK:       if.end:
  48 ; CHECK-NEXT:    [[P:%.*]] = phi ptr [ [[MALLOCED]], [[IF_ELSE]] ], [ @buffer, [[ENTRY:%.*]] ]
  49 ; CHECK-NEXT:    ret i64 4
  50 ;
  51 entry:
  52   %cond = icmp eq i32 %n, 0
  53   br i1 %cond, label %if.else, label %if.end
  54
  55 if.else:
  56   %malloced = call noalias dereferenceable_or_null(8) ptr @malloc(i64 noundef 8)
  57   br label %if.end
  58
  59 if.end:
  60   %p = phi ptr [ %malloced, %if.else ], [ @buffer, %entry ]
  61   %size = call i64 @llvm.objectsize.i64.p0(ptr %p, i1 true, i1 true, i1 false)
  62   ret i64 %size
  63 }
  64
  65 define i64 @pick_max_same(i32 %n) {
  66 ; CHECK-LABEL: @pick_max_same(
  67 ; CHECK-NEXT:  entry:
  68 ; CHECK-NEXT:    [[BUFFER:%.*]] = alloca i8, i64 20, align 1
  69 ; CHECK-NEXT:    [[COND:%.*]] = icmp eq i32 [[N:%.*]], 0
  70 ; CHECK-NEXT:    br i1 [[COND]], label [[IF_ELSE:%.*]], label [[IF_END:%.*]]
  71 ; CHECK:       if.else:
  72 ; CHECK-NEXT:    [[OFFSETED:%.*]] = getelementptr i8, ptr [[BUFFER]], i64 10
  73 ; CHECK-NEXT:    br label [[IF_END]]
  74 ; CHECK:       if.end:
  75 ; CHECK-NEXT:    [[P:%.*]] = phi ptr [ [[OFFSETED]], [[IF_ELSE]] ], [ [[BUFFER]], [[ENTRY:%.*]] ]
  76 ; CHECK-NEXT:    ret i64 20
  77 ;
  78 entry:
  79   %buffer = alloca i8, i64 20
  80   %cond = icmp eq i32 %n, 0
  81   br i1 %cond, label %if.else, label %if.end
  82
  83 if.else:
  84   %offseted = getelementptr i8, ptr %buffer, i64 10
  85   br label %if.end
  86
  87 if.end:
  88   %p = phi ptr [ %offseted, %if.else ], [ %buffer, %entry ]
  89   %size = call i64 @llvm.objectsize.i64.p0(ptr %p, i1 false, i1 true, i1 false)
  90   ret i64 %size
  91 }
  92
  93 define i64 @pick_min_same(i32 %n) {
  94 ; CHECK-LABEL: @pick_min_same(
  95 ; CHECK-NEXT:  entry:
  96 ; CHECK-NEXT:    [[BUFFER:%.*]] = alloca i8, i64 20, align 1
  97 ; CHECK-NEXT:    [[COND:%.*]] = icmp eq i32 [[N:%.*]], 0
  98 ; CHECK-NEXT:    br i1 [[COND]], label [[IF_ELSE:%.*]], label [[IF_END:%.*]]
  99 ; CHECK:       if.else:
 100 ; CHECK-NEXT:    [[OFFSETED:%.*]] = getelementptr i8, ptr [[BUFFER]], i64 10
 101 ; CHECK-NEXT:    br label [[IF_END]]
 102 ; CHECK:       if.end:
 103 ; CHECK-NEXT:    [[P:%.*]] = phi ptr [ [[OFFSETED]], [[IF_ELSE]] ], [ [[BUFFER]], [[ENTRY:%.*]] ]
 104 ; CHECK-NEXT:    ret i64 10
 105 ;
 106 entry:
 107   %buffer = alloca i8, i64 20
 108   %cond = icmp eq i32 %n, 0
 109   br i1 %cond, label %if.else, label %if.end
 110
 111 if.else:
 112   %offseted = getelementptr i8, ptr %buffer, i64 10
 113   br label %if.end
 114
 115 if.end:
 116   %p = phi ptr [ %offseted, %if.else ], [ %buffer, %entry ]
 117   %size = call i64 @llvm.objectsize.i64.p0(ptr %p, i1 true, i1 true, i1 false)
 118   ret i64 %size
 119 }