Remove __builtin_nop from list of x86 builtins.

bschommer · xavierleroy · commit 2696f9b4a626 · 2020-01-03T09:12:23.000+01:00
diff --git a/x86/CBuiltins.ml b/x86/CBuiltins.ml
@@ -73,9 +73,6 @@ let builtins = {
       (TVoid [], [TPtr(TInt(IUShort, []), []); TInt(IUShort, [])], false);
     "__builtin_write32_reversed",
       (TVoid [], [TPtr(TInt(IUInt, []), []); TInt(IUInt, [])], false);
-    (* no operation *)
-    "__builtin_nop",
-      (TVoid [], [], false);
   ]
 }
 

Original file line number	Diff line number	Diff line change
`@@ -73,9 +73,6 @@ let builtins = {`
`73`	`73`	`(TVoid [], [TPtr(TInt(IUShort, []), []); TInt(IUShort, [])], false);`
`74`	`74`	`"__builtin_write32_reversed",`
`75`	`75`	`(TVoid [], [TPtr(TInt(IUInt, []), []); TInt(IUInt, [])], false);`
`76`		`- (* no operation *)`
`77`		`- "__builtin_nop",`
`78`		`- (TVoid [], [], false);`
`79`	`76`	`]`
`80`	`77`	`}`
`81`	`78`