Lines Matching defs:fn
532 let fn = define_function "use_function" ty m in
533 let b = builder_at_end context (entry_block fn) in
535 let p1 = param fn 0 in
536 let p2 = param fn 1 in
559 let fn = define_function "user_function" ty m in
560 let b = builder_at_end context (entry_block fn) in
562 let p1 = param fn 0 in
563 let p2 = param fn 1 in
599 let fn = declare_function "Fn1" ty m in
600 insist (pointer_type ty = type_of fn);
601 insist (is_declaration fn);
602 insist (0 = Array.length (basic_blocks fn));
604 insist (fn == declare_function "Fn1" ty m);
606 insist (match lookup_function "Fn1" m with Some x -> x = fn
608 insist (m == global_parent fn)
614 let fn = declare_function "Fn2" ty m in
615 delete_function fn;
620 let fn = define_function "Fn3" ty m in
621 insist (not (is_declaration fn));
622 insist (1 = Array.length (basic_blocks fn));
623 ignore (build_unreachable (builder_at_end context (entry_block fn)));
628 let fn = define_function "Fn4" ty m in
629 let params = params fn in
631 insist (params.(0) = param fn 0);
632 insist (params.(1) = param fn 1);
637 ignore (build_unreachable (builder_at_end context (entry_block fn)));
642 let fn = define_function "Fn5" ty m in
643 insist (CallConv.c = function_call_conv fn);
644 set_function_call_conv CallConv.fast fn;
645 insist (CallConv.fast = function_call_conv fn);
646 ignore (build_unreachable (builder_at_end context (entry_block fn)));
651 let fn = define_function "Fn6" ty m in
652 insist (None = gc fn);
653 set_gc (Some "ocaml") fn;
654 insist (Some "ocaml" = gc fn);
655 set_gc None fn;
656 insist (None = gc fn);
657 set_gc (Some "shadowstack") fn;
658 ignore (build_unreachable (builder_at_end context (entry_block fn)));
738 let fn = declare_function "X" ty m in
739 let bb = append_block context "Bb1" fn in
740 insist (bb = entry_block fn);
746 let fn = declare_function "X2" ty m in
747 let bb = append_block context "Bb2" fn in
751 let fn = declare_function "X3" ty m in
752 let bbb = append_block context "b" fn in
754 insist ([| bba; bbb |] = basic_blocks fn);
761 let fn = define_function "X4" ty m in
762 let bb = entry_block fn in
769 let fn = define_function "X5" ty m in
770 let bb = entry_block fn in
851 let fn = define_function "BuilderParent" fty m in
852 let bb = entry_block fn in
854 let p = param fn 0 in
858 insist (fn = block_parent bb);
859 insist (fn = param_parent p);
869 let fn = declare_function "X6" fty m in
870 let b = builder_at_end context (append_block context "Bb01" fn) in
880 let fn = declare_function "XA6" fty m in
881 let b = builder_at_end context (append_block context "Bb01" fn) in
888 let fn = define_function "X7" fty m in
889 let atentry = builder_at_end context (entry_block fn) in
890 let p1 = param fn 0 ++ set_value_name "P1" in
891 let p2 = param fn 1 ++ set_value_name "P2" in
895 let bb00 = append_block context "Bb00" fn in
900 ignore (add_function_attr fn Attribute.UWTable);
904 insist ([Attribute.UWTable] = function_attr fn);
994 let ci = build_call fn [| p2; p1 |] "build_call" atentry in
1098 let bblpad = append_block context "Bblpad" fn in
1129 let bb02 = append_block context "Bb02" fn in
1137 let bb03 = append_block context "Bb03" fn in
1147 let bb1 = append_block context "SwiBlock1" fn in
1148 let bb2 = append_block context "SwiBlock2" fn in
1150 let bb3 = append_block context "SwiBlock3" fn in
1163 let bb1 = append_block context "MallocBlock1" fn in
1174 let bb1 = append_block context "IBRBlock1" fn in
1176 let bb2 = append_block context "IBRBlock2" fn in
1179 let bb3 = append_block context "IBRBlock3" fn in
1182 let addr = block_address fn bb2 in
1192 let bb04 = append_block context "Bb04" fn in
1194 ignore (build_invoke fn [| p1; p2 |] bb04 bblpad "build_invoke" b)
1200 let bb06 = append_block context "Bb06" fn in
1206 let bb07 = append_block context "Bb07" fn in
1274 let bb08 = append_block context "Bb08" fn in
1316 let bb09 = append_block context "Bb09" fn in
1331 let b1 = append_block context "PhiBlock1" fn in
1332 let b2 = append_block context "PhiBlock2" fn in
1334 let jb = append_block context "PhiJoinBlock" fn in
1369 let fn = define_function "FunctionPassManager" fty m in
1370 ignore (build_ret_void (builder_at_end context (entry_block fn)));
1374 ++ PassManager.run_function fn