Fix lit test comment from r252331.

[mcrosier]

Summary

The test is performing an unsigned comparison.

Chad

[sanjoy]

test/Transforms/InstSimplify/implies.ll

144

Can you please fix this one too? :)

[mcrosier]

Committed r266657.

test/Transforms/InstSimplify/implies.ll

144

Sure.

test/Transforms/InstSimplify/implies.ll

;
   %iplus1 = add nsw i32 %i, 1
   %len.plus.one = add nsw i32 %length.i, 1
   %var29 = icmp slt i32 %i, %len.plus.one
   %var30 = icmp slt i32 %iplus1, %length.i
   %res = icmp ule i1 %var30, %var29
   ret i1 %res
 }
 
-; i +_{nuw} 1 <s L  ==> i < L +_{nuw} 1
+; i +_{nuw} 1 <u L  ==> i < L +_{nuw} 1
 define i1 @test8(i32 %length.i, i32 %i) {
 ; CHECK-LABEL: @test8(
 ; CHECK:         ret i1 true
 ;
   %iplus1 = add nuw i32 %i, 1
   %len.plus.one = add nuw i32 %length.i, 1
   %var29 = icmp ult i32 %i, %len.plus.one
   %var30 = icmp ult i32 %iplus1, %length.i
   %res = icmp ule i1 %var30, %var29
   ret i1 %res
 }
 
 ; i +_{nuw} C <s L ==> i < L, even if C is negative
 define i1 @test9(i32 %length.i, i32 %i) {
 ; CHECK-LABEL: @test9(
 ; CHECK:         ret i1 true
 ;
   %iplus1 = add nuw i32 %i, -100
   %var29 = icmp ult i32 %i, %length.i
   %var30 = icmp ult i32 %iplus1, %length.i
   %res = icmp ule i1 %var30, %var29