Huihui Zhang
9cd7c534e2
[InstCombine] Enable fold select into operand for FAdd, FMul, FSub and FDiv.
For FAdd, FMul, FSub and FDiv, fold select into one of the operands to enable
further optimizations, i.e., floating-point reduction detection.
Turn code:
%C = fadd %A, %B
%D = select %cond, %C, %A
into:
%C = select %cond, %B, -0.000000e+00
%D = fadd %A, %C
Alive2 verification (with --disable-undef-input), timed out otherwise.
FAdd - https://alive2.llvm.org/ce/z/eUxN4Y
FMul - https://alive2.llvm.org/ce/z/5SWZz4
FSub - https://alive2.llvm.org/ce/z/Dhj8dU
FDiv - https://alive2.llvm.org/ce/z/Yj_NA2
Reviewed By: spatel
Differential Revision: https://reviews.llvm.org/D113442
2021-11-22 15:10:10 -08:00
..
2021-11-16 09:49:42 +00:00
2021-11-16 09:49:42 +00:00
2021-03-19 18:30:11 +00:00
2021-03-19 18:30:11 +00:00
2021-05-06 12:36:46 +01:00
2021-03-09 21:57:18 +00:00
2021-06-07 10:47:52 +01:00
2021-07-26 11:58:41 +01:00
2021-06-07 10:47:52 +01:00
2021-08-23 21:09:26 +01:00
2021-09-30 09:41:14 -07:00
2021-11-22 15:10:10 -08:00
2021-11-16 09:49:42 +00:00
2021-06-07 10:47:52 +01:00
2021-11-16 09:49:42 +00:00
2020-12-12 14:21:40 +00:00
2021-06-07 10:47:52 +01:00
2021-11-16 09:49:42 +00:00
2021-11-16 09:49:42 +00:00
2021-11-16 09:49:42 +00:00
2021-11-16 09:49:42 +00:00
2021-11-16 09:49:42 +00:00
2021-11-16 09:49:42 +00:00
2021-10-27 22:21:37 +03:00