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
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 3
; RUN: llc -mtriple=riscv64 -verify-machineinstrs < %s \
; RUN: | FileCheck -check-prefix=RV64 %s
define void @test(ptr nocapture noundef writeonly %array1, i32 noundef signext %a, i32 noundef signext %b) {
; RV64-LABEL: test:
; RV64: # %bb.0: # %entry
; RV64-NEXT: addiw a3, a1, 5
; RV64-NEXT: slli a4, a3, 2
; RV64-NEXT: add a4, a0, a4
; RV64-NEXT: sw a2, 0(a4)
; RV64-NEXT: slli a1, a1, 2
; RV64-NEXT: add a0, a1, a0
; RV64-NEXT: sw a2, 24(a0)
; RV64-NEXT: sw a3, 140(a0)
; RV64-NEXT: ret
entry:
%add = add nsw i32 %a, 5
%idxprom = sext i32 %add to i64
%arrayidx = getelementptr inbounds i32, ptr %array1, i64 %idxprom
store i32 %b, ptr %arrayidx, align 4
%add3 = add nsw i32 %a, 6
%idxprom4 = sext i32 %add3 to i64
%arrayidx5 = getelementptr inbounds i32, ptr %array1, i64 %idxprom4
store i32 %b, ptr %arrayidx5, align 4
%add6 = add nsw i32 %a, 35
%idxprom7 = sext i32 %add6 to i64
%arrayidx8 = getelementptr inbounds i32, ptr %array1, i64 %idxprom7
store i32 %add, ptr %arrayidx8, align 4
ret void
}
; test of jumpping, find add's operand has one more use can simplified
define void @test1(ptr nocapture noundef %array1, i32 noundef signext %a, i32 noundef signext %b, i32 noundef signext %x) {
; RV64-LABEL: test1:
; RV64: # %bb.0: # %entry
; RV64-NEXT: addiw a4, a1, 5
; RV64-NEXT: slli a5, a4, 2
; RV64-NEXT: add a5, a0, a5
; RV64-NEXT: mv a6, a4
; RV64-NEXT: bgtz a3, .LBB1_2
; RV64-NEXT: # %bb.1: # %entry
; RV64-NEXT: mv a6, a2
; RV64-NEXT: .LBB1_2: # %entry
; RV64-NEXT: sw a6, 0(a5)
; RV64-NEXT: slli a1, a1, 2
; RV64-NEXT: add a0, a1, a0
; RV64-NEXT: sw a6, 24(a0)
; RV64-NEXT: sw a4, 140(a0)
; RV64-NEXT: ret
entry:
%add = add nsw i32 %a, 5
%cmp = icmp sgt i32 %x, 0
%idxprom = sext i32 %add to i64
%arrayidx = getelementptr inbounds i32, ptr %array1, i64 %idxprom
%add.b = select i1 %cmp, i32 %add, i32 %b
store i32 %add.b, ptr %arrayidx, align 4
%add5 = add nsw i32 %a, 6
%idxprom6 = sext i32 %add5 to i64
%arrayidx7 = getelementptr inbounds i32, ptr %array1, i64 %idxprom6
store i32 %add.b, ptr %arrayidx7, align 4
%add8 = add nsw i32 %a, 35
%idxprom9 = sext i32 %add8 to i64
%arrayidx10 = getelementptr inbounds i32, ptr %array1, i64 %idxprom9
store i32 %add, ptr %arrayidx10, align 4
ret void
}
define void @test2(ptr nocapture noundef writeonly %array1, i64 noundef %a, i64 noundef %b) local_unnamed_addr #0 {
; RV64-LABEL: test2:
; RV64: # %bb.0: # %entry
; RV64-NEXT: addi a3, a1, 5
; RV64-NEXT: slli a4, a3, 3
; RV64-NEXT: add a4, a0, a4
; RV64-NEXT: sd a2, 0(a4)
; RV64-NEXT: slli a1, a1, 3
; RV64-NEXT: add a0, a1, a0
; RV64-NEXT: sd a2, 48(a0)
; RV64-NEXT: sd a3, 280(a0)
; RV64-NEXT: ret
entry:
%add = add nsw i64 %a, 5
%arrayidx = getelementptr inbounds i64, ptr %array1, i64 %add
store i64 %b, ptr %arrayidx, align 8
%add2 = add nsw i64 %a, 6
%arrayidx3 = getelementptr inbounds i64, ptr %array1, i64 %add2
store i64 %b, ptr %arrayidx3, align 8
%add4 = add nsw i64 %a, 35
%arrayidx5 = getelementptr inbounds i64, ptr %array1, i64 %add4
store i64 %add, ptr %arrayidx5, align 8
ret void
}
define void @test3(ptr nocapture noundef %array1, i64 noundef %a, i64 noundef %b, i64 noundef %x) {
; RV64-LABEL: test3:
; RV64: # %bb.0: # %entry
; RV64-NEXT: addi a4, a1, 5
; RV64-NEXT: mv a5, a4
; RV64-NEXT: bgtz a3, .LBB3_2
; RV64-NEXT: # %bb.1: # %entry
; RV64-NEXT: mv a5, a2
; RV64-NEXT: .LBB3_2: # %entry
; RV64-NEXT: slli a2, a4, 3
; RV64-NEXT: add a2, a0, a2
; RV64-NEXT: sd a5, 0(a2)
; RV64-NEXT: slli a1, a1, 3
; RV64-NEXT: add a0, a1, a0
; RV64-NEXT: sd a5, 48(a0)
; RV64-NEXT: sd a4, 280(a0)
; RV64-NEXT: ret
entry:
%add = add nsw i64 %a, 5
%cmp = icmp sgt i64 %x, 0
%spec.select = select i1 %cmp, i64 %add, i64 %b
%0 = getelementptr inbounds i64, ptr %array1, i64 %add
store i64 %spec.select, ptr %0, align 8
%add3 = add nsw i64 %a, 6
%arrayidx4 = getelementptr inbounds i64, ptr %array1, i64 %add3
store i64 %spec.select, ptr %arrayidx4, align 8
%add5 = add nsw i64 %a, 35
%arrayidx6 = getelementptr inbounds i64, ptr %array1, i64 %add5
store i64 %add, ptr %arrayidx6, align 8
ret void
}
|
