boot2

riscv64-load-ptr-zext.after (674B)

---

             } else if (bt == VT_LLONG || bt == VT_PTR || bt == VT_FUNC) {
                 /* A 32bit unsigned constant being loaded into a 64-bit
                    type slot (long long, pointer, or function pointer).
                    `lui` always sign-extends bits 63:32, so for any value
                    with bit 31 set (e.g. seed-kernel ARCH_KERNEL_HEAP_END
                    = 0x8b000000UL cast to u8*) the upper bits would come
                    out as 0xffffffff.  Stock tcc 0.9.26 only handles the
                    VT_LLONG case here; widen the check to cover pointers
                    and function pointers too. */
                 zext = 1;
             }