TRUTH_ORIF_EXPR

[Ian Lance Taylor]

charfi asma <charfiasma@yahoo.fr> writes:

> I try to generate the GIMPLE form corresponding to 
>
> if (var == 1 || var == 5)
> goto L1;
> else
> goto L2;
>
> I satarted by generating GIMPLE for this code
>
> if (var == 1)
> goto L1;
> else
> goto L2;
>
> this is my GENERIC tree codes used to generate this gimple :
>
> //GENERIC:
>
> ....
>
> tree VAR = build_decl(BUILTINS_LOCATION, VAR_DECL, get_identifier("var"), 
> integer_type_node);
>
> tree __if_cond = build2(EQ_EXPR, TREE_TYPE(VAR), VAR, 
> build_int_cst(integer_type_node, 1));
>
> tree __if_stmt = build3(COND_EXPR, void_type_node, __if_cond, goto_L1, goto_L2);
>
> ....
>
> //GIMPLE:
>
> <unnamed-signed:32> var;
> ....
> gimple_cond <eq_expr, var, 1, L1, L2>
> ...
>
> to use the || operand, I tried to use the TRUTH_OR_IF_EXPR like this
>
> tree __if_cond_1 = build2(TRUTH_ORIF_EXPR, TREE_TYPE(VAR), 
> build_int_cst(integer_type_node, 1), build_int_cst(integer_type_node, 5));
>     
> tree __if_stmt1 = build3(COND_EXPR, void_type_node, __if_cond_1, goto_L1, 
> goto_L12);
>
> but this did not work, cause I do not specify the variable to test (VAR): 
> TRUTH_ORIF_EXPR has only 2 operands that represent the values (1 and 5).
>
> did so use before this TREE CODE or has an idea how we should use it ?

The operands of TRUTH_ORIF_EXPR in this case would be, approximately,
    build2(EQ_EXPR, boolean_type_node, var, 1)
    build2(EQ_EXPR, boolean_type_node, var, 5)
That is, TRUTH_ORIF_EXPR corresponds directly to the || operator.

By the way, there is no reason to TRUTH_ORIF_EXPR in this case.  You
might as well just use TRUTH_OR_EXPR.

Ian