Skip to content

Commit 5097a52

Browse files
bitwalkerbitwalker
committed
chore: update expect tests after toolchain modifications
1 parent c9db52d commit 5097a52

File tree

203 files changed

+17820
-16569
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

203 files changed

+17820
-16569
lines changed

‎tests/integration/expected/abi_transform_tx_kernel_get_id.hir‎

Lines changed: 105 additions & 105 deletions
Original file line numberDiff line numberDiff line change
@@ -1,92 +1,92 @@
11
builtin.component root_ns:root@1.0.0 {
22
builtin.module public @abi_transform_tx_kernel_get_id {
3-
public builtin.function @entrypoint(v0: i32) {
4-
^block4(v0: i32):
5-
v2 = builtin.global_symbol @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/__stack_pointer : ptr<byte, u8>
6-
v3 = hir.bitcast v2 : ptr<byte, i32>;
7-
v4 = hir.load v3 : i32;
8-
v5 = arith.constant 16 : i32;
9-
v6 = arith.sub v4, v5 : i32 #[overflow = wrapping];
10-
v7 = builtin.global_symbol @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/__stack_pointer : ptr<byte, u8>
11-
v8 = hir.bitcast v7 : ptr<byte, i32>;
12-
hir.store v8, v6;
13-
v9 = arith.constant 8 : i32;
14-
v10 = arith.add v6, v9 : i32 #[overflow = wrapping];
15-
hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/miden_base_sys::bindings::active_account::get_id(v10)
16-
v12 = arith.constant 8 : u32;
17-
v11 = hir.bitcast v6 : u32;
18-
v13 = arith.add v11, v12 : u32 #[overflow = checked];
19-
v227 = arith.constant 8 : u32;
20-
v15 = arith.mod v13, v227 : u32;
21-
hir.assertz v15 #[code = 250];
22-
v16 = hir.int_to_ptr v13 : ptr<byte, i64>;
23-
v17 = hir.load v16 : i64;
24-
v18 = hir.bitcast v0 : u32;
25-
v19 = arith.constant 4 : u32;
26-
v20 = arith.mod v18, v19 : u32;
27-
hir.assertz v20 #[code = 250];
28-
v21 = hir.int_to_ptr v18 : ptr<byte, i64>;
29-
hir.store v21, v17;
30-
v226 = arith.constant 16 : i32;
31-
v23 = arith.add v6, v226 : i32 #[overflow = wrapping];
32-
v24 = builtin.global_symbol @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/__stack_pointer : ptr<byte, u8>
33-
v25 = hir.bitcast v24 : ptr<byte, i32>;
34-
hir.store v25, v23;
35-
builtin.ret ;
36-
};
37-
38-
private builtin.function @__rustc::__rust_alloc(v26: i32, v27: i32) -> i32 {
39-
^block6(v26: i32, v27: i32):
40-
v29 = arith.constant 1048580 : i32;
41-
v30 = hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc(v29, v27, v26) : i32
42-
builtin.ret v30;
3+
private builtin.function @__rustc::__rust_alloc(v0: i32, v1: i32) -> i32 {
4+
^block4(v0: i32, v1: i32):
5+
v3 = arith.constant 1048580 : i32;
6+
v4 = hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc(v3, v1, v0) : i32
7+
builtin.ret v4;
438
};
449

45-
private builtin.function @__rustc::__rust_realloc(v31: i32, v32: i32, v33: i32, v34: i32) -> i32 {
46-
^block8(v31: i32, v32: i32, v33: i32, v34: i32):
47-
v36 = arith.constant 1048580 : i32;
48-
v37 = hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc(v36, v33, v34) : i32
49-
v236 = arith.constant 0 : i32;
50-
v38 = arith.constant 0 : i32;
51-
v39 = arith.eq v37, v38 : i1;
52-
v40 = arith.zext v39 : u32;
53-
v41 = hir.bitcast v40 : i32;
54-
v43 = arith.neq v41, v236 : i1;
55-
scf.if v43{
56-
^block10:
10+
private builtin.function @__rustc::__rust_realloc(v5: i32, v6: i32, v7: i32, v8: i32) -> i32 {
11+
^block6(v5: i32, v6: i32, v7: i32, v8: i32):
12+
v10 = arith.constant 1048580 : i32;
13+
v11 = hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/<miden_sdk_alloc::BumpAlloc as core::alloc::global::GlobalAlloc>::alloc(v10, v7, v8) : i32
14+
v234 = arith.constant 0 : i32;
15+
v12 = arith.constant 0 : i32;
16+
v13 = arith.eq v11, v12 : i1;
17+
v14 = arith.zext v13 : u32;
18+
v15 = hir.bitcast v14 : i32;
19+
v17 = arith.neq v15, v234 : i1;
20+
scf.if v17{
21+
^block8:
5722
scf.yield ;
5823
} else {
59-
^block11:
60-
v235 = arith.constant 0 : i32;
61-
v45 = hir.bitcast v32 : u32;
62-
v44 = hir.bitcast v34 : u32;
63-
v46 = arith.lt v44, v45 : i1;
64-
v47 = arith.zext v46 : u32;
65-
v48 = hir.bitcast v47 : i32;
66-
v50 = arith.neq v48, v235 : i1;
67-
v51 = cf.select v50, v34, v32 : i32;
24+
^block9:
6825
v233 = arith.constant 0 : i32;
69-
v234 = arith.constant 0 : i32;
70-
v53 = arith.eq v51, v234 : i1;
71-
v54 = arith.zext v53 : u32;
72-
v55 = hir.bitcast v54 : i32;
73-
v57 = arith.neq v55, v233 : i1;
74-
scf.if v57{
26+
v19 = hir.bitcast v6 : u32;
27+
v18 = hir.bitcast v8 : u32;
28+
v20 = arith.lt v18, v19 : i1;
29+
v21 = arith.zext v20 : u32;
30+
v22 = hir.bitcast v21 : i32;
31+
v24 = arith.neq v22, v233 : i1;
32+
v25 = cf.select v24, v8, v6 : i32;
33+
v231 = arith.constant 0 : i32;
34+
v232 = arith.constant 0 : i32;
35+
v27 = arith.eq v25, v232 : i1;
36+
v28 = arith.zext v27 : u32;
37+
v29 = hir.bitcast v28 : i32;
38+
v31 = arith.neq v29, v231 : i1;
39+
scf.if v31{
7540
^block50:
7641
scf.yield ;
7742
} else {
78-
^block12:
79-
v58 = hir.bitcast v51 : u32;
80-
v59 = hir.bitcast v37 : u32;
81-
v60 = hir.int_to_ptr v59 : ptr<byte, u8>;
82-
v61 = hir.bitcast v31 : u32;
83-
v62 = hir.int_to_ptr v61 : ptr<byte, u8>;
84-
hir.mem_cpy v62, v60, v58;
43+
^block10:
44+
v32 = hir.bitcast v25 : u32;
45+
v33 = hir.bitcast v11 : u32;
46+
v34 = hir.int_to_ptr v33 : ptr<byte, u8>;
47+
v35 = hir.bitcast v5 : u32;
48+
v36 = hir.int_to_ptr v35 : ptr<byte, u8>;
49+
hir.mem_cpy v36, v34, v32;
8550
scf.yield ;
8651
};
8752
scf.yield ;
8853
};
89-
builtin.ret v37;
54+
builtin.ret v11;
55+
};
56+
57+
public builtin.function @entrypoint(v38: i32) {
58+
^block11(v38: i32):
59+
v40 = builtin.global_symbol @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/__stack_pointer : ptr<byte, u8>
60+
v41 = hir.bitcast v40 : ptr<byte, i32>;
61+
v42 = hir.load v41 : i32;
62+
v43 = arith.constant 16 : i32;
63+
v44 = arith.sub v42, v43 : i32 #[overflow = wrapping];
64+
v45 = builtin.global_symbol @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/__stack_pointer : ptr<byte, u8>
65+
v46 = hir.bitcast v45 : ptr<byte, i32>;
66+
hir.store v46, v44;
67+
v47 = arith.constant 8 : i32;
68+
v48 = arith.add v44, v47 : i32 #[overflow = wrapping];
69+
hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/miden_base_sys::bindings::active_account::get_id(v48)
70+
v50 = arith.constant 8 : u32;
71+
v49 = hir.bitcast v44 : u32;
72+
v51 = arith.add v49, v50 : u32 #[overflow = checked];
73+
v236 = arith.constant 8 : u32;
74+
v53 = arith.mod v51, v236 : u32;
75+
hir.assertz v53 #[code = 250];
76+
v54 = hir.int_to_ptr v51 : ptr<byte, i64>;
77+
v55 = hir.load v54 : i64;
78+
v56 = hir.bitcast v38 : u32;
79+
v57 = arith.constant 4 : u32;
80+
v58 = arith.mod v56, v57 : u32;
81+
hir.assertz v58 #[code = 250];
82+
v59 = hir.int_to_ptr v56 : ptr<byte, i64>;
83+
hir.store v59, v55;
84+
v235 = arith.constant 16 : i32;
85+
v61 = arith.add v44, v235 : i32 #[overflow = wrapping];
86+
v62 = builtin.global_symbol @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/__stack_pointer : ptr<byte, u8>
87+
v63 = hir.bitcast v62 : ptr<byte, i32>;
88+
hir.store v63, v61;
89+
builtin.ret ;
9090
};
9191

9292
private builtin.function @__rustc::__rust_no_alloc_shim_is_unstable_v2() {
@@ -117,7 +117,7 @@ builtin.component root_ns:root@1.0.0 {
117117
scf.yield v243, v239;
118118
} else {
119119
^block18:
120-
v85 = hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/core::ptr::alignment::Alignment::max(v65, v78) : i32
120+
v85 = hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/<core::ptr::alignment::Alignment>::max(v65, v78) : i32
121121
v277 = arith.constant 0 : i32;
122122
v84 = arith.constant -2147483648 : i32;
123123
v86 = arith.sub v84, v85 : i32 #[overflow = wrapping];
@@ -254,7 +254,7 @@ builtin.component root_ns:root@1.0.0 {
254254
builtin.ret ;
255255
};
256256

257-
private builtin.function @core::ptr::alignment::Alignment::max(v172: i32, v173: i32) -> i32 {
257+
private builtin.function @<core::ptr::alignment::Alignment>::max(v172: i32, v173: i32) -> i32 {
258258
^block30(v172: i32, v173: i32):
259259
v180 = arith.constant 0 : i32;
260260
v176 = hir.bitcast v173 : u32;
@@ -293,56 +293,50 @@ builtin.component root_ns:root@1.0.0 {
293293
builtin.ret v200;
294294
};
295295

296-
public builtin.function @cabi_realloc_wit_bindgen_0_46_0(v201: i32, v202: i32, v203: i32, v204: i32) -> i32 {
296+
private builtin.function @wit_bindgen::rt::cabi_realloc(v201: i32, v202: i32, v203: i32, v204: i32) -> i32 {
297297
^block40(v201: i32, v202: i32, v203: i32, v204: i32):
298-
v206 = hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/wit_bindgen::rt::cabi_realloc(v201, v202, v203, v204) : i32
299-
builtin.ret v206;
300-
};
301-
302-
private builtin.function @wit_bindgen::rt::cabi_realloc(v207: i32, v208: i32, v209: i32, v210: i32) -> i32 {
303-
^block42(v207: i32, v208: i32, v209: i32, v210: i32):
304-
v212 = arith.constant 0 : i32;
305-
v213 = arith.neq v208, v212 : i1;
306-
v291, v292, v293 = scf.if v213 : i32, i32, u32 {
307-
^block46:
308-
v221 = hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/__rustc::__rust_realloc(v207, v208, v209, v210) : i32
298+
v206 = arith.constant 0 : i32;
299+
v207 = arith.neq v202, v206 : i1;
300+
v291, v292, v293 = scf.if v207 : i32, i32, u32 {
301+
^block44:
302+
v215 = hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/__rustc::__rust_realloc(v201, v202, v203, v204) : i32
309303
v282 = arith.constant 0 : u32;
310304
v286 = ub.poison i32 : i32;
311-
scf.yield v221, v286, v282;
305+
scf.yield v215, v286, v282;
312306
} else {
313-
^block47:
307+
^block45:
314308
v321 = arith.constant 0 : i32;
315309
v322 = arith.constant 0 : i32;
316-
v215 = arith.eq v210, v322 : i1;
317-
v216 = arith.zext v215 : u32;
318-
v217 = hir.bitcast v216 : i32;
319-
v219 = arith.neq v217, v321 : i1;
320-
v309 = scf.if v219 : i32 {
310+
v209 = arith.eq v204, v322 : i1;
311+
v210 = arith.zext v209 : u32;
312+
v211 = hir.bitcast v210 : i32;
313+
v213 = arith.neq v211, v321 : i1;
314+
v309 = scf.if v213 : i32 {
321315
^block61:
322316
v320 = ub.poison i32 : i32;
323317
scf.yield v320;
324318
} else {
325-
^block48:
326-
v220 = hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/alloc::alloc::alloc(v209, v210) : i32
327-
scf.yield v220;
319+
^block46:
320+
v214 = hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/alloc::alloc::alloc(v203, v204) : i32
321+
scf.yield v214;
328322
};
329323
v318 = arith.constant 0 : u32;
330324
v287 = arith.constant 1 : u32;
331-
v311 = cf.select v219, v287, v318 : u32;
325+
v311 = cf.select v213, v287, v318 : u32;
332326
v319 = ub.poison i32 : i32;
333-
v310 = cf.select v219, v209, v319 : i32;
327+
v310 = cf.select v213, v203, v319 : i32;
334328
scf.yield v309, v310, v311;
335329
};
336330
v298, v299 = scf.index_switch v293 : i32, u32
337331
case 0 {
338-
^block45:
332+
^block43:
339333
v316 = arith.constant 0 : i32;
340-
v224 = arith.neq v291, v316 : i1;
334+
v218 = arith.neq v291, v316 : i1;
341335
v313 = arith.constant 1 : u32;
342336
v314 = arith.constant 0 : u32;
343-
v308 = cf.select v224, v314, v313 : u32;
337+
v308 = cf.select v218, v314, v313 : u32;
344338
v315 = ub.poison i32 : i32;
345-
v307 = cf.select v224, v291, v315 : i32;
339+
v307 = cf.select v218, v291, v315 : i32;
346340
scf.yield v307, v308;
347341
}
348342
default {
@@ -359,6 +353,12 @@ builtin.component root_ns:root@1.0.0 {
359353
ub.unreachable ;
360354
};
361355

356+
public builtin.function @cabi_realloc_wit_bindgen_0_46_0(v220: i32, v221: i32, v222: i32, v223: i32) -> i32 {
357+
^block48(v220: i32, v221: i32, v222: i32, v223: i32):
358+
v225 = hir.exec @root_ns:root@1.0.0/abi_transform_tx_kernel_get_id/wit_bindgen::rt::cabi_realloc(v220, v221, v222, v223) : i32
359+
builtin.ret v225;
360+
};
361+
362362
builtin.global_variable private @#__stack_pointer : i32 {
363363
builtin.ret_imm 1048576;
364364
};

0 commit comments

Comments
 (0)