1 ; RUN: opt -S -opaque-pointers < %s | opt -S -opaque-pointers | FileCheck %s
3 ; CHECK: %T1 = type { i8 }
4 ; CHECK: %T2 = type { i8 }
5 ; CHECK: %T3 = type { i8 }
6 ; CHECK: %T4 = type { i8 }
7 ; CHECK: %T5 = type { i8 }
8 ; CHECK: %T6 = type { i8 }
9 ; CHECK: %T7 = type { i8 }
19 @g = external global %T1
21 define %T2 @f(ptr %p) {
23 getelementptr %T4, ptr %p, i64 1
24 call void @f(ptr sret(%T5) %p)
25 store ptr getelementptr (%T6, ptr @g, i64 1), ptr %p
29 declare void @f2(ptr sret(%T7))