{"ast_node_type":"other","tokens":[{"end":21,"kind":"keyword","start":0,"text":"{"}]}
                    {
                            && reg as u32 <= X86InlineAsmReg::xmm15 as u32 =>
                        // rustc emits x0 rather than xmm0