@@ -311,9 +311,6 @@ struct Flatten
311311 } else if (auto * br = curr->dynCast <BrOn>()) {
312312 if (br->op == BrOnOp::BrOnNull || br->op == BrOnOp::BrOnNonNull) {
313313 auto nullableType = br->ref ->type ;
314- auto nonNullableType = nullableType.with (Nullability::NonNullable);
315- Index nonNullableTemp =
316- builder.addVar (getFunction (), nonNullableType);
317314
318315 Index nullableTemp = builder.addVar (getFunction (), nullableType);
319316 ourPreludes.push_back (builder.makeLocalSet (nullableTemp, br->ref ));
@@ -328,14 +325,9 @@ struct Flatten
328325 ourPreludes.push_back (builder.makeBreak (
329326 br->name , nullptr , builder.makeLocalGet (isNullTemp, Type::i32 )));
330327
331- ourPreludes.push_back (builder.makeLocalSet (
332- nonNullableTemp,
333- builder.makeRefAs (
334- RefAsOp::RefAsNonNull,
335- builder.makeLocalGet (nullableTemp, nullableType))));
336-
337- replaceCurrent (
338- builder.makeLocalGet (nonNullableTemp, nonNullableType));
328+ replaceCurrent (builder.makeRefAs (
329+ RefAsOp::RefAsNonNull,
330+ builder.makeLocalGet (nullableTemp, nullableType)));
339331 } else { // br_on_non_null
340332 Index isNotNullTemp = builder.addVar (getFunction (), Type::i32 );
341333 ourPreludes.push_back (builder.makeLocalSet (
0 commit comments