From ac599b69510baf046c915a94a68c36d7a9d64280 Mon Sep 17 00:00:00 2001 From: Francis Visoiu Mistrih Date: Thu, 21 Jun 2018 19:18:36 +0000 Subject: Revert r335206 "Recommit r333268: [IPSCCP] Use PredicateInfo to propagate facts from cmp instructions." This reverts commit r335206. As discussed here: https://reviews.llvm.org/rL333740, a fix will come tomorrow. In the meanwhile, revert this to fix some bots. llvm-svn: 335272 --- llvm/test/Transforms/SCCP/ipsccp-predicated.ll | 68 -------------------------- 1 file changed, 68 deletions(-) delete mode 100644 llvm/test/Transforms/SCCP/ipsccp-predicated.ll (limited to 'llvm/test/Transforms/SCCP') diff --git a/llvm/test/Transforms/SCCP/ipsccp-predicated.ll b/llvm/test/Transforms/SCCP/ipsccp-predicated.ll deleted file mode 100644 index 531fbba8f70..00000000000 --- a/llvm/test/Transforms/SCCP/ipsccp-predicated.ll +++ /dev/null @@ -1,68 +0,0 @@ -; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt < %s -ipsccp -S | FileCheck %s - -define i32 @test1(i32 %v) { -; CHECK-LABEL: @test1( -; CHECK-NEXT: Entry: -; CHECK-NEXT: [[TOBOOL1:%.*]] = icmp eq i32 [[V:%.*]], 10 -; CHECK-NEXT: br i1 [[TOBOOL1]], label [[T:%.*]], label [[F:%.*]] -; CHECK: T: -; CHECK-NEXT: [[R:%.*]] = call i32 @callee(i32 20) -; CHECK-NEXT: ret i32 [[R]] -; CHECK: F: -; CHECK-NEXT: [[X:%.*]] = call i32 @callee(i32 [[V]]) -; CHECK-NEXT: ret i32 [[X]] -; -Entry: - %tobool1 = icmp eq i32 %v, 10 - br i1 %tobool1, label %T, label %F - -T: - %a = add i32 %v, 10 - %r = call i32 @callee(i32 %a) - ret i32 %r - -F: - %x = call i32 @callee(i32 %v) - ret i32 %x -} - - -define internal i32 @test2(i32 %v, i32 %c) { -; CHECK-LABEL: @test2( -; CHECK-NEXT: Entry: -; CHECK-NEXT: [[TOBOOL1:%.*]] = icmp eq i32 [[V:%.*]], 99 -; CHECK-NEXT: br i1 [[TOBOOL1]], label [[T:%.*]], label [[F:%.*]] -; CHECK: T: -; CHECK-NEXT: [[R:%.*]] = call i32 @callee(i32 109) -; CHECK-NEXT: ret i32 [[R]] -; CHECK: F: -; CHECK-NEXT: [[X:%.*]] = call i32 @callee(i32 [[V]]) -; CHECK-NEXT: ret i32 [[X]] -; -Entry: - %tobool1 = icmp eq i32 %v, %c - br i1 %tobool1, label %T, label %F - -T: - %a = add i32 %v, 10 - %r = call i32 @callee(i32 %a) - ret i32 %r - -F: - %x = call i32 @callee(i32 %v) - ret i32 %x -} - -define i32 @caller_test2(i32 %v) { -; CHECK-LABEL: @caller_test2( -; CHECK-NEXT: entry: -; CHECK-NEXT: [[R:%.*]] = call i32 @test2(i32 [[V:%.*]], i32 99) -; CHECK-NEXT: ret i32 [[R]] -; -entry: - %r = call i32 @test2(i32 %v, i32 99) - ret i32 %r -} - -declare i32 @callee(i32) -- cgit v1.2.3