/*
 * Copyright 2002-2019 Intel Corporation.
 * 
 * This software is provided to you as Sample Source Code as defined in the accompanying
 * End User License Agreement for the Intel(R) Software Development Products ("Agreement")
 * section 1.L.
 * 
 * This software and the related documents are provided as is, with no express or implied
 * warranties, other than those that are expressly stated in the License.
 */

#include <iostream>

#include "pin.H"
using std::cerr;
using std::endl;

VOID before(void)
{
}


VOID ImageLoad(IMG img, VOID *v)
{
    RTN rtn = RTN_FindByName(img, "foo");

    if (RTN_Valid(rtn))
    {
        // Insert a BEFORE call at the second instruction of foo().
        // Then check probe safety for inserting a BEFORE call at foo().
        // We expect to fail due to overlapping probes.
        if (! RTN_IsSafeForProbedInsertion(rtn))
        {
            cerr << RTN_Name(rtn) << "() is not safe for probing " << endl;
            PIN_ExitProcess(1);
        }

        RTN_Open(rtn);
        INS ins = RTN_InsHead(rtn);
        if (! INS_Valid(ins))
        {
            cerr << "Failed to get first instruction of " << RTN_Name(rtn) << endl;
            PIN_ExitProcess(1);
        }

        ins = INS_Next(ins);
        if (! INS_Valid(ins))
        {
            cerr << "Failed to get next instruction after first of " << RTN_Name(rtn) << endl;
            PIN_ExitProcess(1);
        }

        ADDRINT addr = INS_Address(ins);
        RTN_Close(rtn);

        RTN fake_rtn = RTN_CreateAt(addr, "FakeRtn");
        if (RTN_Valid(fake_rtn))
        {
            RTN_InsertCallProbed( fake_rtn, IPOINT_BEFORE, AFUNPTR(before), IARG_END);
        }
        else
        {
            cerr << "RTN_CreateAt failed. " << endl;
            PIN_ExitProcess(1);
        }

        if (RTN_IsSafeForProbedInsertion(rtn))
        {
            cerr << RTN_Name(rtn) << "() is expected to be unsafe for probing after inserting overlapping probe with RTN_CreateAt " << endl;
            PIN_ExitProcess(1);
        }
    }
}


/* ===================================================================== */

int main(INT32 argc, CHAR *argv[])
{
    PIN_InitSymbols();

    PIN_Init(argc, argv);

    IMG_AddInstrumentFunction(ImageLoad, 0);
    PIN_StartProgramProbed();

    return 0;
}



/* ===================================================================== */
/* eof */
/* ===================================================================== */