Skip to content

Commit

Permalink
remove space in front of filter annotation
Browse files Browse the repository at this point in the history
  • Loading branch information
@NeuralCoder3
NeuralCoder3 committed Mar 13, 2023
1 parent 1bee16a commit 2acef27
Show file tree
Hide file tree
Showing 19 changed files with 40 additions and 40 deletions.
4 changes: 2 additions & 2 deletions lit/core/normalize_and_tree.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,9 +14,9 @@
%core.bit2.and_ (.tt, .ff))))
};

// CHECK-DAG: .con .extern and_lit _[[retId:[0-9_]+]]: .Cn .Idx 2 {{(@.*)?}}= {
// CHECK-DAG: .con .extern and_lit _[[retId:[0-9_]+]]: .Cn .Idx 2{{(@.*)?}}= {
// CHECK-DAG: _[[etaId:[0-9_]+]] 0:(.Idx 2)

// CHECK-DAG: .con _[[etaId]] _[[etaVar:[0-9_]+]]: .Idx 2 {{(@.*)?}}= {
// CHECK-DAG: .con _[[etaId]] _[[etaVar:[0-9_]+]]: .Idx 2{{(@.*)?}}= {
// CHECK-DAG: _[[retId]] _[[etaVar]]

4 changes: 2 additions & 2 deletions lit/core/normalize_and_tt.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
return (%core.bit2.and_ (i, .tt))
};

// CHECK-DAG: and_tt _{{[0-9_]+}}::[i_[[valId_tt:[0-9_]+]]: .Idx 2, return_[[retId_tt:[0-9_]+]]: .Cn .Idx 2] {{(@.*)?}}= {
// CHECK-DAG: and_tt _{{[0-9_]+}}::[i_[[valId_tt:[0-9_]+]]: .Idx 2, return_[[retId_tt:[0-9_]+]]: .Cn .Idx 2]{{(@.*)?}}= {
// CHECK-DAG: return_[[etaId_tt:[0-9_]+]] i_[[valId_tt]]

// CHECK-DAG: return_[[etaId_tt]] _[[etaVar_tt:[0-9_]+]]: .Idx 2 {{(@.*)?}}= {
// CHECK-DAG: return_[[etaId_tt]] _[[etaVar_tt:[0-9_]+]]: .Idx 2{{(@.*)?}}= {
// CHECK-DAG: return_[[retId_tt]] _[[etaVar_tt]]
4 changes: 2 additions & 2 deletions lit/core/normalize_and_tt_tt.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
return (%core.bit2.and_ (.tt, .tt))
};

// CHECK-DAG: .con .extern and_lit_tt_tt _[[retId:[0-9_]+]]: .Cn .Idx 2 {{(@.*)?}}= {
// CHECK-DAG: .con .extern and_lit_tt_tt _[[retId:[0-9_]+]]: .Cn .Idx 2{{(@.*)?}}= {
// CHECK-DAG: _[[etaId:[0-9_]+]] 1:(.Idx 2)

// CHECK-DAG: .con _[[etaId]] _[[etaVar:[0-9_]+]]: .Idx 2 {{(@.*)?}}= {
// CHECK-DAG: .con _[[etaId]] _[[etaVar:[0-9_]+]]: .Idx 2{{(@.*)?}}= {
// CHECK-DAG: _[[retId]] _[[etaVar]]
4 changes: 2 additions & 2 deletions lit/core/normalize_bitcast.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,9 +8,9 @@
return (%core.bitcast (.Idx 4294967296, .Nat) (%core.bitcast (.Nat, %mem.Ptr (.Idx 256, 0)) i))
};

// CHECK-DAG: bitcast_bitcast _{{[0-9_]+}}::[i_[[valId:[0-9_]+]]: %mem.Ptr (.Idx 256, 0), return_[[retId:[0-9_]+]]: .Cn .Idx 4294967296] {{(@.*)?}}= {
// CHECK-DAG: bitcast_bitcast _{{[0-9_]+}}::[i_[[valId:[0-9_]+]]: %mem.Ptr (.Idx 256, 0), return_[[retId:[0-9_]+]]: .Cn .Idx 4294967296]{{(@.*)?}}= {
// CHECK-DAG: .let _[[castedId:[0-9_]+]]: .Idx 4294967296 = %core.bitcast (.Idx 4294967296, %mem.Ptr (.Idx 256, 0)) i_[[valId]];
// CHECK-DAG: return_[[etaId:[0-9_]+]] _[[castedId]]

// CHECK-DAG: return_[[etaId]] _[[etaVar:[0-9_]+]]: .Idx 4294967296 {{(@.*)?}}= {
// CHECK-DAG: return_[[etaId]] _[[etaVar:[0-9_]+]]: .Idx 4294967296{{(@.*)?}}= {
// CHECK-DAG: return_[[retId]] _[[etaVar]]
4 changes: 2 additions & 2 deletions lit/core/normalize_icmp.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
return (%core.icmp.e (%core.icmp.uge (.tt, .ff), %core.icmp.ug (.tt, .ff)))
};

// CHECK-DAG: icmp_lit _[[retId:[0-9_]+]]: .Cn .Idx 2 {{(@.*)?}}= {
// CHECK-DAG: icmp_lit _[[retId:[0-9_]+]]: .Cn .Idx 2{{(@.*)?}}= {
// CHECK-DAG: _[[etaId:[0-9_]+]] 1:(.Idx 2)

// CHECK-DAG: _[[etaId]] _[[etaVar:[0-9_]+]]: .Idx 2 {{(@.*)?}}= {
// CHECK-DAG: _[[etaId]] _[[etaVar:[0-9_]+]]: .Idx 2{{(@.*)?}}= {
// CHECK-DAG: _[[retId]] _[[etaVar]]
10 changes: 5 additions & 5 deletions lit/core/pow.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -44,18 +44,18 @@
};


// CHECK-DAG: .con f_{{[0-9_]+}} _{{[0-9_]+}}::[b_{{[0-9_]+}}: .Idx 4294967296, ret_{{[0-9_]+}}: .Cn .Idx 4294967296] {{(@.*)?}}= {
// CHECK-DAG: .con ret_{{[0-9_]+}} _{{[0-9_]+}}: .Idx 4294967296 {{(@.*)?}}= {
// CHECK-DAG: .con f_{{[0-9_]+}} _{{[0-9_]+}}::[b_{{[0-9_]+}}: .Idx 4294967296, ret_{{[0-9_]+}}: .Cn .Idx 4294967296]{{(@.*)?}}= {
// CHECK-DAG: .con ret_{{[0-9_]+}} _{{[0-9_]+}}: .Idx 4294967296{{(@.*)?}}= {
// CHECK-DAG: ret_{{[0-9_]+}} _{{[0-9_]+}}

// CHECK-DAG: .con pow_then_{{[0-9_]+}} [] {{(@.*)?}}= {
// CHECK-DAG: .con pow_then_{{[0-9_]+}} []{{(@.*)?}}= {
// CHECK-DAG: _{{[0-9_]+}} 1:(.Idx 4294967296)

// CHECK-DAG: .con pow_cont_{{[0-9_]+}} _{{[0-9_]+}}: .Idx 4294967296 {{(@.*)?}}= {
// CHECK-DAG: .con pow_cont_{{[0-9_]+}} _{{[0-9_]+}}: .Idx 4294967296{{(@.*)?}}= {
// CHECK-DAG: .let _{{[0-9_]+}}: .Idx 4294967296 = %core.wrap.mul 4294967296 0 (42:(.Idx 4294967296), _{{[0-9_]+}});
// CHECK-DAG: _{{[0-9_]+}} _{{[0-9_]+}}

// CHECK-DAG: .con pow_else_{{[0-9_]+}} [] {{(@.*)?}}= {
// CHECK-DAG: .con pow_else_{{[0-9_]+}} []{{(@.*)?}}= {
// CHECK-DAG: .let _{{[0-9_]+}}: .Idx 4294967296 = %core.wrap.add 4294967296 0 (4294967295:(.Idx 4294967296), b_{{[0-9_]+}});
// CHECK-DAG: f_{{[0-9_]+}} (_{{[0-9_]+}}, pow_cont_{{[0-9_]+}})

Expand Down
2 changes: 1 addition & 1 deletion lit/core/ret_add.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@
atoi (argv_load_a#.ff, argv_load_a#.tt, atoi_cont_a)
};

// CHECK-DAG: main _{{[0-9_]+}}::[mem_[[memId:[0-9_]+]]: %mem.M, .Idx 4294967296, argv_{{[0-9]+}}: %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[0-9_]+]]: .Cn [%mem.M, .Idx 4294967296]] {{(@.*)?}}= {
// CHECK-DAG: main _{{[0-9_]+}}::[mem_[[memId:[0-9_]+]]: %mem.M, .Idx 4294967296, argv_{{[0-9]+}}: %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[0-9_]+]]: .Cn [%mem.M, .Idx 4294967296]]{{(@.*)?}}= {

// CHECK-DAG: atoi_cont_a_[[aContId:[0-9_]+]] _{{[0-9_]+}}::[mem_{{[0-9]+}}: %mem.M, a_[[aId:[0-9_]+]]: .Idx 4294967296]

Expand Down
2 changes: 1 addition & 1 deletion lit/core/ret_and.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@
atoi (argv_load_a#.ff, argv_load_a#.tt, atoi_cont_a)
};

// CHECK-DAG: main _{{[0-9_]+}}::[mem_[[memId:[0-9_]+]]: %mem.M, .Idx 4294967296, argv_{{[0-9]+}}: %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[0-9_]+]]: .Cn [%mem.M, .Idx 4294967296]] {{(@.*)?}}= {
// CHECK-DAG: main _{{[0-9_]+}}::[mem_[[memId:[0-9_]+]]: %mem.M, .Idx 4294967296, argv_{{[0-9]+}}: %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[0-9_]+]]: .Cn [%mem.M, .Idx 4294967296]]{{(@.*)?}}= {

// CHECK-DAG: atoi_cont_a_[[aContId:[0-9_]+]] _{{[0-9_]+}}::[mem_{{[0-9]+}}: %mem.M, a_[[aId:[0-9_]+]]: .Idx 4294967296]

Expand Down
2 changes: 1 addition & 1 deletion lit/core/ret_lshr.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@
atoi (argv_load_a#.ff, argv_load_a#.tt, atoi_cont_a)
};

// CHECK-DAG: main _{{[0-9_]+}}::[mem_[[memId:[0-9_]+]]: %mem.M, .Idx 4294967296, argv_{{[0-9]+}}: %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[0-9_]+]]: .Cn [%mem.M, .Idx 4294967296]] {{(@.*)?}}= {
// CHECK-DAG: main _{{[0-9_]+}}::[mem_[[memId:[0-9_]+]]: %mem.M, .Idx 4294967296, argv_{{[0-9]+}}: %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[0-9_]+]]: .Cn [%mem.M, .Idx 4294967296]]{{(@.*)?}}= {

// CHECK-DAG: atoi_cont_a_[[aContId:[0-9_]+]] _{{[0-9_]+}}::[mem_{{[0-9]+}}: %mem.M, a_[[aId:[0-9_]+]]: .Idx 4294967296]

Expand Down
4 changes: 2 additions & 2 deletions lit/demo/const.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,8 @@
ret_cont c
};

// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[memId:[_0-9]*]]: %mem.M, .Idx 4294967296, %mem.Ptr (%mem.Ptr (.Idx 256, 0), 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]] {{(@.*)?}}= {
// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[memId:[_0-9]*]]: %mem.M, .Idx 4294967296, %mem.Ptr (%mem.Ptr (.Idx 256, 0), 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnEtaId:[_0-9]*]] (mem_[[memId]], 42:(.Idx 4294967296))

// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296] {{(@.*)?}}= {
// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnId]] _[[returnEtaVarId]]
10 changes: 5 additions & 5 deletions lit/main_loop.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -20,20 +20,20 @@
loop (mem, 0:(.Idx 4294967296), 0:(.Idx 4294967296))
};

// CHECK-DAG: .con .extern main _[[mainVarId:[0-9_]+]]::[mem_[[memId:[0-9_]+]]: %mem.M, argc_[[argcId:[0-9_]+]]: .Idx 4294967296, %mem.Ptr (%mem.Ptr (.Idx 256, 0), 0), return_[[returnId:[0-9_]+]]: .Cn [%mem.M, .Idx 4294967296]] {{(@.*)?}}= {
// CHECK-DAG: .con .extern main _[[mainVarId:[0-9_]+]]::[mem_[[memId:[0-9_]+]]: %mem.M, argc_[[argcId:[0-9_]+]]: .Idx 4294967296, %mem.Ptr (%mem.Ptr (.Idx 256, 0), 0), return_[[returnId:[0-9_]+]]: .Cn [%mem.M, .Idx 4294967296]]{{(@.*)?}}= {
// CHECK-DAG: loop_[[loopId:[0-9_]+]] (mem_[[memId]], 0:(.Idx 4294967296), 0:(.Idx 4294967296))

// CHECK-DAG: .con return_[[returnEtaId:[0-9_]+]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296] {{(@.*)?}}= {
// CHECK-DAG: .con return_[[returnEtaId:[0-9_]+]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnId]] _[[returnEtaVarId]]

// CHECK-DAG: .con loop_[[loopId]] _{{[0-9_]+}}::[mem_[[loopMemId:[0-9_]+]]: %mem.M, i_[[iterId:[0-9_]+]]: .Idx 4294967296, acc_[[accId:[0-9_]+]]: .Idx 4294967296] {{(@.*)?}}= {
// CHECK-DAG: .con loop_[[loopId]] _{{[0-9_]+}}::[mem_[[loopMemId:[0-9_]+]]: %mem.M, i_[[iterId:[0-9_]+]]: .Idx 4294967296, acc_[[accId:[0-9_]+]]: .Idx 4294967296]{{(@.*)?}}= {
// CHECK-DAG: _[[condId:[0-9_]+]]: .Idx 2 = %core.icmp.XygLe 4294967296 (i_[[iterId]], argc_[[argcId]]);
// CHECK-DAG: (_[[exitId:[0-9_]+]], body_[[bodyId:[0-9_]+]])#_[[condId]] mem_[[loopMemId]]

// CHECK-DAG: .con _[[exitId]] [[mExitVarId:[0-9a-z_]+]]: %mem.M {{(@.*)?}}= {
// CHECK-DAG: .con _[[exitId]] [[mExitVarId:[0-9a-z_]+]]: %mem.M{{(@.*)?}}= {
// CHECK-DAG: return_[[returnEtaId]] ([[mExitVarId]], acc_[[accId]])

// CHECK-DAG: .con body_[[bodyId]] [[mBodyVarId:[0-9a-z_]+]]: %mem.M {{(@.*)?}}= {
// CHECK-DAG: .con body_[[bodyId]] [[mBodyVarId:[0-9a-z_]+]]: %mem.M{{(@.*)?}}= {
// CHECK-DAG: _[[addIterId:[0-9_]+]]: .Idx 4294967296 = %core.wrap.add 4294967296 0 (1:(.Idx 4294967296), i_[[iterId]]);
// CHECK-DAG: _[[addAccId:[0-9_]+]]: .Idx 4294967296 = %core.wrap.add 4294967296 0 (acc_[[accId]], i_[[iterId]]);
// CHECK-DAG: loop_[[loopId]] ([[mBodyVarId]], _[[addIterId]], _[[addAccId]])
4 changes: 2 additions & 2 deletions lit/mem/alloc_load_store.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,13 +16,13 @@
return (mem, val)
};

// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[mainMemId:[_0-9]*]]: %mem.M, argc_[[argcId:[0-9_]+]]: .Idx 4294967296, %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]] {{(@.*)?}}= {
// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[mainMemId:[_0-9]*]]: %mem.M, argc_[[argcId:[0-9_]+]]: .Idx 4294967296, %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]]{{(@.*)?}}= {
// CHECK-DAG: _[[appAllocId:[0-9_]+]]: [%mem.M, %mem.Ptr (.Idx 4294967296, 0)] = %mem.malloc (.Idx 4294967296, 0) (mem_[[mainMemId]], 4);
// CHECK-DAG: _[[appStoreId:[0-9_]+]]: %mem.M = %mem.store (.Idx 4294967296, 0) (_[[appAllocId]]#0:(.Idx 2), _[[appAllocId]]#1:(.Idx 2), argc_[[argcId]]);
// CHECK-DAG: _[[appLoadId:[0-9_]+]]: [%mem.M, .Idx 4294967296] = %mem.load (.Idx 4294967296, 0) (_[[appStoreId]], _[[appAllocId]]#1:(.Idx 2));
// CHECK-DAG: _[[appFreeId:[0-9_]+]]: %mem.M = %mem.free (.Idx 4294967296, 0) (_[[appLoadId]]#0:(.Idx 2), _[[appAllocId]]#1:(.Idx 2));

// CHECK-DAG: return_[[returnEtaId:[0-9_]+]] (_[[appFreeId]], _[[appLoadId]]#1:(.Idx 2))

// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296] {{(@.*)?}}= {
// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnId]] _[[returnEtaVarId]]
4 changes: 2 additions & 2 deletions lit/mem/malloc_load_store.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,13 +16,13 @@
return (mem, val)
};

// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[mainMemId:[_0-9]*]]: %mem.M, argc_[[argcId:[0-9_]+]]: .Idx 4294967296, %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]] {{(@.*)?}}= {
// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[mainMemId:[_0-9]*]]: %mem.M, argc_[[argcId:[0-9_]+]]: .Idx 4294967296, %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]]{{(@.*)?}}= {
// CHECK-DAG: _[[appMallocId:[0-9_]+]]: [%mem.M, %mem.Ptr (.Idx 4294967296, 0)] = %mem.malloc (.Idx 4294967296, 0) (mem_[[mainMemId]], 4);
// CHECK-DAG: _[[appStoreId:[0-9_]+]]: %mem.M = %mem.store (.Idx 4294967296, 0) (_[[appMallocId]]#0:(.Idx 2), _[[appMallocId]]#1:(.Idx 2), argc_[[argcId]]);
// CHECK-DAG: _[[appLoadId:[0-9_]+]]: [%mem.M, .Idx 4294967296] = %mem.load (.Idx 4294967296, 0) (_[[appStoreId]], _[[appMallocId]]#1:(.Idx 2));
// CHECK-DAG: _[[appFreeId:[0-9_]+]]: %mem.M = %mem.free (.Idx 4294967296, 0) (_[[appLoadId]]#0:(.Idx 2), _[[appMallocId]]#1:(.Idx 2));

// CHECK-DAG: return_[[returnEtaId:[0-9_]+]] (_[[appFreeId]], _[[appLoadId]]#1:(.Idx 2))

// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296] {{(@.*)?}}= {
// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnId]] _[[returnEtaVarId]]
4 changes: 2 additions & 2 deletions lit/mem/mslot_load_store.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,11 +16,11 @@
return ld
};

// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[mainMemId:[_0-9]*]]: %mem.M, argc_[[argcId:[0-9_]+]]: .Idx 4294967296, %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]] {{(@.*)?}}= {
// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[mainMemId:[_0-9]*]]: %mem.M, argc_[[argcId:[0-9_]+]]: .Idx 4294967296, %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]]{{(@.*)?}}= {
// CHECK-DAG: _[[appMSlotId:[0-9_]+]]: [%mem.M, %mem.Ptr (.Idx 4294967296, 0)] = %mem.mslot (.Idx 4294967296, 0) (mem_[[mainMemId]], 4, 0);
// CHECK-DAG: _[[appStoreId:[0-9_]+]]: %mem.M = %mem.store (.Idx 4294967296, 0) (_[[appMSlotId]]#0:(.Idx 2), _[[appMSlotId]]#1:(.Idx 2), argc_[[argcId]]);
// CHECK-DAG: _[[appLoadId:[0-9_]+]]: [%mem.M, .Idx 4294967296] = %mem.load (.Idx 4294967296, 0) (_[[appStoreId]], _[[appMSlotId]]#1:(.Idx 2));
// CHECK-DAG: return_[[returnEtaId:[0-9_]+]] _[[appLoadId]]

// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296] {{(@.*)?}}= {
// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnId]] _[[returnEtaVarId]]
4 changes: 2 additions & 2 deletions lit/mem/slot_load_store.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -16,8 +16,8 @@
return ld
};

// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[mainMemId:[_0-9]*]]: %mem.M, argc_[[argcId:[0-9_]+]]: .Idx 4294967296, %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]] {{(@.*)?}}= {
// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[mainMemId:[_0-9]*]]: %mem.M, argc_[[argcId:[0-9_]+]]: .Idx 4294967296, %mem.Ptr («⊤:.Nat; %mem.Ptr («⊤:.Nat; .Idx 256», 0)», 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnEtaId:[0-9_]+]] (mem_[[mainMemId]], argc_[[argcId]])

// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296] {{(@.*)?}}= {
// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnId]] _[[returnEtaVarId]]
4 changes: 2 additions & 2 deletions lit/refly/debug.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
return (mem, c)
};

// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[memId:[_0-9]*]]: %mem.M, .Idx 4294967296, %mem.Ptr (%mem.Ptr (.Idx 256, 0), 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]] {{(@.*)?}}= {
// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[memId:[_0-9]*]]: %mem.M, .Idx 4294967296, %mem.Ptr (%mem.Ptr (.Idx 256, 0), 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnEtaId:[_0-9]*]] (mem_[[memId]], 42:(.Idx 4294967296))

// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296] {{(@.*)?}}= {
// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnId]] _[[returnEtaVarId]]
4 changes: 2 additions & 2 deletions lit/refly/debug_perm.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,8 @@
return (mem, c)
};

// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[memId:[_0-9]*]]: %mem.M, .Idx 4294967296, %mem.Ptr (%mem.Ptr (.Idx 256, 0), 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]] {{(@.*)?}}= {
// CHECK-DAG: .con .extern main _{{[0-9_]+}}::[mem_[[memId:[_0-9]*]]: %mem.M, .Idx 4294967296, %mem.Ptr (%mem.Ptr (.Idx 256, 0), 0), return_[[returnId:[_0-9]*]]: .Cn [%mem.M, .Idx 4294967296]]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnEtaId:[_0-9]*]] (mem_[[memId]], 42:(.Idx 4294967296))

// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296] {{(@.*)?}}= {
// CHECK-DAG: return_[[returnEtaId]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnId]] _[[returnEtaVarId]]
4 changes: 2 additions & 2 deletions lit/ret_argc.thorin
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,8 +11,8 @@
.let i32 = .Idx 4294967296;
.con .extern main(mem: %mem.M, argc: i32, argv: %mem.Ptr (%mem.Ptr (i8, 0), 0), return: .Cn [%mem.M, i32]) = return (mem, argc);

// CHECK-DAG: .con .extern main _[[mainVarId:[0-9_]+]]::[mem_[[memId:[0-9_]+]]: %mem.M, argc_[[argcId:[0-9_]+]]: .Idx 4294967296, %mem.Ptr (%mem.Ptr (.Idx 256, 0), 0), return_[[returnId:[0-9_]+]]: .Cn [%mem.M, .Idx 4294967296]] {{(@.*)?}}= {
// CHECK-DAG: .con .extern main _[[mainVarId:[0-9_]+]]::[mem_[[memId:[0-9_]+]]: %mem.M, argc_[[argcId:[0-9_]+]]: .Idx 4294967296, %mem.Ptr (%mem.Ptr (.Idx 256, 0), 0), return_[[returnId:[0-9_]+]]: .Cn [%mem.M, .Idx 4294967296]]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnEtaId:[0-9_]+]] (mem_[[memId]], argc_[[argcId]])

// CHECK-DAG: .con return_[[returnEtaId:[0-9_]+]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296] {{(@.*)?}}= {
// CHECK-DAG: .con return_[[returnEtaId:[0-9_]+]] _[[returnEtaVarId:[0-9_]+]]: [%mem.M, .Idx 4294967296]{{(@.*)?}}= {
// CHECK-DAG: return_[[returnId]] _[[returnEtaVarId]]
2 changes: 1 addition & 1 deletion thorin/dump.cpp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -260,7 +260,7 @@ void Dumper::dump(Lam* lam) {
auto ptrn = [&](auto&) { dump_ptrn(lam->var(), lam->type()->dom()); };

if (lam->type()->is_cn()) {
tab.println(os, ".con {}{} {} @({}) = {{", external(lam), id(lam), ptrn, lam->filter());
tab.println(os, ".con {}{} {}@({}) = {{", external(lam), id(lam), ptrn, lam->filter());
} else {
tab.println(os, ".lam {}{} {} → {} = {{", external(lam), id(lam), ptrn, lam->type()->codom());
}
Expand Down

0 comments on commit 2acef27

Please sign in to comment.