Mercurial Mercurial > hg > afl-material / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Attic/fibs.prs
author Christian Urban <christian.urban@kcl.ac.uk>
Sun, 10 Sep 2023 12:24:55 +0100
changeset 917 89e05a230d2d
parent 710 183663740fb7
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
710
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
     1
 
val fibs = List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
     2
 
  ArrayDef("mem", 30000),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
     3
 
  Assign("ptr", Num(15000)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
     4
 
  AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(11))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
     5
 
  Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
     6
 
  AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
     7
 
  Assign("ptr", Aop("+", Var("ptr"), Num(4))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
     8
 
  AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(44))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
     9
 
  Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    10
 
  AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(32))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    11
 
  Assign("ptr", Aop("-", Var("ptr"), Num(6))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    12
 
  While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    13
 
    Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    14
 
    List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    15
 
      Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    16
 
      While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    17
 
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    18
 
        List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    19
 
          Assign("ptr", Aop("+", Var("ptr"), Num(6))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    20
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    21
 
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    22
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    23
 
          Assign("ptr", Aop("-", Var("ptr"), Num(7))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    24
 
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    25
 
          Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    26
 
        )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    27
 
      ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    28
 
      Assign("ptr", Aop("+", Var("ptr"), Num(7))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    29
 
      While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    30
 
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    31
 
        List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    32
 
          Assign("ptr", Aop("-", Var("ptr"), Num(7))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    33
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    34
 
          Assign("ptr", Aop("+", Var("ptr"), Num(7))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    35
 
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    36
 
          Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    37
 
        )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    38
 
      ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    39
 
      Assign("ptr", Aop("-", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    40
 
      While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    41
 
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    42
 
        List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    43
 
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    44
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(10))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    45
 
          While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    46
 
            Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    47
 
            List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    48
 
              AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    49
 
              Assign("ptr", Aop("-", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    50
 
              AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    51
 
              While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    52
 
                Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    53
 
                List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    54
 
                  Assign("ptr", Aop("+", Var("ptr"), Num(2))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    55
 
                  AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    56
 
                  Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    57
 
                  AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    58
 
                  Assign("ptr", Aop("-", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    59
 
                  AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    60
 
                  Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    61
 
                )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    62
 
              ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    63
 
              Assign("ptr", Aop("+", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    64
 
              While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    65
 
                Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    66
 
                List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    67
 
                  Assign("ptr", Aop("-", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    68
 
                  AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    69
 
                  Assign("ptr", Aop("+", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    70
 
                  AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    71
 
                  Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    72
 
                )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    73
 
              ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    74
 
              AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    75
 
              Assign("ptr", Aop("-", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    76
 
              While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    77
 
                Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    78
 
                List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    79
 
                  Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    80
 
                  AssignA("mem", Var("ptr"), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    81
 
                  Assign("ptr", Aop("-", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    82
 
                  AssignA("mem", Var("ptr"), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    83
 
                  Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    84
 
                )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    85
 
              ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    86
 
              Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    87
 
              While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    88
 
                Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    89
 
                List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    90
 
                  Assign("ptr", Aop("-", Var("ptr"), Num(2))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    91
 
                  While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    92
 
                    Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    93
 
                    List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    94
 
                      Assign("ptr", Aop("+", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    95
 
                      AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    96
 
                      Assign("ptr", Aop("-", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    97
 
                      AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    98
 
                      Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
    99
 
                    )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   100
 
                  ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   101
 
                  Assign("ptr", Aop("+", Var("ptr"), Num(2))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   102
 
                  AssignA("mem", Var("ptr"), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   103
 
                  Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   104
 
                )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   105
 
              ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   106
 
              Assign("ptr", Aop("-", Var("ptr"), Num(2))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   107
 
              Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   108
 
            )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   109
 
          ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   110
 
          Assign("ptr", Aop("+", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   111
 
          While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   112
 
            Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   113
 
            List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   114
 
              Assign("ptr", Aop("+", Var("ptr"), Num(2))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   115
 
              AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   116
 
              Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   117
 
              AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   118
 
              Assign("ptr", Aop("-", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   119
 
              AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   120
 
              Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   121
 
            )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   122
 
          ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   123
 
          Assign("ptr", Aop("+", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   124
 
          While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   125
 
            Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   126
 
            List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   127
 
              Assign("ptr", Aop("-", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   128
 
              AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   129
 
              Assign("ptr", Aop("+", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   130
 
              AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   131
 
              Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   132
 
            )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   133
 
          ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   134
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   135
 
          Assign("ptr", Aop("-", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   136
 
          While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   137
 
            Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   138
 
            List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   139
 
              Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   140
 
              AssignA("mem", Var("ptr"), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   141
 
              Assign("ptr", Aop("-", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   142
 
              AssignA("mem", Var("ptr"), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   143
 
              Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   144
 
            )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   145
 
          ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   146
 
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   147
 
          While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   148
 
            Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   149
 
            List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   150
 
              Assign("ptr", Aop("-", Var("ptr"), Num(2))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   151
 
              AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   152
 
              Assign("ptr", Aop("+", Var("ptr"), Num(2))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   153
 
              AssignA("mem", Var("ptr"), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   154
 
              Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   155
 
            )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   156
 
          ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   157
 
          Assign("ptr", Aop("-", Var("ptr"), Num(7))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   158
 
          Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   159
 
        )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   160
 
      ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   161
 
      Assign("ptr", Aop("+", Var("ptr"), Num(5))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   162
 
      While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   163
 
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   164
 
        List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   165
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(25))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   166
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(23))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   167
 
          Assign("x", Ref("mem", Var("ptr"))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   168
 
          Write("x"),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   169
 
          AssignA("mem", Var("ptr"), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   170
 
          Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   171
 
        )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   172
 
      ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   173
 
      AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(10))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   174
 
      Assign("ptr", Aop("-", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   175
 
      While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   176
 
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   177
 
        List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   178
 
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   179
 
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   180
 
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   181
 
          Assign("ptr", Aop("-", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   182
 
          Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   183
 
        )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   184
 
      ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   185
 
      Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   186
 
      AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(4))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   187
 
      AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(44))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   188
 
      Assign("x", Ref("mem", Var("ptr"))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   189
 
      Write("x"),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   190
 
      AssignA("mem", Var("ptr"), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   191
 
      Assign("ptr", Aop("-", Var("ptr"), Num(2))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   192
 
      Assign("ptr", Aop("-", Var("ptr"), Num(10))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   193
 
      While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   194
 
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   195
 
        List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   196
 
          Assign("ptr", Aop("+", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   197
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   198
 
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   199
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   200
 
          Assign("ptr", Aop("-", Var("ptr"), Num(4))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   201
 
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   202
 
          Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   203
 
        )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   204
 
      ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   205
 
      Assign("ptr", Aop("+", Var("ptr"), Num(4))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   206
 
      While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   207
 
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   208
 
        List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   209
 
          Assign("ptr", Aop("-", Var("ptr"), Num(4))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   210
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   211
 
          Assign("ptr", Aop("+", Var("ptr"), Num(4))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   212
 
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   213
 
          Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   214
 
        )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   215
 
      ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   216
 
      Assign("ptr", Aop("-", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   217
 
      AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   218
 
      While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   219
 
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   220
 
        List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   221
 
          Assign("ptr", Aop("+", Var("ptr"), Num(2))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   222
 
          Assign("x", Ref("mem", Var("ptr"))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   223
 
          Write("x"),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   224
 
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   225
 
          Assign("x", Ref("mem", Var("ptr"))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   226
 
          Write("x"),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   227
 
          Assign("ptr", Aop("-", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   228
 
          AssignA("mem", Var("ptr"), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   229
 
          Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   230
 
        )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   231
 
      ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   232
 
      Assign("ptr", Aop("-", Var("ptr"), Num(2))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   233
 
      While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   234
 
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   235
 
        List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   236
 
          Assign("ptr", Aop("+", Var("ptr"), Num(2))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   237
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   238
 
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   239
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   240
 
          Assign("ptr", Aop("-", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   241
 
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   242
 
          Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   243
 
        )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   244
 
      ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   245
 
      Assign("ptr", Aop("+", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   246
 
      While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   247
 
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   248
 
        List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   249
 
          Assign("ptr", Aop("-", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   250
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   251
 
          Assign("ptr", Aop("+", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   252
 
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   253
 
          Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   254
 
        )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   255
 
      ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   256
 
      Assign("ptr", Aop("-", Var("ptr"), Num(2))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   257
 
      While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   258
 
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   259
 
        List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   260
 
          Assign("ptr", Aop("-", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   261
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   262
 
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   263
 
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   264
 
          Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   265
 
        )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   266
 
      ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   267
 
      Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   268
 
      While(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   269
 
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   270
 
        List(
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   271
 
          Assign("ptr", Aop("-", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   272
 
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   273
 
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   274
 
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   275
 
          Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   276
 
        )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   277
 
      ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   278
 
      Assign("ptr", Aop("-", Var("ptr"), Num(3))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   279
 
      AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   280
 
      Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   281
 
    )
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   282
 
  ),
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   283
 
  Skip
183663740fb7 updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset 
   284
 
)
afl-material