Lines Matching defs:f11
1180 int f00, f01, f10, f11, hash;
1194 f11 = HIGH(f1);
1197 f10 = f11 = f1;
1201 f1 = reorder_makenode(var0, f01, f11);
1205 * is greater than one (these are f00...f11), so there is
1289 int f00, f01, f10, f11;
1303 f11 = HIGH(f1);
1306 f10 = f11 = f1;
1310 f1 = reorder_makenode(var0, f01, f11);
1314 * is greater than one (these are f00...f11), so there is