Lines Matching refs:Res
65 APInt Res; in TestAddSubExhaustive() local
67 Res = N1.sadd_ov(N2, Overflow); in TestAddSubExhaustive()
69 Res = N1.ssub_ov(N2, Overflow); in TestAddSubExhaustive()
71 Known.One &= Res; in TestAddSubExhaustive()
72 Known.Zero &= ~Res; in TestAddSubExhaustive()
75 KnownNSW.One &= Res; in TestAddSubExhaustive()
76 KnownNSW.Zero &= ~Res; in TestAddSubExhaustive()
125 APInt Res; in TEST() local
127 Res = N1 & N2; in TEST()
128 KnownAnd.One &= Res; in TEST()
129 KnownAnd.Zero &= ~Res; in TEST()
131 Res = N1 | N2; in TEST()
132 KnownOr.One &= Res; in TEST()
133 KnownOr.Zero &= ~Res; in TEST()
135 Res = N1 ^ N2; in TEST()
136 KnownXor.One &= Res; in TEST()
137 KnownXor.Zero &= ~Res; in TEST()
139 Res = APIntOps::umax(N1, N2); in TEST()
140 KnownUMax.One &= Res; in TEST()
141 KnownUMax.Zero &= ~Res; in TEST()
143 Res = APIntOps::umin(N1, N2); in TEST()
144 KnownUMin.One &= Res; in TEST()
145 KnownUMin.Zero &= ~Res; in TEST()
147 Res = APIntOps::smax(N1, N2); in TEST()
148 KnownSMax.One &= Res; in TEST()
149 KnownSMax.Zero &= ~Res; in TEST()
151 Res = APIntOps::smin(N1, N2); in TEST()
152 KnownSMin.One &= Res; in TEST()
153 KnownSMin.Zero &= ~Res; in TEST()
155 Res = N1 * N2; in TEST()
156 KnownMul.One &= Res; in TEST()
157 KnownMul.Zero &= ~Res; in TEST()
159 Res = (N1.sext(2 * Bits) * N2.sext(2 * Bits)).extractBits(Bits, Bits); in TEST()
160 KnownMulHS.One &= Res; in TEST()
161 KnownMulHS.Zero &= ~Res; in TEST()
163 Res = (N1.zext(2 * Bits) * N2.zext(2 * Bits)).extractBits(Bits, Bits); in TEST()
164 KnownMulHU.One &= Res; in TEST()
165 KnownMulHU.Zero &= ~Res; in TEST()
168 Res = N1.udiv(N2); in TEST()
169 KnownUDiv.One &= Res; in TEST()
170 KnownUDiv.Zero &= ~Res; in TEST()
172 Res = N1.urem(N2); in TEST()
173 KnownURem.One &= Res; in TEST()
174 KnownURem.Zero &= ~Res; in TEST()
176 Res = N1.srem(N2); in TEST()
177 KnownSRem.One &= Res; in TEST()
178 KnownSRem.Zero &= ~Res; in TEST()
182 Res = N1.shl(N2); in TEST()
183 KnownShl.One &= Res; in TEST()
184 KnownShl.Zero &= ~Res; in TEST()
186 Res = N1.lshr(N2); in TEST()
187 KnownLShr.One &= Res; in TEST()
188 KnownLShr.Zero &= ~Res; in TEST()
190 Res = N1.ashr(N2); in TEST()
191 KnownAShr.One &= Res; in TEST()
192 KnownAShr.Zero &= ~Res; in TEST()
269 APInt Res = N * N; in TEST() local
270 KnownMul.One &= Res; in TEST()
271 KnownMul.Zero &= ~Res; in TEST()
289 APInt Res = N.abs(); in TEST() local
290 KnownAbs.One &= Res; in TEST()
291 KnownAbs.Zero &= ~Res; in TEST()
294 KnownAbsPoison.One &= Res; in TEST()
295 KnownAbsPoison.Zero &= ~Res; in TEST()
455 auto InitKnownBits = [&](KnownBits &Res, const APInt &Input) { in TEST() argument
456 Res = KnownBits(Input.getBitWidth()); in TEST()
457 Res.One = Input; in TEST()
458 Res.Zero = ~Input; in TEST()