185eaff3d0bb7ad754d48304b772fbf6e5f62921eJohn McCall// RUN: %clang_cc1 -emit-llvm -triple x86_64-apple-darwin10 < %s -o - | FileCheck %s 2a67810e1c1102b7e1e9d6783be24941950949689Chris Lattner// CHECK:%struct.S = type { i32, i32 } 3c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK:define void @test_addrspace(%struct.S addrspace(1)* %p1, %struct.S addrspace(2)* %p2) [[NUW:#[0-9]+]] 4195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar// CHECK: [[p1addr:%.*]] = alloca %struct.S addrspace(1)* 5195337d2e5d4625ae9dc1328c7cdbc7115b0261bDaniel Dunbar// CHECK: [[p2addr:%.*]] = alloca %struct.S addrspace(2)* 647d1e828674a2d9c020db9f9ec45f27025a39e35Daniel Dunbar// CHECK: store %struct.S addrspace(1)* %p1, %struct.S addrspace(1)** [[p1addr]] 747d1e828674a2d9c020db9f9ec45f27025a39e35Daniel Dunbar// CHECK: store %struct.S addrspace(2)* %p2, %struct.S addrspace(2)** [[p2addr]] 8d5a83fb04e0e33b3a64a2016e80b0965f338f412Chris Lattner// CHECK: [[t0:%.*]] = load %struct.S addrspace(2)** [[p2addr]], align 8 9d5a83fb04e0e33b3a64a2016e80b0965f338f412Chris Lattner// CHECK: [[t1:%.*]] = getelementptr inbounds %struct.S addrspace(2)* [[t0]], i32 0, i32 1 10d5a83fb04e0e33b3a64a2016e80b0965f338f412Chris Lattner// CHECK: [[t2:%.*]] = load i32 addrspace(2)* [[t1]], align 4 11d5a83fb04e0e33b3a64a2016e80b0965f338f412Chris Lattner// CHECK: [[t3:%.*]] = load %struct.S addrspace(1)** [[p1addr]], align 8 12d5a83fb04e0e33b3a64a2016e80b0965f338f412Chris Lattner// CHECK: [[t4:%.*]] = getelementptr inbounds %struct.S addrspace(1)* [[t3]], i32 0, i32 0 13983e3d7dac99aed376939f1a4daadef98e09c3b9Daniel Dunbar// CHECK: store i32 [[t2]], i32 addrspace(1)* [[t4]], align 4 14d5a83fb04e0e33b3a64a2016e80b0965f338f412Chris Lattner// CHECK: [[t5:%.*]] = load %struct.S addrspace(2)** [[p2addr]], align 8 15d5a83fb04e0e33b3a64a2016e80b0965f338f412Chris Lattner// CHECK: [[t6:%.*]] = getelementptr inbounds %struct.S addrspace(2)* [[t5]], i32 0, i32 0 16d5a83fb04e0e33b3a64a2016e80b0965f338f412Chris Lattner// CHECK: [[t7:%.*]] = load i32 addrspace(2)* [[t6]], align 4 17d5a83fb04e0e33b3a64a2016e80b0965f338f412Chris Lattner// CHECK: [[t8:%.*]] = load %struct.S addrspace(1)** [[p1addr]], align 8 18d5a83fb04e0e33b3a64a2016e80b0965f338f412Chris Lattner// CHECK: [[t9:%.*]] = getelementptr inbounds %struct.S addrspace(1)* [[t8]], i32 0, i32 1 19983e3d7dac99aed376939f1a4daadef98e09c3b9Daniel Dunbar// CHECK: store i32 [[t7]], i32 addrspace(1)* [[t9]], align 4 20a67810e1c1102b7e1e9d6783be24941950949689Chris Lattner// CHECK: ret void 21a67810e1c1102b7e1e9d6783be24941950949689Chris Lattner// CHECK:} 22c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang 23c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang// Check that we don't lose the address space when accessing a member 24c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang// of a structure. 25c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang 26c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang#define __addr1 __attribute__((address_space(1))) 27c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang#define __addr2 __attribute__((address_space(2))) 28c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang 29c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wangtypedef struct S { 30c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang int a; 31c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang int b; 32c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang} S; 33c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang 34c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wangvoid test_addrspace(__addr1 S* p1, __addr2 S*p2) { 35c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang // swap 36c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang p1->a = p2->b; 37c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang p1->b = p2->a; 38c6a38a47bf3908ab2183d7946498138d8b07c886Mon P Wang} 39f7a9da053f5bd6c18450c1796d953b42c3b7ad3aBill Wendling 40c3af6799d4c8ec4b338236e4361c0795e9af890aBill Wendling// CHECK: attributes [[NUW]] = { nounwind{{.*}} } 41