[LAA] Consider accessed addrspace when mapping underlying obj to acce… · llvm/llvm-project@1515c4a (original) (raw)
``
1
`+
; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 5
`
``
2
`+
; RUN: opt -passes='print' -disable-output %s 2>&1 | FileCheck %s
`
``
3
+
``
4
`+
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-i128:128-f80:128-n8:16:32:64-S128"
`
``
5
+
``
6
`+
; Test case for https://github.com/llvm/llvm-project/issues/124759. The same
`
``
7
`+
; underlying object is access through pointers with different address spaces.
`
``
8
`+
define void @same_underlying_object_different_address_spaces(ptr %dst1.as1, ptr %dst2.as1) {
`
``
9
`+
; CHECK-LABEL: 'same_underlying_object_different_address_spaces'
`
``
10
`+
; CHECK-NEXT: loop:
`
``
11
`+
; CHECK-NEXT: Report: cannot identify array bounds
`
``
12
`+
; CHECK-NEXT: Dependences:
`
``
13
`+
; CHECK-NEXT: Run-time memory checks:
`
``
14
`+
; CHECK-NEXT: Grouped accesses:
`
``
15
`+
; CHECK-EMPTY:
`
``
16
`+
; CHECK-NEXT: Non vectorizable stores to invariant address were not found in loop.
`
``
17
`+
; CHECK-NEXT: SCEV assumptions:
`
``
18
`+
; CHECK-EMPTY:
`
``
19
`+
; CHECK-NEXT: Expressions re-written:
`
``
20
`+
;
`
``
21
`+
entry:
`
``
22
`+
%alloc = alloca i8, i64 0, align 128
`
``
23
`+
%as3 = addrspacecast ptr %alloc to ptr addrspace(3)
`
``
24
`+
%as4 = addrspacecast ptr %alloc to ptr addrspace(4)
`
``
25
`+
br label %loop
`
``
26
+
``
27
`+
loop:
`
``
28
`+
%iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]
`
``
29
`+
store i32 0, ptr addrspace(4) %as4, align 4
`
``
30
`+
store i32 0, ptr %dst1.as1, align 4
`
``
31
`+
%l = load i64, ptr addrspace(3) %as3, align 4
`
``
32
`+
store i64 %l, ptr %dst2.as1, align 4
`
``
33
`+
%iv.next = add i64 %iv, 1
`
``
34
`+
%c = icmp eq i64 %iv.next, 100
`
``
35
`+
br i1 %c, label %loop, label %exit
`
``
36
+
``
37
`+
exit:
`
``
38
`+
ret void
`
``
39
`+
}
`