Home
last modified time | relevance | path

Searched refs:Lit1 (Results 1 – 25 of 60) sorted by relevance

123

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/pla/
H A DplaFxch.c323 else if ( Lit == Lit1 ) in Fxch_FilterCubes()
347 assert( Lit0 != Lit1 ); in Fxch_DivisorAdd()
348 if ( Lit0 < Lit1 ) in Fxch_DivisorAdd()
372 assert( Lit0 != Lit1 ); in Fxch_DivisorRemove()
373 if ( Lit0 < Lit1 ) in Fxch_DivisorRemove()
484 if ( Lit0 < Lit1 ) in Fxch_TabInsert()
503 int Lit0, Lit1; in Fxch_TabExtract() local
630 assert( Lit0 >= 0 && Lit1 >= 0 && Lit0 < Lit1 ); in Fxch_ManUpdate()
640 vLitN = Vec_WecEntry(&p->vLits, Lit1); in Fxch_ManUpdate()
775 assert( Lit0 >= 0 && Lit1 >= 0 && Lit0 < Lit1 ); in Fxch_PrintDivOne()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/miniaig/
H A Dminiaig.h77 static void Mini_AigPush( Mini_Aig_t * p, int Lit0, int Lit1 ) in Mini_AigPush() argument
88 p->pArray[p->nSize++] = Lit1; in Mini_AigPush()
231 static int Mini_AigAnd( Mini_Aig_t * p, int Lit0, int Lit1 ) in Mini_AigAnd() argument
235 assert( Lit1 >= 0 && Lit1 < Lit ); in Mini_AigAnd()
236 Mini_AigPush( p, Lit0, Lit1 ); in Mini_AigAnd()
239 static int Mini_AigOr( Mini_Aig_t * p, int Lit0, int Lit1 ) in Mini_AigOr() argument
241 return Mini_AigLitNot( Mini_AigAnd( p, Mini_AigLitNot(Lit0), Mini_AigLitNot(Lit1) ) ); in Mini_AigOr()
243 static int Mini_AigMux( Mini_Aig_t * p, int LitC, int Lit1, int Lit0 ) in Mini_AigMux() argument
245 int Res0 = Mini_AigAnd( p, LitC, Lit1 ); in Mini_AigMux()
249 static int Mini_AigXor( Mini_Aig_t * p, int Lit0, int Lit1 ) in Mini_AigXor() argument
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxch/
H A DFxchMan.c60 Lit1, in Fxch_ManDivSingleCube() local
68 Vec_IntForEachEntryStart( vCube, Lit1, k, (i + 1) ) in Fxch_ManDivSingleCube()
71 assert( Lit0 < Lit1 ); in Fxch_ManDivSingleCube()
132 int Lit1, in Fxch_ManDivDoubleCube() local
138 SubCubeID -= Vec_IntEntry( vLitHashKeys, Lit1 ); in Fxch_ManDivDoubleCube()
514 int Lit1 ) in Fxch_ManCreateCube() argument
541 if ( Lit0 > Lit1 ) in Fxch_ManCreateCube()
542 ABC_SWAP(int, Lit0, Lit1); in Fxch_ManCreateCube()
545 Vec_IntPush( vCube0, Abc_LitNot( Lit1 ) ); in Fxch_ManCreateCube()
589 Lit1 = -1, in Fxch_ManUpdate() local
[all …]
H A DFxchDiv.c413 Lit1 = Abc_Lit2Var( Vec_IntEntry( vDiv, 1 ) ), in Fxch_DivRemoveLits() local
417 if ( Lit0 == Abc_LitNot( Lit1 ) && Lit2 == Abc_LitNot( Lit3 ) && CountN == 1 ) in Fxch_DivRemoveLits()
420 if ( Lit0 == Abc_LitNot( Lit1 ) && ret == 2 ) in Fxch_DivRemoveLits()
473 Lit1 = Abc_Lit2Var( Vec_IntEntry( vDiv, 1 ) ); in Fxch_DivIsNotConstant1() local
475 if ( ( Vec_IntSize( vDiv ) == 2 ) && ( Lit0 == Abc_LitNot( Lit1 ) ) ) in Fxch_DivIsNotConstant1()
/dports/lang/yap/yap-6.2.2/packages/cplint/slipcase/
H A Drevise.pl214 copy_term(Lit1,Lit2),
289 Lit1=..[P|Args1],
291 modeb(_,Lit1),
292 Lit1 =.. [P|Args1],
301 Lit1=..[P|Args1],
302 modeb(_,Lit1),
309 Lit1=..[P|Args1],
310 modeh(_,Lit1),
316 Lit1 =.. [_|Types],
336 Lit1 =.. [Pred|Args1],
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecCl.c160 int Lit0, Lit1; in Acec_DetectLitPolarity() local
167 Lit1 = Acec_DetectLitPolarity( p, Gia_ObjFaninId1(pNode, Node), Leaf ); in Acec_DetectLitPolarity()
169 Lit1 = Lit1 == -1 ? Lit1 : Abc_LitNotCond( Lit1, Gia_ObjFaninC1(pNode) ); in Acec_DetectLitPolarity()
170 if ( Lit0 == -1 && Lit1 == -1 ) in Acec_DetectLitPolarity()
172 assert( Lit0 != -1 || Lit1 != -1 ); in Acec_DetectLitPolarity()
173 if ( Lit0 != -1 && Lit1 != -1 ) in Acec_DetectLitPolarity()
175 assert( Lit0 == Lit1 ); in Acec_DetectLitPolarity()
179 return Lit0 != -1 ? Lit0 : Lit1; in Acec_DetectLitPolarity()
/dports/devel/creduce/creduce-2.10.0/clang_delta/
H A DExpressionDetector.cpp451 const CharacterLiteral *Lit1 = cast<CharacterLiteral>(E1); in isIdenticalExpr() local
453 return Lit1->getValue() == Lit2->getValue(); in isIdenticalExpr()
457 const clang::StringLiteral *Lit1 = cast<clang::StringLiteral>(E1); in isIdenticalExpr() local
459 return Lit1->getBytes() == Lit2->getBytes(); in isIdenticalExpr()
463 const IntegerLiteral *Lit1 = cast<IntegerLiteral>(E1); in isIdenticalExpr() local
465 llvm::APInt I1 = Lit1->getValue(); in isIdenticalExpr()
471 const FloatingLiteral *Lit1 = cast<FloatingLiteral>(E1); in isIdenticalExpr() local
473 return Lit1->getValue().bitwiseIsEqual(Lit2->getValue()); in isIdenticalExpr()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcFx.c622 Lit1 = Abc_Lit2Var( pArray[1] ); in Fx_ManDivFindCubeFree() local
624 if ( Lit0 > Lit1 ) in Fx_ManDivFindCubeFree()
625 ABC_SWAP( int, Lit0, Lit1 ); in Fx_ManDivFindCubeFree()
628 Vec_IntWriteEntry( vCubeFree, 1, Abc_Var2Lit( Lit1, 1 ) ); in Fx_ManDivFindCubeFree()
969 int i, k, Lit0, Lit1, iVarNew = 0, RetValue, Level; in Fx_ManUpdate() local
977 Fx_ManDivFindPivots( vDiv, &Lit0, &Lit1 ); in Fx_ManUpdate()
978 assert( Lit0 >= 0 && Lit1 >= 0 ); in Fx_ManUpdate()
986 Fx_ManCompressCubes( p->vCubes, Vec_WecEntry(p->vLits, Abc_LitNot(Lit1)) ); in Fx_ManUpdate()
992 Fx_ManCompressCubes( p->vCubes, Vec_WecEntry(p->vLits, Lit1) ); in Fx_ManUpdate()
1027 Vec_IntPush( vCube, Abc_LitNot(Lit1) ); in Fx_ManUpdate()
[all …]
/dports/devel/gdb/gdb-11.1/gdb/testsuite/gdb.ada/arr_acc_idx_w_gap/
H A Denum_with_gap.ads37 type Enum_Subrange is new Enum_With_Gaps range Lit1 .. Lit3;
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/compiler/src/
H A Dbeam_dead.erl507 combine_eqs(To, [Reg,{Type,_}=Lit1]=Ops, D, Acc)
515 {label,L2}|_] when Lit1 =/= Lit2 ->
516 {select,select_val,Reg,{f,F2},[Lit1,{f,Next},Lit2,{f,L2}]};
518 {jump,{f,L2}}|_] when Lit1 =/= Lit2 ->
519 {select,select_val,Reg,{f,F2},[Lit1,{f,Next},Lit2,{f,L2}]};
521 List = remove_from_list(Lit1, List0),
522 {select,select_val,Reg,{f,F2},[Lit1,{f,Next}|List]};
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaStg.c84 int i, k = 0, Lit1, Lit2, LitRes; in Gia_ManCreateOrGate() local
85 Vec_IntForEachEntryDouble( vLits, Lit1, Lit2, i ) in Gia_ManCreateOrGate()
87 LitRes = Gia_ManHashOr( p, Lit1, Lit2 ); in Gia_ManCreateOrGate()
H A DgiaHash.c789 int i, k = 0, Lit1, Lit2, LitRes; in Gia_ManHashAndMulti() local
790 Vec_IntForEachEntryDouble( vLits, Lit1, Lit2, i ) in Gia_ManHashAndMulti()
792 LitRes = Gia_ManHashAnd( p, Lit1, Lit2 ); in Gia_ManHashAndMulti()
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/compiler/src/
H A Dbeam_ssa_dead.erl564 get_lit_args([#b_literal{val=Lit1}]) ->
565 [Lit1];
566 get_lit_args([#b_literal{val=Lit1},
568 [Lit1,Lit2];
569 get_lit_args([#b_literal{val=Lit1},
572 [Lit1,Lit2,Lit3];
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/compiler/src/
H A Dbeam_ssa_dead.erl590 get_lit_args([#b_literal{val=Lit1}]) ->
591 [Lit1];
592 get_lit_args([#b_literal{val=Lit1},
594 [Lit1,Lit2];
595 get_lit_args([#b_literal{val=Lit1},
598 [Lit1,Lit2,Lit3];
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/compiler/src/
H A Dbeam_ssa_dead.erl585 get_lit_args([#b_literal{val=Lit1}]) ->
586 [Lit1];
587 get_lit_args([#b_literal{val=Lit1},
589 [Lit1,Lit2];
590 get_lit_args([#b_literal{val=Lit1},
593 [Lit1,Lit2,Lit3];
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/compiler/src/
H A Dbeam_ssa_dead.erl590 get_lit_args([#b_literal{val=Lit1}]) ->
591 [Lit1];
592 get_lit_args([#b_literal{val=Lit1},
594 [Lit1,Lit2];
595 get_lit_args([#b_literal{val=Lit1},
598 [Lit1,Lit2,Lit3];
/dports/lang/erlang/otp-OTP-24.1.7/lib/compiler/src/
H A Dbeam_ssa_dead.erl590 get_lit_args([#b_literal{val=Lit1}]) ->
591 [Lit1];
592 get_lit_args([#b_literal{val=Lit1},
594 [Lit1,Lit2];
595 get_lit_args([#b_literal{val=Lit1},
598 [Lit1,Lit2,Lit3];
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/compiler/src/
H A Dbeam_ssa_dead.erl590 get_lit_args([#b_literal{val=Lit1}]) ->
591 [Lit1];
592 get_lit_args([#b_literal{val=Lit1},
594 [Lit1,Lit2];
595 get_lit_args([#b_literal{val=Lit1},
598 [Lit1,Lit2,Lit3];
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Ddialyzer_dataflow.erl2030 {{literal, Lit1}, {literal, Lit2}} ->
2167 {{literal, Lit1}, {literal, Lit2}} ->
2168 case cerl:concrete(Lit1) =:= cerl:concrete(Lit2) of
2173 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2183 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2188 {{literal, Lit1}, _} when Eval =:= pos ->
2189 case cerl:concrete(Lit1) of
2237 {{literal, Lit1}, {literal, Lit2}} ->
2242 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2252 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
[all …]
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Ddialyzer_dataflow.erl2030 {{literal, Lit1}, {literal, Lit2}} ->
2167 {{literal, Lit1}, {literal, Lit2}} ->
2168 case cerl:concrete(Lit1) =:= cerl:concrete(Lit2) of
2173 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2183 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2188 {{literal, Lit1}, _} when Eval =:= pos ->
2189 case cerl:concrete(Lit1) of
2237 {{literal, Lit1}, {literal, Lit2}} ->
2242 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2252 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
[all …]
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Ddialyzer_dataflow.erl2030 {{literal, Lit1}, {literal, Lit2}} ->
2167 {{literal, Lit1}, {literal, Lit2}} ->
2168 case cerl:concrete(Lit1) =:= cerl:concrete(Lit2) of
2173 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2183 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2188 {{literal, Lit1}, _} when Eval =:= pos ->
2189 case cerl:concrete(Lit1) of
2237 {{literal, Lit1}, {literal, Lit2}} ->
2242 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2252 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
[all …]
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Ddialyzer_dataflow.erl2030 {{literal, Lit1}, {literal, Lit2}} ->
2167 {{literal, Lit1}, {literal, Lit2}} ->
2168 case cerl:concrete(Lit1) =:= cerl:concrete(Lit2) of
2173 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2183 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2188 {{literal, Lit1}, _} when Eval =:= pos ->
2189 case cerl:concrete(Lit1) of
2237 {{literal, Lit1}, {literal, Lit2}} ->
2242 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2252 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
[all …]
/dports/lang/erlang/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Ddialyzer_dataflow.erl2030 {{literal, Lit1}, {literal, Lit2}} ->
2167 {{literal, Lit1}, {literal, Lit2}} ->
2168 case cerl:concrete(Lit1) =:= cerl:concrete(Lit2) of
2173 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2183 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2188 {{literal, Lit1}, _} when Eval =:= pos ->
2189 case cerl:concrete(Lit1) of
2237 {{literal, Lit1}, {literal, Lit2}} ->
2242 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2252 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
[all …]
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Ddialyzer_dataflow.erl2030 {{literal, Lit1}, {literal, Lit2}} ->
2167 {{literal, Lit1}, {literal, Lit2}} ->
2168 case cerl:concrete(Lit1) =:= cerl:concrete(Lit2) of
2173 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2183 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2188 {{literal, Lit1}, _} when Eval =:= pos ->
2189 case cerl:concrete(Lit1) of
2237 {{literal, Lit1}, {literal, Lit2}} ->
2242 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2252 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
[all …]
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/dialyzer/test/opaque_SUITE_data/src/recrec/
H A Ddialyzer_dataflow.erl2030 {{literal, Lit1}, {literal, Lit2}} ->
2167 {{literal, Lit1}, {literal, Lit2}} ->
2168 case cerl:concrete(Lit1) =:= cerl:concrete(Lit2) of
2173 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2183 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2188 {{literal, Lit1}, _} when Eval =:= pos ->
2189 case cerl:concrete(Lit1) of
2237 {{literal, Lit1}, {literal, Lit2}} ->
2242 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
2252 ArgTypes = [t_from_term(cerl:concrete(Lit1)),
[all …]

123