RPCS3/llvm-mirror
1
0
Fork 0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-11-23 11:13:28 +01:00
Code Issues Projects Releases Wiki Activity

[InstCombine] update test to use FileCheck and auto-generate checks

Browse Source 
llvm-svn: 284242
This commit is contained in:
Sanjay Patel 2016-10-14 15:30:31 +00:00
parent 8024bbbb08
commit e5bc6982b9
1 changed files with 148 additions and 71 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

219
test/Transforms/InstCombine/apint-sub.ll
View File

@ -1,135 +1,212 @@
; This test makes sure that sub instructions are properly eliminated ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; even with arbitrary precision integers. ; RUN: opt < %s -instcombine -S | FileCheck %s
;
; RUN: opt < %s -instcombine -S | \
; RUN: grep -v "sub i19 %Cok, %Bok" | grep -v "sub i25 0, %Aok" | not grep sub
; END.
define i23 @test1(i23 %A) { define i23 @test1(i23 %A) {
%B = sub i23 %A, %A ; <i23> [#uses=1] ; CHECK-LABEL: @test1(
ret i23 %B ; CHECK-NEXT: ret i23 0
;
%B = sub i23 %A, %A
ret i23 %B
} }
define i47 @test2(i47 %A) { define i47 @test2(i47 %A) {
%B = sub i47 %A, 0 ; <i47> [#uses=1] ; CHECK-LABEL: @test2(
ret i47 %B ; CHECK-NEXT: ret i47 %A
;
%B = sub i47 %A, 0
ret i47 %B
} }
define i97 @test3(i97 %A) { define i97 @test3(i97 %A) {
%B = sub i97 0, %A ; <i97> [#uses=1] ; CHECK-LABEL: @test3(
%C = sub i97 0, %B ; <i97> [#uses=1] ; CHECK-NEXT: ret i97 %A
ret i97 %C ;
%B = sub i97 0, %A
%C = sub i97 0, %B
ret i97 %C
} }
define i108 @test4(i108 %A, i108 %x) { define i108 @test4(i108 %A, i108 %x) {
%B = sub i108 0, %A ; <i108> [#uses=1] ; CHECK-LABEL: @test4(
%C = sub i108 %x, %B ; <i108> [#uses=1] ; CHECK-NEXT: [[C:%.*]] = add i108 %x, %A
ret i108 %C ; CHECK-NEXT: ret i108 [[C]]
;
%B = sub i108 0, %A
%C = sub i108 %x, %B
ret i108 %C
} }
define i19 @test5(i19 %A, i19 %Bok, i19 %Cok) { define i19 @test5(i19 %A, i19 %Bok, i19 %Cok) {
%D = sub i19 %Bok, %Cok ; <i19> [#uses=1] ; CHECK-LABEL: @test5(
%E = sub i19 %A, %D ; <i19> [#uses=1] ; CHECK-NEXT: [[D1:%.*]] = sub i19 %Cok, %Bok
ret i19 %E ; CHECK-NEXT: [[E:%.*]] = add i19 [[D1]], %A
; CHECK-NEXT: ret i19 [[E]]
;
%D = sub i19 %Bok, %Cok
%E = sub i19 %A, %D
ret i19 %E
} }
define i57 @test6(i57 %A, i57 %B) { define i57 @test6(i57 %A, i57 %B) {
%C = and i57 %A, %B ; <i57> [#uses=1] ; CHECK-LABEL: @test6(
%D = sub i57 %A, %C ; <i57> [#uses=1] ; CHECK-NEXT: [[B_NOT:%.*]] = xor i57 %B, -1
ret i57 %D ; CHECK-NEXT: [[D:%.*]] = and i57 %A, [[B_NOT]]
; CHECK-NEXT: ret i57 [[D]]
;
%C = and i57 %A, %B
%D = sub i57 %A, %C
ret i57 %D
} }
define i77 @test7(i77 %A) { define i77 @test7(i77 %A) {
%B = sub i77 -1, %A ; <i77> [#uses=1] ; CHECK-LABEL: @test7(
ret i77 %B ; CHECK-NEXT: [[B:%.*]] = xor i77 %A, -1
; CHECK-NEXT: ret i77 [[B]]
;
%B = sub i77 -1, %A
ret i77 %B
} }
define i27 @test8(i27 %A) { define i27 @test8(i27 %A) {
%B = mul i27 9, %A ; <i27> [#uses=1] ; CHECK-LABEL: @test8(
%C = sub i27 %B, %A ; <i27> [#uses=1] ; CHECK-NEXT: [[C:%.*]] = shl i27 %A, 3
ret i27 %C ; CHECK-NEXT: ret i27 [[C]]
;
%B = mul i27 9, %A
%C = sub i27 %B, %A
ret i27 %C
} }
define i42 @test9(i42 %A) { define i42 @test9(i42 %A) {
%B = mul i42 3, %A ; <i42> [#uses=1] ; CHECK-LABEL: @test9(
%C = sub i42 %A, %B ; <i42> [#uses=1] ; CHECK-NEXT: [[C:%.*]] = mul i42 %A, -2
ret i42 %C ; CHECK-NEXT: ret i42 [[C]]
;
%B = mul i42 3, %A
%C = sub i42 %A, %B
ret i42 %C
} }
define i124 @test10(i124 %A, i124 %B) { define i124 @test10(i124 %A, i124 %B) {
%C = sub i124 0, %A ; <i124> [#uses=1] ; CHECK-LABEL: @test10(
%D = sub i124 0, %B ; <i124> [#uses=1] ; CHECK-NEXT: [[E:%.*]] = mul i124 %A, %B
%E = mul i124 %C, %D ; <i124> [#uses=1] ; CHECK-NEXT: ret i124 [[E]]
ret i124 %E ;
%C = sub i124 0, %A
%D = sub i124 0, %B
%E = mul i124 %C, %D
ret i124 %E
} }
define i55 @test10a(i55 %A) { define i55 @test10a(i55 %A) {
%C = sub i55 0, %A ; <i55> [#uses=1] ; CHECK-LABEL: @test10a(
%E = mul i55 %C, 7 ; <i55> [#uses=1] ; CHECK-NEXT: [[E:%.*]] = mul i55 %A, -7
ret i55 %E ; CHECK-NEXT: ret i55 [[E]]
;
%C = sub i55 0, %A
%E = mul i55 %C, 7
ret i55 %E
} }
define i1 @test11(i9 %A, i9 %B) { define i1 @test11(i9 %A, i9 %B) {
%C = sub i9 %A, %B ; <i9> [#uses=1] ; CHECK-LABEL: @test11(
%cD = icmp ne i9 %C, 0 ; <i1> [#uses=1] ; CHECK-NEXT: [[CD:%.*]] = icmp ne i9 %A, %B
ret i1 %cD ; CHECK-NEXT: ret i1 [[CD]]
;
%C = sub i9 %A, %B
%cD = icmp ne i9 %C, 0
ret i1 %cD
} }
define i43 @test12(i43 %A) { define i43 @test12(i43 %A) {
%B = ashr i43 %A, 42 ; <i43> [#uses=1] ; CHECK-LABEL: @test12(
%C = sub i43 0, %B ; <i43> [#uses=1] ; CHECK-NEXT: [[C:%.*]] = lshr i43 %A, 42
ret i43 %C ; CHECK-NEXT: ret i43 [[C]]
;
%B = ashr i43 %A, 42
%C = sub i43 0, %B
ret i43 %C
} }
define i79 @test13(i79 %A) { define i79 @test13(i79 %A) {
%B = lshr i79 %A, 78 ; <i79> [#uses=1] ; CHECK-LABEL: @test13(
%C = sub i79 0, %B ; <i79> [#uses=1] ; CHECK-NEXT: [[C:%.*]] = ashr i79 %A, 78
ret i79 %C ; CHECK-NEXT: ret i79 [[C]]
;
%B = lshr i79 %A, 78
%C = sub i79 0, %B
ret i79 %C
} }
define i1024 @test14(i1024 %A) { define i1024 @test14(i1024 %A) {
%B = lshr i1024 %A, 1023 ; <i1024> [#uses=1] ; CHECK-LABEL: @test14(
%C = bitcast i1024 %B to i1024 ; <i1024> [#uses=1] ; CHECK-NEXT: [[D:%.*]] = ashr i1024 %A, 1023
%D = sub i1024 0, %C ; <i1024> [#uses=1] ; CHECK-NEXT: ret i1024 [[D]]
ret i1024 %D ;
%B = lshr i1024 %A, 1023
%C = bitcast i1024 %B to i1024
%D = sub i1024 0, %C
ret i1024 %D
} }
define i51 @test16(i51 %A) { define i51 @test16(i51 %A) {
%X = sdiv i51 %A, 1123 ; <i51> [#uses=1] ; CHECK-LABEL: @test16(
%Y = sub i51 0, %X ; <i51> [#uses=1] ; CHECK-NEXT: [[Y:%.*]] = sdiv i51 %A, -1123
ret i51 %Y ; CHECK-NEXT: ret i51 [[Y]]
;
%X = sdiv i51 %A, 1123
%Y = sub i51 0, %X
ret i51 %Y
} }
; Can't fold subtract here because negation it might oveflow. ; Can't fold subtract here because negation might overflow.
; PR3142 ; PR3142
define i25 @test17(i25 %Aok) { define i25 @test17(i25 %Aok) {
%B = sub i25 0, %Aok ; <i25> [#uses=1] ; CHECK-LABEL: @test17(
%C = sdiv i25 %B, 1234 ; <i25> [#uses=1] ; CHECK-NEXT: [[B:%.*]] = sub i25 0, %Aok
ret i25 %C ; CHECK-NEXT: [[C:%.*]] = sdiv i25 [[B]], 1234
; CHECK-NEXT: ret i25 [[C]]
;
%B = sub i25 0, %Aok
%C = sdiv i25 %B, 1234
ret i25 %C
} }
define i128 @test18(i128 %Y) { define i128 @test18(i128 %Y) {
%tmp.4 = shl i128 %Y, 2 ; <i128> [#uses=1] ; CHECK-LABEL: @test18(
%tmp.12 = shl i128 %Y, 2 ; <i128> [#uses=1] ; CHECK-NEXT: ret i128 0
%tmp.8 = sub i128 %tmp.4, %tmp.12 ; <i128> [#uses=1] ;
ret i128 %tmp.8 %t1 = shl i128 %Y, 2
%t2 = shl i128 %Y, 2
%t3 = sub i128 %t1, %t2
ret i128 %t3
} }
define i39 @test19(i39 %X, i39 %Y) { define i39 @test19(i39 %X, i39 %Y) {
%Z = sub i39 %X, %Y ; <i39> [#uses=1] ; CHECK-LABEL: @test19(
%Q = add i39 %Z, %Y ; <i39> [#uses=1] ; CHECK-NEXT: ret i39 %X
ret i39 %Q ;
%Z = sub i39 %X, %Y
%Q = add i39 %Z, %Y
ret i39 %Q
} }
define i1 @test20(i33 %g, i33 %h) { define i1 @test20(i33 %g, i33 %h) {
%tmp.2 = sub i33 %g, %h ; <i33> [#uses=1] ; CHECK-LABEL: @test20(
%tmp.4 = icmp ne i33 %tmp.2, %g ; <i1> [#uses=1] ; CHECK-NEXT: [[T4:%.*]] = icmp ne i33 %h, 0
ret i1 %tmp.4 ; CHECK-NEXT: ret i1 [[T4]]
;
%t2 = sub i33 %g, %h
%t4 = icmp ne i33 %t2, %g
ret i1 %t4
} }
define i1 @test21(i256 %g, i256 %h) { define i1 @test21(i256 %g, i256 %h) {
%tmp.2 = sub i256 %g, %h ; <i256> [#uses=1] ; CHECK-LABEL: @test21(
%tmp.4 = icmp ne i256 %tmp.2, %g; <i1> [#uses=1] ; CHECK-NEXT: [[T4:%.*]] = icmp ne i256 %h, 0
ret i1 %tmp.4 ; CHECK-NEXT: ret i1 [[T4]]
;
%t2 = sub i256 %g, %h
%t4 = icmp ne i256 %t2, %g
ret i1 %t4
} }