SpeculativeExecution: Allow speculating more inst types

Partial step towards removing the whitelist and only
using TTI's cost.

llvm-svn: 285438

1 files changed, 31 insertions, 0 deletions

diff --git a/llvm/test/Transforms/SpeculativeExecution/spec-compares.ll b/llvm/test/Transforms/SpeculativeExecution/spec-compares.ll
new file mode 100644
index 00000000000..0d97374456c
--- /dev/null
+++ b/llvm/test/Transforms/SpeculativeExecution/spec-compares.ll
@@ -0,0 +1,31 @@
+; RUN: opt < %s -S -speculative-execution \
+; RUN:   -spec-exec-max-speculation-cost 4 -spec-exec-max-not-hoisted 3 \
+; RUN:   | FileCheck %s
+
+; CHECK-LABEL: @ifThen_icmp(
+; CHECK: icmp
+; CHECK: br i1 true
+define void @ifThen_icmp() {
+  br i1 true, label %a, label %b
+
+a:
+  %x = icmp eq i32 undef, undef
+  br label %b
+
+b:
+  ret void
+}
+
+; CHECK-LABEL: @ifThen_fcmp(
+; CHECK: fcmp
+; CHECK: br i1 true
+define void @ifThen_fcmp() {
+  br i1 true, label %a, label %b
+
+a:
+  %x = fcmp oeq float undef, undef
+  br label %b
+
+b:
+  ret void
+}