Index: cfe/trunk/lib/Sema/SemaType.cpp =================================================================== --- cfe/trunk/lib/Sema/SemaType.cpp +++ cfe/trunk/lib/Sema/SemaType.cpp @@ -7227,7 +7227,9 @@ if (IsPointee) { ImpAddr = LangAS::opencl_generic; } else { - if (D.getContext() == DeclaratorContext::FileContext) { + if (D.getContext() == DeclaratorContext::TemplateArgContext) { + // Do not deduce address space for non-pointee type in template args + } else if (D.getContext() == DeclaratorContext::FileContext) { ImpAddr = LangAS::opencl_global; } else { if (D.getDeclSpec().getStorageClassSpec() == DeclSpec::SCS_static || Index: cfe/trunk/test/CodeGenOpenCLCXX/template-address-spaces.cl =================================================================== --- cfe/trunk/test/CodeGenOpenCLCXX/template-address-spaces.cl +++ cfe/trunk/test/CodeGenOpenCLCXX/template-address-spaces.cl @@ -0,0 +1,31 @@ +// RUN: %clang_cc1 -cl-std=c++ %s -emit-llvm -o - -O0 -triple spir-unknown-unknown | FileCheck %s + +template +struct S{ + T a; + T foo(); +}; + +template +T S::foo() { return a;} + +//CHECK: %struct.S = type { i32 } +//CHECK: %struct.S.0 = type { i32 addrspace(4)* } +//CHECK: %struct.S.1 = type { i32 addrspace(1)* } + +//CHECK: i32 @_ZN1SIiE3fooEv(%struct.S* %this) +//CHECK: i32 addrspace(4)* @_ZN1SIPU3AS4iE3fooEv(%struct.S.0* %this) +//CHECK: i32 addrspace(1)* @_ZN1SIPU3AS1iE3fooEv(%struct.S.1* %this) + +void bar(){ + S sint; + S sintptr; + S<__global int*> sintptrgl; + // FIXME: Preserve AS in TreeTransform + //S<__global int> sintgl; + + sint.foo(); + sintptr.foo(); + sintptrgl.foo(); + //sintgl.foo(); +}