2002-05-02 17:01:39 +00:00
|
|
|
; Tests to make sure elimination of casts is working correctly
|
|
|
|
|
2003-09-16 15:29:54 +00:00
|
|
|
; RUN: llvm-as < %s | opt -instcombine -die | llvm-dis | grep '%c' | not grep cast
|
2002-05-02 17:01:39 +00:00
|
|
|
|
2004-02-22 05:24:09 +00:00
|
|
|
%inbuf = external global [32832 x ubyte]
|
|
|
|
|
2002-05-02 17:01:39 +00:00
|
|
|
implementation
|
|
|
|
|
2002-08-02 18:48:09 +00:00
|
|
|
int %test1(int %A) {
|
2002-05-02 17:01:39 +00:00
|
|
|
%c1 = cast int %A to uint
|
|
|
|
%c2 = cast uint %c1 to int
|
|
|
|
ret int %c2
|
2002-08-02 18:48:09 +00:00
|
|
|
}
|
2002-05-02 17:01:39 +00:00
|
|
|
|
2002-08-02 18:48:09 +00:00
|
|
|
ulong %test2(ubyte %A) {
|
2002-05-02 17:01:39 +00:00
|
|
|
%c1 = cast ubyte %A to ushort
|
|
|
|
%c2 = cast ushort %c1 to uint
|
|
|
|
%Ret = cast uint %c2 to ulong
|
|
|
|
ret ulong %Ret
|
2002-08-02 18:48:09 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
ulong %test3(ulong %A) { ; This function should just use bitwise AND
|
|
|
|
%c1 = cast ulong %A to ubyte
|
|
|
|
%c2 = cast ubyte %c1 to ulong
|
|
|
|
ret ulong %c2
|
|
|
|
}
|
2002-08-15 16:13:29 +00:00
|
|
|
|
|
|
|
uint %test4(int %A, int %B) {
|
|
|
|
%COND = setlt int %A, %B
|
|
|
|
%c = cast bool %COND to ubyte ; Booleans are unsigned integrals
|
|
|
|
%result = cast ubyte %c to uint ; for the cast elim purpose
|
|
|
|
ret uint %result
|
|
|
|
}
|
|
|
|
|
|
|
|
int %test5(bool %B) {
|
|
|
|
%c = cast bool %B to ubyte ; This cast should get folded into
|
|
|
|
%result = cast ubyte %c to int ; this cast
|
|
|
|
ret int %result
|
|
|
|
}
|
|
|
|
|
|
|
|
int %test6(ulong %A) {
|
|
|
|
%c1 = cast ulong %A to uint
|
|
|
|
%res = cast uint %c1 to int
|
|
|
|
ret int %res
|
|
|
|
}
|
|
|
|
|
|
|
|
long %test7(bool %A) {
|
|
|
|
%c1 = cast bool %A to int
|
|
|
|
%res = cast int %c1 to long
|
|
|
|
ret long %res
|
|
|
|
}
|
|
|
|
|
|
|
|
long %test8(sbyte %A) {
|
|
|
|
%c1 = cast sbyte %A to ulong
|
|
|
|
%res = cast ulong %c1 to long
|
|
|
|
ret long %res
|
|
|
|
}
|
|
|
|
|
2002-09-23 23:39:17 +00:00
|
|
|
short %test9(short %A) {
|
|
|
|
%c1 = cast short %A to int
|
|
|
|
%c2 = cast int %c1 to short
|
|
|
|
ret short %c2
|
|
|
|
}
|
|
|
|
|
|
|
|
short %test10(short %A) {
|
|
|
|
%c1 = cast short %A to uint
|
|
|
|
%c2 = cast uint %c1 to short
|
|
|
|
ret short %c2
|
|
|
|
}
|
2003-06-23 21:48:26 +00:00
|
|
|
|
2003-10-07 22:53:46 +00:00
|
|
|
declare void %varargs(int, ...)
|
|
|
|
|
|
|
|
void %test11(int* %P) {
|
|
|
|
%c = cast int* %P to short*
|
|
|
|
call void(int, ...)* %varargs(int 5, short* %c)
|
|
|
|
ret void
|
|
|
|
}
|
2003-11-02 05:56:58 +00:00
|
|
|
|
|
|
|
int* %test12() {
|
|
|
|
%p = malloc [4 x sbyte]
|
|
|
|
%c = cast [4 x sbyte]* %p to int*
|
|
|
|
ret int* %c
|
|
|
|
}
|
2004-02-22 05:24:09 +00:00
|
|
|
|
|
|
|
ubyte *%test13(long %A) {
|
|
|
|
%c = getelementptr [0 x ubyte]* cast ([32832 x ubyte]* %inbuf to [0 x ubyte]*), long 0, long %A
|
|
|
|
ret ubyte* %c
|
|
|
|
}
|
2004-02-23 07:16:03 +00:00
|
|
|
|
|
|
|
bool %test14(sbyte %A) {
|
|
|
|
%B = cast sbyte %A to ubyte
|
|
|
|
%X = setlt ubyte %B, 128 ; setge %A, 0
|
|
|
|
ret bool %X
|
|
|
|
}
|
|
|
|
|
|
|
|
bool %test15(ubyte %A) {
|
|
|
|
%B = cast ubyte %A to sbyte
|
|
|
|
%X = setlt sbyte %B, 0 ; setgt %A, 127
|
|
|
|
ret bool %X
|
|
|
|
}
|
|
|
|
|