Lines Matching refs:IntCC

211 (decl pure partial intcc_comparable (IntCC IntCC) bool)
216 (decl pure decompose_intcc (IntCC) u64)
217 (rule (decompose_intcc (IntCC.Equal)) 1)
218 (rule (decompose_intcc (IntCC.UnsignedLessThan)) 2)
219 (rule (decompose_intcc (IntCC.SignedLessThan)) 2)
220 (rule (decompose_intcc (IntCC.UnsignedLessThanOrEqual)) 3)
221 (rule (decompose_intcc (IntCC.SignedLessThanOrEqual)) 3)
222 (rule (decompose_intcc (IntCC.UnsignedGreaterThan)) 4)
223 (rule (decompose_intcc (IntCC.SignedGreaterThan)) 4)
224 (rule (decompose_intcc (IntCC.UnsignedGreaterThanOrEqual)) 5)
225 (rule (decompose_intcc (IntCC.SignedGreaterThanOrEqual)) 5)
226 (rule (decompose_intcc (IntCC.NotEqual)) 6)
230 (rule (compose_icmp ty 1 _ x y) (icmp ty (IntCC.Equal) x y))
231 (rule (compose_icmp ty 2 false x y) (icmp ty (IntCC.UnsignedLessThan) x y))
232 (rule (compose_icmp ty 2 true x y) (icmp ty (IntCC.SignedLessThan) x y))
233 (rule (compose_icmp ty 3 false x y) (icmp ty (IntCC.UnsignedLessThanOrEqual) x y))
234 (rule (compose_icmp ty 3 true x y) (icmp ty (IntCC.SignedLessThanOrEqual) x y))
235 (rule (compose_icmp ty 4 false x y) (icmp ty (IntCC.UnsignedGreaterThan) x y))
236 (rule (compose_icmp ty 4 true x y) (icmp ty (IntCC.SignedGreaterThan) x y))
237 (rule (compose_icmp ty 5 false x y) (icmp ty (IntCC.UnsignedGreaterThanOrEqual) x y))
238 (rule (compose_icmp ty 5 true x y) (icmp ty (IntCC.SignedGreaterThanOrEqual) x y))
239 (rule (compose_icmp ty 6 _ x y) (icmp ty (IntCC.NotEqual) x y))
242 (decl pure intcc_class (IntCC) u64)
243 (rule (intcc_class (IntCC.UnsignedLessThan)) 1)
244 (rule (intcc_class (IntCC.UnsignedLessThanOrEqual)) 1)
245 (rule (intcc_class (IntCC.UnsignedGreaterThan)) 1)
246 (rule (intcc_class (IntCC.UnsignedGreaterThanOrEqual)) 1)
247 (rule (intcc_class (IntCC.SignedLessThan)) 2)
248 (rule (intcc_class (IntCC.SignedLessThanOrEqual)) 2)
249 (rule (intcc_class (IntCC.SignedGreaterThan)) 2)
250 (rule (intcc_class (IntCC.SignedGreaterThanOrEqual)) 2)
251 (rule (intcc_class (IntCC.Equal)) 3)
252 (rule (intcc_class (IntCC.NotEqual)) 3)