[ASDAlexander77]

Problem

The elements of a boolean array literal read back wrong:

const FLAGS = [false, true, false, true];
let n = 0;
for (let i = 0; i < FLAGS.length; i++) if (FLAGS[i]) n++;
print(n);          // 10, expected 2
print(FLAGS[1]);   // false, expected true

Reported in docs/bugs/native-ts-graphics-findings.md, issue 2 (docs/bugs/ntg_boolean_array_elements.ts).

Cause

getOrCreateGlobalArray (LLVMCodeHelper.h) emits the constant data of an integer or float array literal as an LLVM vector constant: <4 x i1> <i1 false, i1 true, ...>. A vector of i1 is packed into bits in memory, but the array that the data is copied into is read with getelementptr i1 / load i1, one byte per element. So element 1 read the second byte of a 1-byte bit field, which is whatever follows it. const c: boolean[] = [...] took another path and was fine.

Fix

When the element type is narrower than a byte, the data is an LLVM array ([4 x i1], one byte per element) built from a tensor-shaped DenseElementsAttr. Wider element types keep the vector, so their layout doesn't change.

before: @a_… = internal constant <2 x i1> <i1 false, i1 true>
after:  @a_… = internal constant [2 x i1] [i1 false, i1 true]

Testing

• New 00bool_const_array.ts (compile + JIT, and in TSLANG_CORPUS so it runs under rc and none too): a global literal, locals, for-of, and 12 elements (more than one byte of bits). The current release fails with assertion failed: FLAGS[1].
• Full ctest: 3919/3919 pass.

🤖 Generated with Claude Code