DCompute: don't emit array bounds checks for device code

badnikhil · thewilsonator · commit 08a3b29b0c9a · 2026-06-22T13:32:33.000+08:00
diff --git a/gen/irstate.cpp b/gen/irstate.cpp
@@ -130,6 +130,12 @@ llvm::Instruction *IRState::CreateCallOrInvoke(LLFunction *Callee,
 }
 
 bool IRState::emitArrayBoundsChecks() {
+  // Bounds checks throw `RangeError`, which is illegal in `@compute` device code
+  // (and the `_d_arraybounds_index` handler has no device implementation), so
+  // never emit them for device code.
+  if (dcomputetarget)
+    return false;
+
   if (global.params.useArrayBounds != CHECKENABLEsafeonly) {
     return global.params.useArrayBounds == CHECKENABLEon;
   }

Original file line number	Diff line number	Diff line change
`@@ -130,6 +130,12 @@ llvm::Instruction IRState::CreateCallOrInvoke(LLFunction Callee,`
`130`	`130`	`}`
`131`	`131`
`132`	`132`	`bool IRState::emitArrayBoundsChecks() {`
	`133`	+ // Bounds checks throw `RangeError`, which is illegal in `@compute` device code
	`134`	+ // (and the `_d_arraybounds_index` handler has no device implementation), so
	`135`	`+ // never emit them for device code.`
	`136`	`+ if (dcomputetarget)`
	`137`	`+ return false;`
	`138`	`+`
`133`	`139`	`if (global.params.useArrayBounds != CHECKENABLEsafeonly) {`
`134`	`140`	`return global.params.useArrayBounds == CHECKENABLEon;`
`135`	`141`	`}`