[llvm] r274332 - Revert "add tests for bugs fixed by the GVN hoist pass"
Duncan P. N. Exon Smith via llvm-commits
llvm-commits at lists.llvm.org
Thu Jun 30 21:55:13 PDT 2016
Author: dexonsmith
Date: Thu Jun 30 23:55:13 2016
New Revision: 274332
URL: http://llvm.org/viewvc/llvm-project?rev=274332&view=rev
Log:
Revert "add tests for bugs fixed by the GVN hoist pass"
This reverts commit r274327 since the tests fail. E.g.:
http://lab.llvm.org:8011/builders/clang-x86_64-linux-selfhost-modules/builds/17240
It looks like this commit is building on r274305, but that commit caused
a miscompile and was reverted in r274320.
Removed:
llvm/trunk/test/Transforms/GVN/hoist-pr20242.ll
llvm/trunk/test/Transforms/GVN/hoist-pr22005.ll
Removed: llvm/trunk/test/Transforms/GVN/hoist-pr20242.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/GVN/hoist-pr20242.ll?rev=274331&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/GVN/hoist-pr20242.ll (original)
+++ llvm/trunk/test/Transforms/GVN/hoist-pr20242.ll (removed)
@@ -1,74 +0,0 @@
-; RUN: opt -gvn-hoist -S < %s | FileCheck %s
-target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
-target triple = "x86_64-unknown-linux-gnu"
-
-; Check that all "or" expressions are hoisted.
-; CHECK-LABEL: @encode
-; CHECK: or i32
-; CHECK-NOT: or i32
-
-define i8* @encode(i8* %p, i32 %v) {
-entry:
- %p.addr = alloca i8*, align 8
- %v.addr = alloca i32, align 4
- store i8* %p, i8** %p.addr, align 8
- store i32 %v, i32* %v.addr, align 4
- %0 = load i32, i32* %v.addr, align 4
- %cmp = icmp ult i32 %0, 23
- br i1 %cmp, label %if.then, label %if.else
-
-if.then: ; preds = %entry
- %1 = load i32, i32* %v.addr, align 4
- %or = or i32 %1, 128
- %conv = trunc i32 %or to i8
- %2 = load i8*, i8** %p.addr, align 8
- %incdec.ptr = getelementptr inbounds i8, i8* %2, i32 1
- store i8* %incdec.ptr, i8** %p.addr, align 8
- store i8 %conv, i8* %2, align 1
- br label %if.end15
-
-if.else: ; preds = %entry
- %3 = load i32, i32* %v.addr, align 4
- %cmp1 = icmp ult i32 %3, 42
- br i1 %cmp1, label %if.then3, label %if.else9
-
-if.then3: ; preds = %if.else
- %4 = load i32, i32* %v.addr, align 4
- %or4 = or i32 %4, 128
- %conv5 = trunc i32 %or4 to i8
- %5 = load i8*, i8** %p.addr, align 8
- %incdec.ptr6 = getelementptr inbounds i8, i8* %5, i32 1
- store i8* %incdec.ptr6, i8** %p.addr, align 8
- store i8 %conv5, i8* %5, align 1
- %6 = load i32, i32* %v.addr, align 4
- %conv7 = trunc i32 %6 to i8
- %7 = load i8*, i8** %p.addr, align 8
- %incdec.ptr8 = getelementptr inbounds i8, i8* %7, i32 1
- store i8* %incdec.ptr8, i8** %p.addr, align 8
- store i8 %conv7, i8* %7, align 1
- br label %if.end
-
-if.else9: ; preds = %if.else
- %8 = load i32, i32* %v.addr, align 4
- %or10 = or i32 %8, 128
- %conv11 = trunc i32 %or10 to i8
- %9 = load i8*, i8** %p.addr, align 8
- %incdec.ptr12 = getelementptr inbounds i8, i8* %9, i32 1
- store i8* %incdec.ptr12, i8** %p.addr, align 8
- store i8 %conv11, i8* %9, align 1
- %10 = load i32, i32* %v.addr, align 4
- %shr = lshr i32 %10, 7
- %conv13 = trunc i32 %shr to i8
- %11 = load i8*, i8** %p.addr, align 8
- %incdec.ptr14 = getelementptr inbounds i8, i8* %11, i32 1
- store i8* %incdec.ptr14, i8** %p.addr, align 8
- store i8 %conv13, i8* %11, align 1
- br label %if.end
-
-if.end: ; preds = %if.else9, %if.then3
- br label %if.end15
-
-if.end15: ; preds = %if.end, %if.then
- %12 = load i8*, i8** %p.addr, align 8
- ret i8* %12
-}
Removed: llvm/trunk/test/Transforms/GVN/hoist-pr22005.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/GVN/hoist-pr22005.ll?rev=274331&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/GVN/hoist-pr22005.ll (original)
+++ llvm/trunk/test/Transforms/GVN/hoist-pr22005.ll (removed)
@@ -1,30 +0,0 @@
-; RUN: opt -gvn-hoist -S < %s | FileCheck %s
-target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"
-target triple = "x86_64-unknown-linux-gnu"
-
-; Check that all "sub" expressions are hoisted.
-; CHECK-LABEL: @fun
-; CHECK: sub i64
-; CHECK-NOT: sub i64
-
-define i64 @fun(i8* %out, i8* %end) {
- %1 = icmp ult i8* %out, %end
- br i1 %1, label %2, label %6
-
-; <label>:2 ; preds = %0
- %3 = ptrtoint i8* %end to i64
- %4 = ptrtoint i8* %out to i64
- %5 = sub i64 %3, %4
- br label %10
-
-; <label>:6 ; preds = %0
- %7 = ptrtoint i8* %out to i64
- %8 = ptrtoint i8* %end to i64
- %9 = sub i64 %8, %7
- br label %10
-
-; <label>:10 ; preds = %6, %2
- %.in = phi i64 [ %5, %2 ], [ %9, %6 ]
- %11 = add i64 %.in, 257
- ret i64 %11
-}
More information about the llvm-commits
mailing list