summaryrefslogtreecommitdiff
path: root/source/val
AgeCommit message (Expand)AuthorFilesLines
2018-08-07Unify validation of OpCopyMemory*HEADmasterAlan Baker1-82/+71
2018-08-07Refactor where opcodes are validatedAlan Baker8-63/+81
2018-08-07Fix readbility/braces warnings (#1804)dan sinclair1-10/+10
2018-08-03Cleanup includes. (#1795)dan sinclair24-36/+58
2018-08-03Rewrite include guards (#1793)dan sinclair6-18/+18
2018-08-02Validation within function body when doing a FunctionCall. (#1790)dan sinclair1-1/+7
2018-08-02Simplify validation ProcessInstruction (#1786)dan sinclair4-123/+128
2018-08-02Remove ValidateInstructionAndUpdateValidationState (#1784)dan sinclair3-18/+22
2018-08-02Combine ordered_instruction loops in validation. (#1782)dan sinclair5-96/+100
2018-08-01 Remove instruction_counter from ValidationState. (#1781)dan sinclair6-27/+10
2018-08-01Move memory class instructions to new passAlan Baker4-562/+607
2018-08-01Remove using std::<foo> statements. (#1756)dan sinclair8-107/+74
2018-08-01Remove diag() overloads. (#1776)dan sinclair3-17/+4
2018-08-01Update diag() calls in validate_capability. (#1759)dan sinclair1-5/+5
2018-08-01Update diag() calls in validate_type_unique. (#1775)dan sinclair1-1/+1
2018-08-01Update diag() calls in validate_primitives. (#1774)dan sinclair1-2/+2
2018-08-01Update diag() calls in validate_non_uniform. (#1773)dan sinclair1-5/+5
2018-08-01Update diag() calls in validate_logicals. (#1772)dan sinclair1-24/+24
2018-08-01Update diag() calls in validate_literals. (#1771)dan sinclair1-1/+1
2018-08-01Update diag() calls in validate_layout. (#1770)dan sinclair1-16/+16
2018-08-01Update diag() call in validate_interface. (#1769)dan sinclair1-1/+1
2018-08-01Update diag() calls in validate_instruction. (#1768)dan sinclair1-41/+39
2018-08-01Update diag() calls in validate_image. (#1767)dan sinclair1-155/+167
2018-08-01Update diag() calls in validate_ext_inst. (#1766)dan sinclair1-197/+197
2018-08-01Update diag() calls in validate_derivatives. (#1765)dan sinclair1-2/+2
2018-08-01Update diag() calls in validate_decorations. (#1764)dan sinclair1-15/+19
2018-08-01Remove std::deque in favour of std::vector. (#1755)dan sinclair3-27/+61
2018-08-01Update diag() calls in validate_datarules. (#1763)dan sinclair1-22/+22
2018-08-01Update diag() calls in validate_conversion. (#1762)dan sinclair1-52/+52
2018-08-01Update diag() calls in validate_composites. (#1761)dan sinclair1-34/+36
2018-08-01Update diag() calls in validate_cfg. (#1760)dan sinclair1-3/+3
2018-08-01Update diag() use in validate_builtin. (#1758)dan sinclair1-109/+123
2018-08-01Update diag() usage in validate_bitwise. (#1757)dan sinclair1-24/+24
2018-07-31Update diag() in validate_barriers (#1754)dan sinclair1-13/+13
2018-07-31Update diag() in validate_atomics (#1753)dan sinclair1-22/+22
2018-07-31Pass the instruction to diag in arithmetic validation (#1752)dan sinclair1-50/+50
2018-07-31Fix disassembly line for adjacency validations. (#1751)dan sinclair1-3/+3
2018-07-31Switch validate to use explicit diag() method. (#1750)dan sinclair1-5/+6
2018-07-31Change ValidationState::diag to accept an Instruction. (#1749)dan sinclair4-40/+32
2018-07-31Make sure all instructions are in the ordered list.Dan Sinclair6-76/+72
2018-07-31Update error messages in validate_composites. (#1743)dan sinclair1-76/+39
2018-07-30Split ImagePass into individual methods. (#1742)dan sinclair1-942/+856
2018-07-30Move OpVectorShuffle check into validate_composites (#1741)dan sinclair2-163/+65
2018-07-30Move CompositePass code into methods. (#1740)dan sinclair1-279/+290
2018-07-16Fixup line number for OpVectorShuffle ID error.Dan Sinclair1-3/+3
2018-07-13Fix size error when folding vector shuffle. (#1721)Steven Perron1-1/+1
2018-07-12Remove dead code (#1720)dan sinclair1-437/+0
2018-07-11Add option to skip verifying block layoutLei Zhang1-0/+3
2018-07-11Enforce block layout rules even when relaxedDavid Neto3-12/+50
2018-07-11Move validation files to val/ directory (#1692)dan sinclair26-0/+15574