| ; RUN: opt -debug-ir -S %s -o - | FileCheck %s | |
| target datalayout = "e-p:64:64:64-p1:16:16:16" | |
| define void @foo(i32 addrspace(1)*) nounwind { | |
| ret void | |
| } | |
| ; Make sure the pointer size is 16 | |
| ; CHECK: metadata !"0xf\00i32 addrspace(1)*\000\0016\002\000\000" |