Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ;; X's live range extends beyond the shift, so the register allocator |
| 2 | ;; cannot coalesce it with Y. Because of this, a copy needs to be |
| 3 | ;; 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 Gohman | 0a06310 | 2009-09-08 23:54:48 +0000 | [diff] [blame] | 9 | ; RUN: llc < %s -march=x86 -x86-asm-syntax=intel | \ |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 10 | ; RUN: not grep {mov E.X, E.X} |
| 11 | |
Tanya Lattner | 632e88a | 2008-02-21 07:42:26 +0000 | [diff] [blame] | 12 | @G = external global i32 ; <i32*> [#uses=1] |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 13 | |
Tanya Lattner | 632e88a | 2008-02-21 07:42:26 +0000 | [diff] [blame] | 14 | define i32 @test1(i32 %X) { |
| 15 | %Z = shl i32 %X, 2 ; <i32> [#uses=1] |
| 16 | volatile store i32 %Z, i32* @G |
| 17 | ret i32 %X |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 18 | } |
Tanya Lattner | 632e88a | 2008-02-21 07:42:26 +0000 | [diff] [blame] | 19 | |