Lines Matching refs:Constraint

120         [(Constraint<CPred<"$0.getType() == $1.getType()">> $a, $b),
121 …(Constraint<CPred<"$0.getValue() == arith::CmpIPredicate::eq || $0.getValue() == arith::CmpIPredic…
129         [(Constraint<CPred<"$0.getType() == $1.getType()">> $a, $b),
130 …(Constraint<CPred<"$0.getValue() == arith::CmpIPredicate::eq || $0.getValue() == arith::CmpIPredic…
140         [(Constraint<CPred<"$0.getType() == $1.getType()">> $res, $x)]>;
169       [(Constraint<CPred<"$0.getType() == $1.getType()">> $x, $y)]>;
174       [(Constraint<CPred<"$0.getType() == $1.getType()">> $x, $y)]>;
183       [(Constraint<CPred<"$0.getType() == $1.getType()">> $x, $y)]>;
188       [(Constraint<CPred<"$0.getType() == $1.getType()">> $x, $y)]>;
197       [(Constraint<CPred<"$0.getType() == $1.getType()">> $x, $y)]>;
206       [(Constraint<CPred<"$0.getType() == $1.getType()">> $x, $y)]>;