Update Clang Codegen Test and Remove Unnecessary XORs

Author: veera-sivarajan

clang/test/CodeGen/attr-counted-by.c

@@ -333,7 +333,7 @@ size_t test3_bdos(struct annotated *p) {
 // SANITIZE-WITH-ATTR-NEXT:    [[COUNT50:%.*]] = sext i32 [[DOTCOUNTED_BY_LOAD44]] to i64
 // SANITIZE-WITH-ATTR-NEXT:    [[TMP10:%.*]] = sub nsw i64 [[COUNT50]], [[IDXPROM42]]
 // SANITIZE-WITH-ATTR-NEXT:    [[TMP11:%.*]] = tail call i64 @llvm.smax.i64(i64 [[TMP10]], i64 0)
-// SANITIZE-WITH-ATTR-NEXT:    [[DOTTR:%.*]] = trunc nuw i64 [[TMP11]] to i32
+// SANITIZE-WITH-ATTR-NEXT:    [[DOTTR:%.*]] = trunc nuw nsw i64 [[TMP11]] to i32
 // SANITIZE-WITH-ATTR-NEXT:    [[CONV54:%.*]] = shl i32 [[DOTTR]], 2
 // SANITIZE-WITH-ATTR-NEXT:    [[CONV55:%.*]] = and i32 [[CONV54]], 252
 // SANITIZE-WITH-ATTR-NEXT:    store i32 [[CONV55]], ptr [[ARRAYIDX65]], align 4, !tbaa [[TBAA4]]

llvm/test/Transforms/CorrelatedValuePropagation/trunc.ll

@@ -7,13 +7,11 @@ define i1 @infer_nuw(i8 range(i8 0, 2) %A, i8 range(i8 0, 2) %B) {
 ; CHECK-SAME: i8 range(i8 0, 2) [[A:%.*]], i8 range(i8 0, 2) [[B:%.*]]) {
 ; CHECK-NEXT:    [[XOR:%.*]] = xor i8 [[B]], [[A]]
 ; CHECK-NEXT:    [[TRUNC:%.*]] = trunc nuw i8 [[XOR]] to i1
-; CHECK-NEXT:    [[RESULT:%.*]] = xor i1 [[TRUNC]], true
-; CHECK-NEXT:    ret i1 [[RESULT]]
+; CHECK-NEXT:    ret i1 [[TRUNC]]
 ;
   %xor = xor i8 %B, %A
   %trunc = trunc i8 %xor to i1
-  %result = xor i1 %trunc, true
-  ret i1 %result
+  ret i1 %trunc
 }
 
 
@@ -35,13 +33,11 @@ define i8 @infer_nuw_nsw(i16 range(i16 -5, -3) %A, i16 range(i16 -5, -3) %B) {
 ; CHECK-SAME: i16 range(i16 -5, -3) [[A:%.*]], i16 range(i16 -5, -3) [[B:%.*]]) {
 ; CHECK-NEXT:    [[XOR:%.*]] = xor i16 [[B]], [[A]]
 ; CHECK-NEXT:    [[TRUNC:%.*]] = trunc nuw nsw i16 [[XOR]] to i8
-; CHECK-NEXT:    [[XOR2:%.*]] = xor i8 [[TRUNC]], 1
-; CHECK-NEXT:    ret i8 [[XOR2]]
+; CHECK-NEXT:    ret i8 [[TRUNC]]
 ;
   %xor = xor i16 %B, %A
   %trunc = trunc i16 %xor to i8
-  %xor2 = xor i8 %trunc, 1
-  ret i8 %xor2
+  ret i8 %trunc
 }
 
 
@@ -104,11 +100,9 @@ define i1 @overdefined_range_negative(i8 %A, i8 %B) {
 ; CHECK-SAME: i8 [[A:%.*]], i8 [[B:%.*]]) {
 ; CHECK-NEXT:    [[XOR:%.*]] = xor i8 [[A]], [[B]]
 ; CHECK-NEXT:    [[TRUNC:%.*]] = trunc i8 [[XOR]] to i1
-; CHECK-NEXT:    [[XOR2:%.*]] = xor i1 [[TRUNC]], true
-; CHECK-NEXT:    ret i1 [[XOR2]]
+; CHECK-NEXT:    ret i1 [[TRUNC]]
 ;
   %xor = xor i8 %A, %B
   %trunc = trunc i8 %xor to i1
-  %xor2 = xor i1 %trunc, true
-  ret i1 %xor2
+  ret i1 %trunc
 }