Searched refs:Icmp (Results 1 – 6 of 6) sorted by relevance
30 class Icmp(object): class95 self.icmp = Icmp()
319 ignore (define_global "const_icmp" (const_icmp Icmp.Sle foldbomb five) m);369 (const_icmp Icmp.Sle foldbomb five)1034 let c = build_icmp Icmp.Ne p1 p2 "build_icmp_ne" atentry in1035 insist (Some Icmp.Ne = icmp_predicate c);1038 let c = build_icmp Icmp.Sle p2 p1 "build_icmp_sle" atentry in1039 insist (Some Icmp.Sle = icmp_predicate c);1080 let inst46 = build_icmp Icmp.Eq p1 p2 "build_icmp" atentry in
114 module Icmp = struct module527 external const_icmp : Icmp.t -> llvalue -> llvalue -> llvalue972 external icmp_predicate : llvalue -> Icmp.t option = "llvm_instr_icmp_predicate"1297 external build_icmp : Icmp.t -> llvalue -> llvalue -> string ->
167 module Icmp : sig module1071 val const_icmp : Icmp.t -> llvalue -> llvalue -> llvalue1741 (** [icmp_predicate i] returns the [Icmp.t] corresponding to an [icmp]1743 val icmp_predicate : llvalue -> Icmp.t option2414 val build_icmp : Icmp.t -> llvalue -> llvalue -> string ->
341 bool replacedSelectWithOperand(SelectInst *SI, const ICmpInst *Icmp,
2718 const ICmpInst *Icmp, in replacedSelectWithOperand() argument2721 if (isChainSelectCmpBranch(SI) && Icmp->getPredicate() == ICmpInst::ICMP_EQ) { in replacedSelectWithOperand()2732 if (Succ->getUniquePredecessor() && dominatesAllUses(SI, Icmp, Succ)) { in replacedSelectWithOperand()