2005-01-02 02:30:04 +00:00
|
|
|
;; X's live range extends beyond the shift, so the register allocator
|
2006-03-24 07:13:29 +00:00
|
|
|
;; cannot coalesce it with Y. Because of this, a copy needs to be
|
2005-01-02 02:30:04 +00:00
|
|
|
;; 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.
|
|
|
|
|
2006-12-02 04:23:10 +00:00
|
|
|
; RUN: llvm-upgrade < %s | llvm-as | llc -march=x86 -x86-asm-syntax=intel | not grep 'mov E.X, E.X'
|
2005-01-02 02:30:04 +00:00
|
|
|
|
|
|
|
%G = external global int
|
|
|
|
|
|
|
|
int %test1(int %X) {
|
|
|
|
%Z = shl int %X, ubyte 2
|
|
|
|
volatile store int %Z, int* %G
|
|
|
|
ret int %X
|
|
|
|
}
|