56 lines · plain
1; RUN: opt -S -mtriple=amdgcn-amd-amdhsa -passes=infer-address-spaces %s | FileCheck %s2 3; Test that pure addrspacecast instructions not directly connected to4; a memory operation are inferred.5 6; CHECK-LABEL: @addrspacecast_gep_addrspacecast(7; CHECK: %gep0 = getelementptr i32, ptr addrspace(3) %ptr, i64 98; CHECK-NEXT: store i32 8, ptr addrspace(3) %gep0, align 89; CHECK-NEXT: ret void10define void @addrspacecast_gep_addrspacecast(ptr addrspace(3) %ptr) {11 %asc0 = addrspacecast ptr addrspace(3) %ptr to ptr12 %gep0 = getelementptr i32, ptr %asc0, i64 913 %asc1 = addrspacecast ptr %gep0 to ptr addrspace(3)14 store i32 8, ptr addrspace(3) %asc1, align 815 ret void16}17 18; CHECK-LABEL: @addrspacecast_different_pointee_type(19; CHECK: [[GEP:%.*]] = getelementptr i32, ptr addrspace(3) %ptr, i64 920; CHECK-NEXT: store i8 8, ptr addrspace(3) [[GEP]], align 821; CHECK-NEXT: ret void22define void @addrspacecast_different_pointee_type(ptr addrspace(3) %ptr) {23 %asc0 = addrspacecast ptr addrspace(3) %ptr to ptr24 %gep0 = getelementptr i32, ptr %asc0, i64 925 %asc1 = addrspacecast ptr %gep0 to ptr addrspace(3)26 store i8 8, ptr addrspace(3) %asc1, align 827 ret void28}29 30; CHECK-LABEL: @addrspacecast_to_memory(31; CHECK: %gep0 = getelementptr i32, ptr addrspace(3) %ptr, i64 932; CHECK-NEXT: store volatile ptr addrspace(3) %gep0, ptr addrspace(1) poison33; CHECK-NEXT: ret void34define void @addrspacecast_to_memory(ptr addrspace(3) %ptr) {35 %asc0 = addrspacecast ptr addrspace(3) %ptr to ptr36 %gep0 = getelementptr i32, ptr %asc0, i64 937 %asc1 = addrspacecast ptr %gep0 to ptr addrspace(3)38 store volatile ptr addrspace(3) %asc1, ptr addrspace(1) poison39 ret void40}41 42; CHECK-LABEL: @multiuse_addrspacecast_gep_addrspacecast(43; CHECK: %asc0 = addrspacecast ptr addrspace(3) %ptr to ptr44; CHECK-NEXT: store volatile ptr %asc0, ptr addrspace(1) poison45; CHECK-NEXT: %gep0 = getelementptr i32, ptr addrspace(3) %ptr, i64 946; CHECK-NEXT: store i32 8, ptr addrspace(3) %gep0, align 847; CHECK-NEXT: ret void48define void @multiuse_addrspacecast_gep_addrspacecast(ptr addrspace(3) %ptr) {49 %asc0 = addrspacecast ptr addrspace(3) %ptr to ptr50 store volatile ptr %asc0, ptr addrspace(1) poison51 %gep0 = getelementptr i32, ptr %asc0, i64 952 %asc1 = addrspacecast ptr %gep0 to ptr addrspace(3)53 store i32 8, ptr addrspace(3) %asc1, align 854 ret void55}56