RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2025-04-03 16:21:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Add optimizations:

Browse Source 
- (A & C1)+(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0
 - (A & C1)^(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0

llvm-svn: 5741
This commit is contained in:
Chris Lattner 2003-03-10 23:52:54 +00:00
parent 6eededc41f
commit d0ab973bd2
3 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
test/Regression/Transforms/InstCombine/add.ll
View File

@ -51,3 +51,9 @@ int %test7(int %A) {
ret int %C ret int %C
} }
int %test8(int %A, int %B) { ; (A & C1)+(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0
%A1 = and int %A, 7
%B1 = and int %B, 128
%C = add int %A1, %B1
ret int %C
}

1
test/Regression/Transforms/InstCombine/and.ll
View File

@ -49,3 +49,4 @@ ubyte %test8(ubyte %A) { ; AND associates
%C = and ubyte %B, 4 %C = and ubyte %B, 4
ret ubyte %C ret ubyte %C
} }

10
test/Regression/Transforms/InstCombine/or.ll
View File

@ -1,7 +1,7 @@
; This test makes sure that these instructions are properly eliminated. ; This test makes sure that these instructions are properly eliminated.
; ;
; RUN: if as < %s | opt -instcombine | dis | grep or\ ; RUN: if as < %s | opt -instcombine | dis | grep -v '%OROK = or' | grep or\
; RUN: then exit 1 ; RUN: then exit 1
; RUN: else exit 0 ; RUN: else exit 0
; RUN: fi ; RUN: fi
@ -91,3 +91,11 @@ ubyte %test15(ubyte %A) {
%C = xor ubyte %B, 17 %C = xor ubyte %B, 17
ret ubyte %C ret ubyte %C
} }
int %test16(int %A, int %B) { ; (A & C1)^(B & C2) -> (A & C1)|(B & C2) iff C1&C2 == 0
%A1 = and int %A, 7
%B1 = and int %B, 128
%OROK = xor int %A1, %B1
ret int %OROK
}