Diego Novillo 4ba9dcc8a0 Implement SSA CCP (SSA Conditional Constant Propagation). ... This implements the conditional constant propagation pass proposed in Constant propagation with conditional branches, Wegman and Zadeck, ACM TOPLAS 13(2):181-210. The main logic resides in CCPPass::VisitInstruction. Instruction that may produce a constant value are evaluated with the constant folder. If they produce a new constant, the instruction is considered interesting. Otherwise, it's considered varying (for unfoldable instructions) or just not interesting (when not enough operands have a constant value). The other main piece of logic is in CCPPass::VisitBranch. This evaluates the selector of the branch. When it's found to be a known value, it computes the destination basic block and sets it. This tells the propagator which branches to follow. The patch required extensions to the constant manager as well. Instead of hashing the Constant pointers, this patch changes the constant pool to hash the contents of the Constant. This allows the lookups to be done using the actual values of the Constant, preventing duplicate definitions.		2017-12-21 14:29:45 -05:00
..
dominator_tree	Add depth first iterator for trees	2017-12-07 10:07:56 -05:00
aggressive_dead_code_elim_test.cpp	Allow pointers to pointers in logical addressing mode.	2017-12-19 14:29:14 -05:00
assembly_builder_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
assembly_builder.h	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
block_merge_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
ccp_test.cpp	Implement SSA CCP (SSA Conditional Constant Propagation).	2017-12-21 14:29:45 -05:00
cfg_cleanup_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
CMakeLists.txt	Implement SSA CCP (SSA Conditional Constant Propagation).	2017-12-21 14:29:45 -05:00
common_uniform_elim_test.cpp	Add scalar replacement	2017-12-11 10:51:13 -05:00
compact_ids_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
dead_branch_elim_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
dead_variable_elim_test.cpp	Add pass to remove dead variables at the module level.	2017-10-23 13:57:05 -04:00
decoration_manager_test.cpp	Store all enabled capabilities in the feature manger.	2017-12-21 11:14:53 -05:00
def_use_test.cpp	Store all enabled capabilities in the feature manger.	2017-12-21 11:14:53 -05:00
eliminate_dead_const_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
eliminate_dead_functions_test.cpp	Add scalar replacement	2017-12-11 10:51:13 -05:00
feature_manager_test.cpp	Store all enabled capabilities in the feature manger.	2017-12-21 11:14:53 -05:00
flatten_decoration_test.cpp	Add FlattenDecoration transform	2017-04-06 11:19:56 -04:00
fold_spec_const_op_composite_test.cpp	Implement SSA CCP (SSA Conditional Constant Propagation).	2017-12-21 14:29:45 -05:00
freeze_spec_const_test.cpp	Provide friendly names for true and false	2017-01-11 16:33:45 -05:00
function_utils.h	Dominator Tree Analysis (#3)	2017-12-05 22:59:43 -05:00
inline_opaque_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
inline_test.cpp	Set the parent for basic blocks during inlining.	2017-12-12 13:39:08 -05:00
insert_extract_elim_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
instruction_list_test.cpp	Change the sections in the module to use the InstructionList class.	2017-10-25 15:52:06 -04:00
instruction_test.cpp	Store all enabled capabilities in the feature manger.	2017-12-21 11:14:53 -05:00
ir_context_test.cpp	Store all enabled capabilities in the feature manger.	2017-12-21 11:14:53 -05:00
ir_loader_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
iterator_test.cpp	Renaming test files to comply with Google style guide.	2016-11-07 14:41:51 -05:00
line_debug_info_test.cpp	Add the IRContext (part 1)	2017-10-31 13:46:05 -04:00
local_access_chain_convert_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
local_redundancy_elimination_test.cpp	Add scalar replacement	2017-12-11 10:51:13 -05:00
local_single_block_elim.cpp	Allow pointers to pointers in logical addressing mode.	2017-12-19 14:29:14 -05:00
local_single_store_elim_test.cpp	Allow pointers to pointers in logical addressing mode.	2017-12-19 14:29:14 -05:00
local_ssa_elim_test.cpp	Allow pointers to pointers in logical addressing mode.	2017-12-19 14:29:14 -05:00
module_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
module_utils.h	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
optimizer_test.cpp	Fix optimizer on when to write the binary	2017-04-03 15:48:50 -04:00
pass_fixture.h	Add scalar replacement	2017-12-11 10:51:13 -05:00
pass_manager_test.cpp	Store all enabled capabilities in the feature manger.	2017-12-21 11:14:53 -05:00
pass_merge_return_test.cpp	Initial implementation of merge return pass.	2017-11-15 10:27:04 -05:00
pass_remove_duplicates_test.cpp	Opt: Fix implementation and comment of AreDecorationsTheSame	2017-12-19 15:36:47 -05:00
pass_test.cpp	Adding an unique id to Instruction generated by IRContext	2017-11-20 17:49:10 -05:00
pass_utils.cpp	Relicense SPIRV-Tools under Apache 2.0	2016-09-02 10:00:29 -04:00
pass_utils.h	Add strength reduction; for now replace multiply by power of 2	2017-09-18 17:01:36 -04:00
private_to_local_test.cpp	Convert private variables to function scope.	2017-12-19 14:21:04 -05:00
propagator_test.cpp	Remove cfg_ field from SSAPropagator class - NFC.	2017-12-04 15:28:21 -05:00
redundancy_elimination_test.cpp	Add scalar replacement	2017-12-11 10:51:13 -05:00
scalar_replacement_test.cpp	Add scalar replacement	2017-12-11 10:51:13 -05:00
set_spec_const_default_value_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
strength_reduction_test.cpp	Add scalar replacement	2017-12-11 10:51:13 -05:00
strip_debug_info_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
type_manager_test.cpp	Fixing bugs in type manager memory management	2017-12-21 08:59:06 -05:00
types_test.cpp	Improving the usability of the type manager. The type manager hashes	2017-12-18 08:20:56 -05:00
unify_const_test.cpp	Add scalar replacement	2017-12-11 10:51:13 -05:00
utils_test.cpp	Re-format source tree - NFC.	2017-11-27 14:31:49 -05:00
value_table_test.cpp	Compute value number when the value table is constructed.	2017-12-04 11:02:04 -05:00