summaryrefslogtreecommitdiff
path: root/llvm/lib/CodeGen/MachineVerifier.cpp
AgeCommit message (Expand)Author
2017-04-11MIR: Allow parsing of empty machine functionsJustin Bogner
2017-03-29[MachineVerifier] Drop a spurious constSven van Haastregt
2017-03-29[MachineVerifier] Avoid reference to nullptrSven van Haastregt
2017-02-17GlobalISel: verify that generic loads & stores have a mem operand.Tim Northover
2017-02-15Fix typosMatt Arsenault
2017-01-05CodeGen: Assert that liveness is up to date when reading block live-ins.Matthias Braun
2016-12-22[GlobalISel] More fix for the size vs. type typo. NFC.Quentin Colombet
2016-12-22[MachineVerifier] Check that even generic vregs comply to regclass constraints.Quentin Colombet
2016-12-16Implement LaneBitmask::any(), use it to replace !none(), NFCIKrzysztof Parzyszek
2016-12-15Extract LaneBitmask into a separate typeKrzysztof Parzyszek
2016-11-30Clarify rules for reserved regs, fix aarch64 ones.Matthias Braun
2016-10-05Modify df_iterator to support post-order actionsDavid Callahan
2016-09-15GlobalISel: remove "unsized" LLTTim Northover
2016-09-09GlobalISel: remove G_TYPE and G_PHITim Northover
2016-09-09GlobalISel: move type information to MachineRegisterInfo.Tim Northover
2016-09-03ADT: Remove external uses of ilist_iterator, NFCDuncan P. N. Exon Smith
2016-08-31GlobalISel: use G_TYPE to annotate physregs with a type.Tim Northover
2016-08-30GlobalISel: forbid physical registers on generic MIs.Tim Northover
2016-08-29Do not use MRI::getMaxLaneMaskForVReg as a mask covering whole registerKrzysztof Parzyszek
2016-08-25MachineFunctionProperties/MIRParser: Rename AllVRegsAllocated->NoVRegs, compu...Matthias Braun
2016-08-24Create subranges for new intervals resulting from live interval splittingKrzysztof Parzyszek
2016-08-24MIRParser/MIRPrinter: Compute isSSA instead of printing/parsing it.Matthias Braun
2016-08-23MachineFunction: Introduce NoPHIs propertyMatthias Braun
2016-08-11Use the range variant of find instead of unpacking begin/endDavid Majnemer
2016-08-02[GlobalISel] Verify Selected MF property.Ahmed Bougacha
2016-08-02[GlobalISel] Verify RegBankSelected MF property.Ahmed Bougacha
2016-07-28MachineFunction: Return reference for getFrameInfo(); NFCMatthias Braun
2016-07-28[GlobalISel] Remove types on selected insts instead of using LLT().Ahmed Bougacha
2016-07-25MachineVerifier: Fix printing nonsense for physical registersMatt Arsenault
2016-07-15Rename AnalyzeBranch* to analyzeBranch*.Jacques Pienaar
2016-06-30CodeGen: Use MachineInstr& in TargetInstrInfo, NFCDuncan P. N. Exon Smith
2016-06-22AMDGPU: Add convergent flag to INLINEASM instruction.Wei Ding
2016-06-21Delete some dead code.Rafael Espindola
2016-05-20MachineVerifier: subregs so not require defs/valnos on every pathMatthias Braun
2016-05-11MachineVerifier: Fix error reporting.Matthias Braun
2016-04-08[MachineVerifier] Teach how to check some of the properties of genericQuentin Colombet
2016-03-29MachineVerifier: On dead-def live segments, check that corresponding machine ...Matthias Braun
2016-03-29Add MachineVerifier check for AllVRegsAllocated MachineFunctionPropertyDerek Schuff
2016-02-27WIP: CodeGen: Use MachineInstr& in MachineInstrBundle.h, NFCDuncan P. N. Exon Smith
2016-02-27CodeGen: Take MachineInstr& in SlotIndexes and LiveIntervals, NFCDuncan P. N. Exon Smith
2016-02-23CodeGen: TII: Take MachineInstr& in predicate API, NFCDuncan P. N. Exon Smith
2016-02-21ADT: Remove == and != comparisons between ilist iterators and pointersDuncan P. N. Exon Smith
2016-02-15MachineVerifier: Add parameter to choose if MachineFunction::verify() abortsMatthias Braun
2016-02-02MachineVerifier: Check that defs/uses are live in subregisters as well.Matthias Braun
2016-02-02MachineVerifier: Use report_context() instead of ad-hoc messages.Matthias Braun
2016-01-08LiveInterval: A LiveRange is enough for ConnectedVNInfoEqClasses::Classify()Matthias Braun
2015-12-02Move EH-specific helper functions to a more appropriate placeDavid Majnemer
2015-11-09MachineVerifier: Streamline live interval related error reportingMatthias Braun
2015-11-09MachineVerifier: Add missing linebreakMatthias Braun
2015-11-09MachineVerifier: MI::print has no TargetMachine overloadMatthias Braun