Skip to content

Commit dbdb898

Browse files
StevengreStevengre
committed
test(integration): refresh snapshots for NormalSym mapping
1 parent 9404990 commit dbdb898

2 files changed

Lines changed: 316 additions & 1 deletion

File tree

‎kmir/src/tests/integration/data/crate-tests/single-lib/small_test_lib::testing::test_add_in_range.expected‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@
1616
┃ │
1717
┃ │ (6 steps)
1818
┃ └─ 6 (stuck, leaf)
19-
┃ #setUpCalleeData ( monoItemFn ( ... name: symbol ( "** UNKNOWN FUNCTION **" ) ,
19+
┃ #setUpCalleeData ( monoItemFn ( ... name: symbol ( "_ZN3std7process4exit17hf5473
2020
┃
2121
┗━━┓ subst: .Subst
2222
┃ constraint:

‎kmir/src/tests/integration/data/exec-smir/intrinsic/blackbox_functions.expected.json‎

Lines changed: 315 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13569,6 +13569,69 @@
1356913569
"node": "KApply",
1357013570
"variable": false
1357113571
},
13572+
"0": {
13573+
"args": [
13574+
{
13575+
"args": [
13576+
{
13577+
"node": "KToken",
13578+
"sort": {
13579+
"name": "String",
13580+
"node": "KSort"
13581+
},
13582+
"token": "\"_ZN3std2rt19lang_start_internal17h018b8394ba015d86E\""
13583+
}
13584+
],
13585+
"arity": 1,
13586+
"label": {
13587+
"name": "symbol(_)_LIB_Symbol_String",
13588+
"node": "KLabel",
13589+
"params": []
13590+
},
13591+
"node": "KApply",
13592+
"variable": false
13593+
},
13594+
{
13595+
"args": [
13596+
{
13597+
"node": "KToken",
13598+
"sort": {
13599+
"name": "Int",
13600+
"node": "KSort"
13601+
},
13602+
"token": "0"
13603+
}
13604+
],
13605+
"arity": 1,
13606+
"label": {
13607+
"name": "defId(_)_BODY_DefId_Int",
13608+
"node": "KLabel",
13609+
"params": []
13610+
},
13611+
"node": "KApply",
13612+
"variable": false
13613+
},
13614+
{
13615+
"args": [],
13616+
"arity": 0,
13617+
"label": {
13618+
"name": "noBody_BODY_MaybeBody",
13619+
"node": "KLabel",
13620+
"params": []
13621+
},
13622+
"node": "KApply",
13623+
"variable": false
13624+
}
13625+
],
13626+
"arity": 3,
13627+
"label": {
13628+
"name": "MonoItemKind::MonoItemFn",
13629+
"node": "KLabel",
13630+
"params": []
13631+
},
13632+
"node": "KApply",
13633+
"variable": false
13634+
},
1357213635
"13": {
1357313636
"args": [
1357413637
{
@@ -22521,6 +22584,195 @@
2252122584
"node": "KApply",
2252222585
"variable": false
2252322586
},
22587+
"27": {
22588+
"args": [
22589+
{
22590+
"args": [
22591+
{
22592+
"node": "KToken",
22593+
"sort": {
22594+
"name": "String",
22595+
"node": "KSort"
22596+
},
22597+
"token": "\"_ZN4core3fmt3num53_$LT$impl$u20$core..fmt..LowerHex$u20$for$u20$u32$GT$3fmt17hb987357f13dc6cc8E\""
22598+
}
22599+
],
22600+
"arity": 1,
22601+
"label": {
22602+
"name": "symbol(_)_LIB_Symbol_String",
22603+
"node": "KLabel",
22604+
"params": []
22605+
},
22606+
"node": "KApply",
22607+
"variable": false
22608+
},
22609+
{
22610+
"args": [
22611+
{
22612+
"node": "KToken",
22613+
"sort": {
22614+
"name": "Int",
22615+
"node": "KSort"
22616+
},
22617+
"token": "27"
22618+
}
22619+
],
22620+
"arity": 1,
22621+
"label": {
22622+
"name": "defId(_)_BODY_DefId_Int",
22623+
"node": "KLabel",
22624+
"params": []
22625+
},
22626+
"node": "KApply",
22627+
"variable": false
22628+
},
22629+
{
22630+
"args": [],
22631+
"arity": 0,
22632+
"label": {
22633+
"name": "noBody_BODY_MaybeBody",
22634+
"node": "KLabel",
22635+
"params": []
22636+
},
22637+
"node": "KApply",
22638+
"variable": false
22639+
}
22640+
],
22641+
"arity": 3,
22642+
"label": {
22643+
"name": "MonoItemKind::MonoItemFn",
22644+
"node": "KLabel",
22645+
"params": []
22646+
},
22647+
"node": "KApply",
22648+
"variable": false
22649+
},
22650+
"28": {
22651+
"args": [
22652+
{
22653+
"args": [
22654+
{
22655+
"node": "KToken",
22656+
"sort": {
22657+
"name": "String",
22658+
"node": "KSort"
22659+
},
22660+
"token": "\"_ZN4core3fmt3num53_$LT$impl$u20$core..fmt..UpperHex$u20$for$u20$u32$GT$3fmt17h7baa47f3e5cbe44cE\""
22661+
}
22662+
],
22663+
"arity": 1,
22664+
"label": {
22665+
"name": "symbol(_)_LIB_Symbol_String",
22666+
"node": "KLabel",
22667+
"params": []
22668+
},
22669+
"node": "KApply",
22670+
"variable": false
22671+
},
22672+
{
22673+
"args": [
22674+
{
22675+
"node": "KToken",
22676+
"sort": {
22677+
"name": "Int",
22678+
"node": "KSort"
22679+
},
22680+
"token": "28"
22681+
}
22682+
],
22683+
"arity": 1,
22684+
"label": {
22685+
"name": "defId(_)_BODY_DefId_Int",
22686+
"node": "KLabel",
22687+
"params": []
22688+
},
22689+
"node": "KApply",
22690+
"variable": false
22691+
},
22692+
{
22693+
"args": [],
22694+
"arity": 0,
22695+
"label": {
22696+
"name": "noBody_BODY_MaybeBody",
22697+
"node": "KLabel",
22698+
"params": []
22699+
},
22700+
"node": "KApply",
22701+
"variable": false
22702+
}
22703+
],
22704+
"arity": 3,
22705+
"label": {
22706+
"name": "MonoItemKind::MonoItemFn",
22707+
"node": "KLabel",
22708+
"params": []
22709+
},
22710+
"node": "KApply",
22711+
"variable": false
22712+
},
22713+
"29": {
22714+
"args": [
22715+
{
22716+
"args": [
22717+
{
22718+
"node": "KToken",
22719+
"sort": {
22720+
"name": "String",
22721+
"node": "KSort"
22722+
},
22723+
"token": "\"_ZN4core3fmt3num3imp52_$LT$impl$u20$core..fmt..Display$u20$for$u20$u32$GT$3fmt17hec74c53b91325b16E\""
22724+
}
22725+
],
22726+
"arity": 1,
22727+
"label": {
22728+
"name": "symbol(_)_LIB_Symbol_String",
22729+
"node": "KLabel",
22730+
"params": []
22731+
},
22732+
"node": "KApply",
22733+
"variable": false
22734+
},
22735+
{
22736+
"args": [
22737+
{
22738+
"node": "KToken",
22739+
"sort": {
22740+
"name": "Int",
22741+
"node": "KSort"
22742+
},
22743+
"token": "29"
22744+
}
22745+
],
22746+
"arity": 1,
22747+
"label": {
22748+
"name": "defId(_)_BODY_DefId_Int",
22749+
"node": "KLabel",
22750+
"params": []
22751+
},
22752+
"node": "KApply",
22753+
"variable": false
22754+
},
22755+
{
22756+
"args": [],
22757+
"arity": 0,
22758+
"label": {
22759+
"name": "noBody_BODY_MaybeBody",
22760+
"node": "KLabel",
22761+
"params": []
22762+
},
22763+
"node": "KApply",
22764+
"variable": false
22765+
}
22766+
],
22767+
"arity": 3,
22768+
"label": {
22769+
"name": "MonoItemKind::MonoItemFn",
22770+
"node": "KLabel",
22771+
"params": []
22772+
},
22773+
"node": "KApply",
22774+
"variable": false
22775+
},
2252422776
"30": {
2252522777
"args": [
2252622778
{
@@ -27986,6 +28238,69 @@
2798628238
"node": "KApply",
2798728239
"variable": false
2798828240
},
28241+
"36": {
28242+
"args": [
28243+
{
28244+
"args": [
28245+
{
28246+
"node": "KToken",
28247+
"sort": {
28248+
"name": "String",
28249+
"node": "KSort"
28250+
},
28251+
"token": "\"_ZN4core9panicking19assert_failed_inner17h1d286061ca0adfe7E\""
28252+
}
28253+
],
28254+
"arity": 1,
28255+
"label": {
28256+
"name": "symbol(_)_LIB_Symbol_String",
28257+
"node": "KLabel",
28258+
"params": []
28259+
},
28260+
"node": "KApply",
28261+
"variable": false
28262+
},
28263+
{
28264+
"args": [
28265+
{
28266+
"node": "KToken",
28267+
"sort": {
28268+
"name": "Int",
28269+
"node": "KSort"
28270+
},
28271+
"token": "36"
28272+
}
28273+
],
28274+
"arity": 1,
28275+
"label": {
28276+
"name": "defId(_)_BODY_DefId_Int",
28277+
"node": "KLabel",
28278+
"params": []
28279+
},
28280+
"node": "KApply",
28281+
"variable": false
28282+
},
28283+
{
28284+
"args": [],
28285+
"arity": 0,
28286+
"label": {
28287+
"name": "noBody_BODY_MaybeBody",
28288+
"node": "KLabel",
28289+
"params": []
28290+
},
28291+
"node": "KApply",
28292+
"variable": false
28293+
}
28294+
],
28295+
"arity": 3,
28296+
"label": {
28297+
"name": "MonoItemKind::MonoItemFn",
28298+
"node": "KLabel",
28299+
"params": []
28300+
},
28301+
"node": "KApply",
28302+
"variable": false
28303+
},
2798928304
"43": {
2799028305
"args": [
2799128306
{

0 commit comments

Comments
 (0)