Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 1 | ; This testcase was distilled from 132.ijpeg. Bsaically we cannot fold the |
| 2 | ; load into the sub instruction here as it induces a cycle in the dag, which |
| 3 | ; is invalid code (there is no correct way to order the instruction). Check |
| 4 | ; that we do not fold the load into the sub. |
| 5 | |
Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame^] | 6 | ; RUN: llvm-as < %s | llc -march=x86 | not grep sub.*GLOBAL |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 7 | |
Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame^] | 8 | @GLOBAL = external global i32 ; <i32*> [#uses=1] |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 9 | |
Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame^] | 10 | define i32 @test(i32* %P1, i32* %P2, i32* %P3) { |
| 11 | %L = load i32* @GLOBAL ; <i32> [#uses=1] |
| 12 | store i32 12, i32* %P2 |
| 13 | %Y = load i32* %P3 ; <i32> [#uses=1] |
| 14 | %Z = sub i32 %Y, %L ; <i32> [#uses=1] |
| 15 | ret i32 %Z |
Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame] | 16 | } |
Tanya Lattner | 348c618 | 2008-03-25 04:26:08 +0000 | [diff] [blame^] | 17 | |