83 lines · cpp
1// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-cir %s -o %t.cir2// RUN: FileCheck --input-file=%t.cir %s3// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -fclangir -emit-llvm %s -o %t1.ll4// RUN: FileCheck --check-prefix=LLVM --input-file=%t1.ll %s5// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -emit-llvm %s -o %t1.ll6// RUN: FileCheck --check-prefix=OGCG --input-file=%t1.ll %s7 8template<typename T>9struct implicitly_instantiated {10 static T member;11};12 13template<typename T>14T implicitly_instantiated<T>::member = 12345;15 16int use_implicitly_instantiated() {17 return implicitly_instantiated<int>::member;18}19 20// CHECK-DAG: cir.global linkonce_odr comdat @_ZN23implicitly_instantiatedIiE6memberE = #cir.int<12345> : !s32i21// LLVM-DAG: @_ZN23implicitly_instantiatedIiE6memberE = linkonce_odr global i32 12345, comdat22// OGCG-DAG: @_ZN23implicitly_instantiatedIiE6memberE = linkonce_odr global i32 12345, comdat23 24template<typename T>25struct explicitly_instantiated {26 static T member;27};28 29template<typename T>30T explicitly_instantiated<T>::member = 54321;31 32template int explicitly_instantiated<int>::member;33// CHECK-DAG: cir.global weak_odr comdat @_ZN23explicitly_instantiatedIiE6memberE = #cir.int<54321> : !s32i34// LLVM-DAG: @_ZN23explicitly_instantiatedIiE6memberE = weak_odr global i32 54321, comdat35// OGCG-DAG: @_ZN23explicitly_instantiatedIiE6memberE = weak_odr global i32 54321, comdat36 37void func1(void) {38 // Should lower default-initialized static vars.39 static int i;40 // CHECK-DAG: cir.global "private" internal dso_local @_ZZ5func1vE1i = #cir.int<0> : !s32i41 42 // Should lower constant-initialized static vars.43 static int j = 1;44 // CHECK-DAG: cir.global "private" internal dso_local @_ZZ5func1vE1j = #cir.int<1> : !s32i45 46 // Should properly shadow static vars in nested scopes.47 {48 static int j = 2;49 // CHECK-DAG: cir.global "private" internal dso_local @_ZZ5func1vE1j_0 = #cir.int<2> : !s32i50 }51 {52 static int j = 3;53 // CHECK-DAG: cir.global "private" internal dso_local @_ZZ5func1vE1j_1 = #cir.int<3> : !s32i54 }55 56 // Should lower basic static vars arithmetics.57 j++;58 // CHECK-DAG: %[[#V2:]] = cir.get_global @_ZZ5func1vE1j : !cir.ptr<!s32i>59 // CHECK-DAG: %[[#V3:]] = cir.load{{.*}} %[[#V2]] : !cir.ptr<!s32i>, !s32i60 // CHECK-DAG: %[[#V4:]] = cir.unary(inc, %[[#V3]]) nsw : !s32i, !s32i61 // CHECK-DAG: cir.store{{.*}} %[[#V4]], %[[#V2]] : !s32i, !cir.ptr<!s32i>62}63 64// Should shadow static vars on different functions.65void func2(void) {66 static char i;67 // CHECK-DAG: cir.global "private" internal dso_local @_ZZ5func2vE1i = #cir.int<0> : !s8i68 static float j;69 // CHECK-DAG: cir.global "private" internal dso_local @_ZZ5func2vE1j = #cir.fp<0.000000e+00> : !cir.float70}71 72// CHECK-DAG: cir.global linkonce_odr comdat @_ZZ4testvE1c = #cir.int<0> : !s32i73 74// LLVM-DAG: $_ZZ4testvE1c = comdat any75// LLVM-DAG: @_ZZ4testvE1c = linkonce_odr global i32 0, comdat, align 476// OGCG-DAG: $_ZZ4testvE1c = comdat any77// OGCG-DAG: @_ZZ4testvE1c = linkonce_odr global i32 0, comdat, align 478 79inline void test() { static int c; }80// CHECK-LABEL: @_Z4testv81// CHECK: {{%.*}} = cir.get_global @_ZZ4testvE1c : !cir.ptr<!s32i>82void foo() { test(); }83