Verified Commit 077f4af3 authored by Tim Gymnich's avatar Tim Gymnich
Browse files

fixed phi node

parent dd04bff6
......@@ -74,10 +74,10 @@ void NormalizedConjunction::applyPHINode(llvm::BasicBlock const& bb, std::vector
LinearEquality pred_value = incoming_state[&incoming_value];
acc.linearAssignment(&phi, pred_value.a, pred_value.x, pred_value.b);
merge(Merge_op::UPPER_BOUND, acc);
// } else {
// NormalizedConjunction acc = *this;
// acc.nonDeterminsticAssignment(&phi);
// merge(Merge_op::UPPER_BOUND, acc);
} else {
NormalizedConjunction acc = *this;
acc.nonDeterminsticAssignment(&phi);
merge(Merge_op::UPPER_BOUND, acc);
}
i++;
}
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment