declare void @safe1()
declare void @safe2()
declare void @unsafe()

define i1 @is_fptr_safe(void() *%fptr) {
  %A = icmp eq void()* %fptr, @safe1
  %B = icmp eq void()* %fptr, @safe2
  %C = or i1 %A, %B
  ret i1 %C
}