Skip to content

Commit

Permalink
updating facts and atoms 7/7
Browse files Browse the repository at this point in the history 
Signed-off-by: vsoch <vsoch@users.noreply.github.com>
  • Loading branch information
@vsoch
vsoch committed Jul 8, 2022
1 parent d1ade22 commit 6a955b4
Show file tree
Hide file tree
Showing 47 changed files with 3,410 additions and 258 deletions.
112 changes: 112 additions & 0 deletions allocation/atoms.asp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,59 +8,171 @@
%----------------------------------------------------------------------------
abi_typelocation("example","main","Export","Integer32","%rax").
abi_typelocation("example","test_void","Export","Void","none").
abi_typelocation("example","test_ptr_ptr_uint_least64_t","Import","TypeDef64","(((%rdi)))").
abi_typelocation("example","test_ptr_uint_least64_t","Import","TypeDef64","((%rdi))").
abi_typelocation("example","test_uint_least64_t","Import","TypeDef64","()").
abi_typelocation("example","test_ptr_ptr_uint_least32_t","Import","TypeDef32","(((%rdi)))").
abi_typelocation("example","test_ptr_uint_least32_t","Import","TypeDef32","((%rdi))").
abi_typelocation("example","test_uint_least32_t","Import","TypeDef32","()").
abi_typelocation("example","test_ptr_ptr_uint_least16_t","Import","TypeDef16","(((%rdi)))").
abi_typelocation("example","test_ptr_uint_least16_t","Import","TypeDef16","((%rdi))").
abi_typelocation("example","test_uint_least16_t","Import","TypeDef16","()").
abi_typelocation("example","test_ptr_ptr_uint_least8_t","Import","TypeDef8","(((%rdi)))").
abi_typelocation("example","test_ptr_uint_least8_t","Import","TypeDef8","((%rdi))").
abi_typelocation("example","test_uint_least8_t","Import","TypeDef8","()").
abi_typelocation("example","test_ptr_ptr_uint_fast64_t","Import","Integer64","(((%rdi)))").
abi_typelocation("example","test_ptr_uint_fast64_t","Import","Integer64","((%rdi))").
abi_typelocation("example","test_uint_fast64_t","Import","Integer64","(%rdi)").
abi_typelocation("example","test_ptr_ptr_uint_fast32_t","Import","Integer64","(((%rdi)))").
abi_typelocation("example","test_ptr_uint_fast32_t","Import","Integer64","((%rdi))").
abi_typelocation("example","test_uint_fast32_t","Import","Integer64","(%rdi)").
abi_typelocation("example","test_ptr_ptr_uint_fast16_t","Import","Integer64","(((%rdi)))").
abi_typelocation("example","test_ptr_uint_fast16_t","Import","Integer64","((%rdi))").
abi_typelocation("example","test_uint_fast16_t","Import","Integer64","(%rdi)").
abi_typelocation("example","test_ptr_ptr_uint_fast8_t","Import","Integer8","(((%rdi)))").
abi_typelocation("example","test_ptr_uint_fast8_t","Import","Integer8","((%rdi))").
abi_typelocation("example","test_uint_fast8_t","Import","Integer8","(%rdi)").
abi_typelocation("example","test_ptr_ptr_uint64_t","Import","TypeDef64","(((%rdi)))").
abi_typelocation("example","test_ptr_uint64_t","Import","TypeDef64","((%rdi))").
abi_typelocation("example","test_uint64_t","Import","TypeDef64","()").
abi_typelocation("example","test_ptr_ptr_uint32_t","Import","TypeDef32","(((%rdi)))").
abi_typelocation("example","test_ptr_uint32_t","Import","TypeDef32","((%rdi))").
abi_typelocation("example","test_uint32_t","Import","TypeDef32","()").
abi_typelocation("example","test_ptr_ptr_uint16_t","Import","TypeDef16","(((%rdi)))").
abi_typelocation("example","test_ptr_uint16_t","Import","TypeDef16","((%rdi))").
abi_typelocation("example","test_uint16_t","Import","TypeDef16","()").
abi_typelocation("example","test_ptr_ptr_uint8_t","Import","TypeDef8","(((%rdi)))").
abi_typelocation("example","test_ptr_uint8_t","Import","TypeDef8","((%rdi))").
abi_typelocation("example","test_uint8_t","Import","TypeDef8","()").
abi_typelocation("example","test_ptr_ptr_int_least64_t","Import","TypeDef64","(((%rdi)))").
abi_typelocation("example","test_ptr_int_least64_t","Import","TypeDef64","((%rdi))").
abi_typelocation("example","test_int_least64_t","Import","TypeDef64","()").
abi_typelocation("example","test_ptr_ptr_int_least32_t","Import","TypeDef32","(((%rdi)))").
abi_typelocation("example","test_ptr_int_least32_t","Import","TypeDef32","((%rdi))").
abi_typelocation("example","test_int_least32_t","Import","TypeDef32","()").
abi_typelocation("example","test_ptr_ptr_int_least16_t","Import","TypeDef16","(((%rdi)))").
abi_typelocation("example","test_ptr_int_least16_t","Import","TypeDef16","((%rdi))").
abi_typelocation("example","test_int_least16_t","Import","TypeDef16","()").
abi_typelocation("example","test_ptr_ptr_int_least8_t","Import","TypeDef8","(((%rdi)))").
abi_typelocation("example","test_ptr_int_least8_t","Import","TypeDef8","((%rdi))").
abi_typelocation("example","test_int_least8_t","Import","TypeDef8","()").
abi_typelocation("example","test_ptr_ptr_int_fast64_t","Import","Integer64","(((%rdi)))").
abi_typelocation("example","test_ptr_int_fast64_t","Import","Integer64","((%rdi))").
abi_typelocation("example","test_int_fast64_t","Import","Integer64","(%rdi)").
abi_typelocation("example","test_ptr_ptr_int_fast32_t","Import","Integer64","(((%rdi)))").
abi_typelocation("example","test_ptr_int_fast32_t","Import","Integer64","((%rdi))").
abi_typelocation("example","test_int_fast32_t","Import","Integer64","(%rdi)").
abi_typelocation("example","test_ptr_ptr_int_fast16_t","Import","Integer64","(((%rdi)))").
abi_typelocation("example","test_ptr_int_fast16_t","Import","Integer64","((%rdi))").
abi_typelocation("example","test_int_fast16_t","Import","Integer64","(%rdi)").
abi_typelocation("example","test_ptr_ptr_int_fast8_t","Import","Integer8","(((%rdi)))").
abi_typelocation("example","test_ptr_int_fast8_t","Import","Integer8","((%rdi))").
abi_typelocation("example","test_int_fast8_t","Import","Integer8","(%rdi)").
abi_typelocation("example","test_ptr_ptr_int64_t","Import","TypeDef64","(((%rdi)))").
abi_typelocation("example","test_ptr_int64_t","Import","TypeDef64","((%rdi))").
abi_typelocation("example","test_int64_t","Import","TypeDef64","()").
abi_typelocation("example","test_ptr_ptr_int32_t","Import","TypeDef32","(((%rdi)))").
abi_typelocation("example","test_ptr_int32_t","Import","TypeDef32","((%rdi))").
abi_typelocation("example","test_int32_t","Import","TypeDef32","()").
abi_typelocation("example","test_ptr_ptr_int16_t","Import","TypeDef16","(((%rdi)))").
abi_typelocation("example","test_ptr_int16_t","Import","TypeDef16","((%rdi))").
abi_typelocation("example","test_int16_t","Import","TypeDef16","()").
abi_typelocation("example","test_ptr_ptr_int8_t","Import","TypeDef8","(((%rdi)))").
abi_typelocation("example","test_ptr_int8_t","Import","TypeDef8","((%rdi))").
abi_typelocation("example","test_int8_t","Import","TypeDef8","()").
abi_typelocation("example","test_ptr_ptr_uintptr_t","Import","Integer64","(((%rdi)))").
abi_typelocation("example","test_ptr_uintptr_t","Import","Integer64","((%rdi))").
abi_typelocation("example","test_uintptr_t","Import","Integer64","(%rdi)").
abi_typelocation("example","test_ptr_ptr_intptr_t","Import","Integer64","(((%rdi)))").
abi_typelocation("example","test_ptr_intptr_t","Import","Integer64","((%rdi))").
abi_typelocation("example","test_intptr_t","Import","Integer64","(%rdi)").
abi_typelocation("example","test_ptr_ptr_uintmax_t","Import","TypeDef64","(((%rdi)))").
abi_typelocation("example","test_ptr_uintmax_t","Import","TypeDef64","((%rdi))").
abi_typelocation("example","test_uintmax_t","Import","TypeDef64","()").
abi_typelocation("example","test_ptr_ptr_intmax_t","Import","TypeDef64","(((%rdi)))").
abi_typelocation("example","test_ptr_intmax_t","Import","TypeDef64","((%rdi))").
abi_typelocation("example","test_intmax_t","Import","TypeDef64","()").
abi_typelocation("example","test_ptr_ptr_size_t","Import","Integer64","(((%rdi)))").
abi_typelocation("example","test_ptr_size_t","Import","Integer64","((%rdi))").
abi_typelocation("example","test_size_t","Import","Integer64","(%rdi)").
abi_typelocation("example","test_ptr_ptr_char32_t","Import","Integer32","((%rdi))").
abi_typelocation("example","test_ptr_char32_t","Import","Integer32","(%rdi)").
abi_typelocation("example","test_char32_t","Import","Integer32","%rdi").
abi_typelocation("example","test_ptr_ptr_char16_t","Import","Integer16","((%rdi))").
abi_typelocation("example","test_ptr_char16_t","Import","Integer16","(%rdi)").
abi_typelocation("example","test_char16_t","Import","Integer16","%rdi").
abi_typelocation("example","test_ptr_ptr_wchar_t","Import","Integer32","((%rdi))").
abi_typelocation("example","test_ptr_wchar_t","Import","Integer32","(%rdi)").
abi_typelocation("example","test_wchar_t","Import","Integer32","%rdi").
abi_typelocation("example","test_ptr_ptr_long_double__Complex","Import","ComplexFloat256","((%rdi))").
abi_typelocation("example","test_ptr_long_double__Complex","Import","ComplexFloat256","(%rdi)").
abi_typelocation("example","test_long_double__Complex","Import","ComplexFloat256","framebase+8").
abi_typelocation("example","test_ptr_ptr_double__Complex","Import","ComplexFloat128","((%rdi))").
abi_typelocation("example","test_ptr_double__Complex","Import","ComplexFloat128","(%rdi)").
abi_typelocation("example","test_double__Complex","Import","ComplexFloat128","framebase+8").
abi_typelocation("example","test_ptr_ptr_float__Complex","Import","ComplexFloat64","((%rdi))").
abi_typelocation("example","test_ptr_float__Complex","Import","ComplexFloat64","(%rdi)").
abi_typelocation("example","test_float__Complex","Import","ComplexFloat64","framebase+8").
abi_typelocation("example","test_ptr_ptr_long_double","Import","Float128","((%rdi))").
abi_typelocation("example","test_ptr_long_double","Import","Float128","(%rdi)").
abi_typelocation("example","test_long_double","Import","Float128","framebase+8").
abi_typelocation("example","test_ptr_ptr_double","Import","Float64","((%rdi))").
abi_typelocation("example","test_ptr_double","Import","Float64","(%rdi)").
abi_typelocation("example","test_double","Import","Float64","%xmm0").
abi_typelocation("example","test_ptr_ptr_float","Import","Float32","((%rdi))").
abi_typelocation("example","test_ptr_float","Import","Float32","(%rdi)").
abi_typelocation("example","test_float","Import","Float32","%xmm0").
abi_typelocation("example","test_ptr_ptr_unsigned_long_long","Import","Integer64","((%rdi))").
abi_typelocation("example","test_ptr_unsigned_long_long","Import","Integer64","(%rdi)").
abi_typelocation("example","test_unsigned_long_long","Import","Integer64","%rdi").
abi_typelocation("example","test_ptr_ptr_unsigned_long","Import","Integer64","((%rdi))").
abi_typelocation("example","test_ptr_unsigned_long","Import","Integer64","(%rdi)").
abi_typelocation("example","test_unsigned_long","Import","Integer64","%rdi").
abi_typelocation("example","test_ptr_ptr_unsigned_int","Import","Integer32","((%rdi))").
abi_typelocation("example","test_ptr_unsigned_int","Import","Integer32","(%rdi)").
abi_typelocation("example","test_unsigned_int","Import","Integer32","%rdi").
abi_typelocation("example","test_ptr_ptr_unsigned_short","Import","Integer16","((%rdi))").
abi_typelocation("example","test_ptr_unsigned_short","Import","Integer16","(%rdi)").
abi_typelocation("example","test_unsigned_short","Import","Integer16","%rdi").
abi_typelocation("example","test_ptr_ptr_unsigned_char","Import","Integer8","((%rdi))").
abi_typelocation("example","test_ptr_unsigned_char","Import","Integer8","(%rdi)").
abi_typelocation("example","test_unsigned_char","Import","Integer8","%rdi").
abi_typelocation("example","test_ptr_ptr_unsigned","Import","Integer32","((%rdi))").
abi_typelocation("example","test_ptr_unsigned","Import","Integer32","(%rdi)").
abi_typelocation("example","test_unsigned","Import","Integer32","%rdi").
abi_typelocation("example","test_ptr_ptr_signed_long_long","Import","Integer64","((%rdi))").
abi_typelocation("example","test_ptr_signed_long_long","Import","Integer64","(%rdi)").
abi_typelocation("example","test_signed_long_long","Import","Integer64","%rdi").
abi_typelocation("example","test_ptr_ptr_signed_long","Import","Integer64","((%rdi))").
abi_typelocation("example","test_ptr_signed_long","Import","Integer64","(%rdi)").
abi_typelocation("example","test_signed_long","Import","Integer64","%rdi").
abi_typelocation("example","test_ptr_ptr_signed_int","Import","Integer32","((%rdi))").
abi_typelocation("example","test_ptr_signed_int","Import","Integer32","(%rdi)").
abi_typelocation("example","test_signed_int","Import","Integer32","%rdi").
abi_typelocation("example","test_ptr_ptr_signed_short","Import","Integer16","((%rdi))").
abi_typelocation("example","test_ptr_signed_short","Import","Integer16","(%rdi)").
abi_typelocation("example","test_signed_short","Import","Integer16","%rdi").
abi_typelocation("example","test_ptr_ptr_signed_char","Import","Integer8","((%rdi))").
abi_typelocation("example","test_ptr_signed_char","Import","Integer8","(%rdi)").
abi_typelocation("example","test_signed_char","Import","Integer8","%rdi").
abi_typelocation("example","test_ptr_ptr_signed","Import","Integer32","((%rdi))").
abi_typelocation("example","test_ptr_signed","Import","Integer32","(%rdi)").
abi_typelocation("example","test_signed","Import","Integer32","%rdi").
abi_typelocation("example","test_ptr_ptr_long_long","Import","Integer64","((%rdi))").
abi_typelocation("example","test_ptr_long_long","Import","Integer64","(%rdi)").
abi_typelocation("example","test_long_long","Import","Integer64","%rdi").
abi_typelocation("example","test_ptr_ptr_long","Import","Integer64","((%rdi))").
abi_typelocation("example","test_ptr_long","Import","Integer64","(%rdi)").
abi_typelocation("example","test_long","Import","Integer64","%rdi").
abi_typelocation("example","test_ptr_ptr_int","Import","Integer32","((%rdi))").
abi_typelocation("example","test_ptr_int","Import","Integer32","(%rdi)").
abi_typelocation("example","test_int","Import","Integer32","%rdi").
abi_typelocation("example","test_ptr_ptr_short","Import","Integer16","((%rdi))").
abi_typelocation("example","test_ptr_short","Import","Integer16","(%rdi)").
abi_typelocation("example","test_short","Import","Integer16","%rdi").
abi_typelocation("example","test_ptr_ptr_char","Import","Integer8","((%rdi))").
abi_typelocation("example","test_ptr_char","Import","Integer8","(%rdi)").
abi_typelocation("example","test_char","Import","Integer8","%rdi").
abi_typelocation("example","test_ptr_ptr_bool","Import","Integer8","((%rdi))").
abi_typelocation("example","test_ptr_bool","Import","Integer8","(%rdi)").
abi_typelocation("example","test_bool","Import","Integer8","%rdi").
63 changes: 53 additions & 10 deletions allocation/facts.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -5378,11 +5378,20 @@
},
"name": "localeconv"
},
"41b83846a1e2576a428144dc8f9638bb": {
"eceac2efd56514d24af7e69c2af3c7f1": {
"name": "at_quick_exit_func_pointer_0_atexit_func_pointer_0",
"class": "Function",
"return": {
"location": "none",
"type": "void",
"class": "Void"
}
},
"aff2ddd73f41df18bddd5584f8c9bc94": {
"class": "Pointer",
"size": 8,
"underlying_type": {
"type": "020df1952a91a123ea259028a7dcb599"
"type": "eceac2efd56514d24af7e69c2af3c7f1"
}
},
"ef6dcbf33e0304ef5b4840ce5c8301e7": {
Expand All @@ -5393,25 +5402,44 @@
},
"name": "bsearch"
},
"63a63e56efc9e3193d411d165f2624c8": {
"type": "9c67aaa6ef89dd4db8543f00bd1f472f"
"41b83846a1e2576a428144dc8f9638bb": {
"class": "Pointer",
"size": 8,
"underlying_type": {
"type": "020df1952a91a123ea259028a7dcb599"
}
},
"06455daa0a52c40c0513c2f5f0d02a30": {
"52105d311fbf3be3c911b1df2d286640": {
"name": "unknown",
"class": "Function",
"parameters": [
{
"type": "41b83846a1e2576a428144dc8f9638bb"
},
{
"type": "41b83846a1e2576a428144dc8f9638bb"
}
],
"return": {
"type": "9c67aaa6ef89dd4db8543f00bd1f472f"
}
},
"1cf07ae2d7687ab57faf2640bd85f3cb": {
"class": "Pointer",
"size": 8,
"underlying_type": {
"type": "63a63e56efc9e3193d411d165f2624c8"
"type": "52105d311fbf3be3c911b1df2d286640"
},
"name": "__compar_fn_t"
},
"62f736d393b5d775e8d8a018260bc7c8": {
"8a9f83b670287dd01e0e412af81101a1": {
"name": "__compar_fn_t",
"class": "TypeDef",
"underlying_type": {
"class": "Pointer",
"size": 8,
"underlying_type": {
"type": "63a63e56efc9e3193d411d165f2624c8"
"type": "52105d311fbf3be3c911b1df2d286640"
},
"name": "__compar_fn_t"
},
Expand Down Expand Up @@ -5878,11 +5906,26 @@
},
"name": "__dso_handle"
},
"6a907118f9a72392572aeda4bea3f784": {
"5d24f94d5a16871ee4425eeb218c973e": {
"name": "_Z6invokeiiPFiiiE_func_pointer_2",
"class": "Function",
"parameters": [
{
"type": "9c67aaa6ef89dd4db8543f00bd1f472f"
},
{
"type": "9c67aaa6ef89dd4db8543f00bd1f472f"
}
],
"return": {
"type": "9c67aaa6ef89dd4db8543f00bd1f472f"
}
},
"05e74cfd5519fdcf89e2f3fed13be9b3": {
"class": "Pointer",
"size": 8,
"underlying_type": {
"type": "63a63e56efc9e3193d411d165f2624c8"
"type": "5d24f94d5a16871ee4425eeb218c973e"
},
"name": "func"
},
Expand Down
6 changes: 6 additions & 0 deletions amalgamation/atoms.asp
View file
Original file line number Diff line number Diff line change
Expand Up @@ -6,10 +6,16 @@
%----------------------------------------------------------------------------
% Library: example
%----------------------------------------------------------------------------
abi_typelocation("example","booley","Import","Integer8","var").
abi_typelocation("example","booley","export","Integer8","var").
abi_typelocation("example","doubley","Import","Float128","var").
abi_typelocation("example","doubley","export","Float128","var").
abi_typelocation("example","_Z9fooreturniP7Structy","Import","Integer32","%rdi").
abi_typelocation("example","_Z9fooreturniP7Structy","Import","Integer32","(%rsi)").
abi_typelocation("example","_Z9fooreturniP7Structy","Import","Float64","((%rsi)+8)").
abi_typelocation("example","_Z9fooreturniP7Structy","Import","Integer8","((%rsi)+16)").
abi_typelocation("example","_Z9fooreturniP7Structy","Export","Integer32","%rax").
abi_typelocation("example","main","Import","Integer32","%rdi").
abi_typelocation("example","main","Import","Integer8","((%rsi))").
abi_typelocation("example","main","Export","Integer32","%rax").
abi_typelocation("example","_Z3foov","Export","Void","none").

0 comments on commit 6a955b4

Please sign in to comment.