gloads not working in dryrun mode

[hernandp]

Subject of the issue

Using gloads to load scratch space values from transactions in a group does not work in dryrun mode, it always return 0.

Your environment

Steps to reproduce

1. Use the following TEAL sources:

The intention is to save the group index in slot 254 for TX0, TX1 and TX2.
TX3 must check saved values with gloads.

#pragma version 5
txn GroupIndex
int 3
==
bnz checkgload
txn GroupIndex
store 254
b exit
checkgload:
int 0
gloads 254
int 0
==
int 1
gloads 254
int 1
==
int 2
gloads 254
int 2
==
&&
assert

exit:
int 1

Clear program is trivial:

#pragma version 5
int 1

Expected behaviour

gloads should load 0, 1 and 2, not zero.

Actual behaviour

It always seems to retrieve zero value.

Dryrun dump follows:

root@ad1fa94c5147:~/testnetwork/Node/test# goal clerk dryrun-remote -D grouped.dr -v
tx[0] cost: 9
tx[0] messages:
ApprovalProgram
PASS
tx[0] trace:
   1 (0001): #pragma version 5 []
   2 (0006): intcblock 1 0 2 []
   3 (0008): txn GroupIndex [0]
   4 (000a): pushint 3 [0 3]
   5 (000b): == [0]
   6 (000e): bnz label1 []
   7 (0010): txn GroupIndex [0]
   8 (0012): store 254 []
  25 (0026): label2: []
  26 (0027): intc_0 // 1 [1]
tx[1] cost: 9
tx[1] messages:
ApprovalProgram
PASS
tx[1] trace:
   1 (0001): #pragma version 5 []
   2 (0006): intcblock 1 0 2 []
   3 (0008): txn GroupIndex [1]
   4 (000a): pushint 3 [1 3]
   5 (000b): == [0]
   6 (000e): bnz label1 []
   7 (0010): txn GroupIndex [1]
   8 (0012): store 254 []
  25 (0026): label2: []
  26 (0027): intc_0 // 1 [1]
tx[2] cost: 9
tx[2] messages:
ApprovalProgram
PASS
tx[2] trace:
   1 (0001): #pragma version 5 []
   2 (0006): intcblock 1 0 2 []
   3 (0008): txn GroupIndex [2]
   4 (000a): pushint 3 [2 3]
   5 (000b): == [0]
   6 (000e): bnz label1 []
   7 (0010): txn GroupIndex [2]
   8 (0012): store 254 []
  25 (0026): label2: []
  26 (0027): intc_0 // 1 [1]
tx[3] cost: 19
tx[3] messages:
ApprovalProgram
REJECT
logic eval error: assert failed pc=37
tx[3] trace:
   1 (0001): #pragma version 5 []
   2 (0006): intcblock 1 0 2 []
   3 (0008): txn GroupIndex [3]
   4 (000a): pushint 3 [3 3]
   5 (000b): == [1]
  10 (0015): label1: []
  11 (0016): intc_1 // 0 [0]
  12 (0018): gloads 254 [0]
  13 (0019): intc_1 // 0 [0 0]
  14 (001a): == [1]
  15 (001b): intc_0 // 1 [1 1]
  16 (001d): gloads 254 [1 0]
  17 (001e): intc_0 // 1 [1 0 1]
  18 (001f): == [1 0]
  19 (0020): intc_2 // 2 [1 0 2]
  20 (0022): gloads 254 [1 0 0]
  21 (0023): intc_2 // 2 [1 0 0 2]
  22 (0024): == [1 0 0]
  23 (0025): && [1 0]
  23 (0025): && [1 0]

Thanks.

[algorandskiy]

This appears to be fixed in master now after c2c merge.