test/tbi.c

   1 // TEST_CONFIG SDK=iphoneos ARCH=arm64
   2
   3 #include "test.h"
   4
   5 #ifndef __arm64__
   6 #error wrong architecture for TBI hardware feature
   7 #endif
   8
   9 volatile int x = 123456;
  10
  11 int main(void) {
  12         testassert(*(int *)((unsigned long)&x | 0xFF00000000000000ul) == 123456);
  13         succeed(__FILE__);
  14 }