ラズピコでArduino IDEの実行速度を見てみるのと改善方法

#include "common.h"

// constants won't change. Used here to set a pin number:
const int ledPin = LED_BUILTIN;  // the number of the LED pin

// Variables will change:
int ledState = LOW;  // ledState used to set the LED

// Generally, you should use "unsigned long" for variables that hold time
// The value will quickly become too large for an int to store
unsigned long previousMillis = 0;  // will store last time LED was updated

// constants won't change:
const long interval = 500;  // interval at which to blink (milliseconds)

uint32_t message_s = 0;
uint32_t message = 999;

void setup() {
  // set the digital pin as output:
  pinMode(ledPin, OUTPUT);
}

void loop() {
  // send message to core1
  rp2040.fifo.push(message_s);
  message_s += 1;

  unsigned long currentMillis = millis();

  if (currentMillis - previousMillis >= interval) {
    // save the last time you blinked the LED
    previousMillis = currentMillis;

    // if the LED is off turn it on and vice-versa:
    if (ledState == LOW) {
      ledState = HIGH;
    } else {
      ledState = LOW;
    }
    // set the LED with the ledState of the variable:
    digitalWrite(ledPin, ledState);
  }
}

void setup1(){
  pinMode(0, OUTPUT);  
}

void loop1(){
  while (rp2040.fifo.available()>0){
    message = rp2040.fifo.pop();
    message *= 10;
  }
  for (int i = 0; i < 8; i++){
    for (int j = 0; j < 8; j++){ if (disp_data[i][j] > 7){
          dest_data[i][j] = disp_data[i][j];
        }
        else{
          dest_data[i][j] = 0;
        }
    }
  }

  clock_func();
}

// display data
byte disp_data[8][8] = {
   {0,1,1,2,3,5,8,13},
   {13,8,5,3,2,1,1,0},
   {0,1,1,2,3,5,8,13},
   {13,8,5,3,2,1,1,0},
   {0,1,1,2,3,5,8,13},
   {13,8,5,3,2,1,1,0},
   {0,1,1,2,3,5,8,13},
   {13,8,5,3,2,1,1,0}
};

byte dest_data[8][8] = {
};

void clock_func(){
  //digitalWrite(0, HIGH);
  gpio_put(0, 1);
  gpio_put(0, 1);
  gpio_put(0, 1);
  gpio_put(0, 1);
  gpio_put(0, 1);
  //digitalWrite(0, LOW);
  gpio_put(0, 0);
}