{
  "asm": [
    {
      "labels": [],
      "source": null,
      "text": "main:"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        pushq     %rbp                                          #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        movq      %rsp, %rbp                                    #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        andq      $-128, %rsp                                   #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        subq      $128, %rsp                                    #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        movl      $3, %edi                                      #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        call      __intel_new_proc_init                         #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        stmxcsr   (%rsp)                                        #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 3
      },
      "text": "        movl      $.L_2__STRING.0, %edi                         #3.1"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 3
      },
      "text": "        xorl      %eax, %eax                                    #3.1"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        orl       $32832, (%rsp)                                #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 2
      },
      "text": "        ldmxcsr   (%rsp)                                        #2.12"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 3
      },
      "text": "        call      printf                                        #3.1"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 4
      },
      "text": "        movl      $.L_2__STRING.1, %edi                         #4.3"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 4
      },
      "text": "        xorl      %eax, %eax                                    #4.3"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 4
      },
      "text": "        call      printf                                        #4.3"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 5
      },
      "text": "        xorl      %eax, %eax                                    #5.1"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 5
      },
      "text": "        movq      %rbp, %rsp                                    #5.1"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 5
      },
      "text": "        popq      %rbp                                          #5.1"
    },
    {
      "labels": [],
      "source": {
        "file": null,
        "line": 5
      },
      "text": "        ret                                                     #5.1"
    },
    {
      "labels": [],
      "source": null,
      "text": ".L_2__STRING.0:"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   72"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   101"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   108"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   108"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   111"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   32"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   119"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   111"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   114"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   108"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   100"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   0"
    },
    {
      "labels": [],
      "source": null,
      "text": ".L_2__STRING.1:"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   109"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   111"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   111"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   10"
    },
    {
      "labels": [],
      "source": null,
      "text": "        .byte   0"
    }
  ],
  "labelDefinitions": {
    ".L_2__STRING.0": 21,
    ".L_2__STRING.1": 34,
    "main": 1
  }
}
