gdritter repos s-cargot / master test / med-sample.sexp
master

Tree @master (Download .tar.gz)

med-sample.sexp @master — raw · history · blame 

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
((operands ((rA . 'Gprc) (rS . 'Gprc) (rB . 'Gprc))) 
  (in ('XER 'CR rB rS 'IP))
  (defs 
    (('CR 
       (bvor 
         (bvand 
           'CR
           (bvnot (bvshl #x0000000f (bvmul ((_ zero_extend 29) #b000) #x00000004))))
         (bvshl 
           ((_ zero_extend 28) 
             (concat 
               (ite 
                 (bvslt (bvxor rS rB) #x00000000)
                 #b100
                 (ite (bvsgt (bvxor rS rB) #x00000000) #b010 #b001))
               ((_ extract 0 0) 'XER)))
           (bvmul ((_ zero_extend 29) #b000) #x00000004)))) (rA (bvxor rS rB)) ('IP (bvadd 'IP #x00000004)))))