Skip to content

Commit 13c0351

Browse files
committed
misc. and cleanup
1 parent 385460e commit 13c0351

File tree

3 files changed

+3
-10
lines changed

3 files changed

+3
-10
lines changed

src/shady/passes/infer.c

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -686,7 +686,7 @@ static const Node* _infer_control(Context* ctx, const Node* node, const Type* ex
686686
});
687687
jpt = qualified_type(a, (QualifiedType) { .is_uniform = true, .type = jpt });
688688
const Node* jp = var(a, jpt, ojp->payload.var.name);
689-
register_processed(&ctx->rewriter, ojp, jp);
689+
register_processed(&joinable_ctx.rewriter, ojp, jp);
690690

691691
const Node* nlam = case_(a, singleton(jp), infer(&joinable_ctx, get_abstraction_body(olam), NULL));
692692

src/shady/print.c

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -414,9 +414,8 @@ static void print_value(PrinterCtx* ctx, const Node* node) {
414414
printf(YELLOW);
415415
String name = get_value_name(node);
416416
if (name && strlen(name) > 0)
417-
printf("%s", name);
418-
else
419-
printf("%%%d", node->id);
417+
printf("%s_", name);
418+
printf("%%%d", node->id);
420419
printf(RESET);
421420
break;
422421
case UntypedNumber_TAG:

src/shady/rewrite.c

Lines changed: 0 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -214,12 +214,6 @@ Nodes recreate_variables(Rewriter* rewriter, Nodes old) {
214214
return nodes(rewriter->dst_arena, old.count, nvars);
215215
}
216216

217-
Node* clone_bb_head(Rewriter* r, const Node* bb) {
218-
assert(bb && bb->tag == BasicBlock_TAG);
219-
Nodes nparams = recreate_variables(r, get_abstraction_params(bb));
220-
return basic_block(r->dst_arena, (Node*) bb->payload.basic_block.fn, nparams, get_abstraction_name(bb));
221-
}
222-
223217
Node* recreate_decl_header_identity(Rewriter* rewriter, const Node* old) {
224218
Node* new = NULL;
225219
switch (is_declaration(old)) {

0 commit comments

Comments
 (0)