aboutsummaryrefslogtreecommitdiff
path: root/clang/test/CIR/CodeGen/template-specialization.cpp
blob: 5151f8ce154249e0b5e07a8192da2834062600ed (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -Wno-unused-value -fclangir -emit-cir %s -o %t.cir
// RUN: FileCheck --input-file=%t.cir %s -check-prefix=CIR
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -Wno-unused-value -fclangir -emit-llvm %s -o %t-cir.ll
// RUN: FileCheck --input-file=%t-cir.ll %s -check-prefix=LLVM
// RUN: %clang_cc1 -triple x86_64-unknown-linux-gnu -Wno-unused-value -emit-llvm %s -o %t.ll
// RUN: FileCheck --input-file=%t.ll %s -check-prefix=OGCG

template<typename T, typename U>
class Templ {};

template<typename T>
class Templ<T, int>{};

Templ<int, int> t;

// CIR: !rec_Templ3Cint2C_int3E = !cir.record<class "Templ<int, int>" padded {!u8i}>
// CIR: cir.global external @t = #cir.zero : !rec_Templ3Cint2C_int3E

// LLVM: %"class.Templ<int, int>" = type { i8 }
// LLVM: @t = global %"class.Templ<int, int>" zeroinitializer

// OGCG: %class.Templ = type { i8 }
// OGCG: @t = global %class.Templ zeroinitializer

template<class T>
class X {
public:
  int f() { return 0; }
};

template<> class X<int> {
public:
  int f() { return 1; }
};

void test_double() {
  X<double> d;
  d.f();
}

// CIR: cir.func{{.*}} @_ZN1XIdE1fEv
// CIR:   cir.const #cir.int<0>
//
// CIR: cir.func{{.*}} @_Z11test_doublev()
// CIR:   cir.call @_ZN1XIdE1fEv

// LLVM: define{{.*}} i32 @_ZN1XIdE1fEv
// LLVM:   store i32 0
//
// LLVM: define{{.*}} void @_Z11test_doublev()
// LLVM:   call i32 @_ZN1XIdE1fEv

// OGCG: define{{.*}} void @_Z11test_doublev()
// OGCG:   call{{.*}} i32 @_ZN1XIdE1fEv
//
// OGCG: define{{.*}} i32 @_ZN1XIdE1fEv
// OGCG:   ret i32 0

void test_int() {
  X<int> n;
  n.f();
}

// CIR: cir.func{{.*}} @_ZN1XIiE1fEv
// CIR:   cir.const #cir.int<1>
//
// CIR: cir.func{{.*}} @_Z8test_intv()
// CIR:   cir.call @_ZN1XIiE1fEv

// LLVM: define{{.*}} i32 @_ZN1XIiE1fEv
// LLVM:   store i32 1
//
// LLVM: define{{.*}} void @_Z8test_intv()
// LLVM:   call i32 @_ZN1XIiE1fEv

// OGCG: define{{.*}} void @_Z8test_intv()
// OGCG:   call{{.*}} i32 @_ZN1XIiE1fEv
//
// OGCG: define{{.*}} i32 @_ZN1XIiE1fEv
// OGCG:   ret i32 1

void test_short() {
  X<short> s;
  s.f();
}

// CIR: cir.func{{.*}} @_ZN1XIsE1fEv
// CIR:   cir.const #cir.int<0>
//
// CIR: cir.func{{.*}} @_Z10test_shortv()
// CIR:   cir.call @_ZN1XIsE1fEv

// LLVM: define{{.*}} i32 @_ZN1XIsE1fEv
// LLVM: store i32 0
//
// LLVM: define{{.*}} void @_Z10test_shortv()
// LLVM:   call i32 @_ZN1XIsE1fEv

// OGCG: define{{.*}} void @_Z10test_shortv()
// OGCG:   call{{.*}} i32 @_ZN1XIsE1fEv
//
// OGCG: define{{.*}} i32 @_ZN1XIsE1fEv
// OGCG:   ret i32 0