2020-06-09 21:50:17 -04:00

15 lines
275 B
C

// TEST_CONFIG OS=iphoneos ARCH=arm64
#include "test.h"
#ifndef __arm64__
#error wrong architecture for TBI hardware feature
#endif
volatile int x = 123456;
int main(void) {
testassert(*(int *)((unsigned long)&x | 0xFF00000000000000ul) == 123456);
succeed(__FILE__);
}