HomeSort by: relevance | last modified time | path
    Searched refs:model1 (Results 1 - 7 of 7) sorted by relevancy

  /src/external/gpl3/gdb/dist/sim/igen/
compare_igen_models 38 echo "usage: $0 model1 model2 [file ...]" 1>&2
41 model1="$1"
45 gawk -v model1="$model1" -v model2="$model2" -F: -- '
107 compare_models(model1, model2)
109 compare_models(model2, model1)
  /src/external/gpl3/gdb.old/dist/sim/igen/
compare_igen_models 38 echo "usage: $0 model1 model2 [file ...]" 1>&2
41 model1="$1"
45 gawk -v model1="$model1" -v model2="$model2" -F: -- '
107 compare_models(model1, model2)
109 compare_models(model2, model1)
  /src/external/gpl3/gcc.old/dist/gcc/analyzer/
region-model.cc 5430 region_model model1 (&mgr);
5431 ASSERT_EQ (model0, model1);
5433 /* Verify that setting state in model1 makes the models non-equal. */
5437 ASSERT_NE (model0, model1);
5443 ASSERT_NE (model1, model2);
5476 region_model model1 (&mgr);
5477 model1.set_value (model1.get_lvalue (y, NULL),
5478 model1.get_rvalue (int_113, NULL),
5480 model1.set_value (model1.get_lvalue (x, NULL)
    [all...]
constraint-manager.cc 3891 region_model model1 (&mgr);
3894 constraint_manager *cm1 = model1.get_constraints ();
3899 ASSERT_EQ (model0.hash (), model1.hash ());
3900 ASSERT_EQ (model0, model1);
3902 ADD_SAT_CONSTRAINT (model1, x, EQ_EXPR, y);
3906 ASSERT_NE (model0.hash (), model1.hash ());
3907 ASSERT_NE (model0, model1);
3916 ASSERT_EQ (model1.hash (), model2.hash ());
3917 ASSERT_EQ (model1, model2);
  /src/external/gpl3/gcc/dist/gcc/analyzer/
region-model.cc 8159 region_model model1 (&mgr);
8160 ASSERT_EQ (model0, model1);
8162 /* Verify that setting state in model1 makes the models non-equal. */
8166 ASSERT_NE (model0, model1);
8172 ASSERT_NE (model1, model2);
8205 region_model model1 (&mgr);
8206 model1.set_value (model1.get_lvalue (y, NULL),
8207 model1.get_rvalue (int_113, NULL),
8209 model1.set_value (model1.get_lvalue (x, NULL)
    [all...]
constraint-manager.cc 4156 region_model model1 (&mgr);
4159 constraint_manager *cm1 = model1.get_constraints ();
4164 ASSERT_EQ (model0.hash (), model1.hash ());
4165 ASSERT_EQ (model0, model1);
4167 ADD_SAT_CONSTRAINT (model1, x, EQ_EXPR, y);
4171 ASSERT_NE (model0.hash (), model1.hash ());
4172 ASSERT_NE (model0, model1);
4181 ASSERT_EQ (model1.hash (), model2.hash ());
4182 ASSERT_EQ (model1, model2);
  /src/external/gpl3/gcc/dist/gcc/config/riscv/
riscv.cc 5989 riscv_union_memmodels (enum memmodel model1, enum memmodel model2)
5991 model1 = memmodel_base (model1);
5994 enum memmodel weaker = model1 <= model2 ? model1: model2;
5995 enum memmodel stronger = model1 > model2 ? model1: model2;

Completed in 112 milliseconds