33 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 32; RUN: opt -assume-default-is-flat-addrspace -S -passes=infer-address-spaces < %s 2>&1 | FileCheck %s3 4@g = addrspace(1) global i32 0, align 45 6define ptr @f2() {7; CHECK-LABEL: define ptr @f2() {8; CHECK-NEXT: entry:9; CHECK-NEXT: [[X2:%.*]] = addrspacecast ptr addrspace(1) @g to ptr10; CHECK-NEXT: ret ptr [[X2]]11;12entry:13 %x1 = addrspacecast ptr addrspacecast (ptr addrspace(1) @g to ptr) to ptr addrspace(1)14 %x2 = addrspacecast ptr addrspace(1) %x1 to ptr15 ret ptr %x216}17 18define ptr @f3() #0 {19; CHECK-LABEL: define ptr @f3(20; CHECK-SAME: ) #[[ATTR0:[0-9]+]] {21; CHECK-NEXT: entry:22; CHECK-NEXT: [[X1:%.*]] = addrspacecast ptr addrspacecast (ptr addrspace(1) @g to ptr) to ptr addrspace(1)23; CHECK-NEXT: [[X2:%.*]] = addrspacecast ptr addrspace(1) [[X1]] to ptr24; CHECK-NEXT: ret ptr [[X2]]25;26entry:27 %x1 = addrspacecast ptr addrspacecast (ptr addrspace(1) @g to ptr) to ptr addrspace(1)28 %x2 = addrspacecast ptr addrspace(1) %x1 to ptr29 ret ptr %x230}31 32attributes #0 = { noinline optnone }33