2002-05-06 05:43:36 +00:00
|
|
|
; This test makes sure that these instructions are properly eliminated.
|
|
|
|
;
|
|
|
|
|
2003-06-28 23:32:04 +00:00
|
|
|
; RUN: as < %s | opt -instcombine | dis | not grep sh
|
2002-05-06 05:43:36 +00:00
|
|
|
|
|
|
|
implementation
|
|
|
|
|
2003-03-10 18:20:53 +00:00
|
|
|
int %test1(int %A) {
|
2002-05-06 05:43:36 +00:00
|
|
|
%B = shl int %A, ubyte 0
|
|
|
|
ret int %B
|
|
|
|
}
|
|
|
|
|
2003-03-10 18:20:53 +00:00
|
|
|
int %test2(ubyte %A) {
|
2002-05-06 05:43:36 +00:00
|
|
|
%B = shl int 0, ubyte %A
|
|
|
|
ret int %B
|
|
|
|
}
|
|
|
|
|
2003-03-10 18:20:53 +00:00
|
|
|
int %test3(int %A) {
|
2002-05-06 05:43:36 +00:00
|
|
|
%B = shr int %A, ubyte 0
|
|
|
|
ret int %B
|
|
|
|
}
|
|
|
|
|
2003-03-10 18:20:53 +00:00
|
|
|
int %test4(ubyte %A) {
|
2002-05-06 05:43:36 +00:00
|
|
|
%B = shr int 0, ubyte %A
|
|
|
|
ret int %B
|
|
|
|
}
|
|
|
|
|
2003-03-10 18:20:53 +00:00
|
|
|
uint %test5(uint %A) {
|
2002-05-06 16:11:31 +00:00
|
|
|
%B = shr uint %A, ubyte 32 ;; shift all bits out
|
|
|
|
ret uint %B
|
2002-05-06 05:43:36 +00:00
|
|
|
}
|
|
|
|
|
2003-03-10 19:16:20 +00:00
|
|
|
uint %test5a(uint %A) {
|
|
|
|
%B = shl uint %A, ubyte 32 ;; shift all bits out
|
|
|
|
ret uint %B
|
|
|
|
}
|
|
|
|
|
2002-09-10 23:03:10 +00:00
|
|
|
uint %test6(uint %A) {
|
|
|
|
%B = shl uint %A, ubyte 1 ;; convert to an add instruction
|
|
|
|
ret uint %B
|
|
|
|
}
|
2002-10-08 16:10:35 +00:00
|
|
|
|
|
|
|
int %test7(ubyte %A) {
|
|
|
|
%B = shr int -1, ubyte %A ;; Always equal to -1
|
|
|
|
ret int %B
|
|
|
|
}
|
2003-03-10 19:16:20 +00:00
|
|
|
|
|
|
|
ubyte %test8(ubyte %A) { ;; (A << 5) << 3 === A << 8 == 0
|
|
|
|
%B = shl ubyte %A, ubyte 5
|
|
|
|
%C = shl ubyte %B, ubyte 3
|
|
|
|
ret ubyte %C
|
|
|
|
}
|
|
|
|
|
|
|
|
ubyte %test9(ubyte %A) { ;; (A << 7) >> 7 === A & 1
|
|
|
|
%B = shl ubyte %A, ubyte 7
|
|
|
|
%C = shr ubyte %B, ubyte 7
|
|
|
|
ret ubyte %C
|
|
|
|
}
|
|
|
|
|
|
|
|
ubyte %test10(ubyte %A) { ;; (A >> 7) << 7 === A & 128
|
|
|
|
%B = shr ubyte %A, ubyte 7
|
|
|
|
%C = shl ubyte %B, ubyte 7
|
|
|
|
ret ubyte %C
|
|
|
|
}
|
|
|
|
|
|
|
|
ubyte %test11(ubyte %A) { ;; (A >> 3) << 4 == (A & 0x1F) << 1
|
|
|
|
%B = shr ubyte %A, ubyte 3
|
|
|
|
%C = shl ubyte %B, ubyte 4
|
|
|
|
ret ubyte %C
|
|
|
|
}
|
|
|
|
|