Differential D13363 Diff 42326 test/Transforms/DeadStoreElimination/cycle.ll

Changeset View

Standalone View

				; RUN: opt < %s -basicaa -dse -S \| FileCheck %s

				@Table = global [535 x i32] zeroinitializer, align 4

				mbodartUnsubmitted Done Reply Inline Actions These tests seem fairly generic. I would prefer that we remove the explicit datalayout and triple here. mbodart: These tests seem fairly generic. I would prefer that we remove the explicit datalayout and…
				; The store in for.inc block should NOT be removed by non-local DSE.
				; CHECK: store i32 64, i32* %arrayidx
				;
				define void @foo() {
				entry:
				br label %for.body

				for.body:
				%i = phi i32 [ 0, %entry ], [ %inc, %for.inc ]
				%arrayidx = getelementptr inbounds [535 x i32], [535 x i32]* @Table, i32 0, i32 %i
				store i32 %i, i32* %arrayidx, align 4
				%cmp1 = icmp slt i32 %i, 64
				br i1 %cmp1, label %for.inc, label %for.end

				for.inc:
				store i32 64, i32* %arrayidx, align 4
				%inc = add nsw i32 %i, 1
				br label %for.body

				for.end:
				ret void
				}