You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

88 lines
2.2 KiB

/*
* 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 <stdio.h>
/*
* Only run this on IA32, Linux (could also run on other gcc compatible platforms).
* The code in Pin is all generic, but generating the test is simpler if we constrain things.
*/
int deleteMov () __attribute__((noinline));
int deleteMov ()
{
int res;
// The mov will be deleted by the tool
__asm__ volatile ("xor %0,%0;"
"mov $-1,%0":"=r"(res));
return res;
}
int insertJump() __attribute__((noinline));
int insertJump()
{
int res;
// The mov will be branched over by the tool
__asm__ volatile ("xor %0,%0;"
"mov $-1,%0":"=r"(res));
return res;
}
int insertIndirectJump() __attribute__((noinline));
int insertIndirectJump()
{
int res;
// The mov will be branched over by the tool
__asm__ volatile ("xor %0,%0;"
"mov $-1,%0":"=r"(res));
return res;
}
static int values[] = {0,-1};
int modifyAddressing(int) __attribute__((noinline));
int modifyAddressing(int idx)
{
int *base = &values[0];
int res = 0;
// The addressing on this or will be modified...
__asm__ volatile ("or (%1,%2,4),%0"
:"+r"(res):"r"(base),"r"(idx));
return res;
}
int main (int argc, char ** argv)
{
int failed = 0;
if (deleteMov() != 0)
{
fprintf (stderr, "Mov instruction was not deleted\n");
failed++;
}
if (insertJump() != 0)
{
fprintf (stderr, "Mov instruction was not branched over\n");
failed++;
}
if (insertIndirectJump() != 0)
{
fprintf (stderr, "Mov instruction was not indirectly branched over\n");
failed++;
}
if (modifyAddressing(1) != 0)
{
fprintf (stderr, "Addressing was not modified\n");
failed++;
}
return failed;
}