xref: /llvm-project/llvm/test/Transforms/InstCombine/AMDGPU/issue68120.ll (revision 847c83f7cceeaec6676f33291081912d6b8fda5e) 
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
2; RUN: opt -S -mtriple=amdgcn-amd-amdhsa -passes=instcombine %s | FileCheck %s
3
4; It is illegal to pass ptr addrspace(4) in %arg by addrspacecasting
5; to ptr addrspace(5) to pass off to the stack argument. A temporary
6; alloca and memcpy is necessary.
7define void @issue68120_invalid_addrspacecast_introduced_0(ptr addrspace(4) byref([56 x i8]) %arg) {
8; CHECK-LABEL: define void @issue68120_invalid_addrspacecast_introduced_0(
9; CHECK-SAME: ptr addrspace(4) byref([56 x i8]) [[ARG:%.*]]) {
10; CHECK-NEXT:    [[ADDRSPACECAST_0_TO_5:%.*]] = alloca [56 x i8], align 1, addrspace(5)
11; CHECK-NEXT:    call void @llvm.memcpy.p5.p4.i64(ptr addrspace(5) noundef align 1 dereferenceable(56) [[ADDRSPACECAST_0_TO_5]], ptr addrspace(4) noundef align 1 dereferenceable(56) [[ARG]], i64 56, i1 false)
12; CHECK-NEXT:    call void @byval_func(ptr addrspace(5) [[ADDRSPACECAST_0_TO_5]])
13; CHECK-NEXT:    ret void
14;
15  %alloca = alloca [56 x i8], addrspace(5)
16  %alloca1 = alloca [56 x i8], addrspace(5)
17  call void @llvm.memcpy.p5.p4.i64(ptr addrspace(5) %alloca, ptr addrspace(4) %arg, i64 56, i1 false)
18  call void @llvm.memcpy.p5.p5.i64(ptr addrspace(5) %alloca1, ptr addrspace(5) %alloca, i64 56, i1 false)
19  %addrspacecast.alloca1 = addrspacecast ptr addrspace(5) %alloca1 to ptr
20  %addrspacecast.0.to.5 = addrspacecast ptr %addrspacecast.alloca1 to ptr addrspace(5)
21  call void @byval_func(ptr addrspace(5) %addrspacecast.0.to.5)
22  ret void
23}
24
25; Further reduced variant that already eliminated one of the copies
26define void @issue68120_invalid_addrspacecast_introduced_1(ptr addrspace(4) byref([56 x i8]) %arg) {
27; CHECK-LABEL: define void @issue68120_invalid_addrspacecast_introduced_1(
28; CHECK-SAME: ptr addrspace(4) byref([56 x i8]) [[ARG:%.*]]) {
29; CHECK-NEXT:    [[ADDRSPACECAST_0_TO_5:%.*]] = alloca [56 x i8], align 1, addrspace(5)
30; CHECK-NEXT:    call void @llvm.memcpy.p5.p4.i64(ptr addrspace(5) noundef align 1 dereferenceable(56) [[ADDRSPACECAST_0_TO_5]], ptr addrspace(4) noundef align 1 dereferenceable(56) [[ARG]], i64 56, i1 false)
31; CHECK-NEXT:    call void @byval_func(ptr addrspace(5) [[ADDRSPACECAST_0_TO_5]])
32; CHECK-NEXT:    ret void
33;
34  %alloca = alloca [56 x i8], addrspace(5)
35  call void @llvm.memcpy.p5.p4.i64(ptr addrspace(5) %alloca, ptr addrspace(4) %arg, i64 56, i1 false)
36  %addrspacecast.alloca = addrspacecast ptr addrspace(5) %alloca to ptr
37  %addrspacecast.0.to.5 = addrspacecast ptr %addrspacecast.alloca to ptr addrspace(5)
38  call void @byval_func(ptr addrspace(5) %addrspacecast.0.to.5)
39  ret void
40}
41
42define void @issue68120_use_cast_to_as0(ptr addrspace(4) byref([56 x i8]) %arg) {
43; CHECK-LABEL: define void @issue68120_use_cast_to_as0(
44; CHECK-SAME: ptr addrspace(4) byref([56 x i8]) [[ARG:%.*]]) {
45; CHECK-NEXT:    [[ALLOCA:%.*]] = alloca [56 x i8], align 1, addrspace(5)
46; CHECK-NEXT:    call void @llvm.memcpy.p5.p4.i64(ptr addrspace(5) noundef align 1 dereferenceable(56) [[ALLOCA]], ptr addrspace(4) noundef align 1 dereferenceable(56) [[ARG]], i64 56, i1 false)
47; CHECK-NEXT:    [[ADDRSPACECAST_ALLOCA:%.*]] = addrspacecast ptr addrspace(5) [[ALLOCA]] to ptr
48; CHECK-NEXT:    call void @other_func(ptr [[ADDRSPACECAST_ALLOCA]])
49; CHECK-NEXT:    ret void
50;
51  %alloca = alloca [56 x i8], addrspace(5)
52  call void @llvm.memcpy.p5.p4.i64(ptr addrspace(5) %alloca, ptr addrspace(4) %arg, i64 56, i1 false)
53  %addrspacecast.alloca = addrspacecast ptr addrspace(5) %alloca to ptr
54  %addrspacecast.0.to.5 = addrspacecast ptr %addrspacecast.alloca to ptr addrspace(5)
55  call void @other_func(ptr %addrspacecast.alloca)
56  ret void
57}
58
59define void @issue68120_uses_invalid_addrspacecast(ptr addrspace(4) byref([56 x i8]) %arg) {
60; CHECK-LABEL: define void @issue68120_uses_invalid_addrspacecast(
61; CHECK-SAME: ptr addrspace(4) byref([56 x i8]) [[ARG:%.*]]) {
62; CHECK-NEXT:    [[ADDRSPACECAST_0_TO_5:%.*]] = alloca [56 x i8], align 1, addrspace(5)
63; CHECK-NEXT:    call void @llvm.memcpy.p5.p4.i64(ptr addrspace(5) noundef align 1 dereferenceable(56) [[ADDRSPACECAST_0_TO_5]], ptr addrspace(4) noundef align 1 dereferenceable(56) [[ARG]], i64 56, i1 false)
64; CHECK-NEXT:    call void @byval_func(ptr addrspace(5) [[ADDRSPACECAST_0_TO_5]])
65; CHECK-NEXT:    ret void
66;
67  %alloca = alloca [56 x i8], addrspace(5)
68  %alloca1 = alloca [56 x i8], addrspace(5)
69  %illegal.cast = addrspacecast ptr addrspace(4) %arg to ptr addrspace(5)
70  call void @llvm.memcpy.p5.p5.i64(ptr addrspace(5) %alloca, ptr addrspace(5) %illegal.cast, i64 56, i1 false)
71  call void @llvm.memcpy.p5.p5.i64(ptr addrspace(5) %alloca1, ptr addrspace(5) %alloca, i64 56, i1 false)
72  %addrspacecast.alloca1 = addrspacecast ptr addrspace(5) %alloca1 to ptr
73  %addrspacecast.0.to.5 = addrspacecast ptr %addrspacecast.alloca1 to ptr addrspace(5)
74  call void @byval_func(ptr addrspace(5) %addrspacecast.0.to.5)
75  ret void
76}
77
78
79declare void @byval_func(ptr addrspace(5) byval([56 x i8]))
80declare void @other_func(ptr)
81
82