https://gcc.gnu.org/bugzilla/show_bug.cgi?id=103734
--- Comment #5 from Jan Hubicka <hubicka at gcc dot gnu.org> ---
This is MorphologyApply
MagickExport Image *MorphologyApply(const Image *image, const ChannelType
channel,const MorphologyMethod method, const ssize_t iterations,
const KernelInfo *kernel, const CompositeOperator compose,
const double bias, ExceptionInfo *exception)
- considering value 134217719 for param #1 const ChannelType (caller_count: 3)
- considering value 1 for param #2 const MorphologyMethod (caller_count: 6)
- considering value 1 for param #3 const ssize_t (caller_count: 6)
- considering value 0 for param #5 const CompositeOperator (caller_count: 6)
- considering value 0.0 for param #6 const double (caller_count: 6)
Sp we know ChannelType==134217719, method == 1 iterations==1 compose=0 and
bisas == 0.0
Summary is:
size:2.000000, time:2.000000
size:3.000000, time:2.000000, executed if:(not inlined)
size:31.000000, time:19.000000, executed if:(op3 != 0)
size:1.000000, time:0.000000, executed if:(op3 < 0) && (op3 != 0) && (not
inlined)
size:2.000000, time:0.000000, executed if:(op3 < 0) && (op3 != 0)
size:347.500000, time:0.000000, executed if:(op2 == 7 || op2 == 21) &&
(op3 != 0)
size:1150.000000, time:144587098112.000000, executed if:(op2 <= 11 || op2
== 12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2 < 7 || op2 < 15 || op2 >
21) && (op2 >= 8 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2 < 7
|| op2 < 15 || op2 > 21) && (op2 <= 11 || op2 == 12 || op2 <= 17 || op2 == 18
|| op2 >= 19 || op2 < 7 || op2 < 15 || op2 > 21) && (op2 >= 8 || op2 == 12 ||
op2 <= 17 || op2 == 18 || op2 >= 19 || op2 < 7 || op2 < 15 || op2 > 21) && (op2
<= 11 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2 < 7 || op2 >
12 || op2 > 21) && (op2 <= 11 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 >=
19 || op2 < 7 || op2 > 12 || op2 > 21) && (op3 != 0)
size:1.000000, time:1.000000, executed if:(op5 == 0) && (op2 <= 11 || op2
== 12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2 < 7 || op2 < 15 || op2 >
21) && (op2 >= 8 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2 < 7
|| op2 < 15 || op2 > 21) && (op2 <= 11 || op2 == 12 || op2 <= 17 || op2 == 18
|| op2 >= 19 || op2 < 7 || op2 < 15 || op2 > 21) && (op2 >= 8 || op2 == 12 ||
op2 <= 17 || op2 == 18 || op2 >= 19 || op2 < 7 || op2 < 15 || op2 > 21) && (op2
<= 11 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2 < 7 || op2 >
12 || op2 > 21) && (op2 <= 11 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 >=
19 || op2 < 7 || op2 > 12 || op2 > 21) && (op3 != 0)
size:2.000000, time:0.000000, executed if:(op2 == 2 || op2 == 9 || op2 <=
12 || op2 == 17) && (op2 <= 11 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 <=
20 || op2 < 7 || op2 < 15 || op2 > 21) && (op2 >= 8 || op2 == 12 || op2 <= 17
|| op2 == 18 || op2 <= 20 || op2 < 7 || op2 < 15 || op2 > 21) && (op2 <= 11 ||
op2 == 12 || op2 <= 17 || op2 == 18 || op2 >= 19 || op2 < 7 || op2 < 15 || op2
> 21) && (op2 >= 8 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 >= 19 || op2 <
7 || op2 < 15 || op2 > 21) && (op2 <= 11 || op2 == 12 || op2 <= 17 || op2 == 18
|| op2 <= 20 || op2 < 7 || op2 > 12 || op2 > 21) && (op2 <= 11 || op2 == 12 ||
op2 <= 17 || op2 == 18 || op2 >= 19 || op2 < 7 || op2 > 12 || op2 > 21) && (op3
!= 0)
size:0.500000, time:0.500000, executed if:(op2 <= 11 || op2 == 12 || op2
<= 17 || op2 == 18 || op2 <= 20 || op2 < 7 || op2 < 15 || op2 > 21) && (op2 >=
8 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2 < 7 || op2 < 15 ||
op2 > 21) && (op2 <= 11 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 >= 19 ||
op2 < 7 || op2 < 15 || op2 > 21) && (op2 >= 8 || op2 == 12 || op2 <= 17 || op2
== 18 || op2 >= 19 || op2 < 7 || op2 < 15 || op2 > 21) && (op2 <= 11 || op2 ==
12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2 < 7 || op2 > 12 || op2 > 21)
&& (op2 <= 11 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 >= 19 || op2 < 7 ||
op2 > 12 || op2 > 21) && (op3 != 0) && (not inlined)
size:8.000000, time:0.000000, executed if:(op2 == 12) && (op3 != 0)
size:2.000000, time:0.000000, executed if:(op2 == 10) && (op2 <= 11 || op2
== 12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2 < 7 || op2 < 15 || op2 >
21) && (op2 >= 8 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2 < 7
|| op2 < 15 || op2 > 21) && (op2 <= 11 || op2 == 12 || op2 <= 17 || op2 == 18
|| op2 >= 19 || op2 < 7 || op2 < 15 || op2 > 21) && (op2 >= 8 || op2 == 12 ||
op2 <= 17 || op2 == 18 || op2 >= 19 || op2 < 7 || op2 < 15 || op2 > 21) && (op2
<= 11 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2 < 7 || op2 >
12 || op2 > 21) && (op2 <= 11 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 >=
19 || op2 < 7 || op2 > 12 || op2 > 21) && (op3 != 0)
size:2.000000, time:0.000000, executed if:(op2 == 9 || op2 == 17) && (op2
<= 11 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2 < 7 || op2 <
15 || op2 > 21) && (op2 >= 8 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 <=
20 || op2 < 7 || op2 < 15 || op2 > 21) && (op2 <= 11 || op2 == 12 || op2 <= 17
|| op2 == 18 || op2 >= 19 || op2 < 7 || op2 < 15 || op2 > 21) && (op2 >= 8 ||
op2 == 12 || op2 <= 17 || op2 == 18 || op2 >= 19 || op2 < 7 || op2 < 15 || op2
> 21) && (op2 <= 11 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2
< 7 || op2 > 12 || op2 > 21) && (op2 <= 11 || op2 == 12 || op2 <= 17 || op2 ==
18 || op2 >= 19 || op2 < 7 || op2 > 12 || op2 > 21) && (op3 != 0)
size:4.000000, time:0.000000, executed if:(op2 == 7 || op2 >= 8 || op2 ==
12 || op2 <= 17 || op2 == 18 || op2 >= 19 || op2 == 21 || op2 < 7 || op2 < 15
|| op2 > 21 || op2 == 2 || op2 == 9 || op2 <= 12 || op2 == 17) && (op2 == 7 ||
op2 <= 11 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 <= 20 || op2 == 21 ||
op2 < 7 || op2 < 15 || op2 > 21) && (op2 == 7 || op2 >= 8 || op2 == 12 || op2
<= 17 || op2 == 18 || op2 <= 20 || op2 == 21 || op2 < 7 || op2 < 15 || op2 >
21) && (op2 == 7 || op2 <= 11 || op2 == 12 || op2 <= 17 || op2 == 18 || op2 >=
19 || op2 == 21 || op2 < 7 || op2 < 15 || op2 > 21) && (op3 != 0)
size:187.000000, time:0.000000, executed if:(op2 == 21) && (op3 != 0)
size:227.000000, time:0.000000, executed if:(op2 == 7) && (op3 != 0)
Perhaps I should get around simplifying conditions where one implies another,
however we also have problem of testing the parameters independently while the
conditional sometimes needs knowledge of both.
