Update standard_yul tests output

ethereum · Aug 26, 2024 · 530bfc6 · 530bfc6
1 parent 77c0499
commit 530bfc6
Show file tree

Hide file tree

Showing 5 changed files with 264 additions and 5 deletions.
diff --git a/test/cmdlineTests/standard_yul/output.json b/test/cmdlineTests/standard_yul/output.json
@@ -40,7 +40,55 @@
  }
  }
 }
-"
+",
+ "yulCFGJson": {
+ "object": {
+ "blocks": [
+ {
+ "exit": {
+ "targets": [
+ "Block0"
+ ],
+ "type": "MainExit"
+ },
+ "id": "Block0",
+ "instructions": [
+ {
+ "in": [
+ "0x00"
+ ],
+ "op": "mload",
+ "out": [
+ "v1"
+ ]
+ },
+ {
+ "in": [
+ "0x00",
+ "v1"
+ ],
+ "op": "add",
+ "out": [
+ "v2"
+ ]
+ },
+ {
+ "in": [
+ "0x00",
+ "v2"
+ ],
+ "op": "sstore",
+ "out": []
+ }
+ ],
+ "type": "BuiltinCall"
+ }
+ ],
+ "functions": {}
+ },
+ "subObjects": {},
+ "type": "Object"
+ }
  }
  }
  },

diff --git a/test/cmdlineTests/standard_yul_object/output.json b/test/cmdlineTests/standard_yul_object/output.json
@@ -43,7 +43,56 @@ data_4e03657aea45a94fc7d47ba826c8d667c0d1e6e33a64a036ec44f58fa12d6c45 616263
  }
  data \"DataName\" hex\"616263\"
 }
-"
+",
+ "yulCFGJson": {
+ "NamedObject": {
+ "blocks": [
+ {
+ "exit": {
+ "targets": [
+ "Block0"
+ ],
+ "type": "MainExit"
+ },
+ "id": "Block0",
+ "instructions": [
+ {
+ "builtinArgs": [
+ "DataName"
+ ],
+ "in": [],
+ "op": "dataoffset",
+ "out": [
+ "v0"
+ ]
+ },
+ {
+ "in": [
+ "0x00",
+ "v0"
+ ],
+ "op": "add",
+ "out": [
+ "v2"
+ ]
+ },
+ {
+ "in": [
+ "0x00",
+ "v2"
+ ],
+ "op": "sstore",
+ "out": []
+ }
+ ],
+ "type": "BuiltinCall"
+ }
+ ],
+ "functions": {}
+ },
+ "subObjects": {},
+ "type": "Object"
+ }
  }
  }
  },

diff --git a/test/cmdlineTests/standard_yul_object_name/output.json b/test/cmdlineTests/standard_yul_object_name/output.json
@@ -66,7 +66,83 @@ sub_0: assembly {
  code { { revert(0, 0) } }
  }
 }
-"
+",
+ "yulCFGJson": {
+ "NamedObject": {
+ "blocks": [
+ {
+ "exit": {
+ "targets": [
+ "Block0"
+ ],
+ "type": "MainExit"
+ },
+ "id": "Block0",
+ "instructions": [
+ {
+ "builtinArgs": [
+ "DataName"
+ ],
+ "in": [],
+ "op": "dataoffset",
+ "out": [
+ "v0"
+ ]
+ },
+ {
+ "in": [
+ "0x00",
+ "v0"
+ ],
+ "op": "add",
+ "out": [
+ "v2"
+ ]
+ },
+ {
+ "in": [
+ "0x00",
+ "v2"
+ ],
+ "op": "sstore",
+ "out": []
+ }
+ ],
+ "type": "BuiltinCall"
+ }
+ ],
+ "functions": {}
+ },
+ "subObjects": {
+ "OtherObject": {
+ "blocks": [
+ {
+ "exit": {
+ "targets": [
+ "Block0"
+ ],
+ "type": "Terminated"
+ },
+ "id": "Block0",
+ "instructions": [
+ {
+ "in": [
+ "0x00",
+ "0x00"
+ ],
+ "op": "revert",
+ "out": []
+ }
+ ],
+ "type": "BuiltinCall"
+ }
+ ],
+ "functions": {}
+ },
+ "type": "subObject"
+ },
+ "type": "Object"
+ }
  }
  }
  },

diff --git a/test/cmdlineTests/standard_yul_optimiserSteps/output.json b/test/cmdlineTests/standard_yul_optimiserSteps/output.json
@@ -37,7 +37,55 @@
  }
  }
 }
-"
+",
+ "yulCFGJson": {
+ "object": {
+ "blocks": [
+ {
+ "exit": {
+ "targets": [
+ "Block0"
+ ],
+ "type": "MainExit"
+ },
+ "id": "Block0",
+ "instructions": [
+ {
+ "in": [
+ "0x00"
+ ],
+ "op": "mload",
+ "out": [
+ "v1"
+ ]
+ },
+ {
+ "in": [
+ "0x00",
+ "v1"
+ ],
+ "op": "add",
+ "out": [
+ "v2"
+ ]
+ },
+ {
+ "in": [
+ "0x00",
+ "v2"
+ ],
+ "op": "sstore",
+ "out": []
+ }
+ ],
+ "type": "BuiltinCall"
+ }
+ ],
+ "functions": {}
+ },
+ "subObjects": {},
+ "type": "Object"
+ }
  }
  }
  },

diff --git a/test/cmdlineTests/standard_yul_optimized/output.json b/test/cmdlineTests/standard_yul_optimized/output.json
@@ -32,7 +32,45 @@
  "irOptimized": "object \"object\" {
  code { { sstore(mload(0), 0) } }
 }
-"
+",
+ "yulCFGJson": {
+ "object": {
+ "blocks": [
+ {
+ "exit": {
+ "targets": [
+ "Block0"
+ ],
+ "type": "MainExit"
+ },
+ "id": "Block0",
+ "instructions": [
+ {
+ "in": [
+ "0x00"
+ ],
+ "op": "mload",
+ "out": [
+ "v1"
+ ]
+ },
+ {
+ "in": [
+ "0x00",
+ "v1"
+ ],
+ "op": "sstore",
+ "out": []
+ }
+ ],
+ "type": "BuiltinCall"
+ }
+ ],
+ "functions": {}
+ },
+ "subObjects": {},
+ "type": "Object"
+ }
  }
  }
  },