[llvm-dev] what is official way to determine if we are running lto 2nd stage?
Mehdi Amini via llvm-dev
llvm-dev at lists.llvm.org
Mon Sep 12 22:06:30 PDT 2016
> On Sep 12, 2016, at 10:01 PM, Konstantin Vladimirov <konstantin.vladimirov at gmail.com> wrote:
>
> Hi,
>
> Imagine that your backend has valid asm instruction written like this:
>
> "%x mnem %y, %z"
>
> And user puts it as inline assembler:
>
> __asm__ ("%x mnem %y, %z");
>
> It can not be parsed with current llvm asm parser, because it starts
> with % (moreover it has mnemonic in second place)
>
> Say you written pass, that makes it "mnem %x, %y, %z".
>
> Now this guy can be parsed, but can not be encoded by gas. You simply
> havent that instruction in you assembler. For LTO it isn't a problem:
> you can make arbitrary MCInst from everything that comes into
> ParseInstruction. But it is problem for regular scenario where wrong
> asm will be printed and then passed to gas.
>
> So I want to apply this on 2nd lto stage where AsmParser is inevitable
> and to not apply in non-LTO cases.
OK, from what you are describing, it does not seem a LTO vs non-LTO, but integrated-ASM vs non-integrated-ASM, right?
—
Mehdi
>
> ---
> With best regards, Konstantin
>
> On Mon, Sep 12, 2016 at 10:19 PM, Mehdi Amini <mehdi.amini at apple.com> wrote:
>>
>>> On Sep 12, 2016, at 11:07 AM, Konstantin Vladimirov <konstantin.vladimirov at gmail.com> wrote:
>>>
>>> Hi,
>>>
>>> This is really basic block level pass. It is no difference what is
>>> level, problem is the same.
>>
>> Can you clarify what you mean? If you have a MachineFunction pass, it’ll run in the backend only.
>> I don’t understand why you would need to distinguish between LTO or no-LTO here.
>>
>>>
>>> After fixing for asm parser, assembler syntax is no more valid for
>>> backend, without processing with asm parser.
>>
>> My understanding of Inline ASM is that it is supposed to be opaque to the backend till you reach MC.
>> So I don’t understand this sentence "no more valid for backend, without processing with asm parser”.
>>
>> Sorry if my answers don’t make sense to you, I may still be missing a key part of your problem.
>>
>> —
>> Mehdi
>>
>>
>>> May be it will be solution to process inline asm on insn printer level
>>> to remove syntax fixes. But just switch it off without lto will make
>>> compiler do less job
>>>
>>> P.S. sorry for dup, maillist CC lost on first sent.
>>>
>>> ---
>>> WIth best regards, Konstantin
>>>
>>>
>>> On Mon, Sep 12, 2016 at 8:52 PM, Mehdi Amini <mehdi.amini at apple.com> wrote:
>>>>
>>>>> On Sep 12, 2016, at 9:26 AM, Konstantin Vladimirov <konstantin.vladimirov at gmail.com> wrote:
>>>>>
>>>>> Hi,
>>>>>
>>>>> In LTO we have AsmParser that process inline assembler instructions to
>>>>> MCInst and I want to fix some inline assembler in order to conform its
>>>>> rules (do not start with non-identifier and so on) because asm syntax
>>>>> of our backend allows some incompatible patterns. In order to do this
>>>>> I am adding IR-level target-specific pass. But those fixes shall not
>>>>> be applied when there is no AsmParser later to process them. So I want
>>>>> to switch this pass off if we are not in 2nd lto stage.
>>>>
>>>> This is not clear to me: how should this be different for LTO than for a non-LTO compile?
>>>>
>>>> Also, if you’re only fixing the inline ASM, why doing it as an IR-level pass instead of MachineFunctionPass?
>>>>
>>>> —
>>>> Mehdi
>>>>
>>>>
>>>>>
>>>>> I think, I can make target-specific option and make user to supply it
>>>>> whenever he wants to run 2nd lto stage, but this is ugly.
>>>>>
>>>>> Can I somehow ask, say, about whole string of options and then parse
>>>>> it to match "lto" from here?
>>>>>
>>>>> ---
>>>>> With best regards, Konstantin
>>>>>
>>>>> On Mon, Sep 12, 2016 at 6:17 PM, Mehdi Amini <mehdi.amini at apple.com> wrote:
>>>>>> Hi,
>>>>>>
>>>>>>
>>>>>>> On Sep 12, 2016, at 1:26 AM, Konstantin Vladimirov via llvm-dev <llvm-dev at lists.llvm.org> wrote:
>>>>>>>
>>>>>>> Hi,
>>>>>>>
>>>>>>> I want to enable some target-specific functionality only if current
>>>>>>> build is 2nd LTO stage (i.e. optimizer called from plugin). What is
>>>>>>> best and recommended way to do it?
>>>>>>
>>>>>> There is none. We can setup a different optimizer pass pipeline for LTO, but the target specific part (i.e. the backend) isn’t supposed to behave differently.
>>>>>>
>>>>>> This is an issue in general with LTO where options from the command line (like -fno-builtins, or -fveclib=xxxx) are not correctly propagated to LTO.
>>>>>>
>>>>>> What kind of behavior do you want to enable exactly?
>>>>>>
>>>>>> —
>>>>>> Mehdi
>>>>>>
>>>>
>>
More information about the llvm-dev
mailing list