diff options
| author | Andrew Kelley <superjoe30@gmail.com> | 2016-12-21 23:04:04 -0500 |
|---|---|---|
| committer | Andrew Kelley <superjoe30@gmail.com> | 2016-12-21 23:04:04 -0500 |
| commit | 43be6ccb03e6ce32f78c69129b61d49cae2b747d (patch) | |
| tree | 5658b04142baa382e795f18dca5a3efcaa58894e /src/ir.cpp | |
| parent | b4c2f7e31018cd2abc882221096a1fd1e71d5b88 (diff) | |
| download | zig-43be6ccb03e6ce32f78c69129b61d49cae2b747d.tar.gz zig-43be6ccb03e6ce32f78c69129b61d49cae2b747d.zip | |
IR: fix phi instruction when one of the predecessors is unreachable
Diffstat (limited to 'src/ir.cpp')
| -rw-r--r-- | src/ir.cpp | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/ir.cpp b/src/ir.cpp index ae629e0910..97d70e3e6a 100644 --- a/src/ir.cpp +++ b/src/ir.cpp @@ -6910,11 +6910,12 @@ static TypeTableEntry *ir_analyze_instruction_phi(IrAnalyze *ira, IrInstructionP IrInstruction *old_value = phi_instruction->incoming_values[i]; assert(old_value); IrInstruction *new_value = old_value->other; - if (!new_value || new_value->type_entry->id == TypeTableEntryIdInvalid) + if (!new_value || new_value->type_entry->id == TypeTableEntryIdUnreachable) + continue; + + if (new_value->type_entry->id == TypeTableEntryIdInvalid) return ira->codegen->builtin_types.entry_invalid; - if (new_value->type_entry->id == TypeTableEntryIdUnreachable) - continue; assert(predecessor->other); new_incoming_blocks.append(predecessor->other); |