1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
/* { dg-do compile } */
/* { dg-options "-O2 -fdump-tree-ethread-details -w --param logical-op-non-short-circuit=1" } */
// Copied from ssa-dom-thread-14.c
enum optab_methods
{
OPTAB_DIRECT,
OPTAB_LIB,
OPTAB_WIDEN,
OPTAB_LIB_WIDEN,
OPTAB_MUST_WIDEN
};
struct optab_d { };
typedef struct optab_d *optab;
void expand_binop (optab, int, enum optab_methods);
void
expand_shift_1 (int code, int unsignedp, int rotate,
optab lshift_optab, optab rshift_arith_optab)
{
int left = (code == 42 || code == 0xde);
int attempt;
enum optab_methods methods;
if (attempt == 0)
methods = OPTAB_DIRECT;
else if (attempt == 1)
methods = OPTAB_WIDEN;
if ((!unsignedp || (!left && methods == OPTAB_WIDEN)))
{
enum optab_methods methods1 = methods;
if (unsignedp)
methods1 = OPTAB_MUST_WIDEN;
expand_binop (left ? lshift_optab : rshift_arith_optab,
unsignedp, methods1);
}
}
/* When UNSIGNEDP is true, LEFT is false and METHOD == OPTAB_WIDEN
we will enter the TRUE arm of the conditional and we can thread
the test to compute the first first argument of the expand_binop
call if we look backwards through the boolean logicals. */
/* { dg-final { scan-tree-dump-times "Registering.*jump thread" 1 "ethread"} } */
|
