diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-05 13:43:18 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-05 13:43:18 +0200 |
| commit | 579f90c074584b27fceae7975cf6e52ef694c96c (patch) | |
| tree | d60dd8a6061312607be1d9a9b3edd299a1e6c9b2 /test/monniaux/pcre2-10.32 | |
| parent | 72288298ea871d30db6693a65fe0ac2236a045c1 (diff) | |
| download | compcert-kvx-579f90c074584b27fceae7975cf6e52ef694c96c.tar.gz compcert-kvx-579f90c074584b27fceae7975cf6e52ef694c96c.zip | |
disable large benchmarks that rely on heap saturation and other limits
Diffstat (limited to 'test/monniaux/pcre2-10.32')
| -rw-r--r-- | test/monniaux/pcre2-10.32/Makefile | 6 | ||||
| -rw-r--r-- | test/monniaux/pcre2-10.32/testdata/testinput6 | 18 |
2 files changed, 14 insertions, 10 deletions
diff --git a/test/monniaux/pcre2-10.32/Makefile b/test/monniaux/pcre2-10.32/Makefile index 35f1e049..dbee118c 100644 --- a/test/monniaux/pcre2-10.32/Makefile +++ b/test/monniaux/pcre2-10.32/Makefile @@ -37,6 +37,7 @@ K1C_GCC_OFILES_O1=$(CFILES:.c=.gcc.o1.k1c.o) K1C_CCOMP_OFILES=$(CFILES:.c=.ccomp.k1c.o) K1C_GCC_SFILES=$(CFILES:.c=.gcc.k1c.s) K1C_CCOMP_SFILES=$(CFILES:.c=.ccomp.k1c.s) +HOST_GCC_OFILES=$(CFILES:.c=.gcc.host.o) all: pcre2test.gcc.o1.k1c.out pcre2test.gcc.k1c.out pcre2test.ccomp.k1c.out $(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES) @@ -46,7 +47,10 @@ EXECUTE_ARGS = testdata/testinput6 include ../rules.mk -$(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES): $(HFILES) +$(K1C_GCC_SFILES) $(K1C_GCC_OFILES_O1) $(K1C_CCOMP_SFILES) $(HOST_GCC_OFILES): $(HFILES) + +pcre2test.gcc.host: $(HOST_GCC_OFILES) + $(CC) $(CFLAGS) -o $@ $+ ../clock.gcc.host.o pcre2test.gcc.k1c: $(K1C_GCC_OFILES) $(K1C_CC) $(K1C_CFLAGS) -o $@ $+ ../clock.gcc.k1c.o diff --git a/test/monniaux/pcre2-10.32/testdata/testinput6 b/test/monniaux/pcre2-10.32/testdata/testinput6 index f7dedb21..c1a08348 100644 --- a/test/monniaux/pcre2-10.32/testdata/testinput6 +++ b/test/monniaux/pcre2-10.32/testdata/testinput6 @@ -4870,17 +4870,17 @@ aaa\=allcaptures a\=allcaptures -/(*LIMIT_DEPTH=100)^((.)(?1)|.)$/ -\= Expect depth limit exceeded - a[00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00] +#/(*LIMIT_DEPTH=100)^((.)(?1)|.)$/ +#\= Expect depth limit exceeded +# a[00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00] /(*LIMIT_HEAP=0)^((.)(?1)|.)$/ \= Expect heap limit exceeded a[00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00] -/(*LIMIT_HEAP=50000)^((.)(?1)|.)$/ -\= Expect success - a[00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00] +#/(*LIMIT_HEAP=50000)^((.)(?1)|.)$/ +#\= Expect success +# a[00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00]([00] /(02-)?[0-9]{3}-[0-9]{3}/ 02-123-123 @@ -4937,9 +4937,9 @@ /(?<=|abc)/endanchored abcde\=aftertext -/(*LIMIT_MATCH=100).*(?![|H]?.*(?![|H]?););.*(?![|H]?.*(?![|H]?););\x00\x00\x00\x00\x00\x00\x00(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?![|);)?.*(![|H]?);)?.*(?![|H]?);)?.*(?![|H]?);)?.*(?![|H]););![|H]?););[|H]?);|H]?);)\x00\x00\x00 \x00\x00\x00H]?););?![|H]?);)?.*(?![|H]?););[||H]?);)?.*(?![|H]?););[|H]?);(?![|H]?););![|H]?););[|H]?);|H]?);)?.*(?![|H]?););;[\x00\x00\x00\x00\x00\x00\x00![|H]?););![|H]?););[|H]?);|H]?);)?.*(?![|H]?););/no_dotstar_anchor -\= Expect limit exceeded -.*(?![|H]?.*(?![|H]?););.*(?![|H]?.*(?![|H]?););\x00\x00\x00\x00\x00\x00\x00(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?![|);)?.*(![|H]?);)?.*(?![|H]?);)?.*(?![|H]?);)?.*(?![|H]););![|H]?););[|H]?);|H]?);)\x00\x00\x00 \x00\x00\x00H]?););?![|H]?);)?.*(?![|H]?););[||H]?);)?.*(?![|H]?););[|H]?);(?![|H]?););![|H]?););[|H]?);|H]?);)?.*(?![|H]?););;[\x00\x00\x00\x00\x00\x00\x00![|H]?););![|H]?););[|H]?);|H]?);)?.*(?![|H]?);); +#/(*LIMIT_MATCH=100).*(?![|H]?.*(?![|H]?););.*(?![|H]?.*(?![|H]?););\x00\x00\x00\x00\x00\x00\x00(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?![|);)?.*(![|H]?);)?.*(?![|H]?);)?.*(?![|H]?);)?.*(?![|H]););![|H]?););[|H]?);|H]?);)\x00\x00\x00 \x00\x00\x00H]?););?![|H]?);)?.*(?![|H]?););[||H]?);)?.*(?![|H]?););[|H]?);(?![|H]?););![|H]?););[|H]?);|H]?);)?.*(?![|H]?););;[\x00\x00\x00\x00\x00\x00\x00![|H]?););![|H]?););[|H]?);|H]?);)?.*(?![|H]?););/no_dotstar_anchor +#\= Expect limit exceeded +#.*(?![|H]?.*(?![|H]?););.*(?![|H]?.*(?![|H]?););\x00\x00\x00\x00\x00\x00\x00(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?!(?![|);)?.*(![|H]?);)?.*(?![|H]?);)?.*(?![|H]?);)?.*(?![|H]););![|H]?););[|H]?);|H]?);)\x00\x00\x00 \x00\x00\x00H]?););?![|H]?);)?.*(?![|H]?););[||H]?);)?.*(?![|H]?););[|H]?);(?![|H]?););![|H]?););[|H]?);|H]?);)?.*(?![|H]?););;[\x00\x00\x00\x00\x00\x00\x00![|H]?););![|H]?););[|H]?);|H]?);)?.*(?![|H]?);); /\n/firstline xyz\nabc |