1; RUN: opt < %s -indvars -S | grep indvar 2 3@G = global i64 0 ; <i64*> [#uses=1] 4 5define void @test(i64 %V) { 6; <label>:0 7 br label %Loop 8 9Loop: ; preds = %Loop, %0 10 %X = phi i64 [ 1, %0 ], [ %X.next, %Loop ] ; <i64> [#uses=2] 11 %X.next = sub i64 %X, %V ; <i64> [#uses=1] 12 store i64 %X, i64* @G 13 br label %Loop 14} 15 16