[PATCH] D12516: Const propagation after hitting assume bugfix 2

[Piotr Padlewski via llvm-commits]

Prazek created this revision.
Prazek added reviewers: rsmith, nlewycky, majnemer.
Prazek added a subscriber: llvm-commits.

There was ifinite loop because it was trying to change assume(true) into assume(true) 
Also added handling when assume(false) appear

http://reviews.llvm.org/D12516

Files:
  include/llvm/IR/Instructions.h
  lib/Transforms/Scalar/GVN.cpp
  test/Transforms/GVN/assume-equal.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D12516.33661.patch
Type: text/x-patch
Size: 4104 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20150901/a84ce18e/attachment.bin>