summaryrefslogtreecommitdiffstats
path: root/llvm
diff options
context:
space:
mode:
authorDaniel Berlin <dberlin@dberlin.org>2017-02-12 23:28:06 +0000
committerDaniel Berlin <dberlin@dberlin.org>2017-02-12 23:28:06 +0000
commit1bcd504a88a90b955bb12e8fd2074d9617653c99 (patch)
tree53d313b619191c04df2b292afeb1ca35f098bebb /llvm
parent2ef385d0198b9f1636c6c3fe1f6058d4a9ec9e03 (diff)
downloadbcm5719-llvm-1bcd504a88a90b955bb12e8fd2074d9617653c99.tar.gz
bcm5719-llvm-1bcd504a88a90b955bb12e8fd2074d9617653c99.zip
NewGVN: Update a number of xfailed tests to either be correct or note
why they fail. llvm-svn: 294928
Diffstat (limited to 'llvm')
-rw-r--r--llvm/test/Transforms/NewGVN/2007-07-26-PhiErasure.ll45
-rw-r--r--llvm/test/Transforms/NewGVN/bitcast-of-call.ll18
-rw-r--r--llvm/test/Transforms/NewGVN/calls-nonlocal.ll2
-rw-r--r--llvm/test/Transforms/NewGVN/fold-const-expr.ll2
-rw-r--r--llvm/test/Transforms/NewGVN/pr10820.ll2
-rw-r--r--llvm/test/Transforms/NewGVN/pr14166.ll1
-rw-r--r--llvm/test/Transforms/NewGVN/pr17732.ll2
7 files changed, 39 insertions, 33 deletions
diff --git a/llvm/test/Transforms/NewGVN/2007-07-26-PhiErasure.ll b/llvm/test/Transforms/NewGVN/2007-07-26-PhiErasure.ll
index 402de50c72c..27a798bf7dd 100644
--- a/llvm/test/Transforms/NewGVN/2007-07-26-PhiErasure.ll
+++ b/llvm/test/Transforms/NewGVN/2007-07-26-PhiErasure.ll
@@ -1,4 +1,4 @@
-; XFAIL: *
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -newgvn -S | FileCheck %s
%struct..0anon = type { i32 }
@@ -9,37 +9,34 @@
@n_spills = external global i32 ; <i32*> [#uses=2]
define i32 @reload(%struct.rtx_def* %first, i32 %global, %struct.FILE* %dumpfile) {
+; CHECK-LABEL: @reload(
+; CHECK-NEXT: cond_next2835.1:
+; CHECK-NEXT: br label [[BB2928:%.*]]
+; CHECK: bb2928:
+; CHECK-NEXT: br i1 false, label [[COND_NEXT2943:%.*]], label [[COND_TRUE2935:%.*]]
+; CHECK: cond_true2935:
+; CHECK-NEXT: br label [[COND_NEXT2943]]
+; CHECK: cond_next2943:
+; CHECK-NEXT: br i1 false, label [[BB2982_PREHEADER:%.*]], label [[BB2928]]
+; CHECK: bb2982.preheader:
+; CHECK-NEXT: store i8 undef, i8* null
+; CHECK-NEXT: ret i32 undef
+;
cond_next2835.1: ; preds = %cond_next2861
- %tmp2922 = load i32, i32* @n_spills, align 4 ; <i32> [#uses=0]
- br label %bb2928
+ %tmp2922 = load i32, i32* @n_spills, align 4 ; <i32> [#uses=0]
+ br label %bb2928
bb2928: ; preds = %cond_next2835.1, %cond_next2943
- br i1 false, label %cond_next2943, label %cond_true2935
+ br i1 false, label %cond_next2943, label %cond_true2935
cond_true2935: ; preds = %bb2928
- br label %cond_next2943
+ br label %cond_next2943
cond_next2943: ; preds = %cond_true2935, %bb2928
- br i1 false, label %bb2982.preheader, label %bb2928
+ br i1 false, label %bb2982.preheader, label %bb2928
bb2982.preheader: ; preds = %cond_next2943
- %tmp298316 = load i32, i32* @n_spills, align 4 ; <i32> [#uses=0]
- ret i32 %tmp298316
+ %tmp298316 = load i32, i32* @n_spills, align 4 ; <i32> [#uses=0]
+ ret i32 %tmp298316
}
-
-; CHECK: define i32 @reload(%struct.rtx_def* %first, i32 %global, %struct.FILE* %dumpfile) {
-; CHECK-NEXT: cond_next2835.1:
-; CHECK-NEXT: br label %bb2928
-; CHECK: bb2928:
-; CHECK-NEXT: br i1 false, label %bb2928.cond_next2943_crit_edge, label %cond_true2935
-; CHECK: bb2928.cond_next2943_crit_edge:
-; CHECK-NEXT: br label %cond_next2943
-; CHECK: cond_true2935:
-; CHECK-NEXT: br label %cond_next2943
-; CHECK: cond_next2943:
-; CHECK-NEXT: br i1 false, label %bb2982.preheader, label %bb2928
-; CHECK: bb2982.preheader:
-; CHECK-NEXT: %tmp298316 = load i32, i32* @n_spills, align 4
-; CHECK-NEXT: ret i32 %tmp298316
-; CHECK-NEXT: }
diff --git a/llvm/test/Transforms/NewGVN/bitcast-of-call.ll b/llvm/test/Transforms/NewGVN/bitcast-of-call.ll
index 7b25038275b..2b817fbcd01 100644
--- a/llvm/test/Transforms/NewGVN/bitcast-of-call.ll
+++ b/llvm/test/Transforms/NewGVN/bitcast-of-call.ll
@@ -1,14 +1,20 @@
-; XFAIL: *
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -newgvn -S | FileCheck %s
; PR2213
define i32* @f(i8* %x) {
+; CHECK-LABEL: @f(
+; CHECK-NEXT: entry:
+; CHECK-NEXT: [[TMP:%.*]] = call i8* @m(i32 12)
+; CHECK-NEXT: [[TMP1:%.*]] = bitcast i8* [[TMP]] to i32*
+; CHECK-NEXT: ret i32* [[TMP1]]
+;
entry:
- %tmp = call i8* @m( i32 12 ) ; <i8*> [#uses=2]
- %tmp1 = bitcast i8* %tmp to i32* ; <i32*> [#uses=0]
- %tmp2 = bitcast i8* %tmp to i32* ; <i32*> [#uses=0]
-; CHECK-NOT: %tmp2
- ret i32* %tmp2
+ %tmp = call i8* @m( i32 12 ) ; <i8*> [#uses=2]
+ %tmp1 = bitcast i8* %tmp to i32* ; <i32*> [#uses=0]
+ %tmp3 = bitcast i32* %tmp1 to i8*
+ %tmp2 = bitcast i8* %tmp3 to i32* ; <i32*> [#uses=0]
+ ret i32* %tmp2
}
declare i8* @m(i32)
diff --git a/llvm/test/Transforms/NewGVN/calls-nonlocal.ll b/llvm/test/Transforms/NewGVN/calls-nonlocal.ll
index 292060db812..6e918050d59 100644
--- a/llvm/test/Transforms/NewGVN/calls-nonlocal.ll
+++ b/llvm/test/Transforms/NewGVN/calls-nonlocal.ll
@@ -1,4 +1,6 @@
; XFAIL: *
+;; NewGVN zaps the strlens, but currently takes two iterations to evaluate the conditions, because
+;; we prune predicateinfo, and the icmps only become equivalent after the strlens are zapped
; Two occurrences of strlen should be zapped.
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
diff --git a/llvm/test/Transforms/NewGVN/fold-const-expr.ll b/llvm/test/Transforms/NewGVN/fold-const-expr.ll
index 20b74277b1a..9dd9fcf34cb 100644
--- a/llvm/test/Transforms/NewGVN/fold-const-expr.ll
+++ b/llvm/test/Transforms/NewGVN/fold-const-expr.ll
@@ -5,7 +5,7 @@
; This test checks that we are folding constant expression
; PR 28418
; RUN: opt -newgvn -S < %s | FileCheck %s
-
+;; NewGVN fails this due to not having load coercion
%2 = type { i32, i32, i32, i32, i32 }
define i32 @_Z16vector3util_mainv(i32 %x, i32 %y) {
%tmp1 = alloca %2, align 4
diff --git a/llvm/test/Transforms/NewGVN/pr10820.ll b/llvm/test/Transforms/NewGVN/pr10820.ll
index d7a02b570aa..dbb1376874d 100644
--- a/llvm/test/Transforms/NewGVN/pr10820.ll
+++ b/llvm/test/Transforms/NewGVN/pr10820.ll
@@ -1,6 +1,6 @@
; XFAIL: *
; RUN: opt < %s -basicaa -newgvn -S | FileCheck %s
-
+; NewGVN fails this due to missing load coercion
target datalayout =
"e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-f128:128:128-n8:16:32:64"
target triple = "x86_64-unknown-linux-gnu"
diff --git a/llvm/test/Transforms/NewGVN/pr14166.ll b/llvm/test/Transforms/NewGVN/pr14166.ll
index daf27cdb7fd..c526c50bc75 100644
--- a/llvm/test/Transforms/NewGVN/pr14166.ll
+++ b/llvm/test/Transforms/NewGVN/pr14166.ll
@@ -1,5 +1,6 @@
; XFAIL: *
; RUN: opt -disable-basicaa -newgvn -S < %s | FileCheck %s
+; NewGVN fails this due to missing load coercion
target datalayout = "e-p:32:32:32"
target triple = "i386-pc-linux-gnu"
define <2 x i32> @test1() {
diff --git a/llvm/test/Transforms/NewGVN/pr17732.ll b/llvm/test/Transforms/NewGVN/pr17732.ll
index 4a194e6a08b..d8933337b9f 100644
--- a/llvm/test/Transforms/NewGVN/pr17732.ll
+++ b/llvm/test/Transforms/NewGVN/pr17732.ll
@@ -1,6 +1,6 @@
; XFAIL: *
; RUN: opt -newgvn -S -o - < %s | FileCheck %s
-
+; NewGVN fails this due to missing load coercion
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"
OpenPOWER on IntegriCloud