Lines Matching refs:lf
481 let lf s x = s ^ "->" ^ value_name x in
482 insist ("->One->Two" = fold_left_globals lf "" m);
504 let lf s u = value_name (user u) ^ "->" ^ s in
505 insist ("v2->v3->" = fold_left_uses lf "" v1);
509 let lf s u = value_name (used_value u) ^ "->" ^ s in
510 insist ("v1->v1->" = fold_left_uses lf "" v1);
640 let lf s x = s ^ "->" ^ value_name x in
641 insist ("->One->Two" = fold_left_functions lf "" m);
682 let lf s x = s ^ "->" ^ value_name x in
683 insist ("->One->Two" = fold_left_params lf "" f);
756 let lf s x = s ^ "->" ^ value_name (value_of_block x) in
757 insist ("->One->Two" = fold_left_blocks lf "" f);
790 let lf s x = s ^ "->" ^ value_name x in
791 insist ("->One->Two" = fold_left_instrs lf "" bb);
