solved!

// Store the transition counter
I_MOVI(R1, EDGE_COUNT), // Set R1 to address RTC_SLOW_MEM[1]
I_ST(R3, R1, 0), // Store it in RTC_SLOW_MEM
does not work, but ...


I_MOVI(R1, EDGE_COUNT), // Set R1 to address RTC_SLOW_MEM[1]
I_LD(R0, R1, 0),
I_ADDI(R0, R0, 1),
I_ST(R0, R1, 0 ...

Hi together,
I try to count pulses on a RTC GPIO using C macros in a arduino sketch.
The main cpu gets the counted pulses from the RTC_SLOW_MEM[0] and prints it, prepares the ulp program, starts it and goes to deep sleep for a given time. After that time it restarts again.
So far so good.
What I ...