Lines Matching refs:input_file

36 static FILE		*input_file;	/* Input file name */  variable
98 	if (!input_file) {  in dump_stream()
128 	tmp = fgets(buf, ARRAY_SIZE(buf), input_file);  in read_next_insn()
129 	if (tmp == NULL || feof(input_file))  in read_next_insn()
145 	if (input_file)  in generate_insn()
178 				input_file = stdin;  in parse_args()
180 				input_file = fopen(optarg, "r");  in parse_args()
181 			if (!input_file)  in parse_args()
208 	if (set_seed && input_file)  in parse_args()
212 	if (!input_file) {  in parse_args()
260 		(input_file) ? "given" : "random",  in main()