llvm/test/Verifier/ifunc-opaque.ll

   1 ; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s
   2
   3 define 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 shl (i64 ptrtoint (ptr @resolver to i64), i64 4) to ptr)