{"id":25553,"date":"2007-08-16T10:00:00","date_gmt":"2007-08-16T10:00:00","guid":{"rendered":"https:\/\/blogs.msdn.microsoft.com\/oldnewthing\/2007\/08\/16\/what-are-these-strange-cmp-ecx-ecx-instructions-doing-in-my-c-code\/"},"modified":"2007-08-16T10:00:00","modified_gmt":"2007-08-16T10:00:00","slug":"what-are-these-strange-cmp-ecx-ecx-instructions-doing-in-my-c-code","status":"publish","type":"post","link":"https:\/\/devblogs.microsoft.com\/oldnewthing\/20070816-00\/?p=25553","title":{"rendered":"What are these strange cmp [ecx], ecx instructions doing in my C# code?"},"content":{"rendered":"

When you debug through some managed code at the assembly level, you’ll find a whole lot of seemingly pointless instructions that perform a comparison but ignore the result. What’s the point of comparing two values if you don’t care what the result is?\n In C++, invoking an instance method on a NULL<\/code> pointer results in undefined behavior. In other words, if you do it, the compiler is allowed to do anything it wants. And what most compilers do is, um, nothing. They don’t take any special steps if the this<\/code> pointer is NULL<\/code>; they just generate code on the assumption that it isn’t. In practice, this often means that everything seems to run just fine until you access a member variables or call a virtual functions, and then you crash.\n The C# language, by comparison, is quite explicit about what happens if you invoke an instance method on a null<\/code> object reference<\/a>:<\/p>\n

The value of E<\/code> is checked to be valid. If the value of E<\/code> is null, a System.NullReferenceException<\/code> is thrown and no further steps are executed. <\/p><\/blockquote>\n

The null reference exception must be thrown before the method can be called. That’s what the strange cmp [ecx], ecx<\/code> comparison is for.¹ The compiler doesn’t actually care what the result of the comparison is; it just wants to raise an exception if ecx<\/code> is null. If ecx<\/code> is null, the attempt to dereference it (in order to perform the comparison) will raise an access violation, which the runtime inspects and turns into a NullReferenceException<\/code>.\n The test is usually against the ecx<\/code> register since the CLR happens to use² the fastcall<\/code> calling convention, which for instance methods passes the this<\/code> pointer in the ecx<\/code> register. The pointer the compiler wants to test is going to wind up in the ecx<\/code> register sooner or later,³ so it’s not surprising that the test, when it happens, is made against the ecx<\/code> register.\n Nitpicker’s Corner<\/b>\n ¹Although this statement is written as if it were a fact, it is actually my interpretation based on observation and thinking about how language features are implemented. It is not an official position<\/a> of the CLR team nor Microsoft Corporation, and that interpretation may ultimately prove incorrect.\n ²”Happens to use” means that this is an implementation detail, not a contractual guarantee.¹<\/p>\n

³Unless the call is optimized. For example, the function might be inlined. <\/p>\n","protected":false},"excerpt":{"rendered":"

When you debug through some managed code at the assembly level, you’ll find a whole lot of seemingly pointless instructions that perform a comparison but ignore the result. What’s the point of comparing two values if you don’t care what the result is? In C++, invoking an instance method on a NULL pointer results in […]<\/p>\n","protected":false},"author":1069,"featured_media":111744,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[1],"tags":[25],"class_list":["post-25553","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-oldnewthing","tag-code"],"acf":[],"blog_post_summary":"

When you debug through some managed code at the assembly level, you’ll find a whole lot of seemingly pointless instructions that perform a comparison but ignore the result. What’s the point of comparing two values if you don’t care what the result is? In C++, invoking an instance method on a NULL pointer results in […]<\/p>\n","_links":{"self":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/25553","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/users\/1069"}],"replies":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/comments?post=25553"}],"version-history":[{"count":0,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/posts\/25553\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/media\/111744"}],"wp:attachment":[{"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/media?parent=25553"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/categories?post=25553"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/devblogs.microsoft.com\/oldnewthing\/wp-json\/wp\/v2\/tags?post=25553"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}