<div dir="ltr">That's what I mean though, perhaps we could add a value to the OSType enumeration like BareMetal or None to explicitly represent this. the SubArchType enum has NoSubArch, so it's not without precedent. As long as you can express it in the triple format, the problem goes away. </div><br><div class="gmail_quote"><div dir="ltr">On Thu, Dec 6, 2018 at 3:55 PM Jason Molenda <<a href="mailto:jmolenda@apple.com">jmolenda@apple.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">There is genuinely no OS in some cases, like people who debug the software that runs in a keyboard or a mouse. And to higher-level coprocessors in a modern phones; the SOCs on all these devices have a cluster of processors, and only some of them are running an identifiable operating system, like iOS or Android.<br>
<br>
I'll be honest, it's not often that we'll be debugging an arm64-apple-none target and have to decide whether an arm64-apple-ios binary should be loaded or not. But we need some way to express this kind of environment.<br>
<br>
<br>
> On Dec 6, 2018, at 3:50 PM, Zachary Turner <<a href="mailto:zturner@google.com" target="_blank">zturner@google.com</a>> wrote:<br>
> <br>
> Is there some reason we can’t define vendors, environments, arches, and oses for all supported use cases? That way “there is no os” would not ever be a thing.<br>
> On Thu, Dec 6, 2018 at 3:37 PM Jason Molenda via lldb-dev <<a href="mailto:lldb-dev@lists.llvm.org" target="_blank">lldb-dev@lists.llvm.org</a>> wrote:<br>
> I think the confusing thing is when "unspecified" means "there is no OS" or "there is no vendor" versus "vendor/OS is unspecified".<br>
> <br>
> Imagine debugging a firmware environment where we have a cpu arch, and we may have a vendor, but we specifically do not have an OS. Say armv7-apple-none (I make up "none", I don't think that's valid). If lldb is looking for a binary and it finds one with armv7-apple-ios, it should reject that binary, they are incompatible.<br>
> <br>
> As opposed to a triple of "armv7-*-*" saying "I know this is an armv7 system target, but I don't know anything about the vendor or the OS" in which case an armv7-apple-ios binary is compatible.<br>
> <br>
> My naive reading of "arm64-*-*" means vendor & OS are unspecified and should match anything.<br>
> <br>
> My naive reading of "arm64" is that it is the same as "arm64-*-*".<br>
> <br>
> I don't know what a triple string looks like where we specify "none" for a field. Is it armv7-apple-- ? I know Triple has Unknown enums, but "Unknown" is ambiguous between "I don't know it yet" versus "It not any Vendor/OS".<br>
> <br>
> Some of the confusion is the textual representation of the triples, some of it is the llvm Triple class not having a way to express (afaik) "do not match this field against anything" aka "none".<br>
> <br>
> <br>
> <br>
> > On Dec 6, 2018, at 3:19 PM, Adrian Prantl via lldb-dev <<a href="mailto:lldb-dev@lists.llvm.org" target="_blank">lldb-dev@lists.llvm.org</a>> wrote:<br>
> > <br>
> > I was puzzled by the behavior of ArchSpec::IsExactMatch() and IsCompatibleMatch() yesterday, so I created a couple of unit tests to document the current behavior. Most of the tests make perfect sense, but a few edge cases really don't behave like I would have expected them to.<br>
> > <br>
> >> {<br>
> >> ArchSpec A("arm64-*-*");<br>
> >> ArchSpec B("arm64-apple-ios");<br>
> >> ASSERT_FALSE(A.IsExactMatch(B));<br>
> >> // FIXME: This looks unintuitive and we should investigate whether<br>
> >> // this is the desired behavior.<br>
> >> ASSERT_FALSE(A.IsCompatibleMatch(B));<br>
> >> }<br>
> >> {<br>
> >> ArchSpec A("x86_64-*-*");<br>
> >> ArchSpec B("x86_64-apple-ios-simulator");<br>
> >> ASSERT_FALSE(A.IsExactMatch(B));<br>
> >> // FIXME: See above, though the extra environment complicates things.<br>
> >> ASSERT_FALSE(A.IsCompatibleMatch(B));<br>
> >> }<br>
> >> {<br>
> >> ArchSpec A("x86_64");<br>
> >> ArchSpec B("x86_64-apple-macosx10.14");<br>
> >> // FIXME: The exact match also looks unintuitive.<br>
> >> ASSERT_TRUE(A.IsExactMatch(B));<br>
> >> ASSERT_TRUE(A.IsCompatibleMatch(B));<br>
> >> }<br>
> >> <br>
> > <br>
> > Particularly, I believe that:<br>
> > - ArchSpec("x86_64-*-*") and ArchSpec("x86_64") should behave the same.<br>
> > - ArchSpec("x86_64").IsExactMatch("x86_64-apple-macosx10.14") should be false.<br>
> > - ArchSpec("x86_64-*-*").IsCompatibleMath("x86_64-apple-macosx") should be true.<br>
> > <br>
> > Does anyone disagree with any of these statements?<br>
> > <br>
> > I fully understand that changing any of these behaviors will undoubtedly break one or the other edge case, but I think it would be important to build on a foundation that actually makes sense if we want to be able to reason about the architecture matching logic at all.<br>
> > <br>
> > let me know what you think!<br>
> > -- adrian<br>
> > _______________________________________________<br>
> > lldb-dev mailing list<br>
> > <a href="mailto:lldb-dev@lists.llvm.org" target="_blank">lldb-dev@lists.llvm.org</a><br>
> > <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-dev</a><br>
> <br>
> _______________________________________________<br>
> lldb-dev mailing list<br>
> <a href="mailto:lldb-dev@lists.llvm.org" target="_blank">lldb-dev@lists.llvm.org</a><br>
> <a href="http://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-dev" rel="noreferrer" target="_blank">http://lists.llvm.org/cgi-bin/mailman/listinfo/lldb-dev</a><br>
<br>
</blockquote></div>