Lines Matching refs:llvalue
35 type llvalue
438 val type_of : llvalue -> lltype
444 val value_name : llvalue -> string
448 val set_value_name : string -> llvalue -> unit
452 val dump_value : llvalue -> unit
456 val replace_all_uses_with : llvalue -> llvalue -> unit
465 val use_begin : llvalue -> lluse option
473 val user : lluse -> llvalue
477 val used_value : lluse -> llvalue
481 val iter_uses : (lluse -> unit) -> llvalue -> unit
485 val fold_left_uses : ('a -> lluse -> 'a) -> 'a -> llvalue -> 'a
489 val fold_right_uses : (lluse -> 'a -> 'a) -> llvalue -> 'a -> 'a
496 val operand : llvalue -> int -> llvalue
501 val set_operand : llvalue -> int -> llvalue -> unit
505 val num_operands : llvalue -> int
511 val is_constant : llvalue -> bool
515 val const_null : lltype -> llvalue
519 val const_all_ones : (*int|vec*)lltype -> llvalue
523 val const_pointer_null : lltype -> llvalue
527 val undef : lltype -> llvalue
531 val is_null : llvalue -> bool
535 val is_undef : llvalue -> bool
543 val has_metadata : llvalue -> bool
548 val metadata : llvalue -> int -> llvalue option
552 val set_metadata : llvalue -> int -> llvalue -> unit
556 val clear_metadata : llvalue -> int -> unit
563 val mdstring : llcontext -> string -> llvalue
568 val mdnode : llcontext -> llvalue array -> llvalue
575 val const_int : lltype -> int -> llvalue
579 val const_of_int64 : lltype -> Int64.t -> bool -> llvalue
584 val const_int_of_string : lltype -> string -> int -> llvalue
589 val const_float : lltype -> float -> llvalue
593 val const_float_of_string : lltype -> string -> llvalue
604 val const_string : llcontext -> string -> llvalue
610 val const_stringz : llcontext -> string -> llvalue
616 val const_array : lltype -> llvalue array -> llvalue
622 val const_struct : llcontext -> llvalue array -> llvalue
630 val const_packed_struct : llcontext -> llvalue array -> llvalue
636 val const_vector : llvalue array -> llvalue
645 val align_of : lltype -> llvalue
651 val size_of : lltype -> llvalue
655 val const_neg : llvalue -> llvalue
660 val const_nsw_neg : llvalue -> llvalue
665 val const_nuw_neg : llvalue -> llvalue
669 val const_fneg : llvalue -> llvalue
673 val const_not : llvalue -> llvalue
677 val const_add : llvalue -> llvalue -> llvalue
682 val const_nsw_add : llvalue -> llvalue -> llvalue
687 val const_nuw_add : llvalue -> llvalue -> llvalue
691 val const_fadd : llvalue -> llvalue -> llvalue
695 val const_sub : llvalue -> llvalue -> llvalue
700 val const_nsw_sub : llvalue -> llvalue -> llvalue
705 val const_nuw_sub : llvalue -> llvalue -> llvalue
709 val const_fsub : llvalue -> llvalue -> llvalue
713 val const_mul : llvalue -> llvalue -> llvalue
718 val const_nsw_mul : llvalue -> llvalue -> llvalue
723 val const_nuw_mul : llvalue -> llvalue -> llvalue
727 val const_fmul : llvalue -> llvalue -> llvalue
732 val const_udiv : llvalue -> llvalue -> llvalue
737 val const_sdiv : llvalue -> llvalue -> llvalue
742 val const_exact_sdiv : llvalue -> llvalue -> llvalue
747 val const_fdiv : llvalue -> llvalue -> llvalue
752 val const_urem : llvalue -> llvalue -> llvalue
757 val const_srem : llvalue -> llvalue -> llvalue
762 val const_frem : llvalue -> llvalue -> llvalue
767 val const_and : llvalue -> llvalue -> llvalue
772 val const_or : llvalue -> llvalue -> llvalue
777 val const_xor : llvalue -> llvalue -> llvalue
782 val const_icmp : Icmp.t -> llvalue -> llvalue -> llvalue
788 val const_fcmp : Fcmp.t -> llvalue -> llvalue -> llvalue
794 val const_shl : llvalue -> llvalue -> llvalue
799 val const_lshr : llvalue -> llvalue -> llvalue
804 val const_ashr : llvalue -> llvalue -> llvalue
809 val const_gep : llvalue -> llvalue array -> llvalue
814 val const_in_bounds_gep : llvalue -> llvalue array -> llvalue
820 val const_trunc : llvalue -> lltype -> llvalue
825 val const_sext : llvalue -> lltype -> llvalue
830 val const_zext : llvalue -> lltype -> llvalue
835 val const_fptrunc : llvalue -> lltype -> llvalue
840 val const_fpext : llvalue -> lltype -> llvalue
845 val const_uitofp : llvalue -> lltype -> llvalue
850 val const_sitofp : llvalue -> lltype -> llvalue
855 val const_fptoui : llvalue -> lltype -> llvalue
860 val const_fptosi : llvalue -> lltype -> llvalue
865 val const_ptrtoint : llvalue -> lltype -> llvalue
870 val const_inttoptr : llvalue -> lltype -> llvalue
875 val const_bitcast : llvalue -> lltype -> llvalue
880 llvalue -> lltype -> llvalue
886 val const_sext_or_bitcast : llvalue -> lltype -> llvalue
892 val const_trunc_or_bitcast : llvalue -> lltype -> llvalue
898 val const_pointercast : llvalue -> lltype -> llvalue
904 val const_intcast : llvalue -> lltype -> llvalue
910 val const_fpcast : llvalue -> lltype -> llvalue
916 val const_select : llvalue -> llvalue -> llvalue -> llvalue
923 val const_extractelement : llvalue -> llvalue -> llvalue
932 val const_insertelement : llvalue -> llvalue -> llvalue -> llvalue
939 val const_shufflevector : llvalue -> llvalue -> llvalue -> llvalue
945 val const_extractvalue : llvalue -> int array -> llvalue
951 val const_insertvalue : llvalue -> llvalue -> int array -> llvalue
957 llvalue
962 val block_address : llvalue -> llbasicblock -> llvalue
969 val global_parent : llvalue -> llmodule
974 val is_declaration : llvalue -> bool
978 val linkage : llvalue -> Linkage.t
982 val set_linkage : Linkage.t -> llvalue -> unit
986 val section : llvalue -> string
990 val set_section : string -> llvalue -> unit
994 val visibility : llvalue -> Visibility.t
998 val set_visibility : Visibility.t -> llvalue -> unit
1003 val alignment : llvalue -> int
1007 val set_alignment : int -> llvalue -> unit
1016 val declare_global : lltype -> string -> llmodule -> llvalue
1025 llvalue
1032 val define_global : string -> llvalue -> llmodule -> llvalue
1039 val define_qualified_global : string -> llvalue -> int -> llmodule ->
1040 llvalue
1046 val lookup_global : string -> llmodule -> llvalue option
1051 val delete_global : llvalue -> unit
1057 val global_begin : llmodule -> (llmodule, llvalue) llpos
1063 val global_succ : llvalue -> (llmodule, llvalue) llpos
1068 val iter_globals : (llvalue -> unit) -> llmodule -> unit
1072 val fold_left_globals : ('a -> llvalue -> 'a) -> 'a -> llmodule -> 'a
1078 val global_end : llmodule -> (llmodule, llvalue) llrev_pos
1084 val global_pred : llvalue -> (llmodule, llvalue) llrev_pos
1089 val rev_iter_globals : (llvalue -> unit) -> llmodule -> unit
1093 val fold_right_globals : (llvalue -> 'a -> 'a) -> llmodule -> 'a -> 'a
1098 val is_global_constant : llvalue -> bool
1103 val set_global_constant : bool -> llvalue -> unit
1108 val global_initializer : llvalue -> llvalue
1113 val set_initializer : llvalue -> llvalue -> unit
1118 val remove_initializer : llvalue -> unit
1123 val is_thread_local : llvalue -> bool
1128 val set_thread_local : bool -> llvalue -> unit
1136 val add_alias : llmodule -> lltype -> llvalue -> string -> llvalue
1146 val declare_function : string -> lltype -> llmodule -> llvalue
1153 val define_function : string -> lltype -> llmodule -> llvalue
1159 val lookup_function : string -> llmodule -> llvalue option
1164 val delete_function : llvalue -> unit
1170 val function_begin : llmodule -> (llmodule, llvalue) llpos
1176 val function_succ : llvalue -> (llmodule, llvalue) llpos
1181 val iter_functions : (llvalue -> unit) -> llmodule -> unit
1185 val fold_left_functions : ('a -> llvalue -> 'a) -> 'a -> llmodule -> 'a
1191 val function_end : llmodule -> (llmodule, llvalue) llrev_pos
1196 val function_pred : llvalue -> (llmodule, llvalue) llrev_pos
1201 val rev_iter_functions : (llvalue -> unit) -> llmodule -> unit
1205 val fold_right_functions : (llvalue -> 'a -> 'a) -> llmodule -> 'a -> 'a
1209 val is_intrinsic : llvalue -> bool
1213 val function_call_conv : llvalue -> int
1218 val set_function_call_conv : int -> llvalue -> unit
1224 val gc : llvalue -> string option
1228 val set_gc : string option -> llvalue -> unit
1232 val add_function_attr : llvalue -> Attribute.t -> unit
1236 val remove_function_attr : llvalue -> Attribute.t -> unit
1242 val params : llvalue -> llvalue array
1246 val param : llvalue -> int -> llvalue
1250 val param_parent : llvalue -> llvalue
1256 val param_begin : llvalue -> (llvalue, llvalue) llpos
1261 val param_succ : llvalue -> (llvalue, llvalue) llpos
1265 val iter_params : (llvalue -> unit) -> llvalue -> unit
1269 val fold_left_params : ('a -> llvalue -> 'a) -> 'a -> llvalue -> 'a
1275 val param_end : llvalue -> (llvalue, llvalue) llrev_pos
1279 val param_pred : llvalue -> (llvalue, llvalue) llrev_pos
1284 val rev_iter_params : (llvalue -> unit) -> llvalue -> unit
1288 val fold_right_params : (llvalue -> 'a -> 'a) -> llvalue -> 'a -> 'a
1291 val add_param_attr : llvalue -> Attribute.t -> unit
1294 val remove_param_attr : llvalue -> Attribute.t -> unit
1297 val set_param_alignment : llvalue -> int -> unit
1304 val basic_blocks : llvalue -> llbasicblock array
1308 val entry_block : llvalue -> llbasicblock
1317 val append_block : llcontext -> string -> llvalue -> llbasicblock
1328 val block_parent : llbasicblock -> llvalue
1334 val block_begin : llvalue -> (llvalue, llbasicblock) llpos
1340 val block_succ : llbasicblock -> (llvalue, llbasicblock) llpos
1345 val iter_blocks : (llbasicblock -> unit) -> llvalue -> unit
1349 val fold_left_blocks : ('a -> llbasicblock -> 'a) -> 'a -> llvalue -> 'a
1355 val block_end : llvalue -> (llvalue, llbasicblock) llrev_pos
1360 val block_pred : llbasicblock -> (llvalue, llbasicblock) llrev_pos
1365 val rev_iter_blocks : (llbasicblock -> unit) -> llvalue -> unit
1369 val fold_right_blocks : (llbasicblock -> 'a -> 'a) -> llvalue -> 'a -> 'a
1371 (** [value_of_block bb] losslessly casts [bb] to an [llvalue]. *)
1372 val value_of_block : llbasicblock -> llvalue
1377 val value_is_block : llvalue -> bool
1380 val block_of_value : llvalue -> llbasicblock
1387 val instr_parent : llvalue -> llbasicblock
1393 val instr_begin : llbasicblock -> (llbasicblock, llvalue) llpos
1398 val instr_succ : llvalue -> (llbasicblock, llvalue) llpos
1403 val iter_instrs: (llvalue -> unit) -> llbasicblock -> unit
1407 val fold_left_instrs: ('a -> llvalue -> 'a) -> 'a -> llbasicblock -> 'a
1413 val instr_end : llbasicblock -> (llbasicblock, llvalue) llrev_pos
1418 val instr_pred : llvalue -> (llbasicblock, llvalue) llrev_pos
1423 val fold_right_instrs: (llvalue -> 'a -> 'a) -> llbasicblock -> 'a -> 'a
1432 val instruction_call_conv: llvalue -> int
1440 val set_instruction_call_conv: int -> llvalue -> unit
1446 val add_instruction_param_attr : llvalue -> int -> Attribute.t -> unit
1451 val remove_instruction_param_attr : llvalue -> int -> Attribute.t -> unit
1458 val is_tail_call : llvalue -> bool
1463 val set_tail_call : bool -> llvalue -> unit
1469 val add_incoming : (llvalue * llbasicblock) -> llvalue -> unit
1474 val incoming : llvalue -> (llvalue * llbasicblock) list
1488 val builder_at : llcontext -> (llbasicblock, llvalue) llpos -> llbuilder
1492 val builder_before : llcontext -> llvalue -> llbuilder
1501 val position_builder : (llbasicblock, llvalue) llpos -> llbuilder -> unit
1506 val position_before : llvalue -> llbuilder -> unit
1521 val insert_into_builder : llvalue -> string -> llbuilder -> unit
1529 val set_current_debug_location : llbuilder -> llvalue -> unit
1540 val current_debug_location : llbuilder -> llvalue option
1546 val set_inst_debug_location : llbuilder -> llvalue -> unit
1555 val build_ret_void : llbuilder -> llvalue
1561 val build_ret : llvalue -> llbuilder -> llvalue
1567 val build_aggregate_ret : llvalue array -> llbuilder -> llvalue
1574 val build_br : llbasicblock -> llbuilder -> llvalue
1580 val build_cond_br : llvalue -> llbasicblock -> llbasicblock -> llbuilder ->
1581 llvalue
1588 val build_switch : llvalue -> llbasicblock -> int -> llbuilder -> llvalue
1594 val add_case : llvalue -> llvalue -> llbasicblock -> unit
1602 val build_indirect_br : llvalue -> int -> llbuilder -> llvalue
1608 val add_destination : llvalue -> llbasicblock -> unit
1615 val build_invoke : llvalue -> llvalue array -> llbasicblock ->
1616 llbasicblock -> string -> llbuilder -> llvalue
1623 val build_unwind : llbuilder -> llvalue
1629 val build_unreachable : llbuilder -> llvalue
1638 val build_add : llvalue -> llvalue -> string -> llbuilder -> llvalue
1645 val build_nsw_add : llvalue -> llvalue -> string -> llbuilder -> llvalue
1652 val build_nuw_add : llvalue -> llvalue -> string -> llbuilder -> llvalue
1659 val build_fadd : llvalue -> llvalue -> string -> llbuilder -> llvalue
1666 llvalue -> llvalue -> string -> llbuilder -> llvalue
1673 val build_nsw_sub : llvalue -> llvalue -> string -> llbuilder -> llvalue
1680 val build_nuw_sub : llvalue -> llvalue -> string -> llbuilder -> llvalue
1687 val build_fsub : llvalue -> llvalue -> string -> llbuilder -> llvalue
1694 val build_mul : llvalue -> llvalue -> string -> llbuilder -> llvalue
1701 val build_nsw_mul : llvalue -> llvalue -> string -> llbuilder -> llvalue
1708 val build_nuw_mul : llvalue -> llvalue -> string -> llbuilder -> llvalue
1715 val build_fmul : llvalue -> llvalue -> string -> llbuilder -> llvalue
1722 val build_udiv : llvalue -> llvalue -> string -> llbuilder -> llvalue
1729 val build_sdiv : llvalue -> llvalue -> string -> llbuilder -> llvalue
1736 val build_exact_sdiv : llvalue -> llvalue -> string -> llbuilder -> llvalue
1743 val build_fdiv : llvalue -> llvalue -> string -> llbuilder -> llvalue
1750 val build_urem : llvalue -> llvalue -> string -> llbuilder -> llvalue
1757 val build_srem : llvalue -> llvalue -> string -> llbuilder -> llvalue
1764 val build_frem : llvalue -> llvalue -> string -> llbuilder -> llvalue
1771 val build_shl : llvalue -> llvalue -> string -> llbuilder -> llvalue
1778 val build_lshr : llvalue -> llvalue -> string -> llbuilder -> llvalue
1785 val build_ashr : llvalue -> llvalue -> string -> llbuilder -> llvalue
1792 val build_and : llvalue -> llvalue -> string -> llbuilder -> llvalue
1799 val build_or : llvalue -> llvalue -> string -> llbuilder -> llvalue
1806 val build_xor : llvalue -> llvalue -> string -> llbuilder -> llvalue
1814 val build_neg : llvalue -> string -> llbuilder -> llvalue
1822 val build_nsw_neg : llvalue -> string -> llbuilder -> llvalue
1830 val build_nuw_neg : llvalue -> string -> llbuilder -> llvalue
1838 val build_fneg : llvalue -> string -> llbuilder -> llvalue
1846 val build_not : llvalue -> string -> llbuilder -> llvalue
1856 val build_alloca : lltype -> string -> llbuilder -> llvalue
1863 val build_array_alloca : lltype -> llvalue -> string -> llbuilder ->
1864 llvalue
1870 val build_load : llvalue -> string -> llbuilder -> llvalue
1877 val build_store : llvalue -> llvalue -> llbuilder -> llvalue
1884 val build_gep : llvalue -> llvalue array -> string -> llbuilder -> llvalue
1891 val build_in_bounds_gep : llvalue -> llvalue array -> string -> llbuilder ->
1892 llvalue
1898 val build_struct_gep : llvalue -> int -> string -> llbuilder ->
1899 llvalue
1904 val build_global_string : string -> string -> llbuilder -> llvalue
1911 val build_global_stringptr : string -> string -> llbuilder -> llvalue
1921 val build_trunc : llvalue -> lltype -> string -> llbuilder -> llvalue
1928 val build_zext : llvalue -> lltype -> string -> llbuilder -> llvalue
1935 val build_sext : llvalue -> lltype -> string -> llbuilder -> llvalue
1942 val build_fptoui : llvalue -> lltype -> string -> llbuilder -> llvalue
1949 val build_fptosi : llvalue -> lltype -> string -> llbuilder -> llvalue
1956 val build_uitofp : llvalue -> lltype -> string -> llbuilder -> llvalue
1963 val build_sitofp : llvalue -> lltype -> string -> llbuilder -> llvalue
1970 val build_fptrunc : llvalue -> lltype -> string -> llbuilder -> llvalue
1977 val build_fpext : llvalue -> lltype -> string -> llbuilder -> llvalue
1984 val build_ptrtoint : llvalue -> lltype -> string -> llbuilder -> llvalue
1991 val build_inttoptr : llvalue -> lltype -> string -> llbuilder -> llvalue
1998 val build_bitcast : llvalue -> lltype -> string -> llbuilder -> llvalue
2004 val build_zext_or_bitcast : llvalue -> lltype -> string -> llbuilder ->
2005 llvalue
2010 val build_sext_or_bitcast : llvalue -> lltype -> string -> llbuilder ->
2011 llvalue
2016 val build_trunc_or_bitcast : llvalue -> lltype -> string -> llbuilder ->
2017 llvalue
2022 val build_pointercast : llvalue -> lltype -> string -> llbuilder -> llvalue
2028 val build_intcast : llvalue -> lltype -> string -> llbuilder -> llvalue
2034 val build_fpcast : llvalue -> lltype -> string -> llbuilder -> llvalue
2044 val build_icmp : Icmp.t -> llvalue -> llvalue -> string ->
2045 llbuilder -> llvalue
2051 val build_fcmp : Fcmp.t -> llvalue -> llvalue -> string ->
2052 llbuilder -> llvalue
2060 [incoming] is a list of [(llvalue, llbasicblock)] tuples.
2062 val build_phi : (llvalue * llbasicblock) list -> string -> llbuilder ->
2063 llvalue
2069 val build_call : llvalue -> llvalue array -> string -> llbuilder -> llvalue
2076 llvalue -> llvalue -> llvalue -> string -> llbuilder ->
2077 llvalue
2083 val build_va_arg : llvalue -> lltype -> string -> llbuilder -> llvalue
2090 val build_extractelement : llvalue -> llvalue -> string -> llbuilder ->
2091 llvalue
2097 val build_insertelement : llvalue -> llvalue -> llvalue -> string ->
2098 llbuilder -> llvalue
2104 val build_shufflevector : llvalue -> llvalue -> llvalue -> string ->
2105 llbuilder -> llvalue
2111 val build_extractvalue : llvalue -> int -> string -> llbuilder -> llvalue
2118 val build_insertvalue : llvalue -> llvalue -> int -> string -> llbuilder ->
2119 llvalue
2125 val build_is_null : llvalue -> string -> llbuilder -> llvalue
2132 val build_is_not_null : llvalue -> string -> llbuilder -> llvalue
2139 val build_ptrdiff : llvalue -> llvalue -> string -> llbuilder -> llvalue
2198 val run_function : llvalue -> [ `Function ] t -> bool
