blob: d4f9e5c2f173c6c3940e98a07ba1a4afc56c1caa (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
// slang-ir-sccp.h
#pragma once
namespace Slang
{
struct IRModule;
struct IRInst;
class DiagnosticSink;
/// Apply Sparse Conditional Constant Propagation (SCCP) to a module.
///
/// This optimization replaces instructions that can only ever evaluate
/// to a single (well-defined) value with that constant value, and
/// also eliminates conditional branches where the condition will
/// always evaluate to a constant (which can lead to entire blocks
/// becoming dead code)
/// Returns true if IR is changed.
bool applySparseConditionalConstantPropagation(IRModule* module, DiagnosticSink* sink);
bool applySparseConditionalConstantPropagationForGlobalScope(
IRModule* module,
DiagnosticSink* sink);
bool applySparseConditionalConstantPropagation(IRInst* func, DiagnosticSink* sink);
IRInst* tryConstantFoldInst(IRModule* module, IRInst* inst);
} // namespace Slang
|
