[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / 2005-01-17-CycleInDAG.ll
blob1f9f2c6240da13c99dd55ac3a03f0eecaedfd612
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.
6 ; RUN: llc < %s -mtriple=i686-- | FileCheck %s
8 @GLOBAL = external global i32
10 define i32 @test(i32* %P1, i32* %P2, i32* %P3) nounwind {
11 ; CHECK-LABEL: test:
12 entry:
13   %L = load i32, i32* @GLOBAL
14   store i32 12, i32* %P2
15   %Y = load i32, i32* %P3
16   %Z = sub i32 %Y, %L
17   ret i32 %Z
18 ; CHECK-NOT: {{sub.*GLOBAL}}