Jingyue Wu 0a613536b1 [JumpThreading] make jump threading respect convergent annotation. ...

Summary:
JumpThreading shouldn't duplicate a convergent call, because that would move a convergent call into a control-inequivalent location. For example,
  if (cond) {
    ...
  } else {
    ...
  }
  convergent_call();
  if (cond) {
    ...
  } else {
    ...
  }
should not be optimized to
  if (cond) {
    ...
    convergent_call();
    ...
  } else {
    ...
    convergent_call();
    ...
  }

Test Plan: test/Transforms/JumpThreading/basic.ll

Patch by Xuetian Weng. 

Reviewers: resistor, arsenm, jingyue

Subscribers: llvm-commits

Differential Revision: http://reviews.llvm.org/D12484

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@246415 91177308-0d34-0410-b5e6-96231b3b80d8

2015-08-31 06:10:27 +00:00

..

llvm

[JumpThreading] make jump threading respect convergent annotation.

2015-08-31 06:10:27 +00:00

llvm-c

LTO: Simplify merged module ownership.

2015-08-24 22:22:53 +00:00