; This test makes sure that these instructions are properly eliminated.
;

; RUN: if as < %s | opt -instcombine | dis | grep sh
; RUN: then exit 1
; RUN: else exit 0
; RUN: fi

implementation

int "test1"(int %A) {
	%B = shl int %A, ubyte 0
	ret int %B
}

int "test2"(ubyte %A) {
	%B = shl int 0, ubyte %A
	ret int %B
}

int "test3"(int %A) {
	%B = shr int %A, ubyte 0
	ret int %B
}

int "test4"(ubyte %A) {
	%B = shr int 0, ubyte %A
	ret int %B
}

uint "test5"(uint %A) {
	%B = shr uint %A, ubyte 32  ;; shift all bits out
	ret uint %B
}


; This test makes sure that these instructions are properly eliminated.
;

; RUN: if as < %s | opt -instcombine | dis | grep sh
; RUN: then exit 1
; RUN: else exit 0
; RUN: fi

implementation

int "test1"(int %A) {
	%B = shl int %A, ubyte 0
	ret int %B
}

int "test2"(ubyte %A) {
	%B = shl int 0, ubyte %A
	ret int %B
}

int "test3"(int %A) {
	%B = shr int %A, ubyte 0
	ret int %B
}

int "test4"(ubyte %A) {
	%B = shr int 0, ubyte %A
	ret int %B
}

uint "test5"(uint %A) {
	%B = shr uint %A, ubyte 32  ;; shift all bits out
	ret uint %B
}

uint %test6(uint %A) {
	%B = shl uint %A, ubyte 1   ;; convert to an add instruction
	ret uint %B
}

Check for cannonicalization of shl X, 1 -> add X, X
Check for cannonicalization of shl X, 1 -> add X, X


git-svn-id: 0ff597fd157e6f4fc38580e8d64ab130330d2411@3670 91177308-0d34-0410-b5e6-96231b3b80d8
