3 files changed, 5 insertions, 5 deletions
diff --git a/test/Transforms/InstCombine/add.ll b/test/Transforms/InstCombine/add.ll
index 68e2433644..a316d06894 100644
--- a/test/Transforms/InstCombine/add.ll
+++ b/test/Transforms/InstCombine/add.ll
@@ -49,7 +49,7 @@ define i32 @test7(i32 %A) {
         ret i32 %C
 }
 
-; (A & C1)+(B & C2) -> (A & C1)|(B & C2) if C1&C2 == 0
+; (A & C1)+(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0
 define i32 @test8(i32 %A, i32 %B) {
         %A1 = and i32 %A, 7             ; <i32> [#uses=1]
         %B1 = and i32 %B, 128           ; <i32> [#uses=1]
diff --git a/test/Transforms/InstCombine/apint-xor1.ll b/test/Transforms/InstCombine/apint-xor1.ll
index 0d98f605d5..01cbcf158c 100644
--- a/test/Transforms/InstCombine/apint-xor1.ll
+++ b/test/Transforms/InstCombine/apint-xor1.ll
@@ -5,7 +5,7 @@
 
 
 define i47 @test1(i47 %A, i47 %B) {
-        ;; (A & C1)^(B & C2) -> (A & C1)|(B & C2) if C1&C2 == 0
+        ;; (A & C1)^(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0
         %A1 = and i47 %A, 70368744177664
         %B1 = and i47 %B, 70368744177661
         %C1 = xor i47 %A1, %B1
@@ -43,7 +43,7 @@ define i7 @test6(i7 %A) {
 }
 
 define i47 @test7(i47 %A) {
-        ;; (A | C1) ^ C2 -> (A | C1) & ~C2 if (C1&C2) == C2
+        ;; (A | C1) ^ C2 -> (A | C1) & ~C2 iff (C1&C2) == C2
         %B1 = or i47 %A,   70368744177663
         %C1 = xor i47 %B1, 703687463
         ret i47 %C1
diff --git a/test/Transforms/InstCombine/apint-xor2.ll b/test/Transforms/InstCombine/apint-xor2.ll
index 556ae0fdeb..ab93c92381 100644
--- a/test/Transforms/InstCombine/apint-xor2.ll
+++ b/test/Transforms/InstCombine/apint-xor2.ll
@@ -6,7 +6,7 @@
 
 
 define i447 @test1(i447 %A, i447 %B) {
-        ;; (A & C1)^(B & C2) -> (A & C1)|(B & C2) if C1&C2 == 0
+        ;; (A & C1)^(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0
         %A1 = and i447 %A, 70368744177664
         %B1 = and i447 %B, 70368744177663
         %C1 = xor i447 %A1, %B1
@@ -44,7 +44,7 @@ define i77 @test6(i77 %A) {
 }
 
 define i1023 @test7(i1023 %A) {
-        ;; (A | C1) ^ C2 -> (A | C1) & ~C2 if (C1&C2) == C2
+        ;; (A | C1) ^ C2 -> (A | C1) & ~C2 iff (C1&C2) == C2
         %B1 = or i1023 %A,   70368744177663
         %C1 = xor i1023 %B1, 703687463
         ret i1023 %C1