llvm.org GIT mirror llvm / 565fb5a
Merge 81821 from mainline. Don't pull a load through a callseq_start if the load's chain has multiple uses, as one of the other uses may be on a path to a different node above the callseq_start, because that leads to a cyclic graph. This problem is exposed when -combiner-global-alias-analysis is used. This fixes PR4880. git-svn-id: https://llvm.org/svn/llvm-project/llvm/branches/release_26@81978 91177308-0d34-0410-b5e6-96231b3b80d8 Tanya Lattner 10 years ago
2 changed file(s) with 25 addition(s) and 1 deletion(s). Raw diff Collapse all Expand all
446446 if (Chain.getOperand(0).getNode() == Callee.getNode())
447447 return true;
448448 if (Chain.getOperand(0).getOpcode() == ISD::TokenFactor &&
449 Callee.getValue(1).isOperandOf(Chain.getOperand(0).getNode()))
449 Callee.getValue(1).isOperandOf(Chain.getOperand(0).getNode()) &&
450 Callee.getValue(1).hasOneUse())
450451 return true;
451452 return false;
452453 }
0 ; RUN: llc < %s --combiner-alias-analysis --combiner-global-alias-analysis
1 ; PR4880
2
3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
4 target triple = "i386-pc-linux-gnu"
5
6 %struct.alst_node = type { %struct.node }
7 %struct.arg_node = type { %struct.node, i8*, %struct.alst_node* }
8 %struct.arglst_node = type { %struct.alst_node, %struct.arg_node*, %struct.arglst_node* }
9 %struct.lam_node = type { %struct.alst_node, %struct.arg_node*, %struct.alst_node* }
10 %struct.node = type { i32 (...)**, %struct.node* }
11
12 define i32 @._ZN8lam_node18resolve_name_clashEP8arg_nodeP9alst_node._ZNK8lam_nodeeqERK8exp_node._ZN11arglst_nodeD0Ev(%struct.lam_node* %this.this, %struct.arg_node* %outer_arg, %struct.alst_node* %env.cmp, %struct.arglst_node* %this, i32 %functionID) {
13 comb_entry:
14 %.SV59 = alloca %struct.node* ; <%struct.node**> [#uses=1]
15 %0 = load i32 (...)*** null, align 4 ; [#uses=1]
16 %1 = getelementptr inbounds i32 (...)** %0, i32 3 ; [#uses=1]
17 %2 = load i32 (...)** %1, align 4 ; [#uses=1]
18 store %struct.node* undef, %struct.node** %.SV59
19 %3 = bitcast i32 (...)* %2 to i32 (%struct.node*)* ; [#uses=1]
20 %4 = tail call i32 %3(%struct.node* undef) ; [#uses=0]
21 unreachable
22 }