diff options
| -rw-r--r-- | src/mir/from_hir_match.cpp | 26 |
1 files changed, 24 insertions, 2 deletions
diff --git a/src/mir/from_hir_match.cpp b/src/mir/from_hir_match.cpp index 5fb4e263..db347081 100644 --- a/src/mir/from_hir_match.cpp +++ b/src/mir/from_hir_match.cpp @@ -290,8 +290,30 @@ int MIR_LowerHIR_Match_Simple__GeneratePattern(MirBuilder& builder, const Span& ) ) break; - default: - TODO(sp, "Primitive - " << ty); + case ::HIR::CoreType::Char: + TU_MATCH_DEF( PatternRule, (rule), (re), + ( + BUG(sp, "PatternRule for char is not Value or ValueRange"); + ), + (Value, + auto succ_bb = builder.new_bb_unlinked(); + + auto test_lval = builder.lvalue_or_temp(te, ::MIR::Constant(re.as_Uint())); + auto cmp_lval = builder.lvalue_or_temp(::HIR::CoreType::Bool, ::MIR::RValue::make_BinOp({ match_val.clone(), ::MIR::eBinOp::EQ, mv$(test_lval) })); + builder.end_block( ::MIR::Terminator::make_If({ mv$(cmp_lval), succ_bb, fail_bb }) ); + builder.set_cur_block(succ_bb); + ), + (ValueRange, + TODO(sp, "Simple match over char - ValueRange"); + ) + ) + break; + case ::HIR::CoreType::F32: + case ::HIR::CoreType::F64: + TODO(sp, "Simple match over float - " << ty); + break; + case ::HIR::CoreType::Str: + BUG(sp, "Match on str shouldn't hit this code"); break; } } |