Instance Class searchTest-plain

Class Tree
Description These are a series of tests of the search component of TOAST. They are for four different input sequences and search for a variety of diff
erent lengths of code sequence. For example sequence3-ss2 searches for things matching sequence3 in the space of two instructions. All of
the programs related to a given sequence should ground to the same number of atoms (using lparse) and all of the programs that search over
ssN should have the same raw search space size, thus it is possible to independantly vary the size of grounding and the size of search spa
ce. Searches are over the SPARC-v7 architecture.

Sequence 1
----------

! input in %i0, %i1
add %i0 %i1 %o1
or %o1 %o1 %g0
or %o1 %o1 %g0
or %o1 %o1 %g0
! output in %o1

Sequence 2
----------

! input in %i0, %i1
add %i0 %i1 %l1
add %i0 %l1 %o1
or %o1 %o1 %g0
or %o1 %o1 %g0
! output in %o1

Sequence3
---------

! input in %i0, %i1
add %i0 %i1 %l1
add %i0 %i1 %l2
add %l1 %l2 %l3
sub %g0 %l3 %o1
! output in %o1

Sequence4
---------

! input in %i0, %i1
and %i0 %i1 %l1
add %i0 %l1 %l2
add %i0 %l2 %l3
sub %g0 %l3 %o1
! output in %o1

Author: Martin Brain
Submitter Martin Gebser
Compatible Encodings
    Output Predicates
      Instances
      1 - 10 of 10