4205     Scheme_Object *app_o = (Scheme_Object *)app;  in finish_optimize_application()  local
4218 …check_known(info, app_o, rator, rand1, "vector-set!", scheme_vector_p_proc, NULL, info->unsafe_mod…  in finish_optimize_application()
4219 …check_known(info, app_o, rator, rand2, "vector-set!", scheme_fixnum_p_proc, NULL, info->unsafe_mod…  in finish_optimize_application()
4220       check_known(info, app_o, rator, rand1, "vector*-set!", scheme_vector_p_proc,  in finish_optimize_application()
4222 …check_known(info, app_o, rator, rand2, "vector*-set!", scheme_fixnum_p_proc, NULL, info->unsafe_mo…  in finish_optimize_application()
4224 …check_known(info, app_o, rator, rand1, "procedure-arity-includes?", scheme_procedure_p_proc, NULL,…  in finish_optimize_application()
4226 …   check_known(info, app_o, rator, rand1, "map", scheme_procedure_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application()
4227 …check_known(info, app_o, rator, rand1, "for-each", scheme_procedure_p_proc, NULL, info->unsafe_mod…  in finish_optimize_application()
4228 …check_known(info, app_o, rator, rand1, "andmap", scheme_procedure_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application()
4229 … check_known(info, app_o, rator, rand1, "ormap", scheme_procedure_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application()
4230       check_known_all(info, app_o, 1, 0, "map", scheme_list_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application()
4231       check_known_all(info, app_o, 1, 0, "for-each", scheme_list_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application()
4232       check_known_all(info, app_o, 1, 0, "andmap", scheme_list_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application()
4233       check_known_all(info, app_o, 1, 0, "ormap", scheme_list_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application()
4235       check_known(info, app_o, rator, rand1, "string-set!", scheme_string_p_proc,  in finish_optimize_application()
4237 …check_known(info, app_o, rator, rand2, "string-set!", scheme_fixnum_p_proc, NULL, info->unsafe_mod…  in finish_optimize_application()
4238 …check_known(info, app_o, rator, rand3, "string-set!", scheme_char_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application()
4239       check_known(info, app_o, rator, rand1, "bytes-set!", scheme_byte_string_p_proc,  in finish_optimize_application()
4241 …check_known(info, app_o, rator, rand2, "bytes-set!", scheme_fixnum_p_proc, NULL, info->unsafe_mode…  in finish_optimize_application()
4242 …check_known(info, app_o, rator, rand3, "bytes-set!", scheme_fixnum_p_proc, NULL, info->unsafe_mode…  in finish_optimize_application()
4244 …check_known_all(info, app_o, 0, 0, "string-append", scheme_string_p_proc, scheme_true, info->unsaf…  in finish_optimize_application()
4245 …check_known_all(info, app_o, 0, 0, "bytes-append", scheme_byte_string_p_proc, scheme_true, info->u…  in finish_optimize_application()
4247 …  check_known_all(info, app_o, 0, 1, "append", scheme_list_p_proc, scheme_true, info->unsafe_mode);  in finish_optimize_application()
4251       check_known_all(info, app_o, 0, 0, NULL, scheme_real_p_proc,  in finish_optimize_application()
4255       check_known_all(info, app_o, 0, 0, NULL, scheme_number_p_proc,  in finish_optimize_application()
4648       Scheme_Object *app_o = (Scheme_Object *)app;  in finish_optimize_application2()  local
4651 …check_known_variant(info, app_o, rator, rand, "bitwise-not", scheme_fixnum_p_proc, scheme_unsafe_f…  in finish_optimize_application2()
4652 …check_known_variant(info, app_o, rator, rand, "fxnot", scheme_fixnum_p_proc, scheme_unsafe_fxnot_p…  in finish_optimize_application2()
4654 …check_known(info, app_o, rator, rand, "car", scheme_pair_p_proc, scheme_unsafe_car_proc, info->uns…  in finish_optimize_application2()
4655 …  check_known(info, app_o, rator, rand, "unsafe-car", scheme_pair_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4656 …check_known(info, app_o, rator, rand, "cdr", scheme_pair_p_proc, scheme_unsafe_cdr_proc, info->uns…  in finish_optimize_application2()
4657 …  check_known(info, app_o, rator, rand, "unsafe-cdr", scheme_pair_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4658 …check_known(info, app_o, rator, rand, "mcar", scheme_mpair_p_proc, scheme_unsafe_mcar_proc, info->…  in finish_optimize_application2()
4659 …check_known(info, app_o, rator, rand, "unsafe-mcar", scheme_mpair_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4660 …check_known(info, app_o, rator, rand, "mcdr", scheme_mpair_p_proc, scheme_unsafe_mcdr_proc, info->…  in finish_optimize_application2()
4661 …check_known(info, app_o, rator, rand, "unsafe-mcdr", scheme_mpair_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4662 …check_known(info, app_o, rator, rand, "string-length", scheme_string_p_proc, scheme_unsafe_string_…  in finish_optimize_application2()
4663 …check_known(info, app_o, rator, rand, "bytes-length", scheme_byte_string_p_proc, scheme_unsafe_byt…  in finish_optimize_application2()
4665 …check_known(info, app_o, rator, rand, "unbox", scheme_box_p_proc, scheme_unsafe_unbox_proc, info->…  in finish_optimize_application2()
4666         check_known(info, app_o, rator, rand, "unbox*", scheme_box_p_proc,  in finish_optimize_application2()
4668 … check_known(info, app_o, rator, rand, "unsafe-unbox", scheme_box_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4669 …check_known(info, app_o, rator, rand, "unsafe-unbox*", scheme_box_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4670 …check_known(info, app_o, rator, rand, "vector-length", scheme_vector_p_proc, scheme_unsafe_vector_…  in finish_optimize_application2()
4671         check_known(info, app_o, rator, rand, "vector*-length", scheme_vector_p_proc,  in finish_optimize_application2()
4674 …check_known(info, app_o, rator, rand, "length", scheme_list_p_proc, scheme_true, info->unsafe_mode…  in finish_optimize_application2()
4676 …check_known(info, app_o, rator, rand, "string-append", scheme_string_p_proc, scheme_true, info->un…  in finish_optimize_application2()
4677 …check_known(info, app_o, rator, rand, "string-append-immutable", scheme_string_p_proc, scheme_true…  in finish_optimize_application2()
4678 …check_known(info, app_o, rator, rand, "bytes-append", scheme_byte_string_p_proc, scheme_true, info…  in finish_optimize_application2()
4679 …check_known(info, app_o, rator, rand, "string->immutable-string", scheme_string_p_proc, scheme_tru…  in finish_optimize_application2()
4680 …check_known(info, app_o, rator, rand, "bytes->immutable-bytes", scheme_byte_string_p_proc, scheme_…  in finish_optimize_application2()
4682 …check_known(info, app_o, rator, rand, "string->symbol", scheme_string_p_proc, scheme_true, info->u…  in finish_optimize_application2()
4683 …check_known(info, app_o, rator, rand, "symbol->string", scheme_symbol_p_proc, scheme_true, info->u…  in finish_optimize_application2()
4684 …check_known(info, app_o, rator, rand, "symbol->string-immutable", scheme_symbol_p_proc, scheme_tru…  in finish_optimize_application2()
4685 …check_known(info, app_o, rator, rand, "string->keyword", scheme_string_p_proc, scheme_true, info->…  in finish_optimize_application2()
4686 …check_known(info, app_o, rator, rand, "keyword->string", scheme_keyword_p_proc, scheme_true, info-…  in finish_optimize_application2()
4688 …check_known(info, app_o, rator, rand, "char->integer", scheme_char_p_proc, scheme_unsafe_char_to_i…  in finish_optimize_application2()
4697             reset_rator(app_o, scheme_unsafe_fx_to_fl_proc);  in finish_optimize_application2()
4702         check_known(info, app_o, rator, rand, NULL, scheme_real_p_proc,  in finish_optimize_application2()
4706         check_known(info, app_o, rator, rand, NULL, scheme_number_p_proc,  in finish_optimize_application2()
4712         check_known(info, app_o, rator, rand, "caar", scheme_pair_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4713         check_known(info, app_o, rator, rand, "cadr", scheme_pair_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4714         check_known(info, app_o, rator, rand, "cdar", scheme_pair_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4715         check_known(info, app_o, rator, rand, "cddr", scheme_pair_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4717         check_known(info, app_o, rator, rand, "caddr", scheme_pair_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4718         check_known(info, app_o, rator, rand, "cdddr", scheme_pair_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4719 …      check_known(info, app_o, rator, rand, "cadddr", scheme_pair_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4720 …      check_known(info, app_o, rator, rand, "cddddr", scheme_pair_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application2()
4722 …check_known(info, app_o, rator, rand, "list->vector", scheme_list_p_proc, scheme_true, info->unsaf…  in finish_optimize_application2()
4723 …check_known(info, app_o, rator, rand, "vector->list", scheme_vector_p_proc, NULL, info->unsafe_mod…  in finish_optimize_application2()
4724 …check_known(info, app_o, rator, rand, "vector->values", scheme_vector_p_proc, NULL, info->unsafe_m…  in finish_optimize_application2()
4725 …check_known(info, app_o, rator, rand, "vector->immutable-vector", scheme_vector_p_proc, NULL, info…  in finish_optimize_application2()
4726 …check_known(info, app_o, rator, rand, "make-vector", scheme_fixnum_p_proc, NULL, info->unsafe_mode…  in finish_optimize_application2()
5149 …Scheme_Object *app_o = (Scheme_Object *)app, *rator = app->rator, *rand1 = app->rand1, *rand2 = ap…  in finish_optimize_application3()  local
5152 …    check_known_both_variant(info, app_o, rator, rand1, rand2, "bitwise-and", scheme_fixnum_p_proc,  in finish_optimize_application3()
5154 …    check_known_both_variant(info, app_o, rator, rand1, rand2, "bitwise-ior", scheme_fixnum_p_proc,  in finish_optimize_application3()
5156 …    check_known_both_variant(info, app_o, rator, rand1, rand2, "bitwise-xor", scheme_fixnum_p_proc,  in finish_optimize_application3()
5159       check_known_both_variant(info, app_o, rator, rand1, rand2, "fxand", scheme_fixnum_p_proc,  in finish_optimize_application3()
5161       check_known_both_variant(info, app_o, rator, rand1, rand2, "fxior", scheme_fixnum_p_proc,  in finish_optimize_application3()
5163       check_known_both_variant(info, app_o, rator, rand1, rand2, "fxxor", scheme_fixnum_p_proc,  in finish_optimize_application3()
5166 …check_known_both_try(info, app_o, rator, rand1, rand2, "=", scheme_fixnum_p_proc, scheme_unsafe_fx…  in finish_optimize_application3()
5167 …check_known_both_try(info, app_o, rator, rand1, rand2, "<", scheme_fixnum_p_proc, scheme_unsafe_fx…  in finish_optimize_application3()
5168 …check_known_both_try(info, app_o, rator, rand1, rand2, ">", scheme_fixnum_p_proc, scheme_unsafe_fx…  in finish_optimize_application3()
5169 …check_known_both_try(info, app_o, rator, rand1, rand2, "<=", scheme_fixnum_p_proc, scheme_unsafe_f…  in finish_optimize_application3()
5170 …check_known_both_try(info, app_o, rator, rand1, rand2, ">=", scheme_fixnum_p_proc, scheme_unsafe_f…  in finish_optimize_application3()
5171 …check_known_both_try(info, app_o, rator, rand1, rand2, "min", scheme_fixnum_p_proc, scheme_unsafe_…  in finish_optimize_application3()
5172 …check_known_both_try(info, app_o, rator, rand1, rand2, "max", scheme_fixnum_p_proc, scheme_unsafe_…  in finish_optimize_application3()
5174 …check_known_both_try(info, app_o, rator, rand1, rand2, "fx=", scheme_fixnum_p_proc, scheme_unsafe_…  in finish_optimize_application3()
5175 …check_known_both_try(info, app_o, rator, rand1, rand2, "fx<", scheme_fixnum_p_proc, scheme_unsafe_…  in finish_optimize_application3()
5176 …check_known_both_try(info, app_o, rator, rand1, rand2, "fx>", scheme_fixnum_p_proc, scheme_unsafe_…  in finish_optimize_application3()
5177 …check_known_both_try(info, app_o, rator, rand1, rand2, "fx<=", scheme_fixnum_p_proc, scheme_unsafe…  in finish_optimize_application3()
5178 …check_known_both_try(info, app_o, rator, rand1, rand2, "fx>=", scheme_fixnum_p_proc, scheme_unsafe…  in finish_optimize_application3()
5179 …check_known_both_try(info, app_o, rator, rand1, rand2, "fxmin", scheme_fixnum_p_proc, scheme_unsaf…  in finish_optimize_application3()
5180 …check_known_both_try(info, app_o, rator, rand1, rand2, "fxmax", scheme_fixnum_p_proc, scheme_unsaf…  in finish_optimize_application3()
5182 …check_known_both_try(info, app_o, rator, rand1, rand2, "fx+", scheme_fixnum_p_proc, scheme_unsafe_…  in finish_optimize_application3()
5183 …check_known_both_try(info, app_o, rator, rand1, rand2, "fx-", scheme_fixnum_p_proc, scheme_unsafe_…  in finish_optimize_application3()
5184 …check_known_both_try(info, app_o, rator, rand1, rand2, "fx*", scheme_fixnum_p_proc, scheme_unsafe_…  in finish_optimize_application3()
5186 …check_known_both_try(info, app_o, rator, rand1, rand2, "char=?", scheme_char_p_proc, scheme_unsafe…  in finish_optimize_application3()
5187 …check_known_both_try(info, app_o, rator, rand1, rand2, "char<?", scheme_char_p_proc, scheme_unsafe…  in finish_optimize_application3()
5188 …check_known_both_try(info, app_o, rator, rand1, rand2, "char>?", scheme_char_p_proc, scheme_unsafe…  in finish_optimize_application3()
5189 …check_known_both_try(info, app_o, rator, rand1, rand2, "char<=?", scheme_char_p_proc, scheme_unsaf…  in finish_optimize_application3()
5190 …check_known_both_try(info, app_o, rator, rand1, rand2, "char>=?", scheme_char_p_proc, scheme_unsaf…  in finish_optimize_application3()
5194 …check_known_both(info, app_o, rator, rand1, rand2, "string-append", scheme_string_p_proc, scheme_t…  in finish_optimize_application3()
5195 …check_known_both(info, app_o, rator, rand1, rand2, "bytes-append", scheme_byte_string_p_proc, sche…  in finish_optimize_application3()
5196 …check_known(info, app_o, rator, rand1, "string-ref", scheme_string_p_proc, NULL, info->unsafe_mode…  in finish_optimize_application3()
5197 …check_known(info, app_o, rator, rand2, "string-ref", scheme_fixnum_p_proc, NULL, info->unsafe_mode…  in finish_optimize_application3()
5198       check_known(info, app_o, rator, rand1, "bytes-ref", scheme_byte_string_p_proc,  in finish_optimize_application3()
5200 …check_known(info, app_o, rator, rand2, "bytes-ref", scheme_fixnum_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application3()
5202 …check_known(info, app_o, rator, rand1, "append", scheme_list_p_proc, scheme_true, info->unsafe_mod…  in finish_optimize_application3()
5203 …   check_known(info, app_o, rator, rand1, "list-ref", scheme_pair_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application3()
5204 … check_known(info, app_o, rator, rand2, "list-ref", scheme_fixnum_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application3()
5208       check_known_both(info, app_o, rator, rand1, rand2, NULL, scheme_real_p_proc,  in finish_optimize_application3()
5212       check_known_both(info, app_o, rator, rand1, rand2, NULL, scheme_number_p_proc,  in finish_optimize_application3()
5217 …check_known(info, app_o, rator, rand1, "vector-ref", scheme_vector_p_proc, NULL, info->unsafe_mode…  in finish_optimize_application3()
5218 …check_known(info, app_o, rator, rand2, "vector-ref", scheme_fixnum_p_proc, NULL, info->unsafe_mode…  in finish_optimize_application3()
5219       check_known(info, app_o, rator, rand1, "vector*-ref", scheme_vector_p_proc,  in finish_optimize_application3()
5221 …check_known(info, app_o, rator, rand2, "vector*-ref", scheme_fixnum_p_proc, NULL, info->unsafe_mod…  in finish_optimize_application3()
5222 …check_known(info, app_o, rator, rand1, "make-vector", scheme_fixnum_p_proc, NULL, info->unsafe_mod…  in finish_optimize_application3()
5224 …    check_known(info, app_o, rator, rand1, "set-box!", scheme_box_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application3()
5225       check_known(info, app_o, rator, rand1, "set-box*!", scheme_box_p_proc,  in finish_optimize_application3()
5227 …check_known(info, app_o, rator, rand1, "unsafe-set-box!", scheme_box_p_proc, NULL, info->unsafe_mo…  in finish_optimize_application3()
5228 …check_known(info, app_o, rator, rand1, "unsafe-set-box*!", scheme_box_p_proc, NULL, info->unsafe_m…  in finish_optimize_application3()
5230 …check_known(info, app_o, rator, rand1, "procedure-closure-contents-eq?", scheme_procedure_p_proc, …  in finish_optimize_application3()
5231 …check_known(info, app_o, rator, rand2, "procedure-closure-contents-eq?", scheme_procedure_p_proc, …  in finish_optimize_application3()
5232 …check_known(info, app_o, rator, rand1, "procedure-arity-includes?", scheme_procedure_p_proc, NULL,…  in finish_optimize_application3()
5234 …   check_known(info, app_o, rator, rand1, "map", scheme_procedure_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application3()
5235 …check_known(info, app_o, rator, rand1, "for-each", scheme_procedure_p_proc, NULL, info->unsafe_mod…  in finish_optimize_application3()
5236 …check_known(info, app_o, rator, rand1, "andmap", scheme_procedure_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application3()
5237 … check_known(info, app_o, rator, rand1, "ormap", scheme_procedure_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application3()
5238       check_known(info, app_o, rator, rand2, "map", scheme_list_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application3()
5239 …   check_known(info, app_o, rator, rand2, "for-each", scheme_list_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application3()
5240       check_known(info, app_o, rator, rand2, "andmap", scheme_list_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application3()
5241       check_known(info, app_o, rator, rand2, "ormap", scheme_list_p_proc, NULL, info->unsafe_mode);  in finish_optimize_application3()