// BUILD:  $CC main.c -o $BUILD_DIR/bind-addend.exe -lobjc

// RUN:  ./bind-addend.exe

// Verify that negative addends work with pointers in to the shared cache and pointers to the image itself

#include <stdio.h>

#include "test_support.h"

// Note this is weak so that we have a bind
__attribute__((weak))
void* p = 0;

// Choose a large enough negative offset to be before the shared cache or the image
#if __LP64__
const uintptr_t offset = 1ULL << 36;
#else
const uintptr_t offset = 1ULL << 28;
#endif
void* pMinus = (void*)((uintptr_t)&p - offset);

// Get a pointer to something we assume is in the shared cache
// Note we don't declare a function as arm64e would want to sign this
extern int objc_msgSend;
void* msgSendMinus = (void*)((uintptr_t)&objc_msgSend - offset);

int main(int argc, const char* argv[], const char* envp[], const char* apple[]) {
    if ( pMinus != (void*)((uintptr_t)&p - offset) ) {
        FAIL("bind-addend: %p != %p", pMinus, (void*)((uintptr_t)&p - offset));
    }

    if ( msgSendMinus != (void*)((uintptr_t)&objc_msgSend - offset) ) {
        FAIL("bind-addend: %p != %p", msgSendMinus, (void*)((uintptr_t)&objc_msgSend - offset));
    }

    PASS("bind-addend");
}