annotate test/ellipsis/mkcase.py @ 457:90b1d927912a

- suite_aggrs: make sure random memory used doesn't ever result in NaN fp values (for every possible address), as this messes with result comparison
author Tassilo Philipp
date Fri, 28 Jan 2022 14:11:21 +0100
parents 3e629dc19168
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
1 #!/usr/bin/python
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
2 #//////////////////////////////////////////////////////////////////////////////
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
3 #
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
4 # Copyright (c) 2007,2009 Daniel Adler <dadler@uni-goettingen.de>,
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
5 # Tassilo Philipp <tphilipp@potion-studios.com>
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
6 #
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
7 # Permission to use, copy, modify, and distribute this software for any
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
8 # purpose with or without fee is hereby granted, provided that the above
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
9 # copyright notice and this permission notice appear in all copies.
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
10 #
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
11 # THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
12 # WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
13 # MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
14 # ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
15 # WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
16 # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
17 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
18 #
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
19 #//////////////////////////////////////////////////////////////////////////////
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
20
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
21 import sys
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
22
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
23 # parameters
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
24
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
25 nargs = 3
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
26
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
27 # all types without (float)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
28
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
29 types = ["DCint","DClonglong","DCdouble","DCpointer"]
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
30 sigs = ['i','l','d','p']
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
31
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
32
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
33 # generator
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
34
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
35 ntypes = len(types)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
36
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
37 sys.stderr.write("/* auto generated by mkcase (on stderr) */\n");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
38 sys.stderr.write("".join(["#define NARGS ",str(nargs),"\n"]))
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
39 sys.stderr.write("".join(["#define NTYPES ",str(ntypes),"\n"]))
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
40
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
41 def powerfact(x, n):
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
42 if n==0:
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
43 return 0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
44 else:
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
45 return x**n+powerfact(x,n-1)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
46
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
47 x = 0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
48 end = powerfact(ntypes,nargs)+1
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
49
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
50 sys.stdout.write("/* auto generated by mkcase.py (on stdout) */\n");
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
51
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
52 while x < end:
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
53 args = [str(x)]
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
54 sig = ["f_"]
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
55 pos = 0
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
56 y = x
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
57 while y > 0:
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
58 s = (y-1) % ntypes
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
59 y = (y-1) / ntypes
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
60 args += [ types[s] ]
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
61 sig += [ sigs[s] ] # types[s][2] ]
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
62 pos += 1
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
63 sig = "".join(sig)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
64 args += [ sig ]
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
65 args = ",".join(args)
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
66 sys.stdout.write( "".join(["VF",str(pos),"(",args,")\n"]) )
3e629dc19168 initial from svn dyncall-1745
Daniel Adler
parents:
diff changeset
67 x += 1