intel/llvm
1
0
Fork 0
mirror of https://github.com/intel/llvm.git synced 2026-01-27 06:06:34 +08:00
Code Issues Packages Projects Releases Wiki Activity

[SLSR] auto-generate full test assertions; NFC

Browse Source 
llvm-svn: 345028
This commit is contained in:
Sanjay Patel
2018-10-23 13:39:40 +00:00
parent 06e4db07af
commit d3d2a0b591
1 changed files with 79 additions and 52 deletions
Download Patch File Download Diff File Expand all files Collapse all files

131
llvm/test/Transforms/StraightLineStrengthReduce/slsr-add.ll
View File

@@ -1,51 +1,66 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -slsr -gvn -S | FileCheck %s
target datalayout = "e-i64:64-v16:16-v32:32-n16:32:64"
define void @shl(i32 %b, i32 %s) {
; CHECK-LABEL: @shl(
%1 = add i32 %b, %s
; [[BASIS:%[a-zA-Z0-9]+]] = add i32 %b, %s
call void @foo(i32 %1)
; CHECK-NEXT: [[T1:%.*]] = add i32 [[B:%.*]], [[S:%.*]]
; CHECK-NEXT: call void @foo(i32 [[T1]])
; CHECK-NEXT: [[T2:%.*]] = add i32 [[T1]], [[S]]
; CHECK-NEXT: call void @foo(i32 [[T2]])
; CHECK-NEXT: ret void
;
%t1 = add i32 %b, %s
call void @foo(i32 %t1)
%s2 = shl i32 %s, 1
%2 = add i32 %b, %s2
; add i32 [[BASIS]], %s
call void @foo(i32 %2)
%t2 = add i32 %b, %s2
call void @foo(i32 %t2)
ret void
}
define void @stride_is_2s(i32 %b, i32 %s) {
; CHECK-LABEL: @stride_is_2s(
; CHECK-NEXT: [[S2:%.*]] = shl i32 [[S:%.*]], 1
; CHECK-NEXT: [[T1:%.*]] = add i32 [[B:%.*]], [[S2]]
; CHECK-NEXT: call void @foo(i32 [[T1]])
; CHECK-NEXT: [[T2:%.*]] = add i32 [[T1]], [[S2]]
; CHECK-NEXT: call void @foo(i32 [[T2]])
; CHECK-NEXT: [[T3:%.*]] = add i32 [[T2]], [[S2]]
; CHECK-NEXT: call void @foo(i32 [[T3]])
; CHECK-NEXT: ret void
;
%s2 = shl i32 %s, 1
; CHECK: %s2 = shl i32 %s, 1
%1 = add i32 %b, %s2
; CHECK: [[t1:%[a-zA-Z0-9]+]] = add i32 %b, %s2
call void @foo(i32 %1)
%t1 = add i32 %b, %s2
call void @foo(i32 %t1)
%s4 = shl i32 %s, 2
%2 = add i32 %b, %s4
; CHECK: [[t2:%[a-zA-Z0-9]+]] = add i32 [[t1]], %s2
call void @foo(i32 %2)
%t2 = add i32 %b, %s4
call void @foo(i32 %t2)
%s6 = mul i32 %s, 6
%3 = add i32 %b, %s6
; CHECK: add i32 [[t2]], %s2
call void @foo(i32 %3)
%t3 = add i32 %b, %s6
call void @foo(i32 %t3)
ret void
}
define void @stride_is_3s(i32 %b, i32 %s) {
; CHECK-LABEL: @stride_is_3s(
%1 = add i32 %s, %b
; CHECK: [[t1:%[a-zA-Z0-9]+]] = add i32 %s, %b
call void @foo(i32 %1)
; CHECK-NEXT: [[T1:%.*]] = add i32 [[S:%.*]], [[B:%.*]]
; CHECK-NEXT: call void @foo(i32 [[T1]])
; CHECK-NEXT: [[TMP1:%.*]] = mul i32 [[S]], 3
; CHECK-NEXT: [[T2:%.*]] = add i32 [[T1]], [[TMP1]]
; CHECK-NEXT: call void @foo(i32 [[T2]])
; CHECK-NEXT: [[T3:%.*]] = add i32 [[T2]], [[TMP1]]
; CHECK-NEXT: call void @foo(i32 [[T3]])
; CHECK-NEXT: ret void
;
%t1 = add i32 %s, %b
call void @foo(i32 %t1)
%s4 = shl i32 %s, 2
%2 = add i32 %s4, %b
; CHECK: [[bump:%[a-zA-Z0-9]+]] = mul i32 %s, 3
; CHECK: [[t2:%[a-zA-Z0-9]+]] = add i32 [[t1]], [[bump]]
call void @foo(i32 %2)
%t2 = add i32 %s4, %b
call void @foo(i32 %t2)
%s7 = mul i32 %s, 7
%3 = add i32 %s7, %b
; CHECK: add i32 [[t2]], [[bump]]
call void @foo(i32 %3)
%t3 = add i32 %s7, %b
call void @foo(i32 %t3)
ret void
}
@@ -62,22 +77,25 @@ define void @stride_is_3s(i32 %b, i32 %s) {
; foo(t3);
define void @stride_is_minus_2s(i32 %b, i32 %s) {
; CHECK-LABEL: @stride_is_minus_2s(
; CHECK-NEXT: [[S6:%.*]] = mul i32 [[S:%.*]], 6
; CHECK-NEXT: [[T1:%.*]] = add i32 [[B:%.*]], [[S6]]
; CHECK-NEXT: call void @foo(i32 [[T1]])
; CHECK-NEXT: [[TMP1:%.*]] = shl i32 [[S]], 1
; CHECK-NEXT: [[T2:%.*]] = sub i32 [[T1]], [[TMP1]]
; CHECK-NEXT: call void @foo(i32 [[T2]])
; CHECK-NEXT: [[T3:%.*]] = sub i32 [[T2]], [[TMP1]]
; CHECK-NEXT: call void @foo(i32 [[T3]])
; CHECK-NEXT: ret void
;
%s6 = mul i32 %s, 6
%1 = add i32 %b, %s6
; CHECK: [[t1:%[a-zA-Z0-9]+]] = add i32 %b, %s6
; CHECK: call void @foo(i32 [[t1]])
call void @foo(i32 %1)
%t1 = add i32 %b, %s6
call void @foo(i32 %t1)
%s4 = shl i32 %s, 2
%2 = add i32 %b, %s4
; CHECK: [[bump:%[a-zA-Z0-9]+]] = shl i32 %s, 1
; CHECK: [[t2:%[a-zA-Z0-9]+]] = sub i32 [[t1]], [[bump]]
call void @foo(i32 %2)
; CHECK: call void @foo(i32 [[t2]])
%t2 = add i32 %b, %s4
call void @foo(i32 %t2)
%s2 = shl i32 %s, 1
%3 = add i32 %b, %s2
; CHECK: [[t3:%[a-zA-Z0-9]+]] = sub i32 [[t2]], [[bump]]
call void @foo(i32 %3)
; CHECK: call void @foo(i32 [[t3]])
%t3 = add i32 %b, %s2
call void @foo(i32 %t3)
ret void
}
@@ -88,27 +106,36 @@ define void @stride_is_minus_2s(i32 %b, i32 %s) {
; do not rewrite b + s to t - 7 * s because the latter is more complicated.
define void @simple_enough(i32 %b, i32 %s) {
; CHECK-LABEL: @simple_enough(
; CHECK-NEXT: [[S8:%.*]] = shl i32 [[S:%.*]], 3
; CHECK-NEXT: [[T1:%.*]] = add i32 [[B:%.*]], [[S8]]
; CHECK-NEXT: call void @foo(i32 [[T1]])
; CHECK-NEXT: [[T2:%.*]] = add i32 [[B]], [[S]]
; CHECK-NEXT: call void @foo(i32 [[T2]])
; CHECK-NEXT: ret void
;
%s8 = shl i32 %s, 3
%1 = add i32 %b, %s8
call void @foo(i32 %1)
%2 = add i32 %b, %s
; CHECK: [[t:%[a-zA-Z0-9]+]] = add i32 %b, %s{{$}}
call void @foo(i32 %2)
; CHECK: call void @foo(i32 [[t]])
%t1 = add i32 %b, %s8
call void @foo(i32 %t1)
%t2 = add i32 %b, %s
call void @foo(i32 %t2)
ret void
}
define void @slsr_strided_add_128bit(i128 %b, i128 %s) {
; CHECK-LABEL: @slsr_strided_add_128bit(
; CHECK-NEXT: [[S125:%.*]] = shl i128 [[S:%.*]], 125
; CHECK-NEXT: [[T1:%.*]] = add i128 [[B:%.*]], [[S125]]
; CHECK-NEXT: call void @bar(i128 [[T1]])
; CHECK-NEXT: [[T2:%.*]] = add i128 [[T1]], [[S125]]
; CHECK-NEXT: call void @bar(i128 [[T2]])
; CHECK-NEXT: ret void
;
%s125 = shl i128 %s, 125
%s126 = shl i128 %s, 126
%1 = add i128 %b, %s125
; CHECK: [[t1:%[a-zA-Z0-9]+]] = add i128 %b, %s125
call void @bar(i128 %1)
%2 = add i128 %b, %s126
; CHECK: [[t2:%[a-zA-Z0-9]+]] = add i128 [[t1]], %s125
call void @bar(i128 %2)
; CHECK: call void @bar(i128 [[t2]])
%t1 = add i128 %b, %s125
call void @bar(i128 %t1)
%t2 = add i128 %b, %s126
call void @bar(i128 %t2)
ret void
}