Today marks my one year anniversary at GuardSquare. On the one hand it feels like yesterday (as cliché as that might sound) but on the other hand it feels like ages ago, considering how much we have been able to do in just one year’s time. For those that don’t know GuardSquare yet, allow me to quickly introduce our company. If you have ever used Java, you probably know ProGuard, our open source optimizer for Java bytecode....
January 2017 marks the sixth birthday of my desktop computer. When I purchased my trusty Intel Core i5-2500K, I would’ve never guessed that I’d use it for that long. However, rather than jumping to the recently released Kaby Lake CPUs, I’m building my new workstation around two Intel Xeon E5-2670s. Why Xeon? There’s several reasons I went with a dual Xeon setup rather than a flagship i5 or i7. The first reason is that I’m not building a gaming rig but a workstation....
Pointer analysis is an important topic in compiler optimization. One interesting aspect is the dynamic scope of pointers. LLVM differentiates between two situations: Pointer Capture: A pointer value is captured if the function makes a copy of any part of the pointer that outlives the call. Pointer Escape: A pointer value escapes if it is is accessible from outside the current function or thread. The latter case is sometimes considered separate and called thread-escape....
The C++ standard guarantees that the members of a class or struct appear in memory in the same order as they are declared. Nonstatic data members of a (non-union) class with the same access control are allocated so that later members have higher addresses within a class object. The order of allocation of non-static data members with different access control is unspecified. Implementation alignment requirements might cause two adjacent members not to be allocated immediately after each other; so might requirements for space for managing virtual functions and virtual base classes....
The new C++17 standard brings many exciting new features. A smaller, more subtle improvement it brings is guaranteed copy elision. The keyword is guaranteed, as copy elision itself has always been part of the standard. Although it might not be a change as radical as, say, structured bindings, I’m very happy to see it made it into the standard. Table of Content Copy Elision Return Value Optimization Passing a Temporary by Value Throwing and Catching Exceptions by Value Guaranteed Copy Elision Value Categories Addendum: Translation Units Addendum: Copy-List-Initialization Copy Elision Before discussing what changed in the latest version of the standard, it might be useful to revisit the basics of copy elision as they are currently defined by the C++14 standard....
In a previous blog post I wrote about bitcode. Embedding it was already possible for quite some time with Apple’s fork of LLVM that ships with Xcode. Recently, Apple upstreamed (parts of) their implementation making it possible to do the same with the open source clang compiler. However, there are some differences between the two implementations. Bitcode embedded with Apple’s version of clang is bundled into a xar-archive. Metadata such as compiler commands used to create the binary and dylibs which the code linked against, are kept in the archive’s table of content....
-----BEGIN PGP PUBLIC KEY BLOCK----- Version: SKS 1.1.5 mQINBFdy74MBEAC75SzUR+ibt50wrTmQ2Exi/E2Oqrson4a1+C3y2KfTngfPU1pcHweHuqGl Fi0Qx5wPmj9vWeGAX5n/MLO4NTRlwPYS2pp8khk/0JQI39F7z/gjJatWmtWjNtDBkifXQfzL EO8Yd6kN3eFRCSgYZ2r/rzFj1rtrqgZJZY8ANgPciytJeNQSKvr2DtkKPXUY72Vn8Y2Rn2jo /KwxRagLh8I1+8djv0M/84DFTmTGNMqaG+cBWXRmWYeEpxiLgXXpdDZkukby51m0lalgNXvd X5UVnvpSvKAMhxiUfvoVB5EfHayqxYTwcTgUaq0z3QcYxz3HUrHEBSkgVwvsEASwA8pbPVnp NV32dNxA4Zfmy917W3566edkdYJtBRD2Kvk9KxLMMe2BdDGBZTULZJvB61/y+ejPhoPaARNR 899tF2SFzKyw+AKlNBdpcXGSghS367FP8uhiAiWAvg4vpfXvJYlhKWjfWxuxM1NijaOV9OJf qCT+ud0KkHv30wuSijZTbGBnACvZZacdN6LzN6xMdsGHuILIYGTZMiQbo7yX1CHp2CgS+ydd JsZuNmT/4ZNemYMs/xqCVsD8xNtHn4ysKOeqeFAC6yuyEv+FGb30zqjAndOMu4tVnXeZfqe0 h9UM2YH1n2IAlgk7rNkf38DRLpyZuSFYIT7ZaNBkVmU/vdp5hQARAQABtClKb25hcyBEZXZs aWVnaGVyZSA8am9uYXNAZGV2bGllZ2hlcmUuY29tPokCOAQTAQIAIgUCV3LvgwIbAwYLCQgH AwIGFQgCCQoLBBYCAwECHgECF4AACgkQScwL2Q/e7U1plA//X7k1IrVD55L2zaKFUI6wto/G pdmVdVNYGt17ociBJ9toQzdp2ZSSNzHB3jAyUdLnlbmy2V+YJ6TZIY6fJnpE6xJJ+3jOL5OK Jr3V56+Hy4wDedYm/PFl20evnlVuDzfzWQCYXQr0d+aFiYGxuF3yCT7YsxRC5H9wq7X3ONaF wP4PHSeJA4cbFWo1iIA4rXqYuUFrOxH20UmuM9zCCx7wrBLjEK+woXKWKDpHrEdCYPcMxy8b vHNedvQ50IuQca984KFB6G5PzjvlevJGdexTuawqP8FLaUyN9UCtEri2VF64sW5jmfNK7WhU QErP7mYrs2t0y7NwXpQotOraIrrvNIQtLCY4Tg7nKUvd9/D7TtW7GdmaV4+5wHXnfC+uZaoz VkOZ6vszVba+l7CvbP9W/szDN6zVgASrc7V3EqbKqbj3q3NpBKJFZG1HAaG53FlAHFDHv+gZ hnRSqLBrnnV5pCO4KQWJUo1I+EZSCjQAdA+BTUY0ILvHf2dMf0nrtLfsNsLjQBP0WaSAMtLo JcRpwQ/Jnr2iWDcR/siuRjfw7W9FMPD+IPhkoe6t1xd2NLKSHqGeG8jikLPRG9cIeiBbwymK mucIhsSCH/OKkHHfpPzS3AWMBzrX0EgPalCnIKv0GtF94jiHFBtBiSYaqQryUl7Kd8Wol7Uq 3N+0hPD/NHW5Ag0EV3LvgwEQAJuEU6ksnoTiCePVfgnH5xFsw2aYU2kFdSzbBdGz4+2GrElj pQ4YFCODVfkLLQoDEQAwtfWp48E+KrRaaSw0hxUqM74V9UAoS5QJ0GedUziisaSxmVBF5qDO P33wWvjIuWoQNaB4NIYoXTTXnE+tuec/z7kYzrskd/sgcjJKyP2DMgZ+jw0jQEHSBNLGXq6L gdFPOgZviHYZfJ+gryaTjvg80vD8H3O/6V6fWDeN9O1w906+oZFrdOWdxTjnm2/+khHFNyOA dA6u687JbgclYTNJTxpnH3NoUmAPI8KyYZNHjIwVeVv9PnIOOhbGzUKjsxgCxaovRgvD978Q OKXG6t1SVDRjjnQnBXmJGHRl8/Jeh/ULmcaZUCLzVWz+mXPeCwsis3M/xz+AROG2mdmf61jg OQh1fKZuqQPcP+C0zLGoZXpG/ORwC49uk0486JN0U3yIbT5Z/MJLCoB61eXG7M+1FNC+B2UK PODUuCYfuVJiLfV2cevgZCtbU1cnRXn5EOoC3Q9U+G6jPZMzlCFRWnkN3737rcQoKhRAHsgY w0e36y0yUgzipm1+oO9iaffTYBSQ5Z/1oRSE+f3x32RQd3eOaB2fQR/tsQdIsGHIGJxM/ydr ZbNcczaVk5iV11ZVRJ1qcpe6+qGAHQ0+5gHK2sX9ewR32cjuZmbSGn3JG9/HABEBAAGJAh8E GAECAAkFAldy74MCGwwACgkQScwL2Q/e7U3vSA/+MVRqbhrOIUZU3a3HbG26/EqjXh524P1F ki/JSnLG0PBcD30AGq40wlbO7C80dYYrpm6QicH+E2yhS6pfhgjieGqCjqDpVcwXtMo/TSCE EVVMYoN8+uv3H45HAhRIp/a3xJJbXNmsuTNa8LztULoOr1gGGJ79Jr+CzEhX3sCTBIFm1cQa a9KQ8PUS2wubyPeHo3VuLmb88PMwduwjz7mE9g6sQz1j0aEJJpZB0Pbx/C0ZIa8G8yZdwASP UhgQ0tnbTeawmv1u7f8qAkYOrkI/vydNLrNpFP0y4M1IEkRk70qzVO/9iCPrgU7x6Qbkc/0k EB+jECWQmyxWfj4lPYE8Kcj//zVPi2ZcauiWs8JhR6qs4TO46jFjqvqB17SDIZf+84wmG4Up Z1eXCrrSP6BF0BYAMaV6pbKpIg1I9wKsR9QVx5xnyAjtfy+Hz0QR5Vy3EYUFt+eHAITQkFvF VazlwC3vscOqhHsjY7ksFAINlRlsCmQKkjgmgH4djWxtcZBWqIaqZLhShojI9OdQixTPUeM7 8kjVxc/vGDPG7X/vRJAE8t+sp9OIrmlpihW/jLlVtTLA2v3lbree4C3JAbFrUBHNQrZH7jZR kxBq8IFVWABmiydtnaJtiXqLez64xRxqfpr1aZNjtuZ7CuNoGow1g9NTxVvatp/h1NmX+on2 PdQ= =fXbQ -----END PGP PUBLIC KEY BLOCK-----
Little over a year ago, Apple announced at WWDC 2015 the ability to embed bitcode in Mach-O files. Bitcode is the intermediate representation used by the LLVM compiler and contains all the information required to recompile an application. Having the bitcode present, in addition to machine code, Apple can further optimize applications by compiling and linking specifically for the user’s target device. This is one approach to app thinning, which aims to achieve smaller binaries and therefore more free space on your iDevice....
Self-Adaptive Opportunistic Offloading for Cloud-Enabled Smart Mobile Applications with Probabilistic Graphical Models at Runtime I’m proud to announce that the paper summarizing the findings in my master’s thesis (Intelligent Offloading Decisions for Mobile Cloud Applications) will be presented at the 49th Hawaii International Conference on System Sciences (HICSS). Abstract: Although extensive progress has been made in Mobile Cloud Augmentation, automated decision support on the device that enables the opportunistic and intelligent use of cloud resources is missing....
Clang is everywhere; It is the core of my favorite Vim plugin YouCompleteMe, it recently got supported by Microsoft Visual Studio, it is mentioned in numerous episodes of CppCast and it powers the excellent clang formatter. Naturally, I wanted to get a better understanding of how the clang front end works under the hood. Table of Content Clang Front End & AST ASTContext Classes Navigating Sources AST Traversal Recursive AST Visitor AST Matchers Cursors Building the Examples Conclusion Related Clang Front End & AST Clang is a C language family front end for LLVM....