aboutsummaryrefslogtreecommitdiff
path: root/llvm/test/Verifier/ifunc-opaque.ll
blob: 349207b429ebddff785018d015f30db973f67bdc (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
; RUN: not llvm-as %s -o /dev/null 2>&1 | FileCheck %s

define ptr @resolver() {
  ret ptr null
}

; CHECK: IFunc must have a Function resolver
; CHECK-NEXT: ptr @ifunc_getelementptr
@ifunc_getelementptr = ifunc void (), ptr getelementptr (i8, ptr @resolver, i32 4)


; Make sure nothing asserts on an unhandled constantexpr for the
; resolver.

; CHECK: IFunc must have a Function resolver
; CHECK-NEXT: ptr @ifunc_shl
@ifunc_shl = ifunc void (), ptr inttoptr (i64 shl (i64 ptrtoint (ptr @resolver to i64), i64 4) to ptr)