mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-15 20:29:48 +00:00
908504347b
Update these tests to not use the same name even though the type of the value differs. After PR411 hits, type planes will be gone and it will be illegal for a name to be used twice, regardless of type. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@33660 91177308-0d34-0410-b5e6-96231b3b80d8
80 lines
1.5 KiB
LLVM
80 lines
1.5 KiB
LLVM
; This test makes sure that these instructions are properly eliminated.
|
|
;
|
|
; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine -disable-output &&
|
|
; RUN: llvm-upgrade < %s | llvm-as | opt -instcombine | llvm-dis | not grep rem
|
|
|
|
implementation
|
|
|
|
int %test1(int %A) {
|
|
%B = rem int %A, 1 ; ISA constant 0
|
|
ret int %B
|
|
}
|
|
|
|
int %test2(int %A) { ; 0 % X = 0, we don't need to preserve traps
|
|
%B = rem int 0, %A
|
|
ret int %B
|
|
}
|
|
|
|
uint %test3(uint %A) {
|
|
%B = rem uint %A, 8 ; & 7
|
|
ret uint %B
|
|
}
|
|
|
|
bool %test3a(int %A) {
|
|
%B = rem int %A, -8 ; & 7
|
|
%C = setne int %B, 0
|
|
ret bool %C
|
|
}
|
|
|
|
uint %test4(uint %X, bool %C) {
|
|
%V = select bool %C, uint 1, uint 8
|
|
%R = rem uint %X, %V
|
|
ret uint %R
|
|
}
|
|
|
|
uint %test5(uint %X, ubyte %B) {
|
|
%Amt = shl uint 32, ubyte %B
|
|
%V = rem uint %X, %Amt
|
|
ret uint %V
|
|
}
|
|
|
|
int %test6(int %A) {
|
|
%B = rem int %A, 0 ;; undef
|
|
ret int %B
|
|
}
|
|
|
|
int %test7(int %A) {
|
|
%B = mul int %A, 26
|
|
%C = rem int %B, 13
|
|
ret int %C
|
|
}
|
|
|
|
int %test8(int %A) {
|
|
%B = shl int %A, ubyte 4
|
|
%C = rem int %B, 8
|
|
ret int %C
|
|
}
|
|
|
|
uint %test9(uint %A) {
|
|
%B = mul uint %A, 124
|
|
%C = rem uint %B, 62
|
|
ret uint %C
|
|
}
|
|
|
|
int %test10(ubyte %c) {
|
|
%tmp.1 = cast ubyte %c to int
|
|
%tmp.2 = mul int %tmp.1, 3
|
|
%tmp.3 = cast int %tmp.2 to ulong
|
|
%tmp.5 = rem ulong %tmp.3, 3
|
|
%tmp.6 = cast ulong %tmp.5 to int
|
|
ret int %tmp.6
|
|
}
|
|
|
|
int %test11(int %i) {
|
|
%tmp.1 = and int %i, -2
|
|
%tmp.3 = mul int %tmp.1, 3
|
|
%tmp.5 = rem int %tmp.3, 6
|
|
ret int %tmp.5
|
|
}
|
|
|