1; RUN: opt < %s -instcombine -S | FileCheck %s
2; CHECK: addrspacecast
3
4@base = internal addrspace(3) unnamed_addr global [16 x i32] zeroinitializer, align 16
5declare void @foo(i32*)
6
7define void @test() nounwind {
8  call void @foo(i32* getelementptr (i32* addrspacecast ([16 x i32] addrspace(3)* @base to i32*), i64 2147483647)) nounwind
9  ret void
10}
11