diff --git a/test/Transforms/CorrelatedExprs/looptest.ll b/test/Transforms/CorrelatedExprs/looptest.ll deleted file mode 100644 index d1ad4346de9..00000000000 --- a/test/Transforms/CorrelatedExprs/looptest.ll +++ /dev/null @@ -1,44 +0,0 @@ -; This testcase tests to see if adds and PHI's are handled in their full -; generality. This testcase comes from the following C code: -; -; void f() { -; int i; -; for (i = 1; i < 100; i++) { -; if (i) -; g(); -; } -; } -; -; Note that this is a "feature" test, not a correctness test. -; -; XFAIL: * -; RUN: llvm-upgrade < %s | llvm-as | opt -cee -simplifycfg | llvm-dis | \ -; RUN: not grep cond213 -; END. -; -implementation ; Functions: - -declare void %g() - -void %f() { -bb0: ; No predecessors! - br label %bb2 - -bb2: ; preds = %bb4, %bb0 - %cann-indvar = phi int [ 0, %bb0 ], [ %add1-indvar, %bb4 ] ; [#uses=2] - %add1-indvar = add int %cann-indvar, 1 ; [#uses=2] - %cond213 = seteq int %add1-indvar, 0 ; [#uses=1] - br bool %cond213, label %bb4, label %bb3 - -bb3: ; preds = %bb2 - call void %g( ) - br label %bb4 - -bb4: ; preds = %bb3, %bb2 - %reg109 = add int %cann-indvar, 2 ; [#uses=1] - %cond217 = setle int %reg109, 99 ; [#uses=1] - br bool %cond217, label %bb2, label %bb5 - -bb5: ; preds = %bb4 - ret void -} diff --git a/test/Transforms/CorrelatedExprs/nullpointer.ll b/test/Transforms/CorrelatedExprs/nullpointer.ll deleted file mode 100644 index 88a0c0e5f41..00000000000 --- a/test/Transforms/CorrelatedExprs/nullpointer.ll +++ /dev/null @@ -1,26 +0,0 @@ -; a load or store of a pointer indicates that the pointer is not null. -; Any succeeding uses of the pointer should get this info -; -; XFAIL: * -; RUN: llvm-upgrade < %s | llvm-as | opt -cee -instcombine -simplifycfg | \ -; RUN: llvm-dis | not grep br -; END. - -implementation ; Functions: - -declare void %foo() -declare void %bar() - -int %nullptr(int* %j) { -bb0: - store int 7, int* %j ; j != null - %cond220 = seteq int* %j, null ; F - br bool %cond220, label %bb3, label %bb4 ; direct branch - -bb3: - call void %foo() - ret int 4 ; Dead code -bb4: - call void %bar() - ret int 3 ; Live code -}