Home | History | Annotate | Download | only in Reassociate
      1 ; RUN: opt < %s -basicaa -inline -instcombine -reassociate -dse -disable-output
      2 ; PR12245
      3 
      4 @a = common global i32 0, align 4
      5 @d = common global i32 0, align 4
      6 
      7 define i32 @fn2() nounwind uwtable ssp {
      8 entry:
      9   %0 = load i32, i32* @a, align 4
     10   %dec = add nsw i32 %0, -1
     11   store i32 %dec, i32* @a, align 4
     12   %1 = load i32, i32* @d, align 4
     13   %sub = sub nsw i32 %dec, %1
     14   store i32 %sub, i32* @d, align 4
     15   %2 = load i32, i32* @a, align 4
     16   %dec1 = add nsw i32 %2, -1
     17   store i32 %dec1, i32* @a, align 4
     18   %3 = load i32, i32* @d, align 4
     19   %sub2 = sub nsw i32 %dec1, %3
     20   store i32 %sub2, i32* @d, align 4
     21   %4 = load i32, i32* @a, align 4
     22   %dec3 = add nsw i32 %4, -1
     23   store i32 %dec3, i32* @a, align 4
     24   %5 = load i32, i32* @d, align 4
     25   %sub4 = sub nsw i32 %dec3, %5
     26   store i32 %sub4, i32* @d, align 4
     27   %6 = load i32, i32* @a, align 4
     28   %dec5 = add nsw i32 %6, -1
     29   store i32 %dec5, i32* @a, align 4
     30   %7 = load i32, i32* @d, align 4
     31   %sub6 = sub nsw i32 %dec5, %7
     32   store i32 %sub6, i32* @d, align 4
     33   %8 = load i32, i32* @a, align 4
     34   %dec7 = add nsw i32 %8, -1
     35   store i32 %dec7, i32* @a, align 4
     36   %9 = load i32, i32* @d, align 4
     37   %sub8 = sub nsw i32 %dec7, %9
     38   store i32 %sub8, i32* @d, align 4
     39   ret i32 0
     40 }
     41 
     42 define i32 @fn1() nounwind uwtable ssp {
     43 entry:
     44   %call = call i32 @fn2()
     45   ret i32 %call
     46 }
     47