[MPX,wrappers,3/3] Tests

Message ID	20141114173118.GC20207@msticlxl57.ims.intel.com
State	New
Headers	show Return-Path: <gcc-patches-return-384465-incoming=patchwork.ozlabs.org@gcc.gnu.org> DomainKey-Signature: a=rsa-sha1; c=nofws; d=gcc.gnu.org; h=list-id :list-unsubscribe:list-archive:list-post:list-help:sender:date :from:to:subject:message-id:mime-version:content-type; q=dns; s= default; b=xM5mipKVx5m7Lv1rK6q4kbf/8BgY9VDXmZCdrd3CUbyzsvBav68bh xZecMvWXCUsE/xWcv4q/ctRHzWlQVvr+xrT2GnsnCCVmm6C26M+AsgPLEgmVSbR9 HyVFiP3KhWlq4Jn/G/kajKDfZIZ2SGAZCMaw7REH+4WQrGqrYFYvBA= Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk Sender: gcc-patches-owner@gcc.gnu.org Date: Fri, 14 Nov 2014 20:31:18 +0300 From: Ilya Enkovich <enkovich.gnu@gmail.com> To: gcc-patches@gcc.gnu.org Subject: [PATCH, MPX wrappers 3/3] Tests Message-ID: <20141114173118.GC20207@msticlxl57.ims.intel.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline User-Agent: Mutt/1.5.21 (2010-09-15)

diff --git a/gcc/testsuite/gcc.target/i386/mpx/calloc-1-lbv.c b/gcc/testsuite/gcc.target/i386/mpx/calloc-1-lbv.c new file mode 100644 index 0000000..0ba5d73 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/mpx/calloc-1-lbv.c @@ -0,0 +1,26 @@ +/* { dg-do run } */ +/* { dg-shouldfail "bounds violation" } */ +/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ + + +#define SHOULDFAIL + +#include "mpx-check.h" + +int rd (int *p, int i) +{ + int res = p[i]; + printf ("%d\n", res); + return res; +} + +int mpx_test (int argc, const char **argv) +{ + int *buf = (int *)calloc (100, sizeof(int)); + + rd (buf, -1); + + free (buf); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/i386/mpx/calloc-1-nov.c b/gcc/testsuite/gcc.target/i386/mpx/calloc-1-nov.c new file mode 100644 index 0000000..cb755e5 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/mpx/calloc-1-nov.c @@ -0,0 +1,24 @@ +/* { dg-do run } */ +/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ + + +#include "mpx-check.h" + +int rd (int *p, int i) +{ + int res = p[i]; + printf ("%d\n", res); + return res; +} + +int mpx_test (int argc, const char **argv) +{ + int *buf = (int *)calloc (100, sizeof(int)); + + rd (buf, 0); + rd (buf, 99); + + free (buf); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/i386/mpx/calloc-1-ubv.c b/gcc/testsuite/gcc.target/i386/mpx/calloc-1-ubv.c new file mode 100644 index 0000000..a932a8c --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/mpx/calloc-1-ubv.c @@ -0,0 +1,26 @@ +/* { dg-do run } */ +/* { dg-shouldfail "bounds violation" } */ +/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ + + +#define SHOULDFAIL + +#include "mpx-check.h" + +int rd (int *p, int i) +{ + int res = p[i]; + printf ("%d\n", res); + return res; +} + +int mpx_test (int argc, const char **argv) +{ + int *buf = (int *)calloc (100, sizeof(int)); + + rd (buf, 100); + + free (buf); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/i386/mpx/malloc-1-lbv.c b/gcc/testsuite/gcc.target/i386/mpx/malloc-1-lbv.c new file mode 100644 index 0000000..aa2aed9 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/mpx/malloc-1-lbv.c @@ -0,0 +1,26 @@ +/* { dg-do run } */ +/* { dg-shouldfail "bounds violation" } */ +/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ + + +#define SHOULDFAIL + +#include "mpx-check.h" + +int rd (int *p, int i) +{ + int res = p[i]; + printf ("%d\n", res); + return res; +} + +int mpx_test (int argc, const char **argv) +{ + int *buf = (int *)malloc (100 * sizeof(int)); + + rd (buf, -1); + + free (buf); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/i386/mpx/malloc-1-nov.c b/gcc/testsuite/gcc.target/i386/mpx/malloc-1-nov.c new file mode 100644 index 0000000..56f26e9 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/mpx/malloc-1-nov.c @@ -0,0 +1,24 @@ +/* { dg-do run } */ +/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ + + +#include "mpx-check.h" + +int rd (int *p, int i) +{ + int res = p[i]; + printf ("%d\n", res); + return res; +} + +int mpx_test (int argc, const char **argv) +{ + int *buf = (int *)malloc (100 * sizeof(int)); + + rd (buf, 0); + rd (buf, 99); + + free (buf); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/i386/mpx/malloc-1-ubv.c b/gcc/testsuite/gcc.target/i386/mpx/malloc-1-ubv.c new file mode 100644 index 0000000..6f48ec2 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/mpx/malloc-1-ubv.c @@ -0,0 +1,26 @@ +/* { dg-do run } */ +/* { dg-shouldfail "bounds violation" } */ +/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ + + +#define SHOULDFAIL + +#include "mpx-check.h" + +int rd (int *p, int i) +{ + int res = p[i]; + printf ("%d\n", res); + return res; +} + +int mpx_test (int argc, const char **argv) +{ + int *buf = (int *)malloc (100 * sizeof(int)); + + rd (buf, 100); + + free (buf); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/i386/mpx/realloc-1-lbv.c b/gcc/testsuite/gcc.target/i386/mpx/realloc-1-lbv.c new file mode 100644 index 0000000..961196f --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/mpx/realloc-1-lbv.c @@ -0,0 +1,27 @@ +/* { dg-do run } */ +/* { dg-shouldfail "bounds violation" } */ +/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ + + +#define SHOULDFAIL + +#include "mpx-check.h" + +int rd (int *p, int i) +{ + int res = p[i]; + printf ("%d\n", res); + return res; +} + +int mpx_test (int argc, const char **argv) +{ + int *buf = (int *)malloc (100 * sizeof(int)); + buf = (int *)realloc (buf, 200 * sizeof(int)); + + rd (buf, -1); + + free (buf); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/i386/mpx/realloc-1-nov.c b/gcc/testsuite/gcc.target/i386/mpx/realloc-1-nov.c new file mode 100644 index 0000000..f4b3dd8 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/mpx/realloc-1-nov.c @@ -0,0 +1,25 @@ +/* { dg-do run } */ +/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ + + +#include "mpx-check.h" + +int rd (int *p, int i) +{ + int res = p[i]; + printf ("%d\n", res); + return res; +} + +int mpx_test (int argc, const char **argv) +{ + int *buf = (int *)malloc (100 * sizeof(int)); + buf = (int *)realloc (buf, 200 * sizeof(int)); + + rd (buf, 0); + rd (buf, 199); + + free (buf); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/i386/mpx/realloc-1-ubv.c b/gcc/testsuite/gcc.target/i386/mpx/realloc-1-ubv.c new file mode 100644 index 0000000..8a14baa --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/mpx/realloc-1-ubv.c @@ -0,0 +1,27 @@ +/* { dg-do run } */ +/* { dg-shouldfail "bounds violation" } */ +/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ + + +#define SHOULDFAIL + +#include "mpx-check.h" + +int rd (int *p, int i) +{ + int res = p[i]; + printf ("%d\n", res); + return res; +} + +int mpx_test (int argc, const char **argv) +{ + int *buf = (int *)malloc (100 * sizeof(int)); + buf = (int *)realloc (buf, 200 * sizeof(int)); + + rd (buf, 200); + + free (buf); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/i386/mpx/realloc-2-lbv.c b/gcc/testsuite/gcc.target/i386/mpx/realloc-2-lbv.c new file mode 100644 index 0000000..919f62a --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/mpx/realloc-2-lbv.c @@ -0,0 +1,27 @@ +/* { dg-do run } */ +/* { dg-shouldfail "bounds violation" } */ +/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ + + +#define SHOULDFAIL + +#include "mpx-check.h" + +int rd (int *p, int i) +{ + int res = p[i]; + printf ("%d\n", res); + return res; +} + +int mpx_test (int argc, const char **argv) +{ + int *buf = (int *)malloc (100 * sizeof(int)); + buf = (int *)realloc (buf, 10 * sizeof(int)); + + rd (buf, -1); + + free (buf); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/i386/mpx/realloc-2-nov.c b/gcc/testsuite/gcc.target/i386/mpx/realloc-2-nov.c new file mode 100644 index 0000000..569cd24 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/mpx/realloc-2-nov.c @@ -0,0 +1,25 @@ +/* { dg-do run } */ +/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ + + +#include "mpx-check.h" + +int rd (int *p, int i) +{ + int res = p[i]; + printf ("%d\n", res); + return res; +} + +int mpx_test (int argc, const char **argv) +{ + int *buf = (int *)malloc (100 * sizeof(int)); + buf = (int *)realloc (buf, 10 * sizeof(int)); + + rd (buf, 0); + rd (buf, 9); + + free (buf); + + return 0; +} diff --git a/gcc/testsuite/gcc.target/i386/mpx/realloc-2-ubv.c b/gcc/testsuite/gcc.target/i386/mpx/realloc-2-ubv.c new file mode 100644 index 0000000..36eb90c --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/mpx/realloc-2-ubv.c @@ -0,0 +1,27 @@ +/* { dg-do run } */ +/* { dg-shouldfail "bounds violation" } */ +/* { dg-options "-fcheck-pointer-bounds -mmpx" } */ + + +#define SHOULDFAIL + +#include "mpx-check.h" + +int rd (int *p, int i) +{ + int res = p[i]; + printf ("%d\n", res); + return res; +} + +int mpx_test (int argc, const char **argv) +{ + int *buf = (int *)malloc (100 * sizeof(int)); + buf = (int *)realloc (buf, 10 * sizeof(int)); + + rd (buf, 10); + + free (buf); + + return 0; +} diff --git a/gcc/testsuite/lib/mpx-dg.exp b/gcc/testsuite/lib/mpx-dg.exp index ddedf09..b2fcce6 100644 --- a/gcc/testsuite/lib/mpx-dg.exp +++ b/gcc/testsuite/lib/mpx-dg.exp @@ -47,6 +47,14 @@ proc mpx_link_flags { paths } { append flags " -L${gccpath}/libmpx/mpxrt/.libs " append ld_library_path ":${gccpath}/libmpx/mpxrt/.libs" } + + if { [file exists "${gccpath}/libmpx/mpxwrap/.libs/libmpxwrappers.a"] + || [file exists "${gccpath}/libmpx/mpxwrap/.libs/libmpxwrappers.${shlib_ext}"] } { + append flags " -B${gccpath}/libmpx/ " + append flags " -B${gccpath}/libmpx/mpxwrap " + append flags " -L${gccpath}/libmpx/mpxwrap/.libs " + append ld_library_path ":${gccpath}/libmpx/mpxwrap/.libs" + } } else { global tool_root_dir @@ -55,6 +63,12 @@ proc mpx_link_flags { paths } { append flags "-L${libmpx} " append ld_library_path ":${libmpx}" } + + set libmpxwrappers [lookfor_file ${tool_root_dir} libmpxwrappers] + if { $libmpxwrappers != "" } { + append flags "-L${libmpxwrappers} " + append ld_library_path ":${libmpxwrappers}" + } } set_ld_library_path_env_vars

[MPX,wrappers,3/3] Tests

Commit Message

Comments

Patch