en Copyright 2015 Java http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Analysis/BasicAA/deoptimize.ll#57d57b1a [AAEval] Make compatible with opaque pointersWith opaque pointers, we cannot use the pointer element type todetermine the LocationSize for the AA query. Instead, -aa-evaltests are now required to have an explicit load or store for anypointer they want to compute alias results for, and the load/storetypes are used to determine the location size.This may affect ordering of results, and sorting within one result,as the type is not considered part of the sorted string anymore.To somewhat minimize the churn, printing still uses faux typedpointer notation. List of files: /llvm-project-15.0.7/llvm/test/Analysis/BasicAA/deoptimize.ll Tue, 15 Mar 2022 09:18:19 +0000 Nikita Popov <npopov@redhat.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Analysis/BasicAA/deoptimize.ll#b81d5baa [test] Use new PM for -aa-eval tests List of files: /llvm-project-15.0.7/llvm/test/Analysis/BasicAA/deoptimize.ll Tue, 08 Mar 2022 22:00:08 +0000 Arthur Eubanks <aeubanks@google.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Analysis/BasicAA/deoptimize.ll#d7424939 [BasicAA] Add support for memmove intrinsicCurrently, basic AA has special support for llvm.memcpy.* intrinsics. This change extends this support for any memory trancsfer opration and in particular llvm.memmove.* intrinsic.Reviewed By: reames, nikicDifferential Revision: https://reviews.llvm.org/D117095 List of files: /llvm-project-15.0.7/llvm/test/Analysis/BasicAA/deoptimize.ll Mon, 24 Jan 2022 09:49:08 +0000 Evgeniy Brevnov <ybrevnov@azul.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Analysis/BasicAA/deoptimize.ll#0e55d4fa [AA] Refine ModRefInfo for llvm.memcpy.* in presence of operand bundlesPresence of operand bundles changes semantics in respect to ModRef. In particular, spec says: "From the compilers perspective, deoptimization operand bundles make the call sites theyre attached to at least readonly. They read through all of their pointer typed operands (even if theyre not otherwise escaped) and the entire visible heap. Deoptimization operand bundles do not capture their operands except during deoptimization, in which case control will not be returned to the compiled frame". Fix handling of llvm.memcpy.* according to the spec.Reviewed By: nikicDifferential Revision: https://reviews.llvm.org/D118033 List of files: /llvm-project-15.0.7/llvm/test/Analysis/BasicAA/deoptimize.ll Mon, 24 Jan 2022 09:29:46 +0000 Evgeniy Brevnov <ybrevnov@azul.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Analysis/BasicAA/deoptimize.ll#b4b6d637 [NFC] New test case for BasicAA and memcy/memmove with deoptNew test checks results of BasicAA for llvm.memcpy.*/llvm.memmove.* intrinsics in presence of deopt bundle. By specification expected result for unrelated global memory should be Ref. Currently this is not the case and will be fixed in upcoming patches.Reviewed By: fhahnDifferential Revision: https://reviews.llvm.org/D118031 List of files: /llvm-project-15.0.7/llvm/test/Analysis/BasicAA/deoptimize.ll Mon, 24 Jan 2022 11:01:03 +0000 Evgeniy Brevnov <ybrevnov@azul.com> http://172.16.0.5:8080/history/llvm-project-15.0.7/llvm/test/Analysis/BasicAA/deoptimize.ll#887c7660 [BasicAA] Deoptimize intrinsics don't modify memorySimilarly to assumes and guards deoptimize intrinsics aremarked as writing to ensure proper control dependenciesbut they never modify any particular memory location.Differential Revision: https://reviews.llvm.org/D91658 List of files: /llvm-project-15.0.7/llvm/test/Analysis/BasicAA/deoptimize.ll Tue, 17 Nov 2020 20:16:24 +0000 Artur Pilipenko <apilipenko@azul.com>