diff options
| author | James Molloy <james.molloy@arm.com> | 2015-05-15 16:10:59 +0000 |
|---|---|---|
| committer | James Molloy <james.molloy@arm.com> | 2015-05-15 16:10:59 +0000 |
| commit | 6edf0b4cd4f455bca9529b8bba0bdf9b84ab2ec9 (patch) | |
| tree | e8d416ce90d36886d797f12741dd31d6c31cfe6a /llvm/lib/IR/Module.cpp | |
| parent | 270ef8c28b427bbd2be76b06ff53862bf8575146 (diff) | |
| download | llvm-6edf0b4cd4f455bca9529b8bba0bdf9b84ab2ec9.zip llvm-6edf0b4cd4f455bca9529b8bba0bdf9b84ab2ec9.tar.gz llvm-6edf0b4cd4f455bca9529b8bba0bdf9b84ab2ec9.tar.bz2 | |
Canonicalize min/max expressions correctly.
This patch introduces a canonical form for min/max idioms where one operand
is extended or truncated. This often happens when the other operand is a
constant. For example:
%1 = icmp slt i32 %a, i32 0
%2 = sext i32 %a to i64
%3 = select i1 %1, i64 %2, i64 0
Would now be canonicalized into:
%1 = icmp slt i32 %a, i32 0
%2 = select i1 %1, i32 %a, i32 0
%3 = sext i32 %2 to i64
This builds upon a patch posted by David Majenemer
(https://www.marc.info/?l=llvm-commits&m=143008038714141&w=2). That pass
passively stopped instcombine from ruining canonical patterns. This
patch additionally actively makes instcombine canonicalize too.
Canonicalization of expressions involving a change in type from int->fp
or fp->int are not yet implemented.
llvm-svn: 237453
Diffstat (limited to 'llvm/lib/IR/Module.cpp')
0 files changed, 0 insertions, 0 deletions