Lines Matching refs:select
13 (rule (simplify (select ty (ult rty x y)
19 (rule (simplify (select ty (ult rty x y)
25 (rule (simplify (select ty (eq rty x y)
27 (select ty (ult rty x y)
32 (rule (simplify (select ty (eq rty x y)
34 (select ty (ule rty x y)
39 (rule (simplify (select ty (eq rty x y)
41 (select ty (ugt rty x y)
46 (rule (simplify (select ty (eq rty x y)
48 (select ty (uge rty x y)
55 (rule (simplify (select ty (ugt rty x y)
59 (rule (simplify (select ty (ugt rty x y)
65 (rule (simplify (select ty (ugt rty x y)
69 (rule (simplify (select ty (ugt rty x y)
78 (rule (simplify (select ty (slt rty x y)
84 (rule (simplify (select ty (slt rty x y)
90 (rule (simplify (select ty (eq rty x y)
92 (select ty (slt rty x y)
97 (rule (simplify (select ty (eq rty x y)
99 (select ty (sle rty x y)
104 (rule (simplify (select ty (eq rty x y)
106 (select ty (sgt rty x y)
111 (rule (simplify (select ty (eq rty x y)
113 (select ty (sge rty x y)
120 (rule (simplify (select ty (sgt rty x y)
124 (rule (simplify (select ty (sgt rty x y)
130 (rule (simplify (select ty (sgt rty x y)
134 (rule (simplify (select ty (sgt rty x y)