Lines Matching refs:f2
1027 let f2 = (((if (s2.psrs (0,CPSR)).M = 22w then
1037 ((? a b a' b'. (f2 s1 = ValueState a b) /\ (f2 s2 = ValueState a' b')
1041 (?e. (f2 s1 =Error e) /\ (f2 s2 = Error e)))
1070 let f2 = (((if (s2.psrs (0,CPSR)).M = 22w then
1081 ((? a b a' b'. (f2 s1 = ValueState a b) /\ (f2 s2 = ValueState a' b')
1084 (?e. (f2 s1 = Error e) /\ (f2 s2 = Error e) ))
1115 let f2 = (((if (s2.psrs (0,CPSR)).M = 22w then
1127 ((? a a' b b'. (f2 s1 = ValueState a b) /\ (f2 s2 = ValueState a' b')
1131 (?e. (f2 s1 = Error e) /\ (f2 s2 = Error e) ))``,