libfaasm(s3): add option to include prefix

libfaasm/faasm/host_interface.h

@@ -173,17 +173,29 @@ void __faasm_s3_list_buckets(void* bucketsBuffer, int* bucketsBufferLens);
 HOST_IFACE_FUNC
 int __faasm_s3_get_num_keys(const char* bucketName);
 
+HOST_IFACE_FUNC
+int __faasm_s3_get_num_keys_with_prefix(const char* bucketName,
+                                        const char* prefix);
+
 // Note that keysBuffer is, in reality, a char** populated by the host
 HOST_IFACE_FUNC
 void __faasm_s3_list_keys(const char* bucketName,
                           void* keysBuffer,
                           int* keysBufferLens);
 
+// Note that keysBuffer is, in reality, a char** populated by the host
+HOST_IFACE_FUNC
+void __faasm_s3_list_keys_with_prefix(const char* bucketName,
+                                      const char* prefix,
+                                      void* keysBuffer,
+                                      int* keysBufferLens);
+
 HOST_IFACE_FUNC
 int __faasm_s3_add_key_bytes(const char* bucketName,
                              const char* keyName,
                              void* keyBuffer,
-                             int keyBufferLen);
+                             int keyBufferLen,
+                             bool overwrite = false);
 
 // Note that keyBuffer is, in reality, a uint8_t** populated by the host
 HOST_IFACE_FUNC

libfaasm/libfaasm.imports

@@ -46,7 +46,9 @@ __faasm_migrate_point
 __faasm_s3_get_num_buckets
 __faasm_s3_list_buckets
 __faasm_s3_get_num_keys
+__faasm_s3_get_num_keys_with_prefix
 __faasm_s3_list_keys
+__faasm_s3_list_keys_with_prefix
 __faasm_s3_add_key_bytes
 __faasm_s3_get_key_bytes