RetroSearch Browse

Sat Jul 11 05:12:42 PDT 2020 · https://lists.llvm.org/pipermail/llvm-dev/2020-July/143318.html

Hi, Fangqing,

Yes, this seems like a bug. Can you please file a bug report at 
https://bugs.llvm.org/ ? If you need someone else to do this on your 
behalf, please let us know.

 Â -Hal

On 7/10/20 9:04 PM, Fangqing Du via llvm-dev wrote:
> Hi all,
>
> Let's see an example (from Alexandre Isoard) first:
> ****************************************************************************************
> ; RUN: opt -ipsccp -deadargelim -licm -O2 -S < %s
>
> @gÂ = internal global i32 0
>
> ;Â FunctionÂ Attrs:Â argmemonly
> define internal void @foo(i32* nonnull dereferenceable(4) %arg, i32 
> %val)Â #0Â {
> entry:
> Â Â store i32 %val, i32* %arg
> Â Â ret void
> }
>
> define i32 @bar(i32 %n)Â {
> entry:
> Â Â store i32 1, i32* @g
> Â Â br label %loop
>
> loop: ;Â predsÂ =Â %bb1,Â %bb
> %iÂ =Â phi i32Â [ %i.inc, %loopÂ ],Â [ 0, %entryÂ ]
> %g.valÂ =Â load i32, i32* @g
> %g.incÂ =Â addÂ nuw i32 %g.val, 1
> tailÂ call void @foo(i32* @g, i32 %g.inc)
> %i.incÂ =Â addÂ nuw i32 %i, 1
> %condÂ =Â icmpÂ eq i32 %i.inc, %n
> Â Â br i1 %cond, label %exit, label %loop
>
> exit: ;Â predsÂ =Â %bb1
> Â Â ret i32 %g.val
> }
>
> declare void @llvm.assume(i1)
>
> attributesÂ #0Â =Â { argmemonlyÂ }
> **************************************************************************************** 
>
> With opt cmd '-ipsccp -deadargelim -licm -O2', functionÂ @bar will 
> return constant value 1, instead of correct value %n. This is crazy, 
> right?
> Let's see what happens here.
> Due to pass 'ipsccp' replaced the argument of function '@foo' with 
> global variable '@g', but keeps attr 'argmemonly' there, so pass 
> 'licm' will hoist the load of '@g' before the loop (as the value of @g 
> isn't changed, but it is changed), and will cause function return 
> wrong constant value '1', instead of '%n' (the correct value) , like 
> following:
> **************************************************************************************** 
>
> ;Â FunctionÂ Attrs:Â nofreeÂ norecurseÂ nounwindÂ writeonly
> define i32 @bar(i32 %n) local_unnamed_addr #0Â {
> entry:
> ret i32 1
> }
>
> attributesÂ #0Â =Â { nofree norecurse nounwind writeonlyÂ }
> **************************************************************************************** 
>
>
> And if remove the 'argmemonly' attribute, functionÂ @bar will return 
> the correct value:
> **************************************************************************************** 
>
> ;Â FunctionÂ Attrs:Â nofreeÂ norecurseÂ nounwind
> define i32 @bar(i32 %n) local_unnamed_addr #0Â {
> entry:
> ret i32 %n
> }
> **************************************************************************************** 
>
>
> So if function attribute 'argmemonly' on functionÂ @foo is correct, 
> then there's a bug in pass 'ipsccp'. When it replaces the function 
> local value with global variable, then it shoud remember to remove 
> this function attribute.
>
> Thanks,
> Fangqing
>
> _______________________________________________
> LLVM Developers mailing list
> llvm-dev at lists.llvm.org
> https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-dev

-- 
Hal Finkel
Lead, Compiler Technology and Programming Languages
Leadership Computing Facility
Argonne National Laboratory

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200711/475835f3/attachment.html>

Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://lists.llvm.org/pipermail/llvm-dev/2020-July/143318.html below:

[llvm-dev] Bug in pass 'ipsccp' on function attribute 'argmemonly'?