72 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -mtriple=amdgcn-amd-amdhsa -passes=attributor %s -o - | FileCheck %s3 4define i32 @addrspacecast_ptr(ptr %p0, ptr addrspace(5) %p5) {5; CHECK-LABEL: define i32 @addrspacecast_ptr(6; CHECK-SAME: ptr nofree readonly captures(none) [[P0:%.*]], ptr addrspace(5) nofree readonly [[P5:%.*]]) #[[ATTR0:[0-9]+]] {7; CHECK-NEXT: [[ICMP:%.*]] = icmp eq ptr addrspace(5) [[P5]], addrspacecast (ptr null to ptr addrspace(5))8; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[ICMP]], ptr [[P0]], ptr null9; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[SELECT]], align 410; CHECK-NEXT: ret i32 [[LOAD]]11;12 %icmp = icmp eq ptr addrspace(5) %p5, addrspacecast (ptr null to ptr addrspace(5))13 %select = select i1 %icmp, ptr %p0, ptr null14 %load = load i32, ptr %select, align 415 ret i32 %load16}17 18define i32 @vec_addrspacecast_ptr(ptr %p0, ptr %p1, <2 x ptr addrspace(5)> %ptrvec) {19; CHECK-LABEL: define i32 @vec_addrspacecast_ptr(20; CHECK-SAME: ptr nofree readonly captures(none) [[P0:%.*]], ptr nofree noundef nonnull readonly align 16 captures(none) dereferenceable(8) [[P1:%.*]], <2 x ptr addrspace(5)> [[PTRVEC:%.*]]) #[[ATTR0]] {21; CHECK-NEXT: [[LOADVEC:%.*]] = load <2 x ptr addrspace(5)>, ptr [[P1]], align 1622; CHECK-NEXT: [[ICMPVEC:%.*]] = icmp eq <2 x ptr addrspace(5)> [[LOADVEC]], <ptr addrspace(5) addrspacecast (ptr null to ptr addrspace(5)), ptr addrspace(5) addrspacecast (ptr null to ptr addrspace(5))>23; CHECK-NEXT: [[ICMP:%.*]] = extractelement <2 x i1> [[ICMPVEC]], i32 124; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[ICMP]], ptr [[P0]], ptr null25; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[SELECT]], align 426; CHECK-NEXT: ret i32 [[LOAD]]27;28 %loadvec = load <2 x ptr addrspace(5)>, ptr %p1, align 1629 %icmpvec = icmp eq <2 x ptr addrspace(5)> %loadvec, <ptr addrspace(5) addrspacecast (ptr null to ptr addrspace(5)), ptr addrspace(5) addrspacecast (ptr null to ptr addrspace(5))>30 %icmp = extractelement <2 x i1> %icmpvec, i32 131 %select = select i1 %icmp, ptr %p0, ptr null32 %load = load i32, ptr %select, align 433 ret i32 %load34}35 36define i32 @addrspacecast_vec_as1_ptr(ptr %p0, ptr %p1, <2 x ptr addrspace(5)> %ptrvec) {37; CHECK-LABEL: define i32 @addrspacecast_vec_as1_ptr(38; CHECK-SAME: ptr nofree readonly captures(none) [[P0:%.*]], ptr nofree noundef nonnull readonly align 16 captures(none) dereferenceable(8) [[P1:%.*]], <2 x ptr addrspace(5)> [[PTRVEC:%.*]]) #[[ATTR0]] {39; CHECK-NEXT: [[LOADVEC:%.*]] = load <2 x ptr addrspace(5)>, ptr [[P1]], align 1640; CHECK-NEXT: [[ICMPVEC:%.*]] = icmp eq <2 x ptr addrspace(5)> [[LOADVEC]], <ptr addrspace(5) addrspacecast (ptr addrspace(1) null to ptr addrspace(5)), ptr addrspace(5) addrspacecast (ptr addrspace(1) null to ptr addrspace(5))>41; CHECK-NEXT: [[ICMP:%.*]] = extractelement <2 x i1> [[ICMPVEC]], i32 142; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[ICMP]], ptr [[P0]], ptr null43; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[SELECT]], align 444; CHECK-NEXT: ret i32 [[LOAD]]45;46 %loadvec = load <2 x ptr addrspace(5)>, ptr %p1, align 1647 %icmpvec = icmp eq <2 x ptr addrspace(5)> %loadvec, addrspacecast (<2 x ptr addrspace(1)> zeroinitializer to <2 x ptr addrspace(5)>)48 %icmp = extractelement <2 x i1> %icmpvec, i32 149 %select = select i1 %icmp, ptr %p0, ptr null50 %load = load i32, ptr %select, align 451 ret i32 %load52}53 54define i32 @addrspacecast_vec_ptr(ptr %p0, ptr %p1, <2 x ptr addrspace(5)> %ptrvec) {55; CHECK-LABEL: define i32 @addrspacecast_vec_ptr(56; CHECK-SAME: ptr nofree readonly captures(none) [[P0:%.*]], ptr nofree noundef nonnull readonly align 16 captures(none) dereferenceable(8) [[P1:%.*]], <2 x ptr addrspace(5)> [[PTRVEC:%.*]]) #[[ATTR0]] {57; CHECK-NEXT: [[LOADVEC:%.*]] = load <2 x ptr addrspace(5)>, ptr [[P1]], align 1658; CHECK-NEXT: [[ICMPVEC:%.*]] = icmp eq <2 x ptr addrspace(5)> [[LOADVEC]], <ptr addrspace(5) addrspacecast (ptr null to ptr addrspace(5)), ptr addrspace(5) addrspacecast (ptr null to ptr addrspace(5))>59; CHECK-NEXT: [[ICMP:%.*]] = extractelement <2 x i1> [[ICMPVEC]], i32 160; CHECK-NEXT: [[SELECT:%.*]] = select i1 [[ICMP]], ptr [[P0]], ptr null61; CHECK-NEXT: [[LOAD:%.*]] = load i32, ptr [[SELECT]], align 462; CHECK-NEXT: ret i32 [[LOAD]]63;64 %loadvec = load <2 x ptr addrspace(5)>, ptr %p1, align 1665 %icmpvec = icmp eq <2 x ptr addrspace(5)> %loadvec, addrspacecast (<2 x ptr> zeroinitializer to <2 x ptr addrspace(5)>)66 %icmp = extractelement <2 x i1> %icmpvec, i32 167 %select = select i1 %icmp, ptr %p0, ptr null68 %load = load i32, ptr %select, align 469 ret i32 %load70}71 72