mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-01-31 12:41:49 +01:00
4e50d0475a
Just as as llvm IR supports explicitly specifying numeric value ids
for instructions, and emits them by default in textual output, now do
the same for blocks.
This is a slightly incompatible change in the textual IR format.
Previously, llvm would parse numeric labels as string names. E.g.
define void @f() {
br label %"55"
55:
ret void
}
defined a label *named* "55", even without needing to be quoted, while
the reference required quoting. Now, if you intend a block label which
looks like a value number to be a name, you must quote it in the
definition too (e.g. `"55":`).
Previously, llvm would print nameless blocks only as a comment, and
would omit it if there was no predecessor. This could cause confusion
for readers of the IR, just as unnamed instructions did prior to the
addition of "%5 = " syntax, back in 2008 (PR2480).
Now, it will always print a label for an unnamed block, with the
exception of the entry block. (IMO it may be better to print it for
the entry-block as well. However, that requires updating many more
tests.)
Thus, the following is supported, and is the canonical printing:
define i32 @f(i32, i32) {
%3 = add i32 %0, %1
br label %4
4:
ret i32 %3
}
New test cases covering this behavior are added, and other tests
updated as required.
Differential Revision: https://reviews.llvm.org/D58548
llvm-svn: 356789
461 lines
7.3 KiB
C++
461 lines
7.3 KiB
C++
//===- LLToken.h - Token Codes for LLVM Assembly Files ----------*- C++ -*-===//
|
|
//
|
|
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
|
|
// See https://llvm.org/LICENSE.txt for license information.
|
|
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
//
|
|
// This file defines the enums for the .ll lexer.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef LLVM_LIB_ASMPARSER_LLTOKEN_H
|
|
#define LLVM_LIB_ASMPARSER_LLTOKEN_H
|
|
|
|
namespace llvm {
|
|
namespace lltok {
|
|
enum Kind {
|
|
// Markers
|
|
Eof,
|
|
Error,
|
|
|
|
// Tokens with no info.
|
|
dotdotdot, // ...
|
|
equal,
|
|
comma, // = ,
|
|
star, // *
|
|
lsquare,
|
|
rsquare, // [ ]
|
|
lbrace,
|
|
rbrace, // { }
|
|
less,
|
|
greater, // < >
|
|
lparen,
|
|
rparen, // ( )
|
|
exclaim, // !
|
|
bar, // |
|
|
colon, // :
|
|
|
|
kw_x,
|
|
kw_true,
|
|
kw_false,
|
|
kw_declare,
|
|
kw_define,
|
|
kw_global,
|
|
kw_constant,
|
|
|
|
kw_dso_local,
|
|
kw_dso_preemptable,
|
|
|
|
kw_private,
|
|
kw_internal,
|
|
kw_linkonce,
|
|
kw_linkonce_odr,
|
|
kw_weak, // Used as a linkage, and a modifier for "cmpxchg".
|
|
kw_weak_odr,
|
|
kw_appending,
|
|
kw_dllimport,
|
|
kw_dllexport,
|
|
kw_common,
|
|
kw_available_externally,
|
|
kw_default,
|
|
kw_hidden,
|
|
kw_protected,
|
|
kw_unnamed_addr,
|
|
kw_local_unnamed_addr,
|
|
kw_externally_initialized,
|
|
kw_extern_weak,
|
|
kw_external,
|
|
kw_thread_local,
|
|
kw_localdynamic,
|
|
kw_initialexec,
|
|
kw_localexec,
|
|
kw_zeroinitializer,
|
|
kw_undef,
|
|
kw_null,
|
|
kw_none,
|
|
kw_to,
|
|
kw_caller,
|
|
kw_within,
|
|
kw_from,
|
|
kw_tail,
|
|
kw_musttail,
|
|
kw_notail,
|
|
kw_target,
|
|
kw_triple,
|
|
kw_source_filename,
|
|
kw_unwind,
|
|
kw_deplibs, // FIXME: Remove in 4.0
|
|
kw_datalayout,
|
|
kw_volatile,
|
|
kw_atomic,
|
|
kw_unordered,
|
|
kw_monotonic,
|
|
kw_acquire,
|
|
kw_release,
|
|
kw_acq_rel,
|
|
kw_seq_cst,
|
|
kw_syncscope,
|
|
kw_nnan,
|
|
kw_ninf,
|
|
kw_nsz,
|
|
kw_arcp,
|
|
kw_contract,
|
|
kw_reassoc,
|
|
kw_afn,
|
|
kw_fast,
|
|
kw_nuw,
|
|
kw_nsw,
|
|
kw_exact,
|
|
kw_inbounds,
|
|
kw_inrange,
|
|
kw_align,
|
|
kw_addrspace,
|
|
kw_section,
|
|
kw_alias,
|
|
kw_ifunc,
|
|
kw_module,
|
|
kw_asm,
|
|
kw_sideeffect,
|
|
kw_alignstack,
|
|
kw_inteldialect,
|
|
kw_gc,
|
|
kw_prefix,
|
|
kw_prologue,
|
|
kw_c,
|
|
|
|
kw_cc,
|
|
kw_ccc,
|
|
kw_fastcc,
|
|
kw_coldcc,
|
|
kw_intel_ocl_bicc,
|
|
kw_x86_stdcallcc,
|
|
kw_x86_fastcallcc,
|
|
kw_x86_thiscallcc,
|
|
kw_x86_vectorcallcc,
|
|
kw_x86_regcallcc,
|
|
kw_arm_apcscc,
|
|
kw_arm_aapcscc,
|
|
kw_arm_aapcs_vfpcc,
|
|
kw_aarch64_vector_pcs,
|
|
kw_msp430_intrcc,
|
|
kw_avr_intrcc,
|
|
kw_avr_signalcc,
|
|
kw_ptx_kernel,
|
|
kw_ptx_device,
|
|
kw_spir_kernel,
|
|
kw_spir_func,
|
|
kw_x86_64_sysvcc,
|
|
kw_win64cc,
|
|
kw_webkit_jscc,
|
|
kw_anyregcc,
|
|
kw_swiftcc,
|
|
kw_preserve_mostcc,
|
|
kw_preserve_allcc,
|
|
kw_ghccc,
|
|
kw_x86_intrcc,
|
|
kw_hhvmcc,
|
|
kw_hhvm_ccc,
|
|
kw_cxx_fast_tlscc,
|
|
kw_amdgpu_vs,
|
|
kw_amdgpu_ls,
|
|
kw_amdgpu_hs,
|
|
kw_amdgpu_es,
|
|
kw_amdgpu_gs,
|
|
kw_amdgpu_ps,
|
|
kw_amdgpu_cs,
|
|
kw_amdgpu_kernel,
|
|
|
|
// Attributes:
|
|
kw_attributes,
|
|
kw_allocsize,
|
|
kw_alwaysinline,
|
|
kw_argmemonly,
|
|
kw_sanitize_address,
|
|
kw_sanitize_hwaddress,
|
|
kw_builtin,
|
|
kw_byval,
|
|
kw_inalloca,
|
|
kw_cold,
|
|
kw_convergent,
|
|
kw_dereferenceable,
|
|
kw_dereferenceable_or_null,
|
|
kw_inaccessiblememonly,
|
|
kw_inaccessiblemem_or_argmemonly,
|
|
kw_inlinehint,
|
|
kw_inreg,
|
|
kw_jumptable,
|
|
kw_minsize,
|
|
kw_naked,
|
|
kw_nest,
|
|
kw_noalias,
|
|
kw_nobuiltin,
|
|
kw_nocapture,
|
|
kw_noduplicate,
|
|
kw_noimplicitfloat,
|
|
kw_noinline,
|
|
kw_norecurse,
|
|
kw_nonlazybind,
|
|
kw_nonnull,
|
|
kw_noredzone,
|
|
kw_noreturn,
|
|
kw_nocf_check,
|
|
kw_nounwind,
|
|
kw_optforfuzzing,
|
|
kw_optnone,
|
|
kw_optsize,
|
|
kw_readnone,
|
|
kw_readonly,
|
|
kw_returned,
|
|
kw_returns_twice,
|
|
kw_signext,
|
|
kw_speculatable,
|
|
kw_ssp,
|
|
kw_sspreq,
|
|
kw_sspstrong,
|
|
kw_safestack,
|
|
kw_shadowcallstack,
|
|
kw_sret,
|
|
kw_sanitize_thread,
|
|
kw_sanitize_memory,
|
|
kw_speculative_load_hardening,
|
|
kw_strictfp,
|
|
kw_swifterror,
|
|
kw_swiftself,
|
|
kw_uwtable,
|
|
kw_writeonly,
|
|
kw_zeroext,
|
|
kw_immarg,
|
|
|
|
kw_type,
|
|
kw_opaque,
|
|
|
|
kw_comdat,
|
|
|
|
// Comdat types
|
|
kw_any,
|
|
kw_exactmatch,
|
|
kw_largest,
|
|
kw_noduplicates,
|
|
kw_samesize,
|
|
|
|
kw_eq,
|
|
kw_ne,
|
|
kw_slt,
|
|
kw_sgt,
|
|
kw_sle,
|
|
kw_sge,
|
|
kw_ult,
|
|
kw_ugt,
|
|
kw_ule,
|
|
kw_uge,
|
|
kw_oeq,
|
|
kw_one,
|
|
kw_olt,
|
|
kw_ogt,
|
|
kw_ole,
|
|
kw_oge,
|
|
kw_ord,
|
|
kw_uno,
|
|
kw_ueq,
|
|
kw_une,
|
|
|
|
// atomicrmw operations that aren't also instruction keywords.
|
|
kw_xchg,
|
|
kw_nand,
|
|
kw_max,
|
|
kw_min,
|
|
kw_umax,
|
|
kw_umin,
|
|
|
|
// Instruction Opcodes (Opcode in UIntVal).
|
|
kw_fneg,
|
|
kw_add,
|
|
kw_fadd,
|
|
kw_sub,
|
|
kw_fsub,
|
|
kw_mul,
|
|
kw_fmul,
|
|
kw_udiv,
|
|
kw_sdiv,
|
|
kw_fdiv,
|
|
kw_urem,
|
|
kw_srem,
|
|
kw_frem,
|
|
kw_shl,
|
|
kw_lshr,
|
|
kw_ashr,
|
|
kw_and,
|
|
kw_or,
|
|
kw_xor,
|
|
kw_icmp,
|
|
kw_fcmp,
|
|
|
|
kw_phi,
|
|
kw_call,
|
|
kw_trunc,
|
|
kw_zext,
|
|
kw_sext,
|
|
kw_fptrunc,
|
|
kw_fpext,
|
|
kw_uitofp,
|
|
kw_sitofp,
|
|
kw_fptoui,
|
|
kw_fptosi,
|
|
kw_inttoptr,
|
|
kw_ptrtoint,
|
|
kw_bitcast,
|
|
kw_addrspacecast,
|
|
kw_select,
|
|
kw_va_arg,
|
|
|
|
kw_landingpad,
|
|
kw_personality,
|
|
kw_cleanup,
|
|
kw_catch,
|
|
kw_filter,
|
|
|
|
kw_ret,
|
|
kw_br,
|
|
kw_switch,
|
|
kw_indirectbr,
|
|
kw_invoke,
|
|
kw_resume,
|
|
kw_unreachable,
|
|
kw_cleanupret,
|
|
kw_catchswitch,
|
|
kw_catchret,
|
|
kw_catchpad,
|
|
kw_cleanuppad,
|
|
kw_callbr,
|
|
|
|
kw_alloca,
|
|
kw_load,
|
|
kw_store,
|
|
kw_fence,
|
|
kw_cmpxchg,
|
|
kw_atomicrmw,
|
|
kw_getelementptr,
|
|
|
|
kw_extractelement,
|
|
kw_insertelement,
|
|
kw_shufflevector,
|
|
kw_extractvalue,
|
|
kw_insertvalue,
|
|
kw_blockaddress,
|
|
|
|
// Metadata types.
|
|
kw_distinct,
|
|
|
|
// Use-list order directives.
|
|
kw_uselistorder,
|
|
kw_uselistorder_bb,
|
|
|
|
// Summary index keywords
|
|
kw_path,
|
|
kw_hash,
|
|
kw_gv,
|
|
kw_guid,
|
|
kw_name,
|
|
kw_summaries,
|
|
kw_flags,
|
|
kw_linkage,
|
|
kw_notEligibleToImport,
|
|
kw_live,
|
|
kw_dsoLocal,
|
|
kw_function,
|
|
kw_insts,
|
|
kw_funcFlags,
|
|
kw_readNone,
|
|
kw_readOnly,
|
|
kw_noRecurse,
|
|
kw_returnDoesNotAlias,
|
|
kw_noInline,
|
|
kw_calls,
|
|
kw_callee,
|
|
kw_hotness,
|
|
kw_unknown,
|
|
kw_hot,
|
|
kw_critical,
|
|
kw_relbf,
|
|
kw_variable,
|
|
kw_aliasee,
|
|
kw_refs,
|
|
kw_typeIdInfo,
|
|
kw_typeTests,
|
|
kw_typeTestAssumeVCalls,
|
|
kw_typeCheckedLoadVCalls,
|
|
kw_typeTestAssumeConstVCalls,
|
|
kw_typeCheckedLoadConstVCalls,
|
|
kw_vFuncId,
|
|
kw_offset,
|
|
kw_args,
|
|
kw_typeid,
|
|
kw_summary,
|
|
kw_typeTestRes,
|
|
kw_kind,
|
|
kw_unsat,
|
|
kw_byteArray,
|
|
kw_inline,
|
|
kw_single,
|
|
kw_allOnes,
|
|
kw_sizeM1BitWidth,
|
|
kw_alignLog2,
|
|
kw_sizeM1,
|
|
kw_bitMask,
|
|
kw_inlineBits,
|
|
kw_wpdResolutions,
|
|
kw_wpdRes,
|
|
kw_indir,
|
|
kw_singleImpl,
|
|
kw_branchFunnel,
|
|
kw_singleImplName,
|
|
kw_resByArg,
|
|
kw_byArg,
|
|
kw_uniformRetVal,
|
|
kw_uniqueRetVal,
|
|
kw_virtualConstProp,
|
|
kw_info,
|
|
kw_byte,
|
|
kw_bit,
|
|
kw_varFlags,
|
|
|
|
// Unsigned Valued tokens (UIntVal).
|
|
LabelID, // 42:
|
|
GlobalID, // @42
|
|
LocalVarID, // %42
|
|
AttrGrpID, // #42
|
|
SummaryID, // ^42
|
|
|
|
// String valued tokens (StrVal).
|
|
LabelStr, // foo:
|
|
GlobalVar, // @foo @"foo"
|
|
ComdatVar, // $foo
|
|
LocalVar, // %foo %"foo"
|
|
MetadataVar, // !foo
|
|
StringConstant, // "foo"
|
|
DwarfTag, // DW_TAG_foo
|
|
DwarfAttEncoding, // DW_ATE_foo
|
|
DwarfVirtuality, // DW_VIRTUALITY_foo
|
|
DwarfLang, // DW_LANG_foo
|
|
DwarfCC, // DW_CC_foo
|
|
EmissionKind, // lineTablesOnly
|
|
NameTableKind, // GNU
|
|
DwarfOp, // DW_OP_foo
|
|
DIFlag, // DIFlagFoo
|
|
DISPFlag, // DISPFlagFoo
|
|
DwarfMacinfo, // DW_MACINFO_foo
|
|
ChecksumKind, // CSK_foo
|
|
|
|
// Type valued tokens (TyVal).
|
|
Type,
|
|
|
|
APFloat, // APFloatVal
|
|
APSInt // APSInt
|
|
};
|
|
} // end namespace lltok
|
|
} // end namespace llvm
|
|
|
|
#endif
|