Mercurial Mercurial > hg > afl-material / file revision
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/bench.prs
author Christian Urban <christian.urban@kcl.ac.uk>
Fri, 15 Sep 2023 10:49:33 +0100
changeset 918 53e7da9f372a
parent 710 183663740fb7
permissions -rw-r--r--
updated

val bench = List(
  ArrayDef("mem", 30000),
  Assign("ptr", Num(15000)),
  Assign("ptr", Aop("+", Var("ptr"), Num(1))),
  AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(2))),
  While(
    Bop("!=", Ref("mem", Var("ptr")), Num(0)),
    List(
      Assign("ptr", Aop("-", Var("ptr"), Num(1))),
      AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(13))),
      Assign("ptr", Aop("+", Var("ptr"), Num(1))),
      AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
      Skip
    )
  ),
  Assign("ptr", Aop("-", Var("ptr"), Num(1))),
  While(
    Bop("!=", Ref("mem", Var("ptr")), Num(0)),
    List(
      While(
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
        List(
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
          Assign("ptr", Aop("-", Var("ptr"), Num(2))),
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
          Skip
        )
      ),
      Assign("ptr", Aop("+", Var("ptr"), Num(1))),
      While(
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
        List(
          Assign("ptr", Aop("-", Var("ptr"), Num(1))),
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
          Skip
        )
      ),
      AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(8))),
      While(
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
        List(
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(8))),
          Assign("ptr", Aop("-", Var("ptr"), Num(1))),
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
          Skip
        )
      ),
      Assign("ptr", Aop("+", Var("ptr"), Num(1))),
      Assign("x", Ref("mem", Var("ptr"))),
      Write("x"),
      AssignA("mem", Var("ptr"), Num(0)),
      Assign("ptr", Aop("-", Var("ptr"), Num(2))),
      Assign("ptr", Aop("+", Var("ptr"), Num(1))),
      AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(10))),
      While(
        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
        List(
          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(10))),
          While(
            Bop("!=", Ref("mem", Var("ptr")), Num(0)),
            List(
              Assign("ptr", Aop("+", Var("ptr"), Num(1))),
              AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(2))),
              AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(8))),
              While(
                Bop("!=", Ref("mem", Var("ptr")), Num(0)),
                List(
                  Assign("ptr", Aop("+", Var("ptr"), Num(1))),
                  AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(10))),
                  While(
                    Bop("!=", Ref("mem", Var("ptr")), Num(0)),
                    List(
                      Assign("ptr", Aop("+", Var("ptr"), Num(1))),
                      AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(10))),
                      While(
                        Bop("!=", Ref("mem", Var("ptr")), Num(0)),
                        List(
                          Assign("ptr", Aop("+", Var("ptr"), Num(1))),
                          AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(10))),
                          While(
                            Bop("!=", Ref("mem", Var("ptr")), Num(0)),
                            List(
                              Assign("ptr", Aop("+", Var("ptr"), Num(1))),
                              AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(1))),
                              AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(9))),
                              AssignA("mem", Var("ptr"), Num(0)),
                              Assign("ptr", Aop("-", Var("ptr"), Num(1))),
                              AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
                              Skip
                            )
                          ),
                          Assign("ptr", Aop("-", Var("ptr"), Num(1))),
                          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
                          Skip
                        )
                      ),
                      Assign("ptr", Aop("-", Var("ptr"), Num(1))),
                      AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
                      Skip
                    )
                  ),
                  Assign("ptr", Aop("-", Var("ptr"), Num(1))),
                  AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
                  Skip
                )
              ),
              Assign("ptr", Aop("-", Var("ptr"), Num(1))),
              AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
              Skip
            )
          ),
          Assign("ptr", Aop("-", Var("ptr"), Num(1))),
          AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
          Skip
        )
      ),
      Assign("ptr", Aop("-", Var("ptr"), Num(1))),
      AssignA("mem", Var("ptr"), Aop("-", Ref("mem", Var("ptr")), Num(1))),
      Skip
    )
  ),
  AssignA("mem", Var("ptr"), Aop("+", Ref("mem", Var("ptr")), Num(10))),
  Assign("x", Ref("mem", Var("ptr"))),
  Write("x"),
  Skip
)
afl-material