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
| ; RUN: llc -march=hexagon -mcpu=hexagonv5 -hexagon-eif=0 -print-machineinstrs=if-converter %s -o /dev/null 2>&1 | FileCheck %s
; Check that the edge weights are updated correctly after if-conversion.
; CHECK: bb.3.if{{[0-9a-zA-Z.]*}}:
; CHECK: successors: %bb.2(0x0ccccccd), %bb.1(0x73333333)
@a = external global i32
@d = external global i32
; In the following CFG, A,B,C,D will be if-converted into a single block.
; Check if the edge weights on edges to E and F are maintained correctly.
;
; A
; / \
; B C
; \ /
; D
; / \
; E F
;
define void @test1(i8 zeroext %la, i8 zeroext %lb) {
entry:
%cmp0 = call i1 @pred()
br i1 %cmp0, label %if.else2, label %if.then0, !prof !1
if.else2:
call void @bar(i32 2)
br label %if.end2
if.end2:
call void @foo(i32 2)
br label %return
if.end:
%storemerge = phi i32 [ %and, %if.else ], [ %shl, %if.then ]
store i32 %storemerge, i32* @a, align 4
%0 = load i32, i32* @d, align 4
%cmp2 = call i1 @pred()
br i1 %cmp2, label %if.end2, label %if.else2, !prof !2
if.then0:
%cmp = icmp eq i8 %la, %lb
br i1 %cmp, label %if.then, label %if.else, !prof !1
if.then:
%conv1 = zext i8 %la to i32
%shl = shl nuw nsw i32 %conv1, 16
br label %if.end
if.else:
%and8 = and i8 %lb, %la
%and = zext i8 %and8 to i32
br label %if.end
return:
call void @foo(i32 2)
ret void
}
declare void @foo(i32)
declare void @bar(i32)
declare i1 @pred()
!1 = !{!"branch_weights", i32 80, i32 20}
!2 = !{!"branch_weights", i32 10, i32 90}
|