/*
   +----------------------------------------------------------------------+
   | Zend JIT                                                             |
   +----------------------------------------------------------------------+
   | Copyright (c) The PHP Group                                          |
   +----------------------------------------------------------------------+
   | This source file is subject to version 3.01 of the PHP license,      |
   | that is bundled with this package in the file LICENSE, and is        |
   | available through the world-wide-web at the following url:           |
   | https://www.php.net/license/3_01.txt                                 |
   | If you did not receive a copy of the PHP license and are unable to   |
   | obtain it through the world-wide-web, please send a note to          |
   | license@php.net so we can mail you a copy immediately.               |
   +----------------------------------------------------------------------+
   | Authors: Dmitry Stogov <dmitry@php.net>                              |
   +----------------------------------------------------------------------+
*/

#if defined(__x86_64__) || defined(i386)

#define HAVE_VTUNE 1

#include "jit/vtune/jitprofiling.h"
#include "jit/vtune/jitprofiling.c"

static void zend_jit_vtune_register(const char *name,
                                    const void *start,
                                    size_t      size)
{
	iJIT_Method_Load jmethod = {0};

	if (iJIT_IsProfilingActive() != iJIT_SAMPLING_ON) {
		return;
	}

	jmethod.method_id = iJIT_GetNewMethodID();
	jmethod.method_name = (char*)name;
	jmethod.class_file_name = NULL;
	jmethod.source_file_name = NULL;
	jmethod.method_load_address = (void*)start;
	jmethod.method_size = size;

	iJIT_NotifyEvent(iJVM_EVENT_TYPE_METHOD_LOAD_FINISHED, (void*)&jmethod);
}

#endif /* defined(__x86_64__) || defined(i386) */