1 ; RUN: llc < %s -mcpu=atom -mtriple=i686-linux | FileCheck %s
9 ; Test for fixup lea pre-emit pass. LEA instructions should be substituted for
10 ; ADD instructions which compute the address and index of the load because they
11 ; precede the load within 5 instructions. An LEA should also be substituted for
12 ; an ADD which computes part of the index because it precedes the index LEA
13 ; within 5 instructions, this substitution is referred to as backwards chaining.
22 ;extern struct node_t getnode();
27 ; struct node_t n = getnode();
28 ; if(n.array != 0 && n.p > 0 && n.k > 0 && n.n > 0 && n.m > 0) {
29 ; sum = ((int*)((int)n.array + n.p) )[ n.k + n.m + n.n ];
34 %struct.node_t = type { i32, i32, i32, i32, i32* }
38 %n = alloca %struct.node_t, align 4
39 call void bitcast (void (%struct.node_t*, ...)* @getnode to void (%struct.node_t*)*)(%struct.node_t* sret %n)
40 %array = getelementptr inbounds %struct.node_t* %n, i32 0, i32 4
41 %0 = load i32** %array, align 4
42 %cmp = icmp eq i32* %0, null
43 br i1 %cmp, label %if.end, label %land.lhs.true
46 %p = getelementptr inbounds %struct.node_t* %n, i32 0, i32 3
47 %1 = load i32* %p, align 4
48 %cmp1 = icmp sgt i32 %1, 0
49 br i1 %cmp1, label %land.lhs.true2, label %if.end
52 %k = getelementptr inbounds %struct.node_t* %n, i32 0, i32 0
53 %2 = load i32* %k, align 4
54 %cmp3 = icmp sgt i32 %2, 0
55 br i1 %cmp3, label %land.lhs.true4, label %if.end
58 %n5 = getelementptr inbounds %struct.node_t* %n, i32 0, i32 2
59 %3 = load i32* %n5, align 4
60 %cmp6 = icmp sgt i32 %3, 0
61 br i1 %cmp6, label %land.lhs.true7, label %if.end
64 %m = getelementptr inbounds %struct.node_t* %n, i32 0, i32 1
65 %4 = load i32* %m, align 4
66 %cmp8 = icmp sgt i32 %4, 0
67 br i1 %cmp8, label %if.then, label %if.end
71 %add12 = add i32 %add, %4
72 %5 = ptrtoint i32* %0 to i32
73 %add15 = add nsw i32 %1, %5
74 %6 = inttoptr i32 %add15 to i32*
75 %arrayidx = getelementptr inbounds i32* %6, i32 %add12
76 %7 = load i32* %arrayidx, align 4
80 %sum.0 = phi i32 [ %7, %if.then ], [ 0, %land.lhs.true7 ], [ 0, %land.lhs.true4 ], [ 0, %land.lhs.true2 ], [ 0, %land.lhs.true ], [ 0, %entry ]
84 declare void @getnode(%struct.node_t* sret, ...)