Mercurial > projects > dstress

annotate run/invariant_27.d @ 1630:d0efa3ae5522 default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
run/mini/naked_asm5: New x86_64 ABI passes the arguments in reverse order.
author David Nadlinger <code@klickverbot.at>
date Sat, 23 Apr 2011 22:57:32 +0200
parents ec5e144583ea
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
392
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
1 // $HeadURL$
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
2 // $Date$
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
3 // $Author$
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
4
736
1e6afb94ce6d updated meta data for Torture
thomask
parents: 392
diff changeset
5 // __DSTRESS_TORTURE_BLOCK__ -release
1e6afb94ce6d updated meta data for Torture
thomask
parents: 392
diff changeset
6
392
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
7 module dstress.run.invariant_27;
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
8
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
9 int status;
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
10 int inv;
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
11
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
12 class MyClass{
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
13
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
14 this(){
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
15 }
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
16
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
17 public static void check(){
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
18 status++;
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
19 }
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
20
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
21 private void middle(){
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
22 check();
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
23 }
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
24
1559
ec5e144583ea D1 -> D2 : 1/N
thomask
parents: 736
diff changeset
25 invariant(){
392
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
26 middle();
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
27 inv++;
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
28 }
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
29 }
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
30
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
31 int main(){
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
32
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
33 MyClass o;
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
34 assert(status==0);
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
35 assert(inv==0);
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
36
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
37 o=new MyClass();
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
38 assert(status==1);
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
39 assert(inv==1);
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
40
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
41 o.check();
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
42 assert(status==2);
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
43 assert(inv==1);
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
44
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
45 MyClass.check();
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
46 assert(status==3);
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
47 assert(inv==1);
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
48
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
49 return 0;
9faddc0de2ba 1) fixed meta data
thomask
parents:
diff changeset
50 }