xref: /llvm-project/llvm/test/Assembler/opaque-ptr-struct-types.ll (revision edb2fc6dab2cf04779959829434e9e8572d48a26) 
1; RUN: opt -S < %s | opt -S | FileCheck %s
2
3; CHECK-DAG: %T1 = type { i8 }
4; CHECK-DAG: %T2 = type { i8 }
5; CHECK-DAG: %T3 = type { i8 }
6; CHECK-DAG: %T4 = type { i8 }
7; CHECK-DAG: %T5 = type { i8 }
8; CHECK-DAG: %T6 = type { i8 }
9; CHECK-DAG: %T7 = type { i8 }
10; CHECK-DAG: %T8 = type { i8 }
11
12%T1 = type { i8 }
13%T2 = type { i8 }
14%T3 = type { i8 }
15%T4 = type { i8 }
16%T5 = type { i8 }
17%T6 = type { i8 }
18%T7 = type { i8 }
19%T8 = type { i8 }
20
21@g = external global %T1
22
23@g.ifunc = ifunc %T8 (), ptr @f.resolver
24
25define %T2 @f(ptr %p) {
26  alloca %T3
27  getelementptr %T4, ptr %p, i64 1
28  call void @f(ptr sret(%T5) %p)
29  store ptr getelementptr (%T6, ptr @g, i64 1), ptr %p
30  unreachable
31}
32
33define ptr @f.resolver(ptr %p) {
34  alloca %T3
35  getelementptr %T4, ptr %p, i64 1
36  call void @f(ptr sret(%T5) %p)
37  store ptr getelementptr (%T6, ptr @g, i64 1), ptr %p
38  unreachable
39}
40
41declare void @f2(ptr sret(%T7))
42