Lines Matching defs:rf
1 (* RUN: rm -rf %t.builddir
517 let rf x s = value_name x ^ "<-" ^ s in
518 insist ("One<-Two<-" = fold_right_globals rf m "");
543 let rf u s = value_name (user u) ^ "<-" ^ s in
544 insist ("v3<-v2<-" = fold_right_uses rf v1 "");
549 let rf u s = value_name (used_value u) ^ "<-" ^ s in
550 insist ("v1<-v1<-" = fold_right_uses rf v1 "");
681 let rf x s = value_name x ^ "<-" ^ s in
682 insist ("One<-Two<-" = fold_right_functions rf m "");
723 let rf x s = value_name x ^ "<-" ^ s in
724 insist ("One<-Two<-" = fold_right_params rf f "");
797 let rf x s = value_name (value_of_block x) ^ "<-" ^ s in
798 insist ("One<-Two<-" = fold_right_blocks rf f "");
831 let rf x s = value_name x ^ "<-" ^ s in
832 insist ("One<-Two<-" = fold_right_instrs rf bb "");