Skip to main content
Redhat Developers  Logo
  • Products

    Featured

    • Red Hat Enterprise Linux
      Red Hat Enterprise Linux Icon
    • Red Hat OpenShift AI
      Red Hat OpenShift AI
    • Red Hat Enterprise Linux AI
      Linux icon inside of a brain
    • Image mode for Red Hat Enterprise Linux
      RHEL image mode
    • Red Hat OpenShift
      Openshift icon
    • Red Hat Ansible Automation Platform
      Ansible icon
    • Red Hat Developer Hub
      Developer Hub
    • View All Red Hat Products
    • Linux

      • Red Hat Enterprise Linux
      • Image mode for Red Hat Enterprise Linux
      • Red Hat Universal Base Images (UBI)
    • Java runtimes & frameworks

      • JBoss Enterprise Application Platform
      • Red Hat build of OpenJDK
    • Kubernetes

      • Red Hat OpenShift
      • Microsoft Azure Red Hat OpenShift
      • Red Hat OpenShift Virtualization
      • Red Hat OpenShift Lightspeed
    • Integration & App Connectivity

      • Red Hat Build of Apache Camel
      • Red Hat Service Interconnect
      • Red Hat Connectivity Link
    • AI/ML

      • Red Hat OpenShift AI
      • Red Hat Enterprise Linux AI
    • Automation

      • Red Hat Ansible Automation Platform
      • Red Hat Ansible Lightspeed
    • Developer tools

      • Red Hat Trusted Software Supply Chain
      • Podman Desktop
      • Red Hat OpenShift Dev Spaces
    • Developer Sandbox

      Developer Sandbox
      Try Red Hat products and technologies without setup or configuration fees for 30 days with this shared Openshift and Kubernetes cluster.
    • Try at no cost
  • Technologies

    Featured

    • AI/ML
      AI/ML Icon
    • Linux
      Linux Icon
    • Kubernetes
      Cloud icon
    • Automation
      Automation Icon showing arrows moving in a circle around a gear
    • View All Technologies
    • Programming Languages & Frameworks

      • Java
      • Python
      • JavaScript
    • System Design & Architecture

      • Red Hat architecture and design patterns
      • Microservices
      • Event-Driven Architecture
      • Databases
    • Developer Productivity

      • Developer productivity
      • Developer Tools
      • GitOps
    • Secure Development & Architectures

      • Security
      • Secure coding
    • Platform Engineering

      • DevOps
      • DevSecOps
      • Ansible automation for applications and services
    • Automated Data Processing

      • AI/ML
      • Data Science
      • Apache Kafka on Kubernetes
      • View All Technologies
    • Start exploring in the Developer Sandbox for free

      sandbox graphic
      Try Red Hat's products and technologies without setup or configuration.
    • Try at no cost
  • Learn

    Featured

    • Kubernetes & Cloud Native
      Openshift icon
    • Linux
      Rhel icon
    • Automation
      Ansible cloud icon
    • Java
      Java icon
    • AI/ML
      AI/ML Icon
    • View All Learning Resources

    E-Books

    • GitOps Cookbook
    • Podman in Action
    • Kubernetes Operators
    • The Path to GitOps
    • View All E-books

    Cheat Sheets

    • Linux Commands
    • Bash Commands
    • Git
    • systemd Commands
    • View All Cheat Sheets

    Documentation

    • API Catalog
    • Product Documentation
    • Legacy Documentation
    • Red Hat Learning

      Learning image
      Boost your technical skills to expert-level with the help of interactive lessons offered by various Red Hat Learning programs.
    • Explore Red Hat Learning
  • Developer Sandbox

    Developer Sandbox

    • Access Red Hat’s products and technologies without setup or configuration, and start developing quicker than ever before with our new, no-cost sandbox environments.
    • Explore Developer Sandbox

    Featured Developer Sandbox activities

    • Get started with your Developer Sandbox
    • OpenShift virtualization and application modernization using the Developer Sandbox
    • Explore all Developer Sandbox activities

    Ready to start developing apps?

    • Try at no cost
  • Blog
  • Events
  • Videos

New asm flags feature for x86 in GCC 6

February 25, 2016
Richard Henderson

Share:

    Following a discussion on the Linux Kernel Mailing List, and further discussion about the design, we added a new feature to the extended inline assembly supported by GCC.

    The problem was that that there was no way to tell GCC that the inline assembly produces useful information in the eflags register. To work around this, programs must either copy the data from the eflags register to a general register, or re-test whatever condition was contained within the flags.

    For instance, the linux kernel has the following function:

    int variable_test_bit(long n, volatile const unsigned long *addr)
    {
        int oldbit;
        asm volatile("bt %2,%1\n\t"
                     "sbb %0,%0"
                     : "=r" (oldbit)
                     : "m" (*(unsigned long *)addr), "Ir" (n));
        return oldbit;
    }

    Here, the bt instruction tests whether the nth bit beginning at addr is set; it copies that bit to the carry bit in eflags. The sbb instruction then copies the carry bit to oldbit via borrow out of the subtract.

    The inefficiency comes when the surrounding code goes to use that result. For instance

    if (variable_test_bit(n, addr))
        do_stuff();

    compiles to

        // eax = n, edx = addr, ecx = oldbit
        bt    %eax, (%edx)
        sbb   %ecx, %ecx
        test  %ecx, %ecx
        jz    .L1
        call  do_stuff
    .L1

    which is two more instructions than is ideal.

    With the new asm flags feature, this function can be rewritten as

    int variable_test_bit(long n, volatile const unsigned long *addr)
    {
        int oldbit;
        asm volatile("bt %2,%1"
                     : "=@ccc" (oldbit)
                     : "m" (*(unsigned long *)addr), "Ir" (n));
        return oldbit;
    }

    This tells GCC that oldbit is a boolean value that can be formed by testing the carry bit of the eflags register. Now GCC can optimize the previous fragment to

        bt    %eax, (%edx)
        jnc   .L1
        call  do_stuff
    .L1

    All of the conditions described in the i386 manual for conditional branches are supported:

    a     “above” or unsigned greater than
    ae    “above or equal” or unsigned greater than or equal
    b     “below” or unsigned less than
    be    “below or equal” or unsigned less than or equal
    c     carry flag set
    e,z   “equal” or zero flag set
    g     signed greater than
    ge    signed greater than or equal
    l     signed less than
    le    signed less than or equal
    o     overflow flag set
    p     parity flag set
    s     sign flag set
    na,nae,nb,nbe,nc,ne,ng,nge,nl,nle,no,np,ns,nz
          “not” flag, or inverted versions of those above

    The presence of the asm flags feature may be detected by the built-in preprocessor define __GCC_ASM_FLAG_OUTPUTS__.  It is being used in mainline MinGW-w64, and while it isn't yet used in the Linux kernel, a patch has been submitted.

    GCC 6 has not yet been released, but is expected within the first half of 2016.

    Recent Posts

    • Create and enrich ServiceNow ITSM tickets with Ansible Automation Platform

    • Expand Model-as-a-Service for secure enterprise AI

    • OpenShift LACP bonding performance expectations

    • Build container images in CI/CD with Tekton and Buildpacks

    • How to deploy OpenShift AI & Service Mesh 3 on one cluster

    Red Hat Developers logo LinkedIn YouTube Twitter Facebook

    Products

    • Red Hat Enterprise Linux
    • Red Hat OpenShift
    • Red Hat Ansible Automation Platform

    Build

    • Developer Sandbox
    • Developer Tools
    • Interactive Tutorials
    • API Catalog

    Quicklinks

    • Learning Resources
    • E-books
    • Cheat Sheets
    • Blog
    • Events
    • Newsletter

    Communicate

    • About us
    • Contact sales
    • Find a partner
    • Report a website issue
    • Site Status Dashboard
    • Report a security problem

    RED HAT DEVELOPER

    Build here. Go anywhere.

    We serve the builders. The problem solvers who create careers with code.

    Join us if you’re a developer, software engineer, web designer, front-end designer, UX designer, computer scientist, architect, tester, product manager, project manager or team lead.

    Sign me up

    Red Hat legal and privacy links

    • About Red Hat
    • Jobs
    • Events
    • Locations
    • Contact Red Hat
    • Red Hat Blog
    • Inclusion at Red Hat
    • Cool Stuff Store
    • Red Hat Summit
    © 2025 Red Hat

    Red Hat legal and privacy links

    • Privacy statement
    • Terms of use
    • All policies and guidelines
    • Digital accessibility

    Report a website issue