[dumpling] add non-materialized option to Oracle

Until non-materialized printing is implemented for everything, we will
allow it to match anything similar to <optimized_out>.

Bug: 441467877
Change-Id: I681ceba56a88e66220ee00d65a7f8f4166042cd5
Reviewed-on: https://chrome-internal-review.googlesource.com/c/v8/fuzzilli/+/9026356
Commit-Queue: Danylo Mocherniuk <mdanylo@google.com>
Reviewed-by: Michael Achenbach <machenbach@google.com>

Author: Danylo Mocherniuk

Sources/Fuzzilli/DumplingDiffOracle/Oracle.swift

@@ -133,9 +133,9 @@ public final class DiffOracle {
                 return false
             }
 
-            // Logic: 'self' is the Optimized frame. It is allowed to have "<optimized_out>".
+            // Logic: 'self' is the Optimized frame. It is allowed to have "<optimized_out>" or "<non-materialized>".
             func isMatch(_ optValue: String, unoptValue: String) -> Bool {
-                return optValue == "<optimized_out>" || optValue == unoptValue
+                return optValue == "<optimized_out>" || optValue == "<non-materialized>" || optValue == unoptValue
             }
 
             if !isMatch(self.accumulator, unoptValue: reference.accumulator) {

Tests/FuzzilliTests/DiffOracleTests.swift

@@ -132,6 +132,34 @@ final class DiffOracleTests: XCTestCase {
         XCTAssertTrue(DiffOracle.relate(opt, with: unopt))
     }
 
+    func testNonMaterializedArgument() {
+        let unopt = """
+        ---I
+        b:10
+        f:1
+        x:0
+        n:2
+        m:0
+        a0:RealVal
+        a1:OtherVal
+
+        """
+
+        let opt = """
+        ---I
+        b:10
+        f:1
+        x:0
+        n:2
+        m:0
+        a0:<non-materialized>
+        a1:OtherVal
+
+        """
+
+        XCTAssertTrue(DiffOracle.relate(opt, with: unopt))
+    }
+
     func testArgumentMismatch() {
         let unopt = """
         ---I