blob: d185af16b90bd732b5af3959b1d03cf42e51aea3 [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
Dan Gohman36a09472009-09-08 23:54:48 +00009; RUN: llc < %s -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]
Chris Lattnerd2bf4322011-11-27 06:54:59 +000016 store volatile i32 %Z, i32* @G
Tanya Lattner33eefff2008-02-21 07:42:26 +000017 ret i32 %X
Chris Lattnerae37c2a2005-01-02 02:30:04 +000018}
Tanya Lattner33eefff2008-02-21 07:42:26 +000019