76 lines · c
1// RUN: %clang_cc1 -fsyntax-only -verify %s -Wimplicit-int-conversion -Wno-unused -triple x86_64-gnu-linux2 3typedef _BitInt(31) EI31;4 5void Ternary(_BitInt(30) s30, EI31 s31a, _BitInt(31) s31b,6 _BitInt(32) s32, int b) {7 b ? s30 : s31a;8 b ? s31a : s30;9 b ? s32 : 0;10 (void)(b ? s31a : s31b);11 (void)(s30 ? s31a : s31b);12}13 14struct CursedBitField {15 _BitInt(4) A : 8; // expected-error {{width of bit-field 'A' (8 bits) exceeds the width of its type (4 bits)}}16};17 18#define EXPR_HAS_TYPE(EXPR, TYPE) _Generic((EXPR), default : 0, TYPE : 1)19 20void Ops(void) {21 _BitInt(4) x4_s = 1;22 _BitInt(32) x32_s = 1;23 _BitInt(43) x43_s = 1;24 unsigned _BitInt(4) x4_u = 1;25 unsigned _BitInt(43) x43_u = 1;26 unsigned _BitInt(32) x32_u = 1;27 int x_int = 1;28 unsigned x_uint = 1;29 30 // Same size/sign ops don't change type.31 _Static_assert(EXPR_HAS_TYPE(x43_s + x43_s, _BitInt(43)), "");32 _Static_assert(EXPR_HAS_TYPE(x4_s - x4_s, _BitInt(4)), "");33 _Static_assert(EXPR_HAS_TYPE(x43_u * x43_u, unsigned _BitInt(43)), "");34 _Static_assert(EXPR_HAS_TYPE(x4_u / x4_u, unsigned _BitInt(4)), "");35 36 // Unary ops shouldn't go through integer promotions.37 _Static_assert(EXPR_HAS_TYPE(x4_s++, _BitInt(4)), "");38 _Static_assert(EXPR_HAS_TYPE(++x4_s, _BitInt(4)), "");39 _Static_assert(EXPR_HAS_TYPE(x4_u++, unsigned _BitInt(4)), "");40 _Static_assert(EXPR_HAS_TYPE(++x4_u, unsigned _BitInt(4)), "");41 _Static_assert(EXPR_HAS_TYPE(+x4_s, _BitInt(4)), "");42 _Static_assert(EXPR_HAS_TYPE(-x4_s, _BitInt(4)), "");43 _Static_assert(EXPR_HAS_TYPE(~x4_u, unsigned _BitInt(4)), "");44 45 // This one really does convert to a different result type though.46 _Static_assert(EXPR_HAS_TYPE(!x4_u, int), "");47 48 // Test binary ops pick the correct common type.49 _Static_assert(EXPR_HAS_TYPE(x43_s + x_int, _BitInt(43)), "");50 _Static_assert(EXPR_HAS_TYPE(x43_u + x_int, unsigned _BitInt(43)), "");51 _Static_assert(EXPR_HAS_TYPE(x32_s + x_int, int), "");52 _Static_assert(EXPR_HAS_TYPE(x32_u + x_int, unsigned int), "");53 _Static_assert(EXPR_HAS_TYPE(x32_s + x_uint, unsigned int), "");54 _Static_assert(EXPR_HAS_TYPE(x32_u + x_uint, unsigned int), "");55 _Static_assert(EXPR_HAS_TYPE(x4_s + x_int, int), "");56 _Static_assert(EXPR_HAS_TYPE(x4_u + x_int, int), "");57 _Static_assert(EXPR_HAS_TYPE(x4_s + x_uint, unsigned int), "");58 _Static_assert(EXPR_HAS_TYPE(x4_u + x_uint, unsigned int), "");59}60 61void FromPaper1(void) {62 // Test the examples of conversion and promotion rules from C2x 6.3.1.8.63 _BitInt(2) a2 = 1;64 _BitInt(3) a3 = 2;65 _BitInt(33) a33 = 1;66 char c = 3;67 68 _Static_assert(EXPR_HAS_TYPE(a2 * a3, _BitInt(3)), "");69 _Static_assert(EXPR_HAS_TYPE(a2 * c, int), "");70 _Static_assert(EXPR_HAS_TYPE(a33 * c, _BitInt(33)), "");71}72 73void FromPaper2(_BitInt(8) a1, _BitInt(24) a2) {74 _Static_assert(EXPR_HAS_TYPE(a1 * (_BitInt(32))a2, _BitInt(32)), "");75}76