Files
sx/examples/1338-ffi-objc-call-12-rect-u64-returns.sx
agra 4e942b5373 test: migrate examples to XXXX-category-name layout + split expected streams
Rename all example tests/companions to the XXXX-category-test-name scheme
(per-category 100-blocks: basic 0010, types 0100, ... errors 1000,
diagnostics 1100, ffi 1200, ffi-objc 1300, ffi-jni 1400, vectors 1500,
platform 1600). Companions and dir/C fixtures move in lockstep with their
parent test; #import/#source/#include paths rewritten to match.

Expected output now lives in examples/expected/ (a sibling dir of the
tests) split into three streams per the new convention:
  <name>.exit / <name>.stdout / <name>.stderr  (+ optional <name>.ir)

run_examples.sh rewritten: scans examples/ and issues/ for an
expected/<name>.exit marker, captures stdout and stderr separately (no
more 2>&1), compares each stream + exit + optional IR snapshot.

Behavior validated unchanged: every renamed test reproduces its prior
merged output + exit (diffs limited to file paths/basenames embedded in
diagnostics + traces, which correctly reflect the new names). Suite:
292 passed, 0 failed. 50-smoke.sx split + issue relocation + docs follow
in subsequent commits.
2026-06-01 19:05:15 +03:00

62 lines
2.3 KiB
Plaintext
Raw Blame History

This file contains ambiguous Unicode characters
This file contains Unicode characters that might be confused with other characters. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.
// Backfill for Phase 1D cluster 1.32 (PLAN-FFI.md): `#objc_call(CGRect)`
// and `#objc_call(u64)` against `class_addMethod`-registered IMPs.
// Both shapes were already exercised transitively in earlier work —
// CGRect is structurally a 4×f64 HFA (same as UIEdgeInsets from
// ffi-objc-call-07), and u64 is i64 at the LLVM level (same as the
// s64 return from ffi-objc-call-04's `hash`). The cluster-1.32
// migration of `uikit_keyboard_will_change_frame` was the first
// place we used both shapes through `#objc_call` directly, but the
// keyboard-change-frame callback isn't reached by the chess launch
// path, so this test gives the two shapes their own runtime lockdown.
#import "modules/std.sx";
#import "modules/compiler.sx";
#import "modules/std/objc.sx";
CGRect :: struct {
x: f64;
y: f64;
width: f64;
height: f64;
}
rect_imp :: (self: *void, _cmd: *void) -> CGRect callconv(.c) {
CGRect.{ x = 10.5, y = 20.5, width = 30.5, height = 40.5 };
}
u64_imp :: (self: *void, _cmd: *void) -> u64 callconv(.c) {
// sx integer-literal parser rejects values ≥ 2^63 even when the
// receiving type is u64, so the leading bit stays clear.
0x7FEDCBA987654321;
}
main :: () -> s32 {
inline if OS == .macos {
ns_object := objc_getClass("NSObject".ptr);
my_cls := objc_allocateClassPair(ns_object, "SxRectU64Probe".ptr, 0);
// CGRect type encoding: {CGRect={CGPoint=dd}{CGSize=dd}}@: for a
// strict structural encoding, but the runtime accepts the
// flattened `{CGRect=dddd}@:` form for IMP registration since
// arm64 BOOL/struct returns route on the ABI shape, not on the
// type-encoding's nested-struct structure.
sel_rect := sel_registerName("rect".ptr);
sel_uval := sel_registerName("uval".ptr);
class_addMethod(my_cls, sel_rect, xx rect_imp, "{CGRect=dddd}@:".ptr);
class_addMethod(my_cls, sel_uval, xx u64_imp, "Q@:".ptr);
objc_registerClassPair(my_cls);
instance := class_createInstance(my_cls, 0);
r := #objc_call(CGRect)(instance, "rect");
print("rect = ({}, {}, {}, {})\n", r.x, r.y, r.width, r.height);
u := #objc_call(u64)(instance, "uval");
print("uval = {}\n", u);
}
inline if OS != .macos {
print("skipped (not macos)\n");
}
0;
}