| Chris Lattner | 9605c92 | 2005-01-17 06:25:59 +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 | 8bf97c2 | 2008-03-25 04:26:08 +0000 | [diff] [blame^] | 6 | ; RUN: llvm-as < %s | llc -march=x86 | not grep sub.*GLOBAL | 
| Chris Lattner | 9605c92 | 2005-01-17 06:25:59 +0000 | [diff] [blame] | 7 |  | 
| Tanya Lattner | 8bf97c2 | 2008-03-25 04:26:08 +0000 | [diff] [blame^] | 8 | @GLOBAL = external global i32           ; <i32*> [#uses=1] | 
| Chris Lattner | 9605c92 | 2005-01-17 06:25:59 +0000 | [diff] [blame] | 9 |  | 
| Tanya Lattner | 8bf97c2 | 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 | 
| Chris Lattner | 9605c92 | 2005-01-17 06:25:59 +0000 | [diff] [blame] | 16 | } | 
| Tanya Lattner | 8bf97c2 | 2008-03-25 04:26:08 +0000 | [diff] [blame^] | 17 |  |