Lines Matching refs:witness

338   // CHECK-NEXT: consume.witness
341   "consume.witness"(%0) : (!shape.witness) -> ()
350   // CHECK-NEXT: consume.witness
356   "consume.witness"(%0) : (!shape.witness) -> ()
367   // CHECK-NEXT: consume.witness
372   "consume.witness"(%0) : (!shape.witness) -> ()
381   // CHECK-NEXT: consume.witness
384   "consume.witness"(%0) : (!shape.witness) -> ()
393   // CHECK-NEXT: consume.witness
397   "consume.witness"(%0) : (!shape.witness) -> ()
406   // CHECK-NEXT: consume.witness
409   "consume.witness"(%0) : (!shape.witness) -> ()
418   // CHECK-NEXT: consume.witness
424   "consume.witness"(%3) : (!shape.witness) -> ()
430 // assuming_all should not be removed if more than one witness is not
440   // CHECK-NEXT: consume.witness
443   %1 = "test.source"() : () -> !shape.witness
444   %2 = "test.source"() : () -> !shape.witness
446   "consume.witness"(%3) : (!shape.witness) -> ()
487 // assuming with a known passing witness can be removed
504 // assuming without a known passing passing witness cannot be removed
514   %0 = "test.source"() : () -> (!shape.witness)
528   // CHECK-NEXT: consume.witness
533   "consume.witness"(%0) : (!shape.witness) -> ()
544   // CHECK-NEXT: consume.witness
549   "consume.witness"(%0) : (!shape.witness) -> ()
559   // CHECK-NEXT: consume.witness
563   "consume.witness"(%0) : (!shape.witness) -> ()
572   // CHECK-NEXT: consume.witness
575   "consume.witness"(%0) : (!shape.witness) -> ()
585   // CHECK-NEXT: consume.witness
588   "consume.witness"(%0) : (!shape.witness) -> ()
708   // CHECK-NEXT: consume.witness
713   "consume.witness"(%2) : (!shape.witness) -> ()
725   // CHECK-NEXT: consume.witness
730   "consume.witness"(%2) : (!shape.witness) -> ()
740   // CHECK-NEXT: consume.witness
745   "consume.witness"(%2) : (!shape.witness) -> ()
867   %0 = "test.source"() : () -> (!shape.witness)
869   "consume.witness"(%1) : (!shape.witness) -> ()
882   "consume.witness"(%2) : (!shape.witness) -> ()