Lines Matching full:verified
358 /// Verified in @i32_add in split-gep.ll423 // Verified in @sext_add in split-gep.ll.494 // sext(zext(a)) = zext(a). Verified in @sext_zext in split-gep.ll.
