db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / builtin-bswap-variable.c
blob40ad64134905c54636f6b62949b19e471d1ebb2b
1 typedef unsigned short u16;
2 typedef unsigned int u32;
3 typedef unsigned long long u64;
5 static u16 swap16v(u16 a)
7 return __builtin_bswap16(a);
10 static u32 swap32v(u64 a)
12 return __builtin_bswap32(a);
15 static u64 swap64v(u32 a)
17 return __builtin_bswap64(a);
21 * check-name: builtin-bswap
22 * check-command: test-linearize $file
23 * check-description: Check that the right builtin function is called, and
24 * that the args are correctly promoted or truncated.
26 * check-output-ignore
27 * check-output-contains:call.16 .* __builtin_bswap16
28 * check-output-contains:trunc.32 .* (64) %arg1
29 * check-output-contains:call.32 .* __builtin_bswap32
30 * check-output-contains:zext.64 .* (32) %arg1
31 * check-output-contains:call.64 .* __builtin_bswap64