declare void @_ZNK4llvm19MachineInstrBuilder7addSImmEi()

define void @_ZN4llvm11_GLOBAL__N_22InsertPrologEpilogCode20runOnMachineFunctionERNS_15MachineFunctionE(%"struct.llvm::MachineFunction"* %F) {

entry:

%tmp.8.i = invoke %"struct.llvm::TargetFrameInfo"* null( %"struct.llvm::TargetMachine"* null )

to label %invoke_cont.0.i unwind label %invoke_catch.0.i ; <%"struct.llvm::TargetFrameInfo"*> [#uses=0]

invoke_catch.0.i: ; preds = %invoke_cont.49.i, %invoke_cont.48.i, %invoke_cont.47.i, %invoke_cont.i53.i, %no_exit.i, %invoke_cont.44.i, %invoke_cont.43.i, %invoke_cont.42.i, %invoke_cont.41.i, %invoke_cont.40.i, %invoke_cont.39.i, %invoke_cont.38.i, %invoke_cont.37.i, %then.2.i, %invoke_cont.35.i, %invoke_cont.34.i, %then.1.i, %endif.0.i, %invoke_cont.9.i, %invoke_cont.8.i, %invoke_cont.7.i, %invoke_cont.i.i, %then.0.i, %invoke_cont.4.i, %invoke_cont.3.i, %invoke_cont.2.i, %invoke_cont.1.i, %endif.0.i.i, %tmp.7.i.noexc.i, %invoke_cont.0.i, %entry

ret void

invoke_cont.0.i: ; preds = %entry

to label %invoke_cont.i.i unwind label %cond_true.i.i

cond_true.i.i: ; preds = %tmp.0.i.noexc.i

ret void

invoke_cont.i.i: ; preds = %tmp.0.i.noexc.i

to label %invoke_cont.i53.i unwind label %cond_true.i52.i

cond_true.i52.i: ; preds = %tmp.0.i.noexc55.i

ret void

invoke_cont.i53.i: ; preds = %tmp.0.i.noexc55.i

%tmp.7 = invoke i32 @_ZN5ArrayISt7complexIdEE8get_sizeERK10dim_vector( )

to label %invoke_cont.0 unwind label %cond_true.1 ; <i32> [#uses=2]

invoke_cont.0: ; preds = %entry

%tmp.4.i = bitcast i32 %tmp.7 to i32 ; <i32> [#uses=0]

%tmp.14.0.i5 = add i32 %tmp.7, -1 ; <i32> [#uses=1]

%tmp.14.0.i.0 = phi i32 [ %tmp.14.0.i, %no_exit.i ], [ %tmp.14.0.i5, %invoke_cont.0 ] ; <i32> [#uses=1]

%tmp.14.0.i = add i32 %tmp.14.0.i.0, -1 ; <i32> [#uses=1]

br label %no_exit.i

}

declare i32 @_ZN5ArrayISt7complexIdEE8get_sizeERK10dim_vector()

to label %endif.1 unwind label %then.i.i551

then.i.i551: ; preds = %entry

ret void

endif.1: ; preds = %entry

to label %loopentry.0 unwind label %invoke_catch.6

invoke_catch.6: ; preds = %then.2

ret void

loopentry.0: ; preds = %then.2

then.i.i: ; preds = %endif.1

ret void

}

; RUN: opt < %s -indvars -S | not grep {sext}

; ModuleID = '<stdin>'

target triple = "x86_64-apple-darwin9.6"

@a = external global i32* ; <i32**> [#uses=3]

@b = external global i32* ; <i32**> [#uses=3]

; d[(i+2)&15] = e[(i+2)&15]+f[(i+2)&15]+K[i+2];

; }

;}

target triple = "x86_64-apple-darwin9.6"

@a = external global i32* ; <i32**> [#uses=3]

@b = external global i32* ; <i32**> [#uses=3]

; RUN: opt < %s -indvars -S | FileCheck %s

;

; PR1301

; Note that all four functions should actually be converted to

; memset. However, this test case validates indvars behavior. We

; don't check that phis are "folded together" because that is a job

;

; ModuleID = 'ada.bc'

target triple = "i686-pc-linux-gnu"

define void @kinds__sbytezero([256 x i32]* nocapture %a) nounwind {

; This test tests several things. The load and store should use the

; same address instead of having it computed twice, and SCEVExpander should

; be able to reconstruct the full getelementptr, despite it having a few

; obstacles set in its way.

define void @foo(i64 %n, i64 %m, i64 %o, i64 %q, double* nocapture %p) nounwind {

entry:

; Indvars should be able to eliminate all of the sign extensions

; inside the loop.

@pow_2_tab = external constant [0 x float] ; <[0 x float]*> [#uses=1]

@pow_2_025_tab = external constant [0 x float] ; <[0 x float]*> [#uses=1]

@i_pow_2_tab = external constant [0 x float] ; <[0 x float]*> [#uses=1]

; The i induction variable looks like a wrap-around, but it really is just

; a simple affine IV. Make sure that indvars eliminates it.

define void @foo() {

entry:

%2 = add nsw i32 %r.0, 1 ; <i32> [#uses=1]

br label %bb24

}

target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"

return:

ret void

; CHECK: @test4

}

; PR6761

exit:

ret void

; CHECK: @test5

; CHECK-NEXT: br i1

}

define void @foo(i64 %n, i64 %m, i64 %o, double* nocapture %p) nounwind {

entry:

br label %bb123

lpad266: ; preds = %invcont129, %bb128, %bb123

unreachable

}

declare void @system__img_int__image_integer(%struct.string___XUP* noalias sret, i32)

declare void @system__string_ops__str_concat(%struct.string___XUP* noalias sret, [0 x i8]*, %struct.string___XUB*, [0 x i8]*, %struct.string___XUB*)

; inner loop to i64.

; TODO: it should promote hiPart to i64 in the outer loop too.

define void @t(float* %pTmp1, float* %peakWeight, float* %nrgReducePeakrate, i32 %bandEdgeIndex, float %tmp1) nounwind {

entry:

; RUN: opt < %s -indvars -S | FileCheck %s

; CHECK-NOT: and

; CHECK-NOT: zext

define void @foo(double* %d, i64 %n) nounwind {

entry:

;

; Make sure that indvars isn't inserting canonical IVs.

; This is kinda hard to do until linear function test replacement is removed.

ret void

}

nounwind

{

entry:

; CHECK: exit:

loop:

%iv = phi i32 [%start, %entry], [%next, %loop]

store i32 3, i32* %adr

store i32 4, i32* %pp

%next = add i32 %iv, 1

%cond = icmp ne i32 %next, %limit

br i1 %cond, label %loop, label %exit

; CHECK-NOT: phi

; CHECK: add i32

; CHECK: add i32

; CHECK-NOT: add

; CHECK: return:

;

%sum4 = add i32 %sum1, %l.next

ret i32 %sum4

}

; Indvars shouldn't need inttoptr/ptrtoint to expand an address here.

; No explicit integer multiplications!

; No i8* arithmetic or pointer casting anywhere!

; FIXME: This test should pass with or without TargetData. Until opt

; supports running tests without targetdata, just hardware this in.

%struct.Q = type { [10 x %struct.N] }

%struct.N = type { %struct.S }

; Indvars shouldn't expand this to

; %p.2.ip.1 = getelementptr [3 x [3 x double]]* %p, i64 0, i64 %tmp, i64 19

; Indvars shouldn't leave getelementptrs expanded out as

; inttoptr+ptrtoint in its output in common cases.

target triple = "x86_64-unknown-linux-gnu"

%struct.Foo = type { i32, i32, [10 x i32], i32 }

; RUN: opt < %s -indvars -S | FileCheck %s

; Indvars should insert a 64-bit induction variable to eliminate the

; sext for the addressing, however it shouldn't eliminate the sext

; RUN: opt < %s -indvars -instcombine -S | FileCheck %s

;

; Test that -indvars can reduce variable stride IVs. If it can reduce variable

; stride iv's, it will make %iv. and %m.0.0 isomorphic to each other without