llvm/test/Transforms/Attributor/nocapture-1.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --check-attributes --check-globals
   2 ; RUN: opt -attributor -enable-new-pm=0 -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=6 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
   3 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor -attributor-manifest-internal  -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=6 -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_CGSCC_OPM,NOT_CGSCC_NPM,NOT_TUNIT_OPM,IS__TUNIT____,IS________NPM,IS__TUNIT_NPM
   4 ; RUN: opt -attributor-cgscc -enable-new-pm=0 -attributor-manifest-internal  -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_NPM,IS__CGSCC____,IS________OPM,IS__CGSCC_OPM
   5 ; RUN: opt -aa-pipeline=basic-aa -passes=attributor-cgscc -attributor-manifest-internal  -attributor-annotate-decl-cs -S < %s | FileCheck %s --check-prefixes=CHECK,NOT_TUNIT_NPM,NOT_TUNIT_OPM,NOT_CGSCC_OPM,IS__CGSCC____,IS________NPM,IS__CGSCC_NPM
   6
   7 @g = global i32* null           ; <i32**> [#uses=1]
   8
   9 ;.
  10 ; CHECK: @[[G:[a-zA-Z0-9_$"\\.-]+]] = global i32* null
  11 ; CHECK: @[[LOOKUP_TABLE:[a-zA-Z0-9_$"\\.-]+]] = global [2 x i1] [i1 false, i1 true]
  12 ; CHECK: @[[G2:[a-zA-Z0-9_$"\\.-]+]] = global i8* null
  13 ; CHECK: @[[G3:[a-zA-Z0-9_$"\\.-]+]] = global i8* null
  14 ;.
  15 define i32* @c1(i32* %q) {
  16 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
  17 ; IS__TUNIT____-LABEL: define {{[^@]+}}@c1
  18 ; IS__TUNIT____-SAME: (i32* nofree readnone returned "no-capture-maybe-returned" [[Q:%.*]]) #[[ATTR0:[0-9]+]] {
  19 ; IS__TUNIT____-NEXT:    ret i32* [[Q]]
  20 ;
  21 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
  22 ; IS__CGSCC____-LABEL: define {{[^@]+}}@c1
  23 ; IS__CGSCC____-SAME: (i32* nofree readnone returned "no-capture-maybe-returned" [[Q:%.*]]) #[[ATTR0:[0-9]+]] {
  24 ; IS__CGSCC____-NEXT:    ret i32* [[Q]]
  25 ;
  26   ret i32* %q
  27 }
  28
  29 ; It would also be acceptable to mark %q as readnone. Update @c3 too.
  30 define void @c2(i32* %q) {
  31 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind willreturn writeonly
  32 ; IS__TUNIT____-LABEL: define {{[^@]+}}@c2
  33 ; IS__TUNIT____-SAME: (i32* nofree writeonly [[Q:%.*]]) #[[ATTR1:[0-9]+]] {
  34 ; IS__TUNIT____-NEXT:    store i32* [[Q]], i32** @g, align 8
  35 ; IS__TUNIT____-NEXT:    ret void
  36 ;
  37 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind willreturn writeonly
  38 ; IS__CGSCC____-LABEL: define {{[^@]+}}@c2
  39 ; IS__CGSCC____-SAME: (i32* nofree writeonly [[Q:%.*]]) #[[ATTR1:[0-9]+]] {
  40 ; IS__CGSCC____-NEXT:    store i32* [[Q]], i32** @g, align 8
  41 ; IS__CGSCC____-NEXT:    ret void
  42 ;
  43   store i32* %q, i32** @g
  44   ret void
  45 }
  46
  47 define void @c3(i32* %q) {
  48 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind willreturn writeonly
  49 ; IS__TUNIT____-LABEL: define {{[^@]+}}@c3
  50 ; IS__TUNIT____-SAME: (i32* nofree writeonly [[Q:%.*]]) #[[ATTR1]] {
  51 ; IS__TUNIT____-NEXT:    call void @c2(i32* nofree writeonly [[Q]]) #[[ATTR1]]
  52 ; IS__TUNIT____-NEXT:    ret void
  53 ;
  54 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind willreturn writeonly
  55 ; IS__CGSCC____-LABEL: define {{[^@]+}}@c3
  56 ; IS__CGSCC____-SAME: (i32* nofree writeonly [[Q:%.*]]) #[[ATTR1]] {
  57 ; IS__CGSCC____-NEXT:    call void @c2(i32* nofree writeonly [[Q]]) #[[ATTR19:[0-9]+]]
  58 ; IS__CGSCC____-NEXT:    ret void
  59 ;
  60   call void @c2(i32* %q)
  61   ret void
  62 }
  63
  64 define i1 @c4(i32* %q, i32 %bitno) {
  65 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
  66 ; IS__TUNIT____-LABEL: define {{[^@]+}}@c4
  67 ; IS__TUNIT____-SAME: (i32* nofree readnone [[Q:%.*]], i32 [[BITNO:%.*]]) #[[ATTR0]] {
  68 ; IS__TUNIT____-NEXT:    [[TMP:%.*]] = ptrtoint i32* [[Q]] to i32
  69 ; IS__TUNIT____-NEXT:    [[TMP2:%.*]] = lshr i32 [[TMP]], [[BITNO]]
  70 ; IS__TUNIT____-NEXT:    [[BIT:%.*]] = trunc i32 [[TMP2]] to i1
  71 ; IS__TUNIT____-NEXT:    br i1 [[BIT]], label [[L1:%.*]], label [[L0:%.*]]
  72 ; IS__TUNIT____:       l0:
  73 ; IS__TUNIT____-NEXT:    ret i1 false
  74 ; IS__TUNIT____:       l1:
  75 ; IS__TUNIT____-NEXT:    ret i1 true
  76 ;
  77 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
  78 ; IS__CGSCC____-LABEL: define {{[^@]+}}@c4
  79 ; IS__CGSCC____-SAME: (i32* nofree readnone [[Q:%.*]], i32 [[BITNO:%.*]]) #[[ATTR0]] {
  80 ; IS__CGSCC____-NEXT:    [[TMP:%.*]] = ptrtoint i32* [[Q]] to i32
  81 ; IS__CGSCC____-NEXT:    [[TMP2:%.*]] = lshr i32 [[TMP]], [[BITNO]]
  82 ; IS__CGSCC____-NEXT:    [[BIT:%.*]] = trunc i32 [[TMP2]] to i1
  83 ; IS__CGSCC____-NEXT:    br i1 [[BIT]], label [[L1:%.*]], label [[L0:%.*]]
  84 ; IS__CGSCC____:       l0:
  85 ; IS__CGSCC____-NEXT:    ret i1 false
  86 ; IS__CGSCC____:       l1:
  87 ; IS__CGSCC____-NEXT:    ret i1 true
  88 ;
  89   %tmp = ptrtoint i32* %q to i32
  90   %tmp2 = lshr i32 %tmp, %bitno
  91   %bit = trunc i32 %tmp2 to i1
  92   br i1 %bit, label %l1, label %l0
  93 l0:
  94   ret i1 0 ; escaping value not caught by def-use chaining.
  95 l1:
  96   ret i1 1 ; escaping value not caught by def-use chaining.
  97 }
  98
  99 ; c4b is c4 but without the escaping part
 100 define i1 @c4b(i32* %q, i32 %bitno) {
 101 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
 102 ; IS__TUNIT____-LABEL: define {{[^@]+}}@c4b
 103 ; IS__TUNIT____-SAME: (i32* nocapture nofree readnone [[Q:%.*]], i32 [[BITNO:%.*]]) #[[ATTR0]] {
 104 ; IS__TUNIT____-NEXT:    [[TMP:%.*]] = ptrtoint i32* [[Q]] to i32
 105 ; IS__TUNIT____-NEXT:    [[TMP2:%.*]] = lshr i32 [[TMP]], [[BITNO]]
 106 ; IS__TUNIT____-NEXT:    [[BIT:%.*]] = trunc i32 [[TMP2]] to i1
 107 ; IS__TUNIT____-NEXT:    br i1 [[BIT]], label [[L1:%.*]], label [[L0:%.*]]
 108 ; IS__TUNIT____:       l0:
 109 ; IS__TUNIT____-NEXT:    ret i1 false
 110 ; IS__TUNIT____:       l1:
 111 ; IS__TUNIT____-NEXT:    ret i1 false
 112 ;
 113 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
 114 ; IS__CGSCC____-LABEL: define {{[^@]+}}@c4b
 115 ; IS__CGSCC____-SAME: (i32* nocapture nofree readnone [[Q:%.*]], i32 [[BITNO:%.*]]) #[[ATTR0]] {
 116 ; IS__CGSCC____-NEXT:    [[TMP:%.*]] = ptrtoint i32* [[Q]] to i32
 117 ; IS__CGSCC____-NEXT:    [[TMP2:%.*]] = lshr i32 [[TMP]], [[BITNO]]
 118 ; IS__CGSCC____-NEXT:    [[BIT:%.*]] = trunc i32 [[TMP2]] to i1
 119 ; IS__CGSCC____-NEXT:    br i1 [[BIT]], label [[L1:%.*]], label [[L0:%.*]]
 120 ; IS__CGSCC____:       l0:
 121 ; IS__CGSCC____-NEXT:    ret i1 false
 122 ; IS__CGSCC____:       l1:
 123 ; IS__CGSCC____-NEXT:    ret i1 false
 124 ;
 125   %tmp = ptrtoint i32* %q to i32
 126   %tmp2 = lshr i32 %tmp, %bitno
 127   %bit = trunc i32 %tmp2 to i1
 128   br i1 %bit, label %l1, label %l0
 129 l0:
 130   ret i1 0 ; not escaping!
 131 l1:
 132   ret i1 0 ; not escaping!
 133 }
 134
 135 @lookup_table = global [2 x i1] [ i1 0, i1 1 ]
 136
 137 define i1 @c5(i32* %q, i32 %bitno) {
 138 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readonly willreturn
 139 ; IS__TUNIT____-LABEL: define {{[^@]+}}@c5
 140 ; IS__TUNIT____-SAME: (i32* nofree readonly [[Q:%.*]], i32 [[BITNO:%.*]]) #[[ATTR2:[0-9]+]] {
 141 ; IS__TUNIT____-NEXT:    [[TMP:%.*]] = ptrtoint i32* [[Q]] to i32
 142 ; IS__TUNIT____-NEXT:    [[TMP2:%.*]] = lshr i32 [[TMP]], [[BITNO]]
 143 ; IS__TUNIT____-NEXT:    [[BIT:%.*]] = and i32 [[TMP2]], 1
 144 ; IS__TUNIT____-NEXT:    [[LOOKUP:%.*]] = getelementptr [2 x i1], [2 x i1]* @lookup_table, i32 0, i32 [[BIT]]
 145 ; IS__TUNIT____-NEXT:    [[VAL:%.*]] = load i1, i1* [[LOOKUP]], align 1
 146 ; IS__TUNIT____-NEXT:    ret i1 [[VAL]]
 147 ;
 148 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readonly willreturn
 149 ; IS__CGSCC____-LABEL: define {{[^@]+}}@c5
 150 ; IS__CGSCC____-SAME: (i32* nofree readonly [[Q:%.*]], i32 [[BITNO:%.*]]) #[[ATTR2:[0-9]+]] {
 151 ; IS__CGSCC____-NEXT:    [[TMP:%.*]] = ptrtoint i32* [[Q]] to i32
 152 ; IS__CGSCC____-NEXT:    [[TMP2:%.*]] = lshr i32 [[TMP]], [[BITNO]]
 153 ; IS__CGSCC____-NEXT:    [[BIT:%.*]] = and i32 [[TMP2]], 1
 154 ; IS__CGSCC____-NEXT:    [[LOOKUP:%.*]] = getelementptr [2 x i1], [2 x i1]* @lookup_table, i32 0, i32 [[BIT]]
 155 ; IS__CGSCC____-NEXT:    [[VAL:%.*]] = load i1, i1* [[LOOKUP]], align 1
 156 ; IS__CGSCC____-NEXT:    ret i1 [[VAL]]
 157 ;
 158   %tmp = ptrtoint i32* %q to i32
 159   %tmp2 = lshr i32 %tmp, %bitno
 160   %bit = and i32 %tmp2, 1
 161   ; subtle escape mechanism follows
 162   %lookup = getelementptr [2 x i1], [2 x i1]* @lookup_table, i32 0, i32 %bit
 163   %val = load i1, i1* %lookup
 164   ret i1 %val
 165 }
 166
 167 declare void @throw_if_bit_set(i8*, i8) readonly
 168
 169 define i1 @c6(i8* %q, i8 %bit) personality i32 (...)* @__gxx_personality_v0 {
 170 ; CHECK: Function Attrs: nounwind readonly
 171 ; CHECK-LABEL: define {{[^@]+}}@c6
 172 ; CHECK-SAME: (i8* readonly [[Q:%.*]], i8 [[BIT:%.*]]) #[[ATTR4:[0-9]+]] personality i32 (...)* @__gxx_personality_v0 {
 173 ; CHECK-NEXT:    invoke void @throw_if_bit_set(i8* readonly [[Q]], i8 [[BIT]]) #[[ATTR3:[0-9]+]]
 174 ; CHECK-NEXT:    to label [[RET0:%.*]] unwind label [[RET1:%.*]]
 175 ; CHECK:       ret0:
 176 ; CHECK-NEXT:    ret i1 false
 177 ; CHECK:       ret1:
 178 ; CHECK-NEXT:    [[EXN:%.*]] = landingpad { i8*, i32 }
 179 ; CHECK-NEXT:    cleanup
 180 ; CHECK-NEXT:    ret i1 true
 181 ;
 182   invoke void @throw_if_bit_set(i8* %q, i8 %bit)
 183   to label %ret0 unwind label %ret1
 184 ret0:
 185   ret i1 0
 186 ret1:
 187   %exn = landingpad {i8*, i32}
 188   cleanup
 189   ret i1 1
 190 }
 191
 192 declare i32 @__gxx_personality_v0(...)
 193
 194 define i1* @lookup_bit(i32* %q, i32 %bitno) readnone nounwind {
 195 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
 196 ; IS__TUNIT____-LABEL: define {{[^@]+}}@lookup_bit
 197 ; IS__TUNIT____-SAME: (i32* nofree readnone [[Q:%.*]], i32 [[BITNO:%.*]]) #[[ATTR0]] {
 198 ; IS__TUNIT____-NEXT:    [[TMP:%.*]] = ptrtoint i32* [[Q]] to i32
 199 ; IS__TUNIT____-NEXT:    [[TMP2:%.*]] = lshr i32 [[TMP]], [[BITNO]]
 200 ; IS__TUNIT____-NEXT:    [[BIT:%.*]] = and i32 [[TMP2]], 1
 201 ; IS__TUNIT____-NEXT:    [[LOOKUP:%.*]] = getelementptr [2 x i1], [2 x i1]* @lookup_table, i32 0, i32 [[BIT]]
 202 ; IS__TUNIT____-NEXT:    ret i1* [[LOOKUP]]
 203 ;
 204 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
 205 ; IS__CGSCC____-LABEL: define {{[^@]+}}@lookup_bit
 206 ; IS__CGSCC____-SAME: (i32* nofree readnone [[Q:%.*]], i32 [[BITNO:%.*]]) #[[ATTR0]] {
 207 ; IS__CGSCC____-NEXT:    [[TMP:%.*]] = ptrtoint i32* [[Q]] to i32
 208 ; IS__CGSCC____-NEXT:    [[TMP2:%.*]] = lshr i32 [[TMP]], [[BITNO]]
 209 ; IS__CGSCC____-NEXT:    [[BIT:%.*]] = and i32 [[TMP2]], 1
 210 ; IS__CGSCC____-NEXT:    [[LOOKUP:%.*]] = getelementptr [2 x i1], [2 x i1]* @lookup_table, i32 0, i32 [[BIT]]
 211 ; IS__CGSCC____-NEXT:    ret i1* [[LOOKUP]]
 212 ;
 213   %tmp = ptrtoint i32* %q to i32
 214   %tmp2 = lshr i32 %tmp, %bitno
 215   %bit = and i32 %tmp2, 1
 216   %lookup = getelementptr [2 x i1], [2 x i1]* @lookup_table, i32 0, i32 %bit
 217   ret i1* %lookup
 218 }
 219
 220 define i1 @c7(i32* %q, i32 %bitno) {
 221 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readonly willreturn
 222 ; IS__TUNIT____-LABEL: define {{[^@]+}}@c7
 223 ; IS__TUNIT____-SAME: (i32* nofree readonly [[Q:%.*]], i32 [[BITNO:%.*]]) #[[ATTR2]] {
 224 ; IS__TUNIT____-NEXT:    [[PTR:%.*]] = call i1* @lookup_bit(i32* noalias nofree readnone [[Q]], i32 [[BITNO]]) #[[ATTR17:[0-9]+]]
 225 ; IS__TUNIT____-NEXT:    [[VAL:%.*]] = load i1, i1* [[PTR]], align 1
 226 ; IS__TUNIT____-NEXT:    ret i1 [[VAL]]
 227 ;
 228 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readonly willreturn
 229 ; IS__CGSCC____-LABEL: define {{[^@]+}}@c7
 230 ; IS__CGSCC____-SAME: (i32* nofree readonly [[Q:%.*]], i32 [[BITNO:%.*]]) #[[ATTR2]] {
 231 ; IS__CGSCC____-NEXT:    [[PTR:%.*]] = call i1* @lookup_bit(i32* noalias nofree readnone [[Q]], i32 [[BITNO]]) #[[ATTR20:[0-9]+]]
 232 ; IS__CGSCC____-NEXT:    [[VAL:%.*]] = load i1, i1* [[PTR]], align 1
 233 ; IS__CGSCC____-NEXT:    ret i1 [[VAL]]
 234 ;
 235   %ptr = call i1* @lookup_bit(i32* %q, i32 %bitno)
 236   %val = load i1, i1* %ptr
 237   ret i1 %val
 238 }
 239
 240
 241 define i32 @nc1(i32* %q, i32* %p, i1 %b) {
 242 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind willreturn
 243 ; IS__TUNIT____-LABEL: define {{[^@]+}}@nc1
 244 ; IS__TUNIT____-SAME: (i32* nofree [[Q:%.*]], i32* nocapture nofree [[P:%.*]], i1 [[B:%.*]]) #[[ATTR5:[0-9]+]] {
 245 ; IS__TUNIT____-NEXT:  e:
 246 ; IS__TUNIT____-NEXT:    br label [[L:%.*]]
 247 ; IS__TUNIT____:       l:
 248 ; IS__TUNIT____-NEXT:    [[Y:%.*]] = phi i32* [ [[Q]], [[E:%.*]] ]
 249 ; IS__TUNIT____-NEXT:    [[TMP2:%.*]] = select i1 [[B]], i32* [[P]], i32* [[Y]]
 250 ; IS__TUNIT____-NEXT:    [[VAL:%.*]] = load i32, i32* [[TMP2]], align 4
 251 ; IS__TUNIT____-NEXT:    store i32 0, i32* [[P]], align 4
 252 ; IS__TUNIT____-NEXT:    store i32* [[Y]], i32** @g, align 8
 253 ; IS__TUNIT____-NEXT:    ret i32 [[VAL]]
 254 ;
 255 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind willreturn
 256 ; IS__CGSCC____-LABEL: define {{[^@]+}}@nc1
 257 ; IS__CGSCC____-SAME: (i32* nofree [[Q:%.*]], i32* nocapture nofree align 4 [[P:%.*]], i1 [[B:%.*]]) #[[ATTR5:[0-9]+]] {
 258 ; IS__CGSCC____-NEXT:  e:
 259 ; IS__CGSCC____-NEXT:    br label [[L:%.*]]
 260 ; IS__CGSCC____:       l:
 261 ; IS__CGSCC____-NEXT:    [[Y:%.*]] = phi i32* [ [[Q]], [[E:%.*]] ]
 262 ; IS__CGSCC____-NEXT:    [[TMP2:%.*]] = select i1 [[B]], i32* [[P]], i32* [[Y]]
 263 ; IS__CGSCC____-NEXT:    [[VAL:%.*]] = load i32, i32* [[TMP2]], align 4
 264 ; IS__CGSCC____-NEXT:    store i32 0, i32* [[P]], align 4
 265 ; IS__CGSCC____-NEXT:    store i32* [[Y]], i32** @g, align 8
 266 ; IS__CGSCC____-NEXT:    ret i32 [[VAL]]
 267 ;
 268 e:
 269   br label %l
 270 l:
 271   %x = phi i32* [ %p, %e ]
 272   %y = phi i32* [ %q, %e ]
 273   %tmp = bitcast i32* %x to i32*                ; <i32*> [#uses=2]
 274   %tmp2 = select i1 %b, i32* %tmp, i32* %y
 275   %val = load i32, i32* %tmp2           ; <i32> [#uses=1]
 276   store i32 0, i32* %tmp
 277   store i32* %y, i32** @g
 278   ret i32 %val
 279 }
 280
 281 define i32 @nc1_addrspace(i32* %q, i32 addrspace(1)* %p, i1 %b) {
 282 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind willreturn
 283 ; IS__TUNIT____-LABEL: define {{[^@]+}}@nc1_addrspace
 284 ; IS__TUNIT____-SAME: (i32* nofree [[Q:%.*]], i32 addrspace(1)* nocapture nofree [[P:%.*]], i1 [[B:%.*]]) #[[ATTR5]] {
 285 ; IS__TUNIT____-NEXT:  e:
 286 ; IS__TUNIT____-NEXT:    br label [[L:%.*]]
 287 ; IS__TUNIT____:       l:
 288 ; IS__TUNIT____-NEXT:    [[X:%.*]] = phi i32 addrspace(1)* [ [[P]], [[E:%.*]] ]
 289 ; IS__TUNIT____-NEXT:    [[Y:%.*]] = phi i32* [ [[Q]], [[E]] ]
 290 ; IS__TUNIT____-NEXT:    [[TMP:%.*]] = addrspacecast i32 addrspace(1)* [[X]] to i32*
 291 ; IS__TUNIT____-NEXT:    [[TMP2:%.*]] = select i1 [[B]], i32* [[TMP]], i32* [[Y]]
 292 ; IS__TUNIT____-NEXT:    [[VAL:%.*]] = load i32, i32* [[TMP2]], align 4
 293 ; IS__TUNIT____-NEXT:    store i32 0, i32* [[TMP]], align 4
 294 ; IS__TUNIT____-NEXT:    store i32* [[Y]], i32** @g, align 8
 295 ; IS__TUNIT____-NEXT:    ret i32 [[VAL]]
 296 ;
 297 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind willreturn
 298 ; IS__CGSCC____-LABEL: define {{[^@]+}}@nc1_addrspace
 299 ; IS__CGSCC____-SAME: (i32* nofree [[Q:%.*]], i32 addrspace(1)* nocapture nofree [[P:%.*]], i1 [[B:%.*]]) #[[ATTR5]] {
 300 ; IS__CGSCC____-NEXT:  e:
 301 ; IS__CGSCC____-NEXT:    br label [[L:%.*]]
 302 ; IS__CGSCC____:       l:
 303 ; IS__CGSCC____-NEXT:    [[X:%.*]] = phi i32 addrspace(1)* [ [[P]], [[E:%.*]] ]
 304 ; IS__CGSCC____-NEXT:    [[Y:%.*]] = phi i32* [ [[Q]], [[E]] ]
 305 ; IS__CGSCC____-NEXT:    [[TMP:%.*]] = addrspacecast i32 addrspace(1)* [[X]] to i32*
 306 ; IS__CGSCC____-NEXT:    [[TMP2:%.*]] = select i1 [[B]], i32* [[TMP]], i32* [[Y]]
 307 ; IS__CGSCC____-NEXT:    [[VAL:%.*]] = load i32, i32* [[TMP2]], align 4
 308 ; IS__CGSCC____-NEXT:    store i32 0, i32* [[TMP]], align 4
 309 ; IS__CGSCC____-NEXT:    store i32* [[Y]], i32** @g, align 8
 310 ; IS__CGSCC____-NEXT:    ret i32 [[VAL]]
 311 ;
 312 e:
 313   br label %l
 314 l:
 315   %x = phi i32 addrspace(1)* [ %p, %e ]
 316   %y = phi i32* [ %q, %e ]
 317   %tmp = addrspacecast i32 addrspace(1)* %x to i32*             ; <i32*> [#uses=2]
 318   %tmp2 = select i1 %b, i32* %tmp, i32* %y
 319   %val = load i32, i32* %tmp2           ; <i32> [#uses=1]
 320   store i32 0, i32* %tmp
 321   store i32* %y, i32** @g
 322   ret i32 %val
 323 }
 324
 325 define void @nc2(i32* %p, i32* %q) {
 326 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind willreturn
 327 ; IS__TUNIT____-LABEL: define {{[^@]+}}@nc2
 328 ; IS__TUNIT____-SAME: (i32* nocapture nofree [[P:%.*]], i32* nofree [[Q:%.*]]) #[[ATTR5]] {
 329 ; IS__TUNIT____-NEXT:    [[TMP1:%.*]] = call i32 @nc1(i32* nofree [[Q]], i32* nocapture nofree [[P]], i1 noundef false) #[[ATTR5]]
 330 ; IS__TUNIT____-NEXT:    ret void
 331 ;
 332 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind willreturn
 333 ; IS__CGSCC____-LABEL: define {{[^@]+}}@nc2
 334 ; IS__CGSCC____-SAME: (i32* nocapture nofree align 4 [[P:%.*]], i32* nofree [[Q:%.*]]) #[[ATTR5]] {
 335 ; IS__CGSCC____-NEXT:    [[TMP1:%.*]] = call i32 @nc1(i32* nofree [[Q]], i32* nocapture nofree align 4 [[P]], i1 noundef false) #[[ATTR16:[0-9]+]]
 336 ; IS__CGSCC____-NEXT:    ret void
 337 ;
 338   %1 = call i32 @nc1(i32* %q, i32* %p, i1 0)            ; <i32> [#uses=0]
 339   ret void
 340 }
 341
 342
 343 define void @nc3(void ()* %p) {
 344 ; CHECK-LABEL: define {{[^@]+}}@nc3
 345 ; CHECK-SAME: (void ()* nocapture nofree noundef nonnull [[P:%.*]]) {
 346 ; CHECK-NEXT:    call void [[P]]()
 347 ; CHECK-NEXT:    ret void
 348 ;
 349   call void %p()
 350   ret void
 351 }
 352
 353 ; The following test is tricky because improvements to AAIsDead can cause the call to be removed.
 354 ; FIXME: readonly and nocapture missing on the pointer.
 355 declare void @external(i8* readonly) nounwind argmemonly
 356 define void @nc4(i8* %p) {
 357 ; IS__TUNIT____: Function Attrs: argmemonly nounwind
 358 ; IS__TUNIT____-LABEL: define {{[^@]+}}@nc4
 359 ; IS__TUNIT____-SAME: (i8* [[P:%.*]]) #[[ATTR6:[0-9]+]] {
 360 ; IS__TUNIT____-NEXT:    call void @external(i8* readonly [[P]]) #[[ATTR18:[0-9]+]]
 361 ; IS__TUNIT____-NEXT:    ret void
 362 ;
 363 ; IS__CGSCC____: Function Attrs: argmemonly nounwind
 364 ; IS__CGSCC____-LABEL: define {{[^@]+}}@nc4
 365 ; IS__CGSCC____-SAME: (i8* [[P:%.*]]) #[[ATTR6:[0-9]+]] {
 366 ; IS__CGSCC____-NEXT:    call void @external(i8* readonly [[P]]) #[[ATTR21:[0-9]+]]
 367 ; IS__CGSCC____-NEXT:    ret void
 368 ;
 369   call void @external(i8* %p)
 370   ret void
 371 }
 372
 373 define void @nc5(void (i8*)* %f, i8* %p) {
 374 ; CHECK-LABEL: define {{[^@]+}}@nc5
 375 ; CHECK-SAME: (void (i8*)* nocapture nofree noundef nonnull [[F:%.*]], i8* nocapture [[P:%.*]]) {
 376 ; CHECK-NEXT:    call void [[F]](i8* nocapture [[P]])
 377 ; CHECK-NEXT:    ret void
 378 ;
 379   call void %f(i8* %p) readonly nounwind
 380   call void %f(i8* nocapture %p)
 381   ret void
 382 }
 383
 384 ; It would be acceptable to add readnone to %y1_1 and %y1_2.
 385 define void @test1_1(i8* %x1_1, i8* %y1_1, i1 %c) {
 386 ; CHECK: Function Attrs: nofree nosync nounwind writeonly
 387 ; CHECK-LABEL: define {{[^@]+}}@test1_1
 388 ; CHECK-SAME: (i8* nocapture nofree readnone [[X1_1:%.*]], i8* nocapture nofree readnone [[Y1_1:%.*]], i1 [[C:%.*]]) #[[ATTR7:[0-9]+]] {
 389 ; CHECK-NEXT:    [[TMP1:%.*]] = call i8* @test1_2(i8* noalias nocapture nofree readnone undef, i8* noalias nofree readnone "no-capture-maybe-returned" [[Y1_1]], i1 [[C]]) #[[ATTR7]]
 390 ; CHECK-NEXT:    store i32* null, i32** @g, align 8
 391 ; CHECK-NEXT:    ret void
 392 ;
 393   call i8* @test1_2(i8* %x1_1, i8* %y1_1, i1 %c)
 394   store i32* null, i32** @g
 395   ret void
 396 }
 397
 398 define i8* @test1_2(i8* %x1_2, i8* %y1_2, i1 %c) {
 399 ; IS________OPM: Function Attrs: nofree nosync nounwind writeonly
 400 ; IS________OPM-LABEL: define {{[^@]+}}@test1_2
 401 ; IS________OPM-SAME: (i8* nocapture nofree readnone [[X1_2:%.*]], i8* nofree readnone returned "no-capture-maybe-returned" [[Y1_2:%.*]], i1 [[C:%.*]]) #[[ATTR7]] {
 402 ; IS________OPM-NEXT:    br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
 403 ; IS________OPM:       t:
 404 ; IS________OPM-NEXT:    call void @test1_1(i8* noalias nocapture nofree readnone undef, i8* noalias nocapture nofree readnone [[Y1_2]], i1 [[C]]) #[[ATTR7]]
 405 ; IS________OPM-NEXT:    store i32* null, i32** @g, align 8
 406 ; IS________OPM-NEXT:    br label [[F]]
 407 ; IS________OPM:       f:
 408 ; IS________OPM-NEXT:    ret i8* [[Y1_2]]
 409 ;
 410 ; IS________NPM: Function Attrs: nofree nosync nounwind writeonly
 411 ; IS________NPM-LABEL: define {{[^@]+}}@test1_2
 412 ; IS________NPM-SAME: (i8* nocapture nofree readnone [[X1_2:%.*]], i8* nofree readnone returned "no-capture-maybe-returned" [[Y1_2:%.*]], i1 [[C:%.*]]) #[[ATTR7]] {
 413 ; IS________NPM-NEXT:    br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
 414 ; IS________NPM:       t:
 415 ; IS________NPM-NEXT:    call void @test1_1(i8* noalias nocapture nofree readnone undef, i8* noalias nocapture nofree readnone [[Y1_2]], i1 noundef [[C]]) #[[ATTR7]]
 416 ; IS________NPM-NEXT:    store i32* null, i32** @g, align 8
 417 ; IS________NPM-NEXT:    br label [[F]]
 418 ; IS________NPM:       f:
 419 ; IS________NPM-NEXT:    ret i8* [[Y1_2]]
 420 ;
 421   br i1 %c, label %t, label %f
 422 t:
 423   call void @test1_1(i8* %x1_2, i8* %y1_2, i1 %c)
 424   store i32* null, i32** @g
 425   br label %f
 426 f:
 427   ret i8* %y1_2
 428 }
 429
 430 define void @test2(i8* %x2) {
 431 ; IS__TUNIT____: Function Attrs: nofree noreturn nosync nounwind readnone willreturn
 432 ; IS__TUNIT____-LABEL: define {{[^@]+}}@test2
 433 ; IS__TUNIT____-SAME: (i8* nocapture nofree readnone [[X2:%.*]]) #[[ATTR8:[0-9]+]] {
 434 ; IS__TUNIT____-NEXT:    unreachable
 435 ;
 436 ; IS__CGSCC____: Function Attrs: nofree norecurse noreturn nosync nounwind readnone willreturn
 437 ; IS__CGSCC____-LABEL: define {{[^@]+}}@test2
 438 ; IS__CGSCC____-SAME: (i8* nocapture nofree readnone [[X2:%.*]]) #[[ATTR8:[0-9]+]] {
 439 ; IS__CGSCC____-NEXT:    unreachable
 440 ;
 441   call void @test2(i8* %x2)
 442   store i32* null, i32** @g
 443   ret void
 444 }
 445
 446 define void @test3(i8* %x3, i8* %y3, i8* %z3) {
 447 ; IS__TUNIT____: Function Attrs: nofree noreturn nosync nounwind readnone willreturn
 448 ; IS__TUNIT____-LABEL: define {{[^@]+}}@test3
 449 ; IS__TUNIT____-SAME: (i8* nocapture nofree readnone [[X3:%.*]], i8* nocapture nofree readnone [[Y3:%.*]], i8* nocapture nofree readnone [[Z3:%.*]]) #[[ATTR8]] {
 450 ; IS__TUNIT____-NEXT:    unreachable
 451 ;
 452 ; IS__CGSCC____: Function Attrs: nofree norecurse noreturn nosync nounwind readnone willreturn
 453 ; IS__CGSCC____-LABEL: define {{[^@]+}}@test3
 454 ; IS__CGSCC____-SAME: (i8* nocapture nofree readnone [[X3:%.*]], i8* nocapture nofree readnone [[Y3:%.*]], i8* nocapture nofree readnone [[Z3:%.*]]) #[[ATTR8]] {
 455 ; IS__CGSCC____-NEXT:    unreachable
 456 ;
 457   call void @test3(i8* %z3, i8* %y3, i8* %x3)
 458   store i32* null, i32** @g
 459   ret void
 460 }
 461
 462 define void @test4_1(i8* %x4_1, i1 %c) {
 463 ; CHECK: Function Attrs: nofree nosync nounwind writeonly
 464 ; CHECK-LABEL: define {{[^@]+}}@test4_1
 465 ; CHECK-SAME: (i8* nocapture nofree readnone [[X4_1:%.*]], i1 [[C:%.*]]) #[[ATTR7]] {
 466 ; CHECK-NEXT:    [[TMP1:%.*]] = call i8* @test4_2(i8* noalias nocapture nofree readnone undef, i8* noalias nofree readnone "no-capture-maybe-returned" [[X4_1]], i8* noalias nocapture nofree readnone undef, i1 [[C]]) #[[ATTR7]]
 467 ; CHECK-NEXT:    store i32* null, i32** @g, align 8
 468 ; CHECK-NEXT:    ret void
 469 ;
 470   call i8* @test4_2(i8* %x4_1, i8* %x4_1, i8* %x4_1, i1 %c)
 471   store i32* null, i32** @g
 472   ret void
 473 }
 474
 475 define i8* @test4_2(i8* %x4_2, i8* %y4_2, i8* %z4_2, i1 %c) {
 476 ; IS________OPM: Function Attrs: nofree nosync nounwind writeonly
 477 ; IS________OPM-LABEL: define {{[^@]+}}@test4_2
 478 ; IS________OPM-SAME: (i8* nocapture nofree readnone [[X4_2:%.*]], i8* nofree readnone returned "no-capture-maybe-returned" [[Y4_2:%.*]], i8* nocapture nofree readnone [[Z4_2:%.*]], i1 [[C:%.*]]) #[[ATTR7]] {
 479 ; IS________OPM-NEXT:    br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
 480 ; IS________OPM:       t:
 481 ; IS________OPM-NEXT:    call void @test4_1(i8* noalias nocapture nofree noundef readnone align 536870912 null, i1 [[C]]) #[[ATTR7]]
 482 ; IS________OPM-NEXT:    store i32* null, i32** @g, align 8
 483 ; IS________OPM-NEXT:    br label [[F]]
 484 ; IS________OPM:       f:
 485 ; IS________OPM-NEXT:    ret i8* [[Y4_2]]
 486 ;
 487 ; IS________NPM: Function Attrs: nofree nosync nounwind writeonly
 488 ; IS________NPM-LABEL: define {{[^@]+}}@test4_2
 489 ; IS________NPM-SAME: (i8* nocapture nofree readnone [[X4_2:%.*]], i8* nofree readnone returned "no-capture-maybe-returned" [[Y4_2:%.*]], i8* nocapture nofree readnone [[Z4_2:%.*]], i1 [[C:%.*]]) #[[ATTR7]] {
 490 ; IS________NPM-NEXT:    br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
 491 ; IS________NPM:       t:
 492 ; IS________NPM-NEXT:    call void @test4_1(i8* noalias nocapture nofree noundef readnone align 536870912 null, i1 noundef [[C]]) #[[ATTR7]]
 493 ; IS________NPM-NEXT:    store i32* null, i32** @g, align 8
 494 ; IS________NPM-NEXT:    br label [[F]]
 495 ; IS________NPM:       f:
 496 ; IS________NPM-NEXT:    ret i8* [[Y4_2]]
 497 ;
 498   br i1 %c, label %t, label %f
 499 t:
 500   call void @test4_1(i8* null, i1 %c)
 501   store i32* null, i32** @g
 502   br label %f
 503 f:
 504   ret i8* %y4_2
 505 }
 506
 507 declare i8* @test5_1(i8* %x5_1)
 508
 509 define void @test5_2(i8* %x5_2) {
 510 ; CHECK-LABEL: define {{[^@]+}}@test5_2
 511 ; CHECK-SAME: (i8* [[X5_2:%.*]]) {
 512 ; CHECK-NEXT:    [[TMP1:%.*]] = call i8* @test5_1(i8* [[X5_2]])
 513 ; CHECK-NEXT:    store i32* null, i32** @g, align 8
 514 ; CHECK-NEXT:    ret void
 515 ;
 516   call i8* @test5_1(i8* %x5_2)
 517   store i32* null, i32** @g
 518   ret void
 519 }
 520
 521 declare void @test6_1(i8* %x6_1, i8* nocapture %y6_1, ...)
 522
 523 define void @test6_2(i8* %x6_2, i8* %y6_2, i8* %z6_2) {
 524 ; CHECK-LABEL: define {{[^@]+}}@test6_2
 525 ; CHECK-SAME: (i8* [[X6_2:%.*]], i8* nocapture [[Y6_2:%.*]], i8* [[Z6_2:%.*]]) {
 526 ; CHECK-NEXT:    call void (i8*, i8*, ...) @test6_1(i8* [[X6_2]], i8* nocapture [[Y6_2]], i8* [[Z6_2]])
 527 ; CHECK-NEXT:    store i32* null, i32** @g, align 8
 528 ; CHECK-NEXT:    ret void
 529 ;
 530   call void (i8*, i8*, ...) @test6_1(i8* %x6_2, i8* %y6_2, i8* %z6_2)
 531   store i32* null, i32** @g
 532   ret void
 533 }
 534
 535 define void @test_cmpxchg(i32* %p) {
 536 ; IS__TUNIT____: Function Attrs: argmemonly nofree nounwind willreturn
 537 ; IS__TUNIT____-LABEL: define {{[^@]+}}@test_cmpxchg
 538 ; IS__TUNIT____-SAME: (i32* nocapture nofree noundef nonnull dereferenceable(4) [[P:%.*]]) #[[ATTR9:[0-9]+]] {
 539 ; IS__TUNIT____-NEXT:    [[TMP1:%.*]] = cmpxchg i32* [[P]], i32 0, i32 1 acquire monotonic, align 4
 540 ; IS__TUNIT____-NEXT:    ret void
 541 ;
 542 ; IS__CGSCC____: Function Attrs: argmemonly nofree norecurse nounwind willreturn
 543 ; IS__CGSCC____-LABEL: define {{[^@]+}}@test_cmpxchg
 544 ; IS__CGSCC____-SAME: (i32* nocapture nofree noundef nonnull dereferenceable(4) [[P:%.*]]) #[[ATTR9:[0-9]+]] {
 545 ; IS__CGSCC____-NEXT:    [[TMP1:%.*]] = cmpxchg i32* [[P]], i32 0, i32 1 acquire monotonic, align 4
 546 ; IS__CGSCC____-NEXT:    ret void
 547 ;
 548   cmpxchg i32* %p, i32 0, i32 1 acquire monotonic
 549   ret void
 550 }
 551
 552 define void @test_cmpxchg_ptr(i32** %p, i32* %q) {
 553 ; IS__TUNIT____: Function Attrs: argmemonly nofree nounwind willreturn
 554 ; IS__TUNIT____-LABEL: define {{[^@]+}}@test_cmpxchg_ptr
 555 ; IS__TUNIT____-SAME: (i32** nocapture nofree noundef nonnull dereferenceable(8) [[P:%.*]], i32* nofree [[Q:%.*]]) #[[ATTR9]] {
 556 ; IS__TUNIT____-NEXT:    [[TMP1:%.*]] = cmpxchg i32** [[P]], i32* null, i32* [[Q]] acquire monotonic, align 8
 557 ; IS__TUNIT____-NEXT:    ret void
 558 ;
 559 ; IS__CGSCC____: Function Attrs: argmemonly nofree norecurse nounwind willreturn
 560 ; IS__CGSCC____-LABEL: define {{[^@]+}}@test_cmpxchg_ptr
 561 ; IS__CGSCC____-SAME: (i32** nocapture nofree noundef nonnull dereferenceable(8) [[P:%.*]], i32* nofree [[Q:%.*]]) #[[ATTR9]] {
 562 ; IS__CGSCC____-NEXT:    [[TMP1:%.*]] = cmpxchg i32** [[P]], i32* null, i32* [[Q]] acquire monotonic, align 8
 563 ; IS__CGSCC____-NEXT:    ret void
 564 ;
 565   cmpxchg i32** %p, i32* null, i32* %q acquire monotonic
 566   ret void
 567 }
 568
 569 define void @test_atomicrmw(i32* %p) {
 570 ; IS__TUNIT____: Function Attrs: argmemonly nofree nounwind willreturn
 571 ; IS__TUNIT____-LABEL: define {{[^@]+}}@test_atomicrmw
 572 ; IS__TUNIT____-SAME: (i32* nocapture nofree noundef nonnull dereferenceable(4) [[P:%.*]]) #[[ATTR9]] {
 573 ; IS__TUNIT____-NEXT:    [[TMP1:%.*]] = atomicrmw add i32* [[P]], i32 1 seq_cst, align 4
 574 ; IS__TUNIT____-NEXT:    ret void
 575 ;
 576 ; IS__CGSCC____: Function Attrs: argmemonly nofree norecurse nounwind willreturn
 577 ; IS__CGSCC____-LABEL: define {{[^@]+}}@test_atomicrmw
 578 ; IS__CGSCC____-SAME: (i32* nocapture nofree noundef nonnull dereferenceable(4) [[P:%.*]]) #[[ATTR9]] {
 579 ; IS__CGSCC____-NEXT:    [[TMP1:%.*]] = atomicrmw add i32* [[P]], i32 1 seq_cst, align 4
 580 ; IS__CGSCC____-NEXT:    ret void
 581 ;
 582   atomicrmw add i32* %p, i32 1 seq_cst
 583   ret void
 584 }
 585
 586 define void @test_volatile(i32* %x) {
 587 ; IS__TUNIT____: Function Attrs: argmemonly nofree nounwind willreturn
 588 ; IS__TUNIT____-LABEL: define {{[^@]+}}@test_volatile
 589 ; IS__TUNIT____-SAME: (i32* nofree align 4 [[X:%.*]]) #[[ATTR9]] {
 590 ; IS__TUNIT____-NEXT:  entry:
 591 ; IS__TUNIT____-NEXT:    [[GEP:%.*]] = getelementptr i32, i32* [[X]], i64 1
 592 ; IS__TUNIT____-NEXT:    store volatile i32 0, i32* [[GEP]], align 4
 593 ; IS__TUNIT____-NEXT:    ret void
 594 ;
 595 ; IS__CGSCC____: Function Attrs: argmemonly nofree norecurse nounwind willreturn
 596 ; IS__CGSCC____-LABEL: define {{[^@]+}}@test_volatile
 597 ; IS__CGSCC____-SAME: (i32* nofree align 4 [[X:%.*]]) #[[ATTR9]] {
 598 ; IS__CGSCC____-NEXT:  entry:
 599 ; IS__CGSCC____-NEXT:    [[GEP:%.*]] = getelementptr i32, i32* [[X]], i64 1
 600 ; IS__CGSCC____-NEXT:    store volatile i32 0, i32* [[GEP]], align 4
 601 ; IS__CGSCC____-NEXT:    ret void
 602 ;
 603 entry:
 604   %gep = getelementptr i32, i32* %x, i64 1
 605   store volatile i32 0, i32* %gep, align 4
 606   ret void
 607 }
 608
 609 define void @nocaptureLaunder(i8* %p) {
 610 ; IS__TUNIT____: Function Attrs: inaccessiblemem_or_argmemonly nofree nosync nounwind willreturn
 611 ; IS__TUNIT____-LABEL: define {{[^@]+}}@nocaptureLaunder
 612 ; IS__TUNIT____-SAME: (i8* nocapture nofree [[P:%.*]]) #[[ATTR10:[0-9]+]] {
 613 ; IS__TUNIT____-NEXT:  entry:
 614 ; IS__TUNIT____-NEXT:    [[B:%.*]] = call i8* @llvm.launder.invariant.group.p0i8(i8* nofree [[P]]) #[[ATTR19:[0-9]+]]
 615 ; IS__TUNIT____-NEXT:    store i8 42, i8* [[B]], align 1
 616 ; IS__TUNIT____-NEXT:    ret void
 617 ;
 618 ; IS__CGSCC____: Function Attrs: inaccessiblemem_or_argmemonly nofree nosync nounwind willreturn
 619 ; IS__CGSCC____-LABEL: define {{[^@]+}}@nocaptureLaunder
 620 ; IS__CGSCC____-SAME: (i8* nocapture nofree [[P:%.*]]) #[[ATTR10:[0-9]+]] {
 621 ; IS__CGSCC____-NEXT:  entry:
 622 ; IS__CGSCC____-NEXT:    [[B:%.*]] = call i8* @llvm.launder.invariant.group.p0i8(i8* nofree [[P]]) #[[ATTR22:[0-9]+]]
 623 ; IS__CGSCC____-NEXT:    store i8 42, i8* [[B]], align 1
 624 ; IS__CGSCC____-NEXT:    ret void
 625 ;
 626 entry:
 627   %b = call i8* @llvm.launder.invariant.group.p0i8(i8* %p)
 628   store i8 42, i8* %b
 629   ret void
 630 }
 631
 632 @g2 = global i8* null
 633 define void @captureLaunder(i8* %p) {
 634 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind willreturn
 635 ; IS__TUNIT____-LABEL: define {{[^@]+}}@captureLaunder
 636 ; IS__TUNIT____-SAME: (i8* nofree [[P:%.*]]) #[[ATTR5]] {
 637 ; IS__TUNIT____-NEXT:    [[B:%.*]] = call i8* @llvm.launder.invariant.group.p0i8(i8* nofree [[P]]) #[[ATTR19]]
 638 ; IS__TUNIT____-NEXT:    store i8* [[B]], i8** @g2, align 8
 639 ; IS__TUNIT____-NEXT:    ret void
 640 ;
 641 ; IS__CGSCC____: Function Attrs: nofree nosync nounwind willreturn
 642 ; IS__CGSCC____-LABEL: define {{[^@]+}}@captureLaunder
 643 ; IS__CGSCC____-SAME: (i8* nofree [[P:%.*]]) #[[ATTR11:[0-9]+]] {
 644 ; IS__CGSCC____-NEXT:    [[B:%.*]] = call i8* @llvm.launder.invariant.group.p0i8(i8* nofree [[P]]) #[[ATTR22]]
 645 ; IS__CGSCC____-NEXT:    store i8* [[B]], i8** @g2, align 8
 646 ; IS__CGSCC____-NEXT:    ret void
 647 ;
 648   %b = call i8* @llvm.launder.invariant.group.p0i8(i8* %p)
 649   store i8* %b, i8** @g2
 650   ret void
 651 }
 652
 653 define void @nocaptureStrip(i8* %p) {
 654 ; IS__TUNIT____: Function Attrs: argmemonly nofree nosync nounwind willreturn writeonly
 655 ; IS__TUNIT____-LABEL: define {{[^@]+}}@nocaptureStrip
 656 ; IS__TUNIT____-SAME: (i8* nocapture nofree writeonly [[P:%.*]]) #[[ATTR11:[0-9]+]] {
 657 ; IS__TUNIT____-NEXT:  entry:
 658 ; IS__TUNIT____-NEXT:    [[B:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* noalias nofree readnone [[P]]) #[[ATTR20:[0-9]+]]
 659 ; IS__TUNIT____-NEXT:    store i8 42, i8* [[B]], align 1
 660 ; IS__TUNIT____-NEXT:    ret void
 661 ;
 662 ; IS__CGSCC____: Function Attrs: argmemonly nofree nosync nounwind willreturn writeonly
 663 ; IS__CGSCC____-LABEL: define {{[^@]+}}@nocaptureStrip
 664 ; IS__CGSCC____-SAME: (i8* nocapture nofree writeonly [[P:%.*]]) #[[ATTR12:[0-9]+]] {
 665 ; IS__CGSCC____-NEXT:  entry:
 666 ; IS__CGSCC____-NEXT:    [[B:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* noalias nofree readnone [[P]]) #[[ATTR20]]
 667 ; IS__CGSCC____-NEXT:    store i8 42, i8* [[B]], align 1
 668 ; IS__CGSCC____-NEXT:    ret void
 669 ;
 670 entry:
 671   %b = call i8* @llvm.strip.invariant.group.p0i8(i8* %p)
 672   store i8 42, i8* %b
 673   ret void
 674 }
 675
 676 @g3 = global i8* null
 677 define void @captureStrip(i8* %p) {
 678 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind willreturn writeonly
 679 ; IS__TUNIT____-LABEL: define {{[^@]+}}@captureStrip
 680 ; IS__TUNIT____-SAME: (i8* nofree writeonly [[P:%.*]]) #[[ATTR1]] {
 681 ; IS__TUNIT____-NEXT:    [[B:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* noalias nofree readnone [[P]]) #[[ATTR20]]
 682 ; IS__TUNIT____-NEXT:    store i8* [[B]], i8** @g3, align 8
 683 ; IS__TUNIT____-NEXT:    ret void
 684 ;
 685 ; IS__CGSCC____: Function Attrs: nofree nosync nounwind willreturn writeonly
 686 ; IS__CGSCC____-LABEL: define {{[^@]+}}@captureStrip
 687 ; IS__CGSCC____-SAME: (i8* nofree writeonly [[P:%.*]]) #[[ATTR13:[0-9]+]] {
 688 ; IS__CGSCC____-NEXT:    [[B:%.*]] = call i8* @llvm.strip.invariant.group.p0i8(i8* noalias nofree readnone [[P]]) #[[ATTR20]]
 689 ; IS__CGSCC____-NEXT:    store i8* [[B]], i8** @g3, align 8
 690 ; IS__CGSCC____-NEXT:    ret void
 691 ;
 692   %b = call i8* @llvm.strip.invariant.group.p0i8(i8* %p)
 693   store i8* %b, i8** @g3
 694   ret void
 695 }
 696
 697 define i1 @captureICmp(i32* %x) {
 698 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
 699 ; IS__TUNIT____-LABEL: define {{[^@]+}}@captureICmp
 700 ; IS__TUNIT____-SAME: (i32* nofree readnone [[X:%.*]]) #[[ATTR0]] {
 701 ; IS__TUNIT____-NEXT:    [[TMP1:%.*]] = icmp eq i32* [[X]], null
 702 ; IS__TUNIT____-NEXT:    ret i1 [[TMP1]]
 703 ;
 704 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
 705 ; IS__CGSCC____-LABEL: define {{[^@]+}}@captureICmp
 706 ; IS__CGSCC____-SAME: (i32* nofree readnone [[X:%.*]]) #[[ATTR0]] {
 707 ; IS__CGSCC____-NEXT:    [[TMP1:%.*]] = icmp eq i32* [[X]], null
 708 ; IS__CGSCC____-NEXT:    ret i1 [[TMP1]]
 709 ;
 710   %1 = icmp eq i32* %x, null
 711   ret i1 %1
 712 }
 713
 714 define i1 @captureICmpRev(i32* %x) {
 715 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
 716 ; IS__TUNIT____-LABEL: define {{[^@]+}}@captureICmpRev
 717 ; IS__TUNIT____-SAME: (i32* nofree readnone [[X:%.*]]) #[[ATTR0]] {
 718 ; IS__TUNIT____-NEXT:    [[TMP1:%.*]] = icmp eq i32* null, [[X]]
 719 ; IS__TUNIT____-NEXT:    ret i1 [[TMP1]]
 720 ;
 721 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
 722 ; IS__CGSCC____-LABEL: define {{[^@]+}}@captureICmpRev
 723 ; IS__CGSCC____-SAME: (i32* nofree readnone [[X:%.*]]) #[[ATTR0]] {
 724 ; IS__CGSCC____-NEXT:    [[TMP1:%.*]] = icmp eq i32* null, [[X]]
 725 ; IS__CGSCC____-NEXT:    ret i1 [[TMP1]]
 726 ;
 727   %1 = icmp eq i32* null, %x
 728   ret i1 %1
 729 }
 730
 731 define i1 @nocaptureInboundsGEPICmp(i32* %x) {
 732 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
 733 ; IS__TUNIT____-LABEL: define {{[^@]+}}@nocaptureInboundsGEPICmp
 734 ; IS__TUNIT____-SAME: (i32* nocapture nofree readnone [[X:%.*]]) #[[ATTR0]] {
 735 ; IS__TUNIT____-NEXT:    ret i1 false
 736 ;
 737 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
 738 ; IS__CGSCC____-LABEL: define {{[^@]+}}@nocaptureInboundsGEPICmp
 739 ; IS__CGSCC____-SAME: (i32* nocapture nofree readnone [[X:%.*]]) #[[ATTR0]] {
 740 ; IS__CGSCC____-NEXT:    ret i1 false
 741 ;
 742   %1 = getelementptr inbounds i32, i32* %x, i32 5
 743   %2 = bitcast i32* %1 to i8*
 744   %3 = icmp eq i8* %2, null
 745   ret i1 %3
 746 }
 747
 748 define i1 @nocaptureInboundsGEPICmpRev(i32* %x) {
 749 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
 750 ; IS__TUNIT____-LABEL: define {{[^@]+}}@nocaptureInboundsGEPICmpRev
 751 ; IS__TUNIT____-SAME: (i32* nocapture nofree readnone [[X:%.*]]) #[[ATTR0]] {
 752 ; IS__TUNIT____-NEXT:    ret i1 true
 753 ;
 754 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
 755 ; IS__CGSCC____-LABEL: define {{[^@]+}}@nocaptureInboundsGEPICmpRev
 756 ; IS__CGSCC____-SAME: (i32* nocapture nofree readnone [[X:%.*]]) #[[ATTR0]] {
 757 ; IS__CGSCC____-NEXT:    ret i1 true
 758 ;
 759   %1 = getelementptr inbounds i32, i32* %x, i32 5
 760   %2 = bitcast i32* %1 to i8*
 761   %3 = icmp ne i8* null, %2
 762   ret i1 %3
 763 }
 764
 765 define i1 @nocaptureDereferenceableOrNullICmp(i32* dereferenceable_or_null(4) %x) {
 766 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind readnone willreturn
 767 ; IS__TUNIT____-LABEL: define {{[^@]+}}@nocaptureDereferenceableOrNullICmp
 768 ; IS__TUNIT____-SAME: (i32* nocapture nofree readnone dereferenceable_or_null(4) [[X:%.*]]) #[[ATTR0]] {
 769 ; IS__TUNIT____-NEXT:    [[TMP1:%.*]] = bitcast i32* [[X]] to i8*
 770 ; IS__TUNIT____-NEXT:    [[TMP2:%.*]] = icmp eq i8* [[TMP1]], null
 771 ; IS__TUNIT____-NEXT:    ret i1 [[TMP2]]
 772 ;
 773 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind readnone willreturn
 774 ; IS__CGSCC____-LABEL: define {{[^@]+}}@nocaptureDereferenceableOrNullICmp
 775 ; IS__CGSCC____-SAME: (i32* nocapture nofree readnone dereferenceable_or_null(4) [[X:%.*]]) #[[ATTR0]] {
 776 ; IS__CGSCC____-NEXT:    [[TMP1:%.*]] = bitcast i32* [[X]] to i8*
 777 ; IS__CGSCC____-NEXT:    [[TMP2:%.*]] = icmp eq i8* [[TMP1]], null
 778 ; IS__CGSCC____-NEXT:    ret i1 [[TMP2]]
 779 ;
 780   %1 = bitcast i32* %x to i8*
 781   %2 = icmp eq i8* %1, null
 782   ret i1 %2
 783 }
 784
 785 define i1 @captureDereferenceableOrNullICmp(i32* dereferenceable_or_null(4) %x) null_pointer_is_valid {
 786 ; IS__TUNIT____: Function Attrs: nofree nosync nounwind null_pointer_is_valid readnone willreturn
 787 ; IS__TUNIT____-LABEL: define {{[^@]+}}@captureDereferenceableOrNullICmp
 788 ; IS__TUNIT____-SAME: (i32* nofree readnone dereferenceable_or_null(4) [[X:%.*]]) #[[ATTR12:[0-9]+]] {
 789 ; IS__TUNIT____-NEXT:    [[TMP1:%.*]] = bitcast i32* [[X]] to i8*
 790 ; IS__TUNIT____-NEXT:    [[TMP2:%.*]] = icmp eq i8* [[TMP1]], null
 791 ; IS__TUNIT____-NEXT:    ret i1 [[TMP2]]
 792 ;
 793 ; IS__CGSCC____: Function Attrs: nofree norecurse nosync nounwind null_pointer_is_valid readnone willreturn
 794 ; IS__CGSCC____-LABEL: define {{[^@]+}}@captureDereferenceableOrNullICmp
 795 ; IS__CGSCC____-SAME: (i32* nofree readnone dereferenceable_or_null(4) [[X:%.*]]) #[[ATTR14:[0-9]+]] {
 796 ; IS__CGSCC____-NEXT:    [[TMP1:%.*]] = bitcast i32* [[X]] to i8*
 797 ; IS__CGSCC____-NEXT:    [[TMP2:%.*]] = icmp eq i8* [[TMP1]], null
 798 ; IS__CGSCC____-NEXT:    ret i1 [[TMP2]]
 799 ;
 800   %1 = bitcast i32* %x to i8*
 801   %2 = icmp eq i8* %1, null
 802   ret i1 %2
 803 }
 804
 805 declare void @unknown(i8*)
 806 ; We know that 'null' in AS 0 does not alias anything and cannot be captured. Though the latter is not qurried -> derived atm.
 807 define void @test_callsite() {
 808 ; CHECK-LABEL: define {{[^@]+}}@test_callsite() {
 809 ; CHECK-NEXT:  entry:
 810 ; CHECK-NEXT:    call void @unknown(i8* noalias nocapture noundef align 536870912 null)
 811 ; CHECK-NEXT:    ret void
 812 ;
 813 entry:
 814   call void @unknown(i8* null)
 815   ret void
 816 }
 817
 818 declare i8* @unknownpi8pi8(i8*,i8* returned)
 819 define i8* @test_returned1(i8* %A, i8* returned %B) nounwind readonly {
 820 ; CHECK: Function Attrs: nounwind readonly
 821 ; CHECK-LABEL: define {{[^@]+}}@test_returned1
 822 ; CHECK-SAME: (i8* nocapture readonly [[A:%.*]], i8* readonly returned [[B:%.*]]) #[[ATTR4]] {
 823 ; CHECK-NEXT:  entry:
 824 ; CHECK-NEXT:    [[P:%.*]] = call i8* @unknownpi8pi8(i8* [[A]], i8* [[B]])
 825 ; CHECK-NEXT:    ret i8* [[B]]
 826 ;
 827 entry:
 828   %p = call i8* @unknownpi8pi8(i8* %A, i8* %B)
 829   ret i8* %p
 830 }
 831
 832 define i8* @test_returned2(i8* %A, i8* %B) {
 833 ; CHECK: Function Attrs: nounwind readonly
 834 ; CHECK-LABEL: define {{[^@]+}}@test_returned2
 835 ; CHECK-SAME: (i8* nocapture readonly [[A:%.*]], i8* readonly returned [[B:%.*]]) #[[ATTR4]] {
 836 ; CHECK-NEXT:  entry:
 837 ; CHECK-NEXT:    [[P:%.*]] = call i8* @unknownpi8pi8(i8* readonly [[A]], i8* readonly [[B]]) #[[ATTR4]]
 838 ; CHECK-NEXT:    ret i8* [[B]]
 839 ;
 840 entry:
 841   %p = call i8* @unknownpi8pi8(i8* %A, i8* %B) nounwind readonly
 842   ret i8* %p
 843 }
 844
 845 declare i8* @maybe_returned_ptr(i8* readonly %ptr) readonly nounwind willreturn
 846 declare i8 @maybe_returned_val(i8* %ptr) readonly nounwind willreturn
 847 declare void @val_use(i8 %ptr) readonly nounwind willreturn
 848
 849 ; FIXME: Both pointers should be nocapture
 850 define void @ptr_uses(i8* %ptr, i8* %wptr) {
 851 ; IS__TUNIT____: Function Attrs: nounwind willreturn
 852 ; IS__TUNIT____-LABEL: define {{[^@]+}}@ptr_uses
 853 ; IS__TUNIT____-SAME: (i8* [[PTR:%.*]], i8* nocapture nofree noundef nonnull writeonly dereferenceable(1) [[WPTR:%.*]]) #[[ATTR14:[0-9]+]] {
 854 ; IS__TUNIT____-NEXT:    store i8 0, i8* [[WPTR]], align 1
 855 ; IS__TUNIT____-NEXT:    ret void
 856 ;
 857 ; IS__CGSCC____: Function Attrs: nounwind willreturn
 858 ; IS__CGSCC____-LABEL: define {{[^@]+}}@ptr_uses
 859 ; IS__CGSCC____-SAME: (i8* [[PTR:%.*]], i8* nocapture nofree noundef nonnull writeonly dereferenceable(1) [[WPTR:%.*]]) #[[ATTR16]] {
 860 ; IS__CGSCC____-NEXT:    store i8 0, i8* [[WPTR]], align 1
 861 ; IS__CGSCC____-NEXT:    ret void
 862 ;
 863   %call_ptr = call i8* @maybe_returned_ptr(i8* %ptr)
 864   %call_val = call i8 @maybe_returned_val(i8* %call_ptr)
 865   call void @val_use(i8 %call_val)
 866   store i8 0, i8* %wptr
 867   ret void
 868 }
 869
 870 declare i8* @llvm.launder.invariant.group.p0i8(i8*)
 871 declare i8* @llvm.strip.invariant.group.p0i8(i8*)
 872 ;.
 873 ; IS__TUNIT____: attributes #[[ATTR0]] = { nofree nosync nounwind readnone willreturn }
 874 ; IS__TUNIT____: attributes #[[ATTR1]] = { nofree nosync nounwind willreturn writeonly }
 875 ; IS__TUNIT____: attributes #[[ATTR2]] = { nofree nosync nounwind readonly willreturn }
 876 ; IS__TUNIT____: attributes #[[ATTR3]] = { readonly }
 877 ; IS__TUNIT____: attributes #[[ATTR4]] = { nounwind readonly }
 878 ; IS__TUNIT____: attributes #[[ATTR5]] = { nofree nosync nounwind willreturn }
 879 ; IS__TUNIT____: attributes #[[ATTR6]] = { argmemonly nounwind }
 880 ; IS__TUNIT____: attributes #[[ATTR7]] = { nofree nosync nounwind writeonly }
 881 ; IS__TUNIT____: attributes #[[ATTR8]] = { nofree noreturn nosync nounwind readnone willreturn }
 882 ; IS__TUNIT____: attributes #[[ATTR9]] = { argmemonly nofree nounwind willreturn }
 883 ; IS__TUNIT____: attributes #[[ATTR10]] = { inaccessiblemem_or_argmemonly nofree nosync nounwind willreturn }
 884 ; IS__TUNIT____: attributes #[[ATTR11]] = { argmemonly nofree nosync nounwind willreturn writeonly }
 885 ; IS__TUNIT____: attributes #[[ATTR12]] = { nofree nosync nounwind null_pointer_is_valid readnone willreturn }
 886 ; IS__TUNIT____: attributes #[[ATTR13:[0-9]+]] = { nounwind readonly willreturn }
 887 ; IS__TUNIT____: attributes #[[ATTR14]] = { nounwind willreturn }
 888 ; IS__TUNIT____: attributes #[[ATTR15:[0-9]+]] = { inaccessiblememonly nofree nosync nounwind speculatable willreturn }
 889 ; IS__TUNIT____: attributes #[[ATTR16:[0-9]+]] = { nofree nosync nounwind readnone speculatable willreturn }
 890 ; IS__TUNIT____: attributes #[[ATTR17]] = { nofree nounwind readnone willreturn }
 891 ; IS__TUNIT____: attributes #[[ATTR18]] = { nounwind }
 892 ; IS__TUNIT____: attributes #[[ATTR19]] = { willreturn }
 893 ; IS__TUNIT____: attributes #[[ATTR20]] = { readnone willreturn }
 894 ;.
 895 ; IS__CGSCC____: attributes #[[ATTR0]] = { nofree norecurse nosync nounwind readnone willreturn }
 896 ; IS__CGSCC____: attributes #[[ATTR1]] = { nofree norecurse nosync nounwind willreturn writeonly }
 897 ; IS__CGSCC____: attributes #[[ATTR2]] = { nofree norecurse nosync nounwind readonly willreturn }
 898 ; IS__CGSCC____: attributes #[[ATTR3]] = { readonly }
 899 ; IS__CGSCC____: attributes #[[ATTR4]] = { nounwind readonly }
 900 ; IS__CGSCC____: attributes #[[ATTR5]] = { nofree norecurse nosync nounwind willreturn }
 901 ; IS__CGSCC____: attributes #[[ATTR6]] = { argmemonly nounwind }
 902 ; IS__CGSCC____: attributes #[[ATTR7]] = { nofree nosync nounwind writeonly }
 903 ; IS__CGSCC____: attributes #[[ATTR8]] = { nofree norecurse noreturn nosync nounwind readnone willreturn }
 904 ; IS__CGSCC____: attributes #[[ATTR9]] = { argmemonly nofree norecurse nounwind willreturn }
 905 ; IS__CGSCC____: attributes #[[ATTR10]] = { inaccessiblemem_or_argmemonly nofree nosync nounwind willreturn }
 906 ; IS__CGSCC____: attributes #[[ATTR11]] = { nofree nosync nounwind willreturn }
 907 ; IS__CGSCC____: attributes #[[ATTR12]] = { argmemonly nofree nosync nounwind willreturn writeonly }
 908 ; IS__CGSCC____: attributes #[[ATTR13]] = { nofree nosync nounwind willreturn writeonly }
 909 ; IS__CGSCC____: attributes #[[ATTR14]] = { nofree norecurse nosync nounwind null_pointer_is_valid readnone willreturn }
 910 ; IS__CGSCC____: attributes #[[ATTR15:[0-9]+]] = { nounwind readonly willreturn }
 911 ; IS__CGSCC____: attributes #[[ATTR16]] = { nounwind willreturn }
 912 ; IS__CGSCC____: attributes #[[ATTR17:[0-9]+]] = { inaccessiblememonly nofree nosync nounwind speculatable willreturn }
 913 ; IS__CGSCC____: attributes #[[ATTR18:[0-9]+]] = { nofree nosync nounwind readnone speculatable willreturn }
 914 ; IS__CGSCC____: attributes #[[ATTR19]] = { nounwind willreturn writeonly }
 915 ; IS__CGSCC____: attributes #[[ATTR20]] = { readnone willreturn }
 916 ; IS__CGSCC____: attributes #[[ATTR21]] = { nounwind }
 917 ; IS__CGSCC____: attributes #[[ATTR22]] = { willreturn }
 918 ;.