Home | History | Annotate | Download | only in CodeGenCXX
      1 // RUN: %clang_cc1 %s -emit-llvm -O1 -relaxed-aliasing -fstrict-enums -std=c++11 -o - | FileCheck %s
      2 // RUN: %clang_cc1 %s -emit-llvm -O1 -relaxed-aliasing -std=c++11 -o - | FileCheck --check-prefix=NO-STRICT-ENUMS %s
      3 
      4 bool f(bool *x) {
      5   return *x;
      6 }
      7 // CHECK: define zeroext i1 @_Z1fPb
      8 // CHECK: load i8* %{{.*}}, align 1, !range !0
      9 
     10 // Only enum-tests follow. Ensure that after the bool test, no further range
     11 // metadata shows up when strict enums are disabled.
     12 // NO-STRICT-ENUMS: define zeroext i1 @_Z1fPb
     13 // NO-STRICT-ENUMS: load i8* %{{.*}}, align 1, !range !0
     14 // NO-STRICT-ENUMS-NOT: !range
     15 
     16 enum e1 { };
     17 e1 g1(e1 *x) {
     18   return *x;
     19 }
     20 // CHECK: define i32 @_Z2g1P2e1
     21 // CHECK: load i32* %x, align 4, !range !1
     22 
     23 enum e2 { e2_a = 0 };
     24 e2 g2(e2 *x) {
     25   return *x;
     26 }
     27 // CHECK: define i32 @_Z2g2P2e2
     28 // CHECK: load i32* %x, align 4, !range !1
     29 
     30 enum e3 { e3_a = 16 };
     31 e3 g3(e3 *x) {
     32   return *x;
     33 }
     34 // CHECK: define i32 @_Z2g3P2e3
     35 // CHECK: load i32* %x, align 4, !range !2
     36 
     37 enum e4 { e4_a = -16};
     38 e4 g4(e4 *x) {
     39   return *x;
     40 }
     41 // CHECK: define i32 @_Z2g4P2e4
     42 // CHECK: load i32* %x, align 4, !range !3
     43 
     44 enum e5 { e5_a = -16, e5_b = 16};
     45 e5 g5(e5 *x) {
     46   return *x;
     47 }
     48 // CHECK: define i32 @_Z2g5P2e5
     49 // CHECK: load i32* %x, align 4, !range !4
     50 
     51 enum e6 { e6_a = -1 };
     52 e6 g6(e6 *x) {
     53   return *x;
     54 }
     55 // CHECK: define i32 @_Z2g6P2e6
     56 // CHECK: load i32* %x, align 4, !range !5
     57 
     58 enum e7 { e7_a = -16, e7_b = 2};
     59 e7 g7(e7 *x) {
     60   return *x;
     61 }
     62 // CHECK: define i32 @_Z2g7P2e7
     63 // CHECK: load i32* %x, align 4, !range !3
     64 
     65 enum e8 { e8_a = -17};
     66 e8 g8(e8 *x) {
     67   return *x;
     68 }
     69 // CHECK: define i32 @_Z2g8P2e8
     70 // CHECK: load i32* %x, align 4, !range !4
     71 
     72 enum e9 { e9_a = 17};
     73 e9 g9(e9 *x) {
     74   return *x;
     75 }
     76 // CHECK: define i32 @_Z2g9P2e9
     77 // CHECK: load i32* %x, align 4, !range !2
     78 
     79 enum e10 { e10_a = -16, e10_b = 32};
     80 e10 g10(e10 *x) {
     81   return *x;
     82 }
     83 // CHECK: define i32 @_Z3g10P3e10
     84 // CHECK: load i32* %x, align 4, !range !6
     85 
     86 enum e11 {e11_a = 4294967296 };
     87 enum e11 g11(enum e11 *x) {
     88   return *x;
     89 }
     90 // CHECK: define i64 @_Z3g11P3e11
     91 // CHECK: load i64* %x, align {{[84]}}, !range !7
     92 
     93 enum e12 {e12_a = 9223372036854775808U };
     94 enum e12 g12(enum e12 *x) {
     95   return *x;
     96 }
     97 // CHECK: define i64 @_Z3g12P3e12
     98 // CHECK: load i64* %x, align {{[84]}}
     99 // CHECK-NOT: range
    100 // CHECK: ret
    101 
    102 enum e13 : char {e13_a = -1 };
    103 e13 g13(e13 *x) {
    104   return *x;
    105 }
    106 // CHECK: define signext i8 @_Z3g13P3e13
    107 // CHECK: load i8* %x, align 1
    108 // CHECK-NOT: range
    109 // CHECK: ret
    110 
    111 enum class e14 {e14_a = 1};
    112 e14 g14(e14 *x) {
    113   return *x;
    114 }
    115 // CHECK: define i32 @_Z3g14P3e14
    116 // CHECK: load i32* %x, align 4
    117 // CHECK-NOT: range
    118 // CHECK: ret
    119 
    120 enum e15 { e15_a = 2147483648 };
    121 e15 g15(e15 *x) {
    122   return *x;
    123 }
    124 // CHECK: define i32 @_Z3g15P3e15
    125 // CHECK: load i32* %x, align 4
    126 // CHECK-NOT: range
    127 // CHECK: ret
    128 
    129 enum e16 { e16_a = -2147483648 };
    130 e16 g16(e16 *x) {
    131   return *x;
    132 }
    133 // CHECK: define i32 @_Z3g16P3e16
    134 // CHECK: load i32* %x, align 4
    135 // CHECK-NOT: range
    136 // CHECK: ret
    137 
    138 
    139 // CHECK: !0 = metadata !{i8 0, i8 2}
    140 // CHECK: !1 = metadata !{i32 0, i32 1}
    141 // CHECK: !2 = metadata !{i32 0, i32 32}
    142 // CHECK: !3 = metadata !{i32 -16, i32 16}
    143 // CHECK: !4 = metadata !{i32 -32, i32 32}
    144 // CHECK: !5 = metadata !{i32 -1, i32 1}
    145 // CHECK: !6 = metadata !{i32 -64, i32 64}
    146 // CHECK: !7 = metadata !{i64 0, i64 8589934592}
    147