/*
* WARNING: THIS IS AN ISSUE, DEMONSTRATION FOR:
* WARNING: THIS IS AN ISSUE, DEMONSTRATION FOR:
* WARNING: THIS IS AN ISSUE, DEMONSTRATION FOR:
* https://github.com/wokwi/wokwi-features/issues/988 
*/

#include "esp_dsp.h"

void setup() {
  // put your setup code here, to run once:
  Serial.begin(115200);
  Serial.println("Hello, ESP32-S3!");
  
  float x[]  = {1,2,3,4};
  float y[]  = {5,4,3,2};
  float dest = 1;

  dsps_dotprod_f32(x, y, &dest, 4); // FAILS (ASM)
  // dsps_dotprod_f32_ae32(x, y, &dest, 4); // FAILS (ASM)
  // dsps_dotprod_f32_ansi(x, y, &dest, 4); // WORKS (C-CODE)
  
  Serial.println(dest);
}

void loop() {}