llvm/test/Transforms/InstSimplify/ptrmask.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
   3
   4 target datalayout = "p1:64:64:64:32"
   5
   6 declare ptr addrspace(1) @llvm.ptrmask.p1.i32(ptr addrspace(1) , i32)
   7 declare ptr @llvm.ptrmask.p0.i64(ptr, i64)
   8
   9 declare <2 x ptr addrspace(1) > @llvm.ptrmask.v2p1.v2i32(<2 x ptr addrspace(1) >, <2 x i32>)
  10 declare <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr>, <2 x i64>)
  11
  12 define ptr @ptrmask_simplify_poison_mask(ptr %p) {
  13 ; CHECK-LABEL: define ptr @ptrmask_simplify_poison_mask
  14 ; CHECK-SAME: (ptr [[P:%.*]]) {
  15 ; CHECK-NEXT:    ret ptr poison
  16 ;
  17   %r = call ptr @llvm.ptrmask.p0.i64(ptr %p, i64 poison)
  18   ret ptr %r
  19 }
  20
  21 define <2 x ptr addrspace(1) > @ptrmask_simplify_poison_mask_vec(<2 x ptr addrspace(1) > %p) {
  22 ; CHECK-LABEL: define <2 x ptr addrspace(1)> @ptrmask_simplify_poison_mask_vec
  23 ; CHECK-SAME: (<2 x ptr addrspace(1)> [[P:%.*]]) {
  24 ; CHECK-NEXT:    ret <2 x ptr addrspace(1)> poison
  25 ;
  26   %r = call <2 x ptr addrspace(1) > @llvm.ptrmask.v2p1.v2i32(<2 x ptr addrspace(1) > %p, <2 x i32> poison)
  27   ret <2 x ptr addrspace(1) > %r
  28 }
  29
  30 define <2 x ptr addrspace(1) > @ptrmask_simplify_poison_and_zero_i32_vec_fail(<2 x ptr addrspace(1) > %p) {
  31 ; CHECK-LABEL: define <2 x ptr addrspace(1)> @ptrmask_simplify_poison_and_zero_i32_vec_fail
  32 ; CHECK-SAME: (<2 x ptr addrspace(1)> [[P:%.*]]) {
  33 ; CHECK-NEXT:    [[R:%.*]] = call <2 x ptr addrspace(1)> @llvm.ptrmask.v2p1.v2i32(<2 x ptr addrspace(1)> [[P]], <2 x i32> <i32 undef, i32 0>)
  34 ; CHECK-NEXT:    ret <2 x ptr addrspace(1)> [[R]]
  35 ;
  36   %r = call <2 x ptr addrspace(1) > @llvm.ptrmask.v2p1.v2i32(<2 x ptr addrspace(1) > %p, <2 x i32> <i32 undef, i32 0>)
  37   ret <2 x ptr addrspace(1) > %r
  38 }
  39
  40 define <2 x ptr> @ptrmask_simplify_undef_and_ones_vec(<2 x ptr> %p) {
  41 ; CHECK-LABEL: define <2 x ptr> @ptrmask_simplify_undef_and_ones_vec
  42 ; CHECK-SAME: (<2 x ptr> [[P:%.*]]) {
  43 ; CHECK-NEXT:    ret <2 x ptr> [[P]]
  44 ;
  45   %r = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %p, <2 x i64> <i64 undef, i64 -1>)
  46   ret <2 x ptr> %r
  47 }
  48
  49 define <2 x ptr> @ptrmask_simplify_poison_and_ones_vec(<2 x ptr> %p) {
  50 ; CHECK-LABEL: define <2 x ptr> @ptrmask_simplify_poison_and_ones_vec
  51 ; CHECK-SAME: (<2 x ptr> [[P:%.*]]) {
  52 ; CHECK-NEXT:    ret <2 x ptr> [[P]]
  53 ;
  54   %r = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %p, <2 x i64> <i64 poison, i64 -1>)
  55   ret <2 x ptr> %r
  56 }
  57
  58 define <2 x ptr> @ptrmask_simplify_ones_vec(<2 x ptr> %p) {
  59 ; CHECK-LABEL: define <2 x ptr> @ptrmask_simplify_ones_vec
  60 ; CHECK-SAME: (<2 x ptr> [[P:%.*]]) {
  61 ; CHECK-NEXT:    ret <2 x ptr> [[P]]
  62 ;
  63   %r = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %p, <2 x i64> <i64 -1, i64 -1>)
  64   ret <2 x ptr> %r
  65 }
  66
  67 define <2 x ptr addrspace(1) > @ptrmask_simplify_ones_i32_vec(<2 x ptr addrspace(1) > %p) {
  68 ; CHECK-LABEL: define <2 x ptr addrspace(1)> @ptrmask_simplify_ones_i32_vec
  69 ; CHECK-SAME: (<2 x ptr addrspace(1)> [[P:%.*]]) {
  70 ; CHECK-NEXT:    ret <2 x ptr addrspace(1)> [[P]]
  71 ;
  72   %r = call <2 x ptr addrspace(1) > @llvm.ptrmask.v2p1.v2i32(<2 x ptr addrspace(1) > %p, <2 x i32> <i32 -1, i32 -1>)
  73   ret <2 x ptr addrspace(1) > %r
  74 }
  75
  76 define ptr addrspace(1) @ptrmask_simplify_undef_mask(ptr addrspace(1) %p) {
  77 ; CHECK-LABEL: define ptr addrspace(1) @ptrmask_simplify_undef_mask
  78 ; CHECK-SAME: (ptr addrspace(1) [[P:%.*]]) {
  79 ; CHECK-NEXT:    ret ptr addrspace(1) [[P]]
  80 ;
  81   %r = call ptr addrspace(1) @llvm.ptrmask.p1.i32(ptr addrspace(1) %p, i32 undef)
  82   ret ptr addrspace(1) %r
  83 }
  84
  85 define ptr @ptrmask_simplify_0_mask(ptr %p) {
  86 ; CHECK-LABEL: define ptr @ptrmask_simplify_0_mask
  87 ; CHECK-SAME: (ptr [[P:%.*]]) {
  88 ; CHECK-NEXT:    [[R:%.*]] = call ptr @llvm.ptrmask.p0.i64(ptr [[P]], i64 0)
  89 ; CHECK-NEXT:    ret ptr [[R]]
  90 ;
  91   %r = call ptr @llvm.ptrmask.p0.i64(ptr %p, i64 0)
  92   ret ptr %r
  93 }
  94
  95 define ptr @ptrmask_simplify_1s_mask(ptr %p) {
  96 ; CHECK-LABEL: define ptr @ptrmask_simplify_1s_mask
  97 ; CHECK-SAME: (ptr [[P:%.*]]) {
  98 ; CHECK-NEXT:    ret ptr [[P]]
  99 ;
 100   %r = call ptr @llvm.ptrmask.p0.i64(ptr %p, i64 -1)
 101   ret ptr %r
 102 }
 103
 104 define ptr addrspace(1) @ptrmask_simplify_1s_mask_i32(ptr addrspace(1) %p) {
 105 ; CHECK-LABEL: define ptr addrspace(1) @ptrmask_simplify_1s_mask_i32
 106 ; CHECK-SAME: (ptr addrspace(1) [[P:%.*]]) {
 107 ; CHECK-NEXT:    ret ptr addrspace(1) [[P]]
 108 ;
 109   %r = call ptr addrspace(1) @llvm.ptrmask.p1.i32(ptr addrspace(1) %p, i32 -1)
 110   ret ptr addrspace(1) %r
 111 }
 112
 113 define ptr @ptrmask_simplify_poison_ptr(i64 %m) {
 114 ; CHECK-LABEL: define ptr @ptrmask_simplify_poison_ptr
 115 ; CHECK-SAME: (i64 [[M:%.*]]) {
 116 ; CHECK-NEXT:    ret ptr poison
 117 ;
 118   %r = call ptr @llvm.ptrmask.p0.i64(ptr poison, i64 %m)
 119   ret ptr %r
 120 }
 121
 122 define ptr addrspace(1) @ptrmask_simplify_undef_ptr(i32 %m) {
 123 ; CHECK-LABEL: define ptr addrspace(1) @ptrmask_simplify_undef_ptr
 124 ; CHECK-SAME: (i32 [[M:%.*]]) {
 125 ; CHECK-NEXT:    ret ptr addrspace(1) null
 126 ;
 127   %r = call ptr addrspace(1) @llvm.ptrmask.p1.i32(ptr addrspace(1) undef, i32 %m)
 128   ret ptr addrspace(1) %r
 129 }
 130
 131 define ptr @ptrmask_simplify_null_ptr(i64 %m) {
 132 ; CHECK-LABEL: define ptr @ptrmask_simplify_null_ptr
 133 ; CHECK-SAME: (i64 [[M:%.*]]) {
 134 ; CHECK-NEXT:    ret ptr null
 135 ;
 136   %r = call ptr @llvm.ptrmask.p0.i64(ptr null, i64 %m)
 137   ret ptr %r
 138 }
 139
 140 define ptr @ptrmask_simplify_ptrmask(ptr %p) {
 141 ; CHECK-LABEL: define ptr @ptrmask_simplify_ptrmask
 142 ; CHECK-SAME: (ptr [[P:%.*]]) {
 143 ; CHECK-NEXT:    ret ptr [[P]]
 144 ;
 145   %m = ptrtoint ptr %p to i64
 146   %r = call ptr @llvm.ptrmask.p0.i64(ptr %p, i64 %m)
 147   ret ptr %r
 148 }
 149
 150 define ptr addrspace(1) @ptrmask_simplify_ptrmask_i32(ptr addrspace(1) %p) {
 151 ; CHECK-LABEL: define ptr addrspace(1) @ptrmask_simplify_ptrmask_i32
 152 ; CHECK-SAME: (ptr addrspace(1) [[P:%.*]]) {
 153 ; CHECK-NEXT:    ret ptr addrspace(1) [[P]]
 154 ;
 155   %m = ptrtoint ptr addrspace(1) %p to i32
 156   %r = call ptr addrspace(1) @llvm.ptrmask.p1.i32(ptr addrspace(1) %p, i32 %m)
 157   ret ptr addrspace(1) %r
 158 }
 159
 160 define ptr @ptrmask_simplify_aligned_unused(ptr align 64 %p) {
 161 ; CHECK-LABEL: define ptr @ptrmask_simplify_aligned_unused
 162 ; CHECK-SAME: (ptr align 64 [[P:%.*]]) {
 163 ; CHECK-NEXT:    ret ptr [[P]]
 164 ;
 165   %r = call ptr @llvm.ptrmask.p0.i64(ptr %p, i64 -64)
 166   ret ptr %r
 167 }
 168
 169 define <2 x ptr> @ptrmask_simplify_aligned_unused_vec(<2 x ptr> align 128 %p) {
 170 ; CHECK-LABEL: define <2 x ptr> @ptrmask_simplify_aligned_unused_vec
 171 ; CHECK-SAME: (<2 x ptr> align 128 [[P:%.*]]) {
 172 ; CHECK-NEXT:    [[R:%.*]] = call <2 x ptr> @llvm.ptrmask.v2p0.v2i64(<2 x ptr> [[P]], <2 x i64> <i64 -64, i64 -64>)
 173 ; CHECK-NEXT:    ret <2 x ptr> [[R]]
 174 ;
 175   %r = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %p, <2 x i64> <i64 -64, i64 -64>)
 176   ret <2 x ptr> %r
 177 }
 178
 179 define <2 x ptr> @ptrmask_simplify_aligned_unused_vec_todo(<2 x ptr> align 128 %p) {
 180 ; CHECK-LABEL: define <2 x ptr> @ptrmask_simplify_aligned_unused_vec_todo
 181 ; CHECK-SAME: (<2 x ptr> align 128 [[P:%.*]]) {
 182 ; CHECK-NEXT:    [[R:%.*]] = call <2 x ptr> @llvm.ptrmask.v2p0.v2i64(<2 x ptr> [[P]], <2 x i64> <i64 -64, i64 -128>)
 183 ; CHECK-NEXT:    ret <2 x ptr> [[R]]
 184 ;
 185   %r = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %p, <2 x i64> <i64 -64, i64 -128>)
 186   ret <2 x ptr> %r
 187 }
 188
 189 define ptr addrspace(1) @ptrmask_simplify_aligned_unused_i32(ptr addrspace(1) align 64 %p) {
 190 ; CHECK-LABEL: define ptr addrspace(1) @ptrmask_simplify_aligned_unused_i32
 191 ; CHECK-SAME: (ptr addrspace(1) align 64 [[P:%.*]]) {
 192 ; CHECK-NEXT:    ret ptr addrspace(1) [[P]]
 193 ;
 194   %r = call ptr addrspace(1) @llvm.ptrmask.p1.i32(ptr addrspace(1) %p, i32 -64)
 195   ret ptr addrspace(1) %r
 196 }
 197
 198 define ptr @ptrmask_simplify_known_unused(ptr %p) {
 199 ; CHECK-LABEL: define ptr @ptrmask_simplify_known_unused
 200 ; CHECK-SAME: (ptr [[P:%.*]]) {
 201 ; CHECK-NEXT:    [[PM0:%.*]] = call ptr @llvm.ptrmask.p0.i64(ptr [[P]], i64 -64)
 202 ; CHECK-NEXT:    [[PGEP:%.*]] = getelementptr i8, ptr [[PM0]], i64 32
 203 ; CHECK-NEXT:    ret ptr [[PGEP]]
 204 ;
 205   %pm0 = call ptr @llvm.ptrmask.p0.i64(ptr %p, i64 -64)
 206   %pgep = getelementptr i8, ptr %pm0, i64 32
 207   %r = call ptr @llvm.ptrmask.p0.i64(ptr %pgep, i64 -32)
 208   ret ptr %r
 209 }
 210
 211 define <2 x ptr> @ptrmask_simplify_known_unused_vec(<2 x ptr> %p) {
 212 ; CHECK-LABEL: define <2 x ptr> @ptrmask_simplify_known_unused_vec
 213 ; CHECK-SAME: (<2 x ptr> [[P:%.*]]) {
 214 ; CHECK-NEXT:    [[PM0:%.*]] = call <2 x ptr> @llvm.ptrmask.v2p0.v2i64(<2 x ptr> [[P]], <2 x i64> <i64 -64, i64 -64>)
 215 ; CHECK-NEXT:    [[PGEP:%.*]] = getelementptr i8, <2 x ptr> [[PM0]], <2 x i64> <i64 32, i64 32>
 216 ; CHECK-NEXT:    ret <2 x ptr> [[PGEP]]
 217 ;
 218   %pm0 = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %p, <2 x i64> <i64 -64, i64 -64>)
 219   %pgep = getelementptr i8, <2 x ptr> %pm0, <2 x i64> <i64 32, i64 32>
 220   %r = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %pgep, <2 x i64> <i64 -32, i64 -32>)
 221   ret <2 x ptr> %r
 222 }
 223
 224 define <2 x ptr> @ptrmask_simplify_known_unused_vec2(<2 x ptr> %p) {
 225 ; CHECK-LABEL: define <2 x ptr> @ptrmask_simplify_known_unused_vec2
 226 ; CHECK-SAME: (<2 x ptr> [[P:%.*]]) {
 227 ; CHECK-NEXT:    [[PM0:%.*]] = call <2 x ptr> @llvm.ptrmask.v2p0.v2i64(<2 x ptr> [[P]], <2 x i64> <i64 -64, i64 -64>)
 228 ; CHECK-NEXT:    [[PGEP:%.*]] = getelementptr i8, <2 x ptr> [[PM0]], <2 x i64> <i64 32, i64 32>
 229 ; CHECK-NEXT:    ret <2 x ptr> [[PGEP]]
 230 ;
 231   %pm0 = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %p, <2 x i64> <i64 -64, i64 -64>)
 232   %pgep = getelementptr i8, <2 x ptr> %pm0, <2 x i64> <i64 32, i64 32>
 233   %r = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %pgep, <2 x i64> <i64 -32, i64 -16>)
 234   ret <2 x ptr> %r
 235 }
 236
 237 define <2 x ptr> @ptrmask_simplify_known_unused_vec3(<2 x ptr> %p) {
 238 ; CHECK-LABEL: define <2 x ptr> @ptrmask_simplify_known_unused_vec3
 239 ; CHECK-SAME: (<2 x ptr> [[P:%.*]]) {
 240 ; CHECK-NEXT:    [[PM0:%.*]] = call <2 x ptr> @llvm.ptrmask.v2p0.v2i64(<2 x ptr> [[P]], <2 x i64> <i64 -64, i64 -128>)
 241 ; CHECK-NEXT:    [[PGEP:%.*]] = getelementptr i8, <2 x ptr> [[PM0]], <2 x i64> <i64 32, i64 32>
 242 ; CHECK-NEXT:    ret <2 x ptr> [[PGEP]]
 243 ;
 244   %pm0 = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %p, <2 x i64> <i64 -64, i64 -128>)
 245   %pgep = getelementptr i8, <2 x ptr> %pm0, <2 x i64> <i64 32, i64 32>
 246   %r = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %pgep, <2 x i64> <i64 -32, i64 -32>)
 247   ret <2 x ptr> %r
 248 }
 249
 250 define <2 x ptr> @ptrmask_simplify_known_unused_vec4(<2 x ptr> %p) {
 251 ; CHECK-LABEL: define <2 x ptr> @ptrmask_simplify_known_unused_vec4
 252 ; CHECK-SAME: (<2 x ptr> [[P:%.*]]) {
 253 ; CHECK-NEXT:    [[PM0:%.*]] = call <2 x ptr> @llvm.ptrmask.v2p0.v2i64(<2 x ptr> [[P]], <2 x i64> <i64 -64, i64 -128>)
 254 ; CHECK-NEXT:    [[PGEP:%.*]] = getelementptr i8, <2 x ptr> [[PM0]], <2 x i64> <i64 32, i64 64>
 255 ; CHECK-NEXT:    ret <2 x ptr> [[PGEP]]
 256 ;
 257   %pm0 = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %p, <2 x i64> <i64 -64, i64 -128>)
 258   %pgep = getelementptr i8, <2 x ptr> %pm0, <2 x i64> <i64 32, i64 64>
 259   %r = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %pgep, <2 x i64> <i64 -32, i64 -32>)
 260   ret <2 x ptr> %r
 261 }
 262
 263 define <2 x ptr> @ptrmask_simplify_known_unused_vec_fail(<2 x ptr> %p) {
 264 ; CHECK-LABEL: define <2 x ptr> @ptrmask_simplify_known_unused_vec_fail
 265 ; CHECK-SAME: (<2 x ptr> [[P:%.*]]) {
 266 ; CHECK-NEXT:    [[PM0:%.*]] = call <2 x ptr> @llvm.ptrmask.v2p0.v2i64(<2 x ptr> [[P]], <2 x i64> <i64 -64, i64 -128>)
 267 ; CHECK-NEXT:    [[PGEP:%.*]] = getelementptr i8, <2 x ptr> [[PM0]], <2 x i64> <i64 16, i64 64>
 268 ; CHECK-NEXT:    [[R:%.*]] = call <2 x ptr> @llvm.ptrmask.v2p0.v2i64(<2 x ptr> [[PGEP]], <2 x i64> <i64 -32, i64 -32>)
 269 ; CHECK-NEXT:    ret <2 x ptr> [[R]]
 270 ;
 271   %pm0 = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %p, <2 x i64> <i64 -64, i64 -128>)
 272   %pgep = getelementptr i8, <2 x ptr> %pm0, <2 x i64> <i64 16, i64 64>
 273   %r = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %pgep, <2 x i64> <i64 -32, i64 -32>)
 274   ret <2 x ptr> %r
 275 }
 276
 277 define <2 x ptr> @ptrmask_simplify_known_unused_vec_fail2(<2 x ptr> %p) {
 278 ; CHECK-LABEL: define <2 x ptr> @ptrmask_simplify_known_unused_vec_fail2
 279 ; CHECK-SAME: (<2 x ptr> [[P:%.*]]) {
 280 ; CHECK-NEXT:    [[PM0:%.*]] = call <2 x ptr> @llvm.ptrmask.v2p0.v2i64(<2 x ptr> [[P]], <2 x i64> <i64 -64, i64 -64>)
 281 ; CHECK-NEXT:    [[PGEP:%.*]] = getelementptr i8, <2 x ptr> [[PM0]], <2 x i64> <i64 32, i64 32>
 282 ; CHECK-NEXT:    [[R:%.*]] = call <2 x ptr> @llvm.ptrmask.v2p0.v2i64(<2 x ptr> [[PGEP]], <2 x i64> <i64 -32, i64 -64>)
 283 ; CHECK-NEXT:    ret <2 x ptr> [[R]]
 284 ;
 285   %pm0 = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %p, <2 x i64> <i64 -64, i64 -64>)
 286   %pgep = getelementptr i8, <2 x ptr> %pm0, <2 x i64> <i64 32, i64 32>
 287   %r = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %pgep, <2 x i64> <i64 -32, i64 -64>)
 288   ret <2 x ptr> %r
 289 }
 290
 291 define <2 x ptr> @ptrmask_simplify_known_unused_vec_fail3(<2 x ptr> %p) {
 292 ; CHECK-LABEL: define <2 x ptr> @ptrmask_simplify_known_unused_vec_fail3
 293 ; CHECK-SAME: (<2 x ptr> [[P:%.*]]) {
 294 ; CHECK-NEXT:    [[PM0:%.*]] = call <2 x ptr> @llvm.ptrmask.v2p0.v2i64(<2 x ptr> [[P]], <2 x i64> <i64 -64, i64 -16>)
 295 ; CHECK-NEXT:    [[PGEP:%.*]] = getelementptr i8, <2 x ptr> [[PM0]], <2 x i64> <i64 32, i64 32>
 296 ; CHECK-NEXT:    [[R:%.*]] = call <2 x ptr> @llvm.ptrmask.v2p0.v2i64(<2 x ptr> [[PGEP]], <2 x i64> <i64 -32, i64 -32>)
 297 ; CHECK-NEXT:    ret <2 x ptr> [[R]]
 298 ;
 299   %pm0 = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %p, <2 x i64> <i64 -64, i64 -16>)
 300   %pgep = getelementptr i8, <2 x ptr> %pm0, <2 x i64> <i64 32, i64 32>
 301   %r = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %pgep, <2 x i64> <i64 -32, i64 -32>)
 302   ret <2 x ptr> %r
 303 }
 304
 305 define ptr @ptrmask_maintain_provenance_i64(ptr %p0) {
 306 ; CHECK-LABEL: define ptr @ptrmask_maintain_provenance_i64
 307 ; CHECK-SAME: (ptr [[P0:%.*]]) {
 308 ; CHECK-NEXT:    [[R:%.*]] = call ptr @llvm.ptrmask.p0.i64(ptr [[P0]], i64 0)
 309 ; CHECK-NEXT:    ret ptr [[R]]
 310 ;
 311   %r = call ptr @llvm.ptrmask.p0.i64(ptr %p0, i64 0)
 312   ret ptr %r
 313 }
 314
 315 define ptr addrspace(1) @ptrmask_maintain_provenance_i32(ptr addrspace(1) %p0) {
 316 ; CHECK-LABEL: define ptr addrspace(1) @ptrmask_maintain_provenance_i32
 317 ; CHECK-SAME: (ptr addrspace(1) [[P0:%.*]]) {
 318 ; CHECK-NEXT:    [[R:%.*]] = call ptr addrspace(1) @llvm.ptrmask.p1.i32(ptr addrspace(1) [[P0]], i32 0)
 319 ; CHECK-NEXT:    ret ptr addrspace(1) [[R]]
 320 ;
 321   %r = call ptr addrspace(1) @llvm.ptrmask.p1.i32(ptr addrspace(1) %p0, i32 0)
 322   ret ptr addrspace(1) %r
 323 }
 324
 325 define <2 x ptr> @ptrmask_maintain_provenance_v2i64(<2 x ptr> %p0) {
 326 ; CHECK-LABEL: define <2 x ptr> @ptrmask_maintain_provenance_v2i64
 327 ; CHECK-SAME: (<2 x ptr> [[P0:%.*]]) {
 328 ; CHECK-NEXT:    [[R:%.*]] = call <2 x ptr> @llvm.ptrmask.v2p0.v2i64(<2 x ptr> [[P0]], <2 x i64> zeroinitializer)
 329 ; CHECK-NEXT:    ret <2 x ptr> [[R]]
 330 ;
 331   %r = call <2 x ptr> @llvm.ptrmask.v2p1.v2i64(<2 x ptr> %p0, <2 x i64> zeroinitializer)
 332   ret <2 x ptr> %r
 333 }
 334
 335 define <2 x ptr addrspace(1) > @ptrmask_maintain_provenance_v2i32(<2 x ptr addrspace(1) > %p0) {
 336 ; CHECK-LABEL: define <2 x ptr addrspace(1)> @ptrmask_maintain_provenance_v2i32
 337 ; CHECK-SAME: (<2 x ptr addrspace(1)> [[P0:%.*]]) {
 338 ; CHECK-NEXT:    [[R:%.*]] = call <2 x ptr addrspace(1)> @llvm.ptrmask.v2p1.v2i32(<2 x ptr addrspace(1)> [[P0]], <2 x i32> zeroinitializer)
 339 ; CHECK-NEXT:    ret <2 x ptr addrspace(1)> [[R]]
 340 ;
 341   %r = call <2 x ptr addrspace(1) > @llvm.ptrmask.v2p1.v2i32(<2 x ptr addrspace(1) > %p0, <2 x i32> zeroinitializer)
 342   ret <2 x ptr addrspace(1) > %r
 343 }