Lines Matching full:other
4 define i1 @or_implies_sle(i8 %x, i8 %y, i1 %other) {
12 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
21 ret i1 %other
24 define i1 @or_implies_sle_fail(i8 %x, i8 %y, i1 %other) {
33 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
42 ret i1 %other
45 define i1 @or_distjoint_implies_ule(i8 %x, i8 %y, i1 %other) {
53 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
64 ret i1 %other
67 define i1 @or_distjoint_implies_ule_fail(i8 %x, i8 %y, i1 %other) {
77 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
88 ret i1 %other
91 define i1 @or_prove_distjoin_implies_ule(i8 %xx, i8 %y, i1 %other) {
100 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
112 ret i1 %other
115 define i1 @src_or_distjoint_implies_sle(i8 %x, i8 %y, i1 %other) {
123 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
134 ret i1 %other
137 define i1 @src_or_distjoint_implies_sle_fail(i8 %x, i8 %y, i1 %other) {
147 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
158 ret i1 %other
161 define i1 @src_addnsw_implies_sle(i8 %x, i8 %y, i1 %other) {
169 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
180 ret i1 %other
183 define i1 @src_addnsw_implies_sle_fail(i8 %x, i8 %y, i1 %other) {
193 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
204 ret i1 %other
207 define i1 @src_and_implies_ult(i8 %x, i8 %y, i8 %z, i1 %other) {
214 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
223 ret i1 %other
226 define i1 @src_and_implies_ult_fail(i8 %x, i8 %y, i8 %z, i1 %other) {
235 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
244 ret i1 %other
247 define i1 @src_and_implies_slt_fail(i8 %x, i8 %y, i8 %z, i1 %other) {
256 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
265 ret i1 %other
268 define i1 @src_or_implies_ule(i8 %x, i8 %y, i8 %z, i1 %other) {
276 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
285 ret i1 %other
288 define i1 @src_or_implies_false_ugt_todo(i8 %x, i8 %y, i8 %z, i1 %other) {
294 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
303 ret i1 %other
310 define i1 @src_udiv_implies_ult(i8 %x, i8 %z, i1 %other) {
317 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
326 ret i1 %other
329 define i1 @src_udiv_implies_ult2(i8 %x, i8 %z, i1 %other) {
334 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
341 ret i1 %other
348 define i1 @src_smin_implies_sle(i8 %x, i8 %y, i8 %z, i1 %other) {
355 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
364 ret i1 %other
367 define i1 @src_umin_implies_ule(i8 %x, i8 %y, i8 %z, i1 %other) {
374 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
383 ret i1 %other
386 define i1 @src_umax_implies_ule(i8 %x, i8 %y, i8 %z, i1 %other) {
394 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
403 ret i1 %other
406 define i1 @src_smax_implies_sle(i8 %x, i8 %y, i8 %z, i1 %other) {
414 ; CHECK-NEXT: ret i1 [[OTHER:%.*]]
423 ret i1 %other