RPCSX/llvm
1
0
Fork 0
mirror of https://github.com/RPCSX/llvm.git synced 2024-11-24 12:19:53 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

[InstCombine] consolidate regression tests of the ancients (2002)

Browse Source 
Testing out the check-generator-script that's now in the utils folder.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@264424 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Sanjay Patel 2016-03-25 17:16:32 +00:00
parent 1ffcfe8d01
commit 2ff352963d
5 changed files with 50 additions and 44 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
test/Transforms/InstCombine/2002-03-11-InstCombineHang.ll
View File

@ -1,9 +0,0 @@
; This testcase causes instcombine to hang.
;
; RUN: opt < %s -instcombine
define void @test(i32 %X) {
%reg117 = add i32 %X, 0 ; <i32> [#uses=0]
ret void
}

11
test/Transforms/InstCombine/2002-05-14-SubFailure.ll
View File

@ -1,11 +0,0 @@
; Instcombine was missing a test that caused it to make illegal transformations
; sometimes. In this case, it transforms the sub into an add:
; RUN: opt < %s -instcombine -S | FileCheck %s
; CHECK: sub
define i32 @test(i32 %i, i32 %j) {
%A = mul i32 %i, %j
%B = sub i32 2, %A
ret i32 %B
}

11
test/Transforms/InstCombine/2002-08-02-CastTest.ll
View File

@ -1,11 +0,0 @@
; This testcase is incorrectly getting completely eliminated. There should be
; SOME instruction named %c here, even if it's a bitwise and.
;
; RUN: opt < %s -instcombine -S | grep %c
;
define i64 @test3(i64 %A) {
%c1 = trunc i64 %A to i8 ; <i8> [#uses=1]
%c2 = zext i8 %c1 to i64 ; <i64> [#uses=1]
ret i64 %c2
}

13
test/Transforms/InstCombine/2002-12-05-MissedConstProp.ll
View File

@ -1,13 +0,0 @@
; RUN: opt < %s -instcombine -S | FileCheck %s
; CHECK-NOT: add
define i32 @test(i32 %A) {
%A.neg = sub i32 0, %A ; <i32> [#uses=1]
%.neg = sub i32 0, 1 ; <i32> [#uses=1]
%X = add i32 %.neg, 1 ; <i32> [#uses=1]
%Y.neg.ra = add i32 %A, %X ; <i32> [#uses=1]
%r = add i32 %A.neg, %Y.neg.ra ; <i32> [#uses=1]
ret i32 %r
}

50
test/Transforms/InstCombine/misc-2002.ll Normal file
View File

@ -0,0 +1,50 @@
; NOTE: Assertions have been autogenerated by update_test_checks.py
; RUN: opt < %s -instcombine -S | FileCheck %s
define void @hang_2002-03-11(i32 %X) {
; CHECK-LABEL: @hang_2002-03-11(
; CHECK: ret void
;
%reg117 = add i32 %X, 0
ret void
}
; Instcombine was missing a test that caused it to make illegal transformations
; sometimes. In this case, it transformed the sub into an add:
define i32 @sub_failure_2002-05-14(i32 %i, i32 %j) {
; CHECK-LABEL: @sub_failure_2002-05-14(
; CHECK: [[A:%.*]] = mul i32 %i, %j
; CHECK-NEXT: [[B:%.*]] = sub i32 2, [[A]]
; CHECK-NEXT: ret i32 [[B]]
;
%A = mul i32 %i, %j
%B = sub i32 2, %A
ret i32 %B
}
; This testcase was incorrectly getting completely eliminated. There should be
; SOME instruction named %c here, even if it's a bitwise and.
define i64 @cast_test_2002-08-02(i64 %A) {
; CHECK-LABEL: @cast_test_2002-08-02(
; CHECK: [[C2:%.*]] = and i64 %A, 255
; CHECK-NEXT: ret i64 [[C2]]
;
%c1 = trunc i64 %A to i8
%c2 = zext i8 %c1 to i64
ret i64 %c2
}
define i32 @missed_const_prop_2002-12-05(i32 %A) {
; CHECK-LABEL: @missed_const_prop_2002-12-05(
; CHECK: ret i32 0
;
%A.neg = sub i32 0, %A
%.neg = sub i32 0, 1
%X = add i32 %.neg, 1
%Y.neg.ra = add i32 %A, %X
%r = add i32 %A.neg, %Y.neg.ra
ret i32 %r
}