1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
| ; RUN: opt < %s -loop-reduce -lsr-filter-same-scaled-reg=true -mtriple=x86_64-unknown-linux-gnu -S | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
%struct.ham = type { i8, i8, [5 x i32], i64, i64, i64 }
@global = external local_unnamed_addr global %struct.ham, align 8
define void @foo() local_unnamed_addr {
bb:
%tmp = load i64, i64* getelementptr inbounds (%struct.ham, %struct.ham* @global, i64 0, i32 3), align 8
%tmp1 = and i64 %tmp, 1792
%tmp2 = load i64, i64* getelementptr inbounds (%struct.ham, %struct.ham* @global, i64 0, i32 4), align 8
%tmp3 = add i64 %tmp1, %tmp2
%tmp4 = load i8*, i8** null, align 8
%tmp5 = getelementptr inbounds i8, i8* %tmp4, i64 0
%tmp6 = sub i64 0, %tmp3
%tmp7 = getelementptr inbounds i8, i8* %tmp4, i64 %tmp6
%tmp8 = inttoptr i64 0 to i8*
br label %bb9
; Without filtering non-optimal formulae with the same ScaledReg and Scale, the strategy
; to narrow LSR search space by picking winner reg will generate only one lsr.iv and
; unoptimal result.
; CHECK-LABEL: @foo(
; CHECK: bb9:
; CHECK-NEXT: = phi i8*
; CHECK-NEXT: = phi i8*
bb9: ; preds = %bb12, %bb
%tmp10 = phi i8* [ %tmp7, %bb ], [ %tmp16, %bb12 ]
%tmp11 = phi i8* [ %tmp8, %bb ], [ %tmp17, %bb12 ]
br i1 false, label %bb18, label %bb12
bb12: ; preds = %bb9
%tmp13 = getelementptr inbounds i8, i8* %tmp10, i64 8
%tmp14 = bitcast i8* %tmp13 to i64*
%tmp15 = load i64, i64* %tmp14, align 1
%tmp16 = getelementptr inbounds i8, i8* %tmp10, i64 16
%tmp17 = getelementptr inbounds i8, i8* %tmp11, i64 16
br label %bb9
bb18: ; preds = %bb9
%tmp19 = icmp ugt i8* %tmp11, null
%tmp20 = getelementptr inbounds i8, i8* %tmp10, i64 8
%tmp21 = getelementptr inbounds i8, i8* %tmp11, i64 8
%tmp22 = select i1 %tmp19, i8* %tmp10, i8* %tmp20
%tmp23 = select i1 %tmp19, i8* %tmp11, i8* %tmp21
br label %bb24
bb24: ; preds = %bb24, %bb18
%tmp25 = phi i8* [ %tmp27, %bb24 ], [ %tmp22, %bb18 ]
%tmp26 = phi i8* [ %tmp29, %bb24 ], [ %tmp23, %bb18 ]
%tmp27 = getelementptr inbounds i8, i8* %tmp25, i64 1
%tmp28 = load i8, i8* %tmp25, align 1
%tmp29 = getelementptr inbounds i8, i8* %tmp26, i64 1
store i8 %tmp28, i8* %tmp26, align 1
%tmp30 = icmp eq i8* %tmp29, %tmp5
br label %bb24
}
|