blob: 7584a70b5a7d31102f0cb4cf95440135bc974afc [file] [log] [blame]
Chris Lattnerae37c2a2005-01-02 02:30:04 +00001;; X's live range extends beyond the shift, so the register allocator
Chris Lattner52da8842006-03-24 07:13:29 +00002;; cannot coalesce it with Y. Because of this, a copy needs to be
Chris Lattnerae37c2a2005-01-02 02:30:04 +00003;; emitted before the shift to save the register value before it is
4;; clobbered. However, this copy is not needed if the register
5;; allocator turns the shift into an LEA. This also occurs for ADD.
6
7; Check that the shift gets turned into an LEA.
8
Tanya Lattner33eefff2008-02-21 07:42:26 +00009; RUN: llvm-as < %s | llc -march=x86 -x86-asm-syntax=intel | \
Reid Spencerd3b1f6d2007-04-15 22:20:47 +000010; RUN: not grep {mov E.X, E.X}
Chris Lattnerae37c2a2005-01-02 02:30:04 +000011
Tanya Lattner33eefff2008-02-21 07:42:26 +000012@G = external global i32 ; <i32*> [#uses=1]
Chris Lattnerae37c2a2005-01-02 02:30:04 +000013
Tanya Lattner33eefff2008-02-21 07:42:26 +000014define i32 @test1(i32 %X) {
15 %Z = shl i32 %X, 2 ; <i32> [#uses=1]
16 volatile store i32 %Z, i32* @G
17 ret i32 %X
Chris Lattnerae37c2a2005-01-02 02:30:04 +000018}
Tanya Lattner33eefff2008-02-21 07:42:26 +000019