mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-08-19 19:29:31 +00:00
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@32115 91177308-0d34-0410-b5e6-96231b3b80d8
46 lines
889 B
LLVM
46 lines
889 B
LLVM
; This test makes sure that these instructions are properly eliminated.
|
|
;
|
|
|
|
; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | not grep xor
|
|
|
|
implementation
|
|
|
|
int %test1(int %A) {
|
|
%B = xor int %A, -1
|
|
%C = xor int %B, -1
|
|
ret int %C
|
|
}
|
|
|
|
bool %test2(int %A, int %B) {
|
|
%cond = setle int %A, %B ; Can change into setge
|
|
%Ret = xor bool %cond, true
|
|
ret bool %Ret
|
|
}
|
|
|
|
|
|
; Test that demorgans law can be instcombined
|
|
int %test3(int %A, int %B) {
|
|
%a = xor int %A, -1
|
|
%b = xor int %B, -1
|
|
%c = and int %a, %b
|
|
%d = xor int %c, -1
|
|
ret int %d
|
|
}
|
|
|
|
; Test that demorgens law can work with constants
|
|
int %test4(int %A, int %B) {
|
|
%a = xor int %A, -1
|
|
%c = and int %a, 5 ; 5 = ~c2
|
|
%d = xor int %c, -1
|
|
ret int %d
|
|
}
|
|
|
|
; test the mirror of demorgans law...
|
|
int %test5(int %A, int %B) {
|
|
%a = xor int %A, -1
|
|
%b = xor int %B, -1
|
|
%c = or int %a, %b
|
|
%d = xor int %c, -1
|
|
ret int %d
|
|
}
|