diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/Instrumentation/AddressSanitizer/asan-vs-gvn.ll | 2 | ||||
| -rw-r--r-- | test/Transforms/InstCombine/add.ll | 2 | ||||
| -rw-r--r-- | test/Transforms/InstCombine/apint-xor1.ll | 4 | ||||
| -rw-r--r-- | test/Transforms/InstCombine/apint-xor2.ll | 4 |
4 files changed, 6 insertions, 6 deletions
diff --git a/test/Instrumentation/AddressSanitizer/asan-vs-gvn.ll b/test/Instrumentation/AddressSanitizer/asan-vs-gvn.ll index 5e83075cd1..c0fe15e9fc 100644 --- a/test/Instrumentation/AddressSanitizer/asan-vs-gvn.ll +++ b/test/Instrumentation/AddressSanitizer/asan-vs-gvn.ll @@ -1,5 +1,5 @@ ; RUN: opt < %s -basicaa -gvn -asan -S | FileCheck %s -; ASAN conflicts with load widening if the widened load accesses data out of bounds +; ASAN conflicts with load widening iff the widened load accesses data out of bounds ; (while the original unwidened loads do not). ; http://code.google.com/p/address-sanitizer/issues/detail?id=20#c1 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 |