From 8c526e49928c52bcdb16b05b198d73615c7224a9 Mon Sep 17 00:00:00 2001
From: Philip Reames <listmail@philipreames.com>
Date: Tue, 3 Sep 2019 17:02:55 +0000
Subject: [PATCH] [Tests/GVN] Precommit requested test additions from D66977

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@370784 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/Transforms/GVN/equality-assume.ll | 88 ++++++++++++++++++++++++++
 1 file changed, 88 insertions(+)

diff --git a/test/Transforms/GVN/equality-assume.ll b/test/Transforms/GVN/equality-assume.ll
index a4c797a627f..8afbce27781 100644
--- a/test/Transforms/GVN/equality-assume.ll
+++ b/test/Transforms/GVN/equality-assume.ll
@@ -27,6 +27,58 @@ define i32 @reverse(i32* %p, i32 %v) {
   ret i32 %v
 }
 
+define float @float_oeq(float* %p, float %v) {
+; CHECK-LABEL: @float_oeq(
+; CHECK-NEXT:    [[LOAD:%.*]] = load float, float* [[P:%.*]]
+; CHECK-NEXT:    [[C:%.*]] = fcmp oeq float [[LOAD]], [[V:%.*]]
+; CHECK-NEXT:    call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT:    ret float [[LOAD]]
+;
+  %load = load float, float* %p
+  %c = fcmp oeq float %load, %v
+  call void @llvm.assume(i1 %c)
+  ret float %load
+}
+
+define float @float_ueq(float* %p, float %v) {
+; CHECK-LABEL: @float_ueq(
+; CHECK-NEXT:    [[LOAD:%.*]] = load float, float* [[P:%.*]]
+; CHECK-NEXT:    [[C:%.*]] = fcmp ueq float [[LOAD]], [[V:%.*]]
+; CHECK-NEXT:    call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT:    ret float [[LOAD]]
+;
+  %load = load float, float* %p
+  %c = fcmp ueq float %load, %v
+  call void @llvm.assume(i1 %c)
+  ret float %load
+}
+
+define float @float_oeq_constant(float* %p) {
+; CHECK-LABEL: @float_oeq_constant(
+; CHECK-NEXT:    [[LOAD:%.*]] = load float, float* [[P:%.*]]
+; CHECK-NEXT:    [[C:%.*]] = fcmp oeq float [[LOAD]], 5.000000e+00
+; CHECK-NEXT:    call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT:    ret float 5.000000e+00
+;
+  %load = load float, float* %p
+  %c = fcmp oeq float %load, 5.0
+  call void @llvm.assume(i1 %c)
+  ret float %load
+}
+
+define float @float_ueq_constant(float* %p) {
+; CHECK-LABEL: @float_ueq_constant(
+; CHECK-NEXT:    [[LOAD:%.*]] = load float, float* [[P:%.*]]
+; CHECK-NEXT:    [[C:%.*]] = fcmp ueq float [[LOAD]], 5.000000e+00
+; CHECK-NEXT:    call void @llvm.assume(i1 [[C]])
+; CHECK-NEXT:    ret float [[LOAD]]
+;
+  %load = load float, float* %p
+  %c = fcmp ueq float %load, 5.0
+  call void @llvm.assume(i1 %c)
+  ret float %load
+}
+
 define i32 @test2(i32* %p, i32 %v) {
 ; CHECK-LABEL: @test2(
 ; CHECK-NEXT:    [[LOAD:%.*]] = load i32, i32* [[P:%.*]]
@@ -41,6 +93,8 @@ define i32 @test2(i32* %p, i32 %v) {
   ret i32 %load2
 }
 
+
+
 define i32 @test3(i32* %p, i32 %v) {
 ; CHECK-LABEL: @test3(
 ; CHECK-NEXT:    [[LOAD:%.*]] = load i32, i32* [[P:%.*]]
@@ -62,5 +116,39 @@ merge:
   ret i32 %load
 }
 
+define i32 @trivial_constants(i32* %p) {
+; CHECK-LABEL: @trivial_constants(
+; CHECK-NEXT:    br i1 undef, label [[TAKEN:%.*]], label [[MERGE:%.*]]
+; CHECK:       taken:
+; CHECK-NEXT:    br label [[MERGE]]
+; CHECK:       merge:
+; CHECK-NEXT:    ret i32 0
+;
+  %c = icmp eq i32 0, 0
+  call void @llvm.assume(i1 %c)
+  br i1 undef, label %taken, label %merge
+taken:
+  br label %merge
+merge:
+  ret i32 0
+}
+
+define i32 @conflicting_constants(i32* %p) {
+; CHECK-LABEL: @conflicting_constants(
+; CHECK-NEXT:    store i8 undef, i8* null
+; CHECK-NEXT:    br i1 undef, label [[TAKEN:%.*]], label [[MERGE:%.*]]
+; CHECK:       taken:
+; CHECK-NEXT:    br label [[MERGE]]
+; CHECK:       merge:
+; CHECK-NEXT:    ret i32 1
+;
+  %c = icmp eq i32 0, 5
+  call void @llvm.assume(i1 %c)
+  br i1 undef, label %taken, label %merge
+taken:
+  br label %merge
+merge:
+  ret i32 1
+}
 
 declare void @llvm.assume(i1)
-- 
2.50.1