llvm/test/Transforms/Inline/ret_attr_align_and_noundef.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: opt -S -passes=inline %s | FileCheck %s
   3 ; RUN: opt -S -passes='cgscc(inline)' %s | FileCheck %s
   4 ; RUN: opt -S -passes='module-inline' %s | FileCheck %s
   5
   6 declare ptr @foo()
   7 declare void @use.ptr(ptr) willreturn nounwind
   8 declare void @bar()
   9 declare void @baz()
  10 declare ptr @llvm.ptrmask.p0.i64(ptr, i64)
  11 declare i1 @val()
  12
  13 define ptr @callee0123() {
  14 ; CHECK-LABEL: define ptr @callee0123() {
  15 ; CHECK-NEXT:    [[R:%.*]] = call ptr @foo()
  16 ; CHECK-NEXT:    ret ptr [[R]]
  17 ;
  18   %r = call ptr @foo()
  19   ret ptr %r
  20 }
  21
  22 define ptr @caller0() {
  23 ; CHECK-LABEL: define ptr @caller0() {
  24 ; CHECK-NEXT:    [[R_I:%.*]] = call dereferenceable(16) ptr @foo()
  25 ; CHECK-NEXT:    ret ptr [[R_I]]
  26 ;
  27   %r = call dereferenceable(16) ptr @callee0123()
  28   ret ptr %r
  29 }
  30
  31 define ptr @caller1() {
  32 ; CHECK-LABEL: define ptr @caller1() {
  33 ; CHECK-NEXT:    [[R_I:%.*]] = call align 16 ptr @foo()
  34 ; CHECK-NEXT:    ret ptr [[R_I]]
  35 ;
  36   %r = call align(16) ptr @callee0123()
  37   ret ptr %r
  38 }
  39
  40 define ptr @caller2() {
  41 ; CHECK-LABEL: define ptr @caller2() {
  42 ; CHECK-NEXT:    [[R_I:%.*]] = call noundef ptr @foo()
  43 ; CHECK-NEXT:    ret ptr [[R_I]]
  44 ;
  45   %r = call noundef ptr @callee0123()
  46   ret ptr %r
  47 }
  48
  49 define ptr @caller3() {
  50 ; CHECK-LABEL: define ptr @caller3() {
  51 ; CHECK-NEXT:    [[R_I:%.*]] = call dereferenceable_or_null(32) ptr @foo()
  52 ; CHECK-NEXT:    ret ptr [[R_I]]
  53 ;
  54   %r = call dereferenceable_or_null(32) ptr @callee0123()
  55   ret ptr %r
  56 }
  57
  58 define ptr @caller_0123_dornull() {
  59 ; CHECK-LABEL: define ptr @caller_0123_dornull() {
  60 ; CHECK-NEXT:    [[R_I:%.*]] = call noundef align 32 dereferenceable_or_null(16) ptr @foo()
  61 ; CHECK-NEXT:    ret ptr [[R_I]]
  62 ;
  63   %r = call noundef align(32) dereferenceable_or_null(16) ptr @callee0123()
  64   ret ptr %r
  65 }
  66
  67 define ptr @caller_0123_d() {
  68 ; CHECK-LABEL: define ptr @caller_0123_d() {
  69 ; CHECK-NEXT:    [[R_I:%.*]] = call noundef align 32 dereferenceable(16) ptr @foo()
  70 ; CHECK-NEXT:    ret ptr [[R_I]]
  71 ;
  72   %r = call noundef align(32) dereferenceable(16) ptr @callee0123()
  73   ret ptr %r
  74 }
  75
  76 define ptr @callee4() {
  77 ; CHECK-LABEL: define ptr @callee4() {
  78 ; CHECK-NEXT:    [[R:%.*]] = call ptr @foo()
  79 ; CHECK-NEXT:    call void @bar()
  80 ; CHECK-NEXT:    ret ptr [[R]]
  81 ;
  82   %r = call ptr @foo()
  83   call void @bar()
  84   ret ptr %r
  85 }
  86
  87 define ptr @caller4_fail() {
  88 ; CHECK-LABEL: define ptr @caller4_fail() {
  89 ; CHECK-NEXT:    [[R_I:%.*]] = call ptr @foo()
  90 ; CHECK-NEXT:    call void @bar()
  91 ; CHECK-NEXT:    ret ptr [[R_I]]
  92 ;
  93   %r = call noundef align(256) ptr @callee4()
  94   ret ptr %r
  95 }
  96
  97 define ptr @callee5() {
  98 ; CHECK-LABEL: define ptr @callee5() {
  99 ; CHECK-NEXT:    [[R:%.*]] = call align 64 ptr @foo()
 100 ; CHECK-NEXT:    ret ptr [[R]]
 101 ;
 102   %r = call align(64) ptr @foo()
 103   ret ptr %r
 104 }
 105
 106 define ptr @caller5_fail() {
 107 ; CHECK-LABEL: define ptr @caller5_fail() {
 108 ; CHECK-NEXT:    [[R_I:%.*]] = call noundef align 64 ptr @foo()
 109 ; CHECK-NEXT:    ret ptr [[R_I]]
 110 ;
 111   %r = call noundef align(32) ptr @callee5()
 112   ret ptr %r
 113 }
 114
 115 define ptr @caller5_okay() {
 116 ; CHECK-LABEL: define ptr @caller5_okay() {
 117 ; CHECK-NEXT:    [[R_I:%.*]] = call noundef align 128 ptr @foo()
 118 ; CHECK-NEXT:    ret ptr [[R_I]]
 119 ;
 120   %r = call noundef align(128) ptr @callee5()
 121   ret ptr %r
 122 }
 123
 124 define ptr @callee6() {
 125 ; CHECK-LABEL: define ptr @callee6() {
 126 ; CHECK-NEXT:    [[R:%.*]] = call dereferenceable(16) ptr @foo()
 127 ; CHECK-NEXT:    ret ptr [[R]]
 128 ;
 129   %r = call dereferenceable(16) ptr @foo()
 130   ret ptr %r
 131 }
 132
 133 define ptr @caller6_fail() {
 134 ; CHECK-LABEL: define ptr @caller6_fail() {
 135 ; CHECK-NEXT:    [[R_I:%.*]] = call dereferenceable(16) ptr @foo()
 136 ; CHECK-NEXT:    ret ptr [[R_I]]
 137 ;
 138   %r = call dereferenceable(8) ptr @callee6()
 139   ret ptr %r
 140 }
 141
 142 define ptr @caller6_okay() {
 143 ; CHECK-LABEL: define ptr @caller6_okay() {
 144 ; CHECK-NEXT:    [[R_I:%.*]] = call dereferenceable(32) ptr @foo()
 145 ; CHECK-NEXT:    ret ptr [[R_I]]
 146 ;
 147   %r = call dereferenceable(32) ptr @callee6()
 148   ret ptr %r
 149 }
 150
 151 define ptr @callee7() {
 152 ; CHECK-LABEL: define ptr @callee7() {
 153 ; CHECK-NEXT:    [[R:%.*]] = call dereferenceable_or_null(16) ptr @foo()
 154 ; CHECK-NEXT:    ret ptr [[R]]
 155 ;
 156   %r = call dereferenceable_or_null(16) ptr @foo()
 157   ret ptr %r
 158 }
 159
 160 define ptr @caller7_fail() {
 161 ; CHECK-LABEL: define ptr @caller7_fail() {
 162 ; CHECK-NEXT:    [[R_I:%.*]] = call dereferenceable_or_null(16) ptr @foo()
 163 ; CHECK-NEXT:    ret ptr [[R_I]]
 164 ;
 165   %r = call dereferenceable_or_null(8) ptr @callee7()
 166   ret ptr %r
 167 }
 168
 169 define ptr @caller7_okay() {
 170 ; CHECK-LABEL: define ptr @caller7_okay() {
 171 ; CHECK-NEXT:    [[R_I:%.*]] = call dereferenceable_or_null(32) ptr @foo()
 172 ; CHECK-NEXT:    ret ptr [[R_I]]
 173 ;
 174   %r = call dereferenceable_or_null(32) ptr @callee7()
 175   ret ptr %r
 176 }
 177
 178 define ptr @callee8() {
 179 ; CHECK-LABEL: define ptr @callee8() {
 180 ; CHECK-NEXT:    [[R:%.*]] = call ptr @foo()
 181 ; CHECK-NEXT:    ret ptr [[R]]
 182 ;
 183   %r = call ptr @foo()
 184   ret ptr %r
 185 }
 186
 187 define ptr @caller8_okay_use_after_poison_anyways() {
 188 ; CHECK-LABEL: define ptr @caller8_okay_use_after_poison_anyways() {
 189 ; CHECK-NEXT:    [[R_I:%.*]] = call nonnull ptr @foo()
 190 ; CHECK-NEXT:    call void @use.ptr(ptr [[R_I]])
 191 ; CHECK-NEXT:    ret ptr [[R_I]]
 192 ;
 193   %r = call nonnull ptr @callee8()
 194   call void @use.ptr(ptr %r)
 195   ret ptr %r
 196 }
 197
 198 define ptr @callee9() {
 199 ; CHECK-LABEL: define ptr @callee9() {
 200 ; CHECK-NEXT:    [[R:%.*]] = call noundef ptr @foo()
 201 ; CHECK-NEXT:    ret ptr [[R]]
 202 ;
 203   %r = call noundef ptr @foo()
 204   ret ptr %r
 205 }
 206
 207 define ptr @caller9_fail_creates_ub() {
 208 ; CHECK-LABEL: define ptr @caller9_fail_creates_ub() {
 209 ; CHECK-NEXT:    [[R_I:%.*]] = call noundef ptr @foo()
 210 ; CHECK-NEXT:    call void @use.ptr(ptr [[R_I]])
 211 ; CHECK-NEXT:    ret ptr [[R_I]]
 212 ;
 213   %r = call nonnull ptr @callee9()
 214   call void @use.ptr(ptr %r)
 215   ret ptr %r
 216 }
 217
 218 define ptr @caller9_okay_is_ub_anyways() {
 219 ; CHECK-LABEL: define ptr @caller9_okay_is_ub_anyways() {
 220 ; CHECK-NEXT:    [[R_I:%.*]] = call noundef nonnull ptr @foo()
 221 ; CHECK-NEXT:    call void @use.ptr(ptr [[R_I]])
 222 ; CHECK-NEXT:    ret ptr [[R_I]]
 223 ;
 224   %r = call noundef nonnull ptr @callee9()
 225   call void @use.ptr(ptr %r)
 226   ret ptr %r
 227 }
 228
 229 define ptr @callee10() {
 230 ; CHECK-LABEL: define ptr @callee10() {
 231 ; CHECK-NEXT:    [[R:%.*]] = call ptr @foo()
 232 ; CHECK-NEXT:    call void @use.ptr(ptr [[R]])
 233 ; CHECK-NEXT:    ret ptr [[R]]
 234 ;
 235   %r = call ptr @foo()
 236   call void @use.ptr(ptr %r)
 237   ret ptr %r
 238 }
 239
 240 define ptr @caller10_fail_maybe_poison() {
 241 ; CHECK-LABEL: define ptr @caller10_fail_maybe_poison() {
 242 ; CHECK-NEXT:    [[R_I:%.*]] = call ptr @foo()
 243 ; CHECK-NEXT:    call void @use.ptr(ptr [[R_I]])
 244 ; CHECK-NEXT:    ret ptr [[R_I]]
 245 ;
 246   %r = call nonnull ptr @callee10()
 247   ret ptr %r
 248 }
 249
 250 define ptr @caller10_okay_will_be_ub() {
 251 ; CHECK-LABEL: define ptr @caller10_okay_will_be_ub() {
 252 ; CHECK-NEXT:    [[R_I:%.*]] = call noundef nonnull ptr @foo()
 253 ; CHECK-NEXT:    call void @use.ptr(ptr [[R_I]])
 254 ; CHECK-NEXT:    ret ptr [[R_I]]
 255 ;
 256   %r = call noundef nonnull ptr @callee10()
 257   ret ptr %r
 258 }
 259
 260 define noundef ptr @caller10_okay_will_be_ub_todo() {
 261 ; CHECK-LABEL: define noundef ptr @caller10_okay_will_be_ub_todo() {
 262 ; CHECK-NEXT:    [[R_I:%.*]] = call ptr @foo()
 263 ; CHECK-NEXT:    call void @use.ptr(ptr [[R_I]])
 264 ; CHECK-NEXT:    ret ptr [[R_I]]
 265 ;
 266   %r = call nonnull ptr @callee10()
 267   ret ptr %r
 268 }
 269
 270 define ptr @callee11() {
 271 ; CHECK-LABEL: define ptr @callee11() {
 272 ; CHECK-NEXT:    [[R:%.*]] = call ptr @foo()
 273 ; CHECK-NEXT:    [[COND:%.*]] = call i1 @val() #[[ATTR0:[0-9]+]]
 274 ; CHECK-NEXT:    br i1 [[COND]], label [[TRUE:%.*]], label [[FALSE:%.*]]
 275 ; CHECK:       True:
 276 ; CHECK-NEXT:    call void @baz() #[[ATTR0]]
 277 ; CHECK-NEXT:    ret ptr [[R]]
 278 ; CHECK:       False:
 279 ; CHECK-NEXT:    call void @bar() #[[ATTR0]]
 280 ; CHECK-NEXT:    [[COND2:%.*]] = call i1 @val()
 281 ; CHECK-NEXT:    ret ptr [[R]]
 282 ;
 283   %r = call ptr @foo()
 284   %cond = call i1 @val() nounwind willreturn
 285   br i1 %cond, label %True, label %False
 286 True:
 287   call void @baz() nounwind willreturn
 288   ret ptr %r
 289 False:
 290   call void @bar() nounwind willreturn
 291   %cond2 = call i1 @val()
 292   ret ptr %r
 293 }
 294
 295 define ptr @caller11_todo() {
 296 ; CHECK-LABEL: define ptr @caller11_todo() {
 297 ; CHECK-NEXT:    [[R_I:%.*]] = call ptr @foo()
 298 ; CHECK-NEXT:    [[COND_I:%.*]] = call i1 @val() #[[ATTR0]]
 299 ; CHECK-NEXT:    br i1 [[COND_I]], label [[TRUE_I:%.*]], label [[FALSE_I:%.*]]
 300 ; CHECK:       True.i:
 301 ; CHECK-NEXT:    call void @baz() #[[ATTR0]]
 302 ; CHECK-NEXT:    br label [[CALLEE11_EXIT:%.*]]
 303 ; CHECK:       False.i:
 304 ; CHECK-NEXT:    call void @bar() #[[ATTR0]]
 305 ; CHECK-NEXT:    [[COND2_I:%.*]] = call i1 @val()
 306 ; CHECK-NEXT:    br label [[CALLEE11_EXIT]]
 307 ; CHECK:       callee11.exit:
 308 ; CHECK-NEXT:    ret ptr [[R_I]]
 309 ;
 310   %r = call nonnull ptr @callee11()
 311   ret ptr %r
 312 }
 313
 314 define ptr @callee12() {
 315 ; CHECK-LABEL: define ptr @callee12() {
 316 ; CHECK-NEXT:    [[P:%.*]] = call ptr @foo()
 317 ; CHECK-NEXT:    [[COND:%.*]] = call i1 @val() #[[ATTR0]]
 318 ; CHECK-NEXT:    [[PP:%.*]] = call ptr @llvm.ptrmask.p0.i64(ptr [[P]], i64 -4)
 319 ; CHECK-NEXT:    [[R:%.*]] = select i1 [[COND]], ptr [[P]], ptr [[PP]]
 320 ; CHECK-NEXT:    ret ptr [[R]]
 321 ;
 322   %p = call ptr @foo()
 323   %cond = call i1 @val() nounwind willreturn
 324   %pp = call ptr @llvm.ptrmask.p0.i64(ptr %p, i64 -4)
 325   %r = select i1 %cond, ptr %p, ptr %pp
 326   ret ptr %r
 327 }
 328
 329 define ptr @caller12_todo() {
 330 ; CHECK-LABEL: define ptr @caller12_todo() {
 331 ; CHECK-NEXT:    [[P_I:%.*]] = call ptr @foo()
 332 ; CHECK-NEXT:    [[COND_I:%.*]] = call i1 @val() #[[ATTR0]]
 333 ; CHECK-NEXT:    [[PP_I:%.*]] = call ptr @llvm.ptrmask.p0.i64(ptr [[P_I]], i64 -4)
 334 ; CHECK-NEXT:    [[R_I:%.*]] = select i1 [[COND_I]], ptr [[P_I]], ptr [[PP_I]]
 335 ; CHECK-NEXT:    ret ptr [[R_I]]
 336 ;
 337   %r = call nonnull ptr @callee12()
 338   ret ptr %r
 339 }