;; X's live range extends beyond the shift, so the register allocator
;; cannot coalesce it with Y.  Because of this, a copy needs to be
;; emitted before the shift to save the register value before it is
;; clobbered.  However, this copy is not needed if the register
;; allocator turns the shift into an LEA.  This also occurs for ADD.

; Check that the shift gets turned into an LEA.

; RUN: llvm-upgrade < %s | llvm-as | llc -march=x86 -x86-asm-syntax=intel | not grep 'mov E.X, E.X'

; FIXME: We need live variable information about flags to do this xform safely. :(
; XFAIL: *

%G = external global int

int %test1(int %X, int %Y) {
	%Z = add int %X, %Y
	volatile store int %Y, int* %G
	volatile store int %Z, int* %G
	ret int %X
}

int %test2(int %X) {
	%Z = add int %X, 1  ;; inc
	volatile store int %Z, int* %G
	ret int %X
}

;; X's live range extends beyond the shift, so the register allocator
;; cannot coalesce it with Y.  Because of this, a copy needs to be
;; emitted before the shift to save the register value before it is
;; clobbered.  However, this copy is not needed if the register
;; allocator turns the shift into an LEA.  This also occurs for ADD.

; Check that the shift gets turned into an LEA.

; RUN: llvm-upgrade < %s | llvm-as | llc -march=x86 -x86-asm-syntax=intel | \
; RUN:   not grep 'mov E.X, E.X'

; FIXME: We need live variable information about flags to do this xform safely. :(
; XFAIL: *

%G = external global int

int %test1(int %X, int %Y) {
	%Z = add int %X, %Y
	volatile store int %Y, int* %G
	volatile store int %Z, int* %G
	ret int %X
}

int %test2(int %X) {
	%Z = add int %X, 1  ;; inc
	volatile store int %Z, int* %G
	ret int %X
}

Make the RUN: line readable.
Make the RUN: line readable.


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