Encoding Class verifyTest-variableSearchSpace

Class Tree
Description These are a seres of tests varying search space (processor word length is fixed) that check the equivalence of

! input in %i0
sra %i1 31 %l1
orcc %l1 %l1 %o1
bne 2
add %l1 1 %o1
! output in %o1

and

! input in %i0
addcc %i0 %i0 %l1
subxcc %i0 %l1 %l2
addx %l2 %i0 %o1
! output in %o1

on SPARC-V7.

The search spaces are 2^N for testN and each program has the same answer set, recogniseable as having -value(purple,i1,B) for each value of
B. Running the output of the solver through the cleanup.pl script should help make this easier as it should give one line containing "000
0 0000 0000 0000 0000 0000 0000 0000".

Author: Martin Brain
Encodings
1 - 1 of 1
  •  null  
  • un-/mark all