arm/model/arm.sml

2062     val cond = CurrentCond ()
2064       case BitsN.bits(3,1) cond of
2078     if (BitsN.bit(cond,0)) andalso (not(cond = (BitsN.B(0xF,4))))
7079 fun Do (cond,defined) =
7080   ( CurrentCondition := cond
7091 fun UndefinedARM cond =
7092   ( CurrentCondition := cond
7115 fun DecodeHint (cond,op') =
7120   else if Do(cond,
8100     val cond = BitsN.bits(31,28) w
8102     if cond = (BitsN.B(0xF,4))
8919                 ( CurrentCondition := cond
8960               if Do(cond,HaveVirtExt ())
9020               if Do(cond,true)
9067               if Do(cond,HaveVirtExt ())
9124               if Do(cond,true)
9178               if Do(cond,not((!Architecture) = ARMv4))
9222               if Do(cond,Nat.>=(ArchVersion (),5))
9268               if Do(cond,Nat.>=(ArchVersion (),5))
9309               if Do(cond,HaveDSPSupport ())
9349                then ( if not(cond = (BitsN.B(0xE,4)))
9352                     ; CurrentCondition := cond
9367              else if Do(cond,false)
9394             (if Do(cond,HaveVirtExt ())
9395                then ( if not(cond = (BitsN.B(0xE,4)))
9447               if Do(cond,HaveSecurityExt ())
9487               if Do(cond,HaveDSPSupport ())
9539               if Do(cond,HaveDSPSupport ())
9591               if Do(cond,HaveDSPSupport ())
9642               if Do(cond,HaveDSPSupport ())
9697               if Do(cond,HaveDSPSupport ())
9743             if Do(cond,HaveVirtExt ())
9785               if Do(cond,true)
9844               if Do(cond,true)
9905               if Do(cond,true)
9959               if Do(cond,Nat.>=(ArchVersion (),6))
10002               if Do(cond,HaveThumb2 ())
10044               if Do(cond,true)
10106               if Do(cond,true)
10156               if Do(cond,Nat.>=(ArchVersion (),6))
10205               if Do(cond,Nat.>=(ArchVersion (),6))
10246               if Do(cond,Set.mem((!Architecture),[ARMv6K,ARMv7_A,ARMv7_R]))
10302               if Do(cond,Set.mem((!Architecture),[ARMv6K,ARMv7_A,ARMv7_R]))
10350               if Do(cond,Set.mem((!Architecture),[ARMv6K,ARMv7_A,ARMv7_R]))
10400               if Do(cond,Set.mem((!Architecture),[ARMv6K,ARMv7_A,ARMv7_R]))
10441               if Do(cond,Set.mem((!Architecture),[ARMv6K,ARMv7_A,ARMv7_R]))
10491               if Do(cond,Set.mem((!Architecture),[ARMv6K,ARMv7_A,ARMv7_R]))
10532               if Do(cond,HaveThumb2 ())
10588               if Do(cond,true)
10652               if Do(cond,
10717               if Do(cond,
10790               if Do(cond,HaveDSPSupport ())
10867               if Do(cond,HaveDSPSupport ())
10927               if Do(cond,HaveDSPSupport ())
11004               if Do(cond,
11072               if Do(cond,
11135               if Do(cond,
11207               if Do(cond,HaveThumb2 ())
11264               if Do(cond,true)
11326               if Do(cond,HaveThumb2 ())
11384                   (cond,
11422               if Do(cond,true)
11480               if Do(cond,true)
11535               if Do(cond,true)
11597               if Do(cond,true)
11665               if Do(cond,true)
11728               if Do(cond,true)
11785               if Do(cond,true)
11853               if Do(cond,true)
11916               if Do(cond,true)
11984               if Do(cond,true)
12047               if Do(cond,true)
12121               if Do(cond,Nat.>=(ArchVersion (),6))
12165               if Do(cond,Nat.>=(ArchVersion (),6))
12218               if Do(cond,Nat.>=(ArchVersion (),6))
12259               if Do(cond,Nat.>=(ArchVersion (),6))
12322               if Do(cond,Nat.>=(ArchVersion (),6))
12371               if Do(cond,Nat.>=(ArchVersion (),6))
12426               if Do(cond,Nat.>=(ArchVersion (),6))
12481               if Do(cond,Nat.>=(ArchVersion (),6))
12540               if Do(cond,Nat.>=(ArchVersion (),6))
12583               if Do(cond,Nat.>=(ArchVersion (),6))
12627               if Do(cond,Nat.>=(ArchVersion (),6))
12671               if Do(cond,Nat.>=(ArchVersion (),6))
12707               if Do(cond,Nat.>=(ArchVersion (),6))
12765               if Do(cond,Nat.>=(ArchVersion (),6))
12816               if Do(cond,Nat.>=(ArchVersion (),6))
12869               if Do(cond,Nat.>=(ArchVersion (),6))
12918               if Do(cond,Nat.>=(ArchVersion (),6))
12962               if Do(cond,Nat.>=(ArchVersion (),6))
13018               if Do(cond,Nat.>=(ArchVersion (),6))
13081               if Do(cond,true)
13135               if Do(cond,true)
13196               if Do(cond,true)
13251               if Do(cond,true)
13312               if Do(cond,true)
13365             (if Do(cond,true)
13407             (if Do(cond,true)
13451             (if Do(cond,true)
13478               if Do(cond,defined)
13487           | _ => UndefinedARM cond
14884          (cond'3,
14885           (cond'2,
14886            (cond'1,
14887             (cond'0,
14890        (if Do(BitsN.fromBitstring([cond'3,cond'2,cond'1,cond'0],4),true)
17522             (cond'3,
17523              (cond'2,
17524               (cond'1,
17525                (cond'0,(imm6'5,(imm6'4,(imm6'3,(imm6'2,(imm6'1,imm6'0))))))))))))))),
17537        (if Do(BitsN.fromBitstring([cond'3,cond'2,cond'1,cond'0],4),
23446      [cond,s] =>
23447        (case (p_cond cond,
23451    | [cond] =>
23452      (case p_cond cond of
23459      [cond,s1,s2] =>
23460        (case (p_cond cond,