40 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 52; RUN: opt -passes='print<access-info>' -disable-output %s 2>&1 | FileCheck %s3 4target 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 same7; underlying object is access through pointers with different address spaces.8define 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 bounds12; 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;21entry:22 %alloc = alloca i8, i64 0, align 12823 %as3 = addrspacecast ptr %alloc to ptr addrspace(3)24 %as4 = addrspacecast ptr %alloc to ptr addrspace(4)25 br label %loop26 27loop:28 %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]29 store i32 0, ptr addrspace(4) %as4, align 430 store i32 0, ptr %dst1.as1, align 431 %l = load i64, ptr addrspace(3) %as3, align 432 store i64 %l, ptr %dst2.as1, align 433 %iv.next = add i64 %iv, 134 %c = icmp eq i64 %iv.next, 10035 br i1 %c, label %loop, label %exit36 37exit:38 ret void39}40