xref: /llvm-project/llvm/test/Verifier/ifunc-opaque.ll (revision 76d3ab2cc33336c1eece6484c9a55577eac7e79a)
1; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
2
3define ptr @resolver() {
4  ret ptr null
5}
6
7; CHECK: IFunc must have a Function resolver
8; CHECK-NEXT: ptr @ifunc_getelementptr
9@ifunc_getelementptr = ifunc void (), ptr getelementptr (i8, ptr @resolver, i32 4)
10
11
12; Make sure nothing asserts on an unhandled constantexpr for the
13; resolver.
14
15; CHECK: IFunc must have a Function resolver
16; CHECK-NEXT: ptr @ifunc_shl
17@ifunc_shl = ifunc void (), ptr inttoptr (i64 add (i64 ptrtoint (ptr @resolver to i64), i64 4) to ptr)
18