without your change, what is the output of this function for the same input
expr?
Sun
On Mon, Nov 28, 2011 at 10:50 AM, Gang Yu <yugang...@gmail.com> wrote:
> opt_htable.cxx
> 2244BOOL
> 2245CODEMAP::Canon_cvt(WN *wn,
> 2246 OPT_STAB *opt_stab,
> 2247 STMTREP *stmt,
> 2248 CANON_CR *ccr,
> 2249 CODEREP *cr,
> 2250 COPYPROP *copyprop)
> 2251{
> 2252 const OPCODE op = WN_opcode(wn);
> 2253 WN *kid = WN_kid(wn, 0);
> 2254 BOOL propagated = Add_expr(kid, opt_stab, stmt, ccr, copyprop);
> 2255#if defined(TARG_NVISA)
> 2256 if (ccr->Tree() == NULL) {
> 2257 // There is only a constant value in ccr
> 2258 return propagated;
> 2259 }
> 2260#endif
> 2261
> 2262#if defined (TARG_MIPS) && !defined (TARG_SL)
> 2263 // U8I4CVT and I8I4CVT are nops so return kid, MIPS III and above
> 2264 // since U8I4CVT is required to preserve the type of its type for
> 2265 // Fix_var_type at emitter time, we do not delete U8I4CVT #329096
> 2266 if (Is_Target_ISA_M3Plus() && (op == OPC_I8I4CVT || op ==
> OPC_U8I4CVT))
> 2267 return propagated;
> 2268#elif defined(TARG_X8664)
> 2269 if (! Is_Target_32bit() && op == OPC_U8U4CVT)
> 2270 return propagated;
> 2271#endif
> 2272 if ((Get_mtype_class(OPCODE_rtype(op)) &
> 2273 Get_mtype_class(OPCODE_desc(op))) != 0 &&
> 2274 MTYPE_size_min(OPCODE_rtype(op)) ==
> MTYPE_size_min(OPCODE_desc(op)) &&
> 2275 // bug912 open64.net. Do not delete U4I4CVT if his kid is a
> constant
> 2276 (!(OPCODE_rtype(op) == MTYPE_U4 &&
> 2277 OPCODE_desc(op) == MTYPE_I4 &&
> 2278 ccr->Tree() == NULL)))
> 2279 return propagated;
> 2280
> 2281 if ( WOPT_Enable_Cvt_Folding &&
> 2282#if defined(TARG_X8664) || defined(TARG_NVISA) || defined (TARG_SL) //
> bug 5851
> 2283 ! Is_Target_32bit() &&
> 2284#endif
> 2285 (op == OPC_I8U4CVT || op == OPC_U8U4CVT) &&
> 2286 WN_operator(kid) == OPR_LSHR ) {
> 2287 WN *bits = WN_kid1(kid);
> 2288 if ( WN_operator(bits) == OPR_INTCONST ) {
> 2289 INT bits_cnt = WN_const_val(bits);
> 2290 INT result_size = Actual_data_size(kid);
> 2291 if ( ( result_size <= MTYPE_size_min(MTYPE_I4) ) &&
> 2292 ( ( bits_cnt & 0x1F ) != 0 ) )
> 2293 {
> 2294 return propagated;
> 2295 }
> 2296 }
> 2297 }
> 2298
> 2299 CODEREP *retv;
> 2300 CODEREP *expr;
> 2301#if defined(TARG_X8664) || defined(TARG_NVISA)
> 2302 if (!Is_Target_32bit() && ccr->Tree() != NULL &&
> Allow_wrap_around_opt) {
> 2303 if (ccr->Tree()->Kind() == CK_OP && ccr->Tree()->Op() ==
> OPC_I8I4CVT &&
> 2304 op == OPC_I4I8CVT) { // bug 10707
> 2305 retv = ccr->Tree()->Opnd(0);
> 2306 ccr->Set_tree(retv);
> 2307 }
> 2308 else {
> 2309 cr->Set_opnd(0, ccr->Tree());
> 2310 retv = Hash_Op(cr);
> 2311 ccr->Set_tree(retv); // move the CVT to the operand
> 2312 }
> 2313 }
> 2314 else {
> 2315#endif
> 2316 expr = ccr->Convert2cr(WN_kid0(wn), this, propagated);
> 2317 cr->Set_opnd(0, expr);
> 2318 retv = Hash_Op(cr);
> 2319 ccr->Set_tree(retv);
> 2320 ccr->Set_scale(0);
> 2321#if defined(TARG_X8664) || defined(TARG_NVISA)
> 2322 }
> 2323#endif
> 2324 return propagated;
> 2325}
>
> With this fix, controls goes to 2316,
> expr is
> >LDC I8 -2147483649 <u=1 cr17> flags:0x0 b=-1
> retv is
> > LDC I8 -2147483649 <u=1 cr17> flags:0x0 b=-1
> >U4I4CVT <u=1 cr18> isop_flags:0x0 flags:0x0 b=-1
> the input is still:
> I4INTCONST 1 (0x1)
> I4I4LDID 0 <st 20> T<4,.predef_I4,4>
> I4SHL
> I4INTCONST -1 (0xffffffffffffffff)
> I4ADD
> U4I4CVT
>
>
> Regards
> Gang
>
>
> On Mon, Nov 28, 2011 at 10:40 AM, Sun Chan <sun.c...@gmail.com> wrote:
>
>> Sorry, pls send the corresponding function so I get a bigger picture of
>> what the deal is. It will be good to give me the expression tree before and
>> after this function call
>> Sun
>>
>> On Mon, Nov 28, 2011 at 10:30 AM, Gang Yu <yugang...@gmail.com> wrote:
>>
>>> Inspired by your comments, I get a more reasonable fix.
>>>
>>> osprey/be/opt/opt_htable.cxx -- 1fc05d0..0b7a14a 100644
>>> --- a/osprey/be/opt/opt_htable.cxx
>>> +++ b/osprey/be/opt/opt_htable.cxx
>>> @@ -2271,7 +2271,11 @@ CODEMAP::Canon_cvt(WN *wn,
>>> #endif
>>> if ((Get_mtype_class(OPCODE_rtype(op)) &
>>> Get_mtype_class(OPCODE_desc(op))) != 0 &&
>>> - MTYPE_size_min(OPCODE_rtype(op)) ==
>>> MTYPE_size_min(OPCODE_desc(op)))
>>> + MTYPE_size_min(OPCODE_rtype(op)) ==
>>> MTYPE_size_min(OPCODE_desc(op)) &&
>>> + // bug912 open64.net. Do not delete U4I4CVT if his kid is a
>>> constant
>>> + (!(OPCODE_rtype(op) == MTYPE_U4 &&
>>> + OPCODE_desc(op) == MTYPE_I4 &&
>>> + ccr->Tree() == NULL)))
>>> return propagated;
>>> if ( WOPT_Enable_Cvt_Folding &&
>>> This new patch does not lost the chances to U4I4CVT optimisation, while
>>> it makes the case of U4I4CVT const right.
>>>
>>> Thanks a lot.
>>>
>>> Regards
>>> Gang
>>>
>>>
>>> On Mon, Nov 28, 2011 at 6:23 AM, Sun Chan <sun.c...@gmail.com> wrote:
>>>
>>>> so the const is of the right type to start out with. I'm not sure
>>>> htable is the right place to fix this (you could well be inhibiting
>>>> perfectly good optimization with your change).
>>>> I will need much more detail dump (e.g.when BAND first appear, before
>>>> and after) to know more about that.
>>>> Sun
>>>>
>>>> On Sun, Nov 27, 2011 at 9:48 PM, Gang Yu <yugang...@gmail.com> wrote:
>>>>
>>>>>
>>>>> On 11/27/2011 03:02 PM, Sun Chan wrote:
>>>>>
>>>>> you only showed the output, can you show input to htable?
>>>>> Sun
>>>>>
>>>>> Sun, Input of this expression:
>>>>>
>>>>> I4INTCONST 1 (0x1)
>>>>> I4I4LDID 0 <st 20> T<4,.predef_I4,4>
>>>>> I4SHL
>>>>> I4INTCONST -1 (0xffffffffffffffff)
>>>>> I4ADD
>>>>> U4I4CVT
>>>>>
>>>>> st 20 is var i ( copyproped to 31)
>>>>>
>>>>> regards
>>>>> Gang
>>>>>
>>>>> On Sun, Nov 27, 2011 at 11:24 AM, Gang Yu <yugang...@gmail.com> wrote:
>>>>>
>>>>>> Hi,
>>>>>>
>>>>>> Could a gatekeeper please help review the fix for bug912?
>>>>>> http://bugs.open64.net/show_bug.cgi?id=912
>>>>>>
>>>>>> The cut down bug case:
>>>>>>
>>>>>> struct go7007 {
>>>>>> int sensor_framerate;
>>>>>> int fps_scale;
>>>>>> };
>>>>>> int vti_bitlen(struct go7007 *go)
>>>>>> {
>>>>>> unsigned int i, max_time_incr = go->sensor_framerate / go->fps_scale;
>>>>>> for (i = 31; (max_time_incr & ((1 << i) - 1)) == max_time_incr; --i);
>>>>>> return i + 1;
>>>>>> }
>>>>>> ### Assertion failure at line 2109 of
>>>>>> /fc/proj/ctires/open64/o64guru/src/Sat/trunk/osprey/be/cg/cgemit.cxx:
>>>>>> ### Compiler Error in file bug912-cutdown.c during Assembly phase:
>>>>>> ### literal for operand 1 is not in range
>>>>>> Analysis:
>>>>>> WHIRL dump snippet after WOPT:
>>>>>> ......
>>>>>> U4STID 50 <1,8,.preg_U4> T<8,.predef_U4,4> # max_time_incr {line:
>>>>>> 1/8}
>>>>>> U4U4LDID 50 <1,8,.preg_U4> T<8,.predef_U4,4> # max_time_incr
>>>>>> U4U4LDID 50 <1,8,.preg_U4> T<8,.predef_U4,4> # max_time_incr
>>>>>> I8INTCONST -2147483649 (0xffffffff7fffffff)
>>>>>> U4BAND
>>>>>> I4U4EQ
>>>>>> FALSEBR L2562 {line: 0/0}
>>>>>>
>>>>>> This is already wrong, U4BAND should not accept I8INTCONST kids.
>>>>>>
>>>>>> ((1 << 31) - 1) in such context should be codemapped to U4INTCONST
>>>>>> 2147483647 (0x7fffffff)
>>>>>>
>>>>>> Suggested patch:
>>>>>>
>>>>>> --- a/osprey/be/opt/opt_htable.cxx
>>>>>> +++ b/osprey/be/opt/opt_htable.cxx
>>>>>> @@ -3679,7 +3679,10 @@ CODEMAP::Add_expr(WN *wn, OPT_STAB *opt_stab,
>>>>>> STMTREP *stmt, CANON_CR *ccr,
>>>>>> if ((MTYPE_type_class(OPCODE_rtype(op)) &
>>>>>> MTYPE_CLASS_INTEGER) != 0
>>>>>> #ifdef TARG_X8664 // bug 7733
>>>>>> && ! MTYPE_is_vector(OPCODE_rtype(op))
>>>>>> - && ! MTYPE_is_vector(OPCODE_desc(op))
>>>>>> + && ! MTYPE_is_vector(OPCODE_desc(op))
>>>>>> + // bug912 open64.net. do not Canonicalize U4I4CVT
>>>>>> + && ! (OPCODE_rtype(op) == MTYPE_U4 &&
>>>>>> + OPCODE_desc(op) == MTYPE_I4)
>>>>>> #endif
>>>>>> )
>>>>>> return Canon_cvt(wn, opt_stab, stmt, ccr, cr, copyprop);
>>>>>> Could a gatekeeper please help review ? Thanks
>>>>>>
>>>>>> Regards
>>>>>> Gang
>>>>>>
>>>>>>
>>>>>> ------------------------------------------------------------------------------
>>>>>> All the data continuously generated in your IT infrastructure
>>>>>> contains a definitive record of customers, application performance,
>>>>>> security threats, fraudulent activity, and more. Splunk takes this
>>>>>> data and makes sense of it. IT sense. And common sense.
>>>>>> http://p.sf.net/sfu/splunk-novd2d
>>>>>> _______________________________________________
>>>>>> Open64-devel mailing list
>>>>>> Open64-devel@lists.sourceforge.net
>>>>>> https://lists.sourceforge.net/lists/listinfo/open64-devel
>>>>>>
>>>>>>
>>>>>
>>>>>
>>>>
>>>
>>
>
------------------------------------------------------------------------------
All the data continuously generated in your IT infrastructure
contains a definitive record of customers, application performance,
security threats, fraudulent activity, and more. Splunk takes this
data and makes sense of it. IT sense. And common sense.
http://p.sf.net/sfu/splunk-novd2d
_______________________________________________
Open64-devel mailing list
Open64-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/open64-devel