blob: d1173d291ada7194621507e46661b7fb0a2739fa [file] [log] [blame]
George Burgess IV5f21c712015-10-12 19:57:04 +00001// RUN: %clang_cc1 -emit-llvm %s -o - -triple=x86_64-pc-linux-gnu | FileCheck %s
2
3// Verifying that we do, in fact, select the correct function in the following
4// cases.
5
6void foo(int m) __attribute__((overloadable, enable_if(m > 0, "")));
7void foo(int m) __attribute__((overloadable));
8
9// CHECK-LABEL: define void @test1
10void test1() {
11 // CHECK: store void (i32)* @_Z3fooi
12 void (*p)(int) = foo;
13 // CHECK: store void (i32)* @_Z3fooi
14 void (*p2)(int) = &foo;
15 // CHECK: store void (i32)* @_Z3fooi
16 p = foo;
17 // CHECK: store void (i32)* @_Z3fooi
18 p = &foo;
19
20 // CHECK: store i8* bitcast (void (i32)* @_Z3fooi to i8*)
21 void *vp1 = (void*)&foo;
22 // CHECK: store i8* bitcast (void (i32)* @_Z3fooi to i8*)
23 void *vp2 = (void*)foo;
24 // CHECK: store i8* bitcast (void (i32)* @_Z3fooi to i8*)
25 vp1 = (void*)&foo;
26 // CHECK: store i8* bitcast (void (i32)* @_Z3fooi to i8*)
27 vp1 = (void*)foo;
28}
29
30void bar(int m) __attribute__((overloadable, enable_if(m > 0, "")));
31void bar(int m) __attribute__((overloadable, enable_if(1, "")));
32// CHECK-LABEL: define void @test2
33void test2() {
34 // CHECK: store void (i32)* @_Z3barUa9enable_ifIXLi1EEEi
35 void (*p)(int) = bar;
36 // CHECK: store void (i32)* @_Z3barUa9enable_ifIXLi1EEEi
37 void (*p2)(int) = &bar;
38 // CHECK: store void (i32)* @_Z3barUa9enable_ifIXLi1EEEi
39 p = bar;
40 // CHECK: store void (i32)* @_Z3barUa9enable_ifIXLi1EEEi
41 p = &bar;
42
43 // CHECK: store i8* bitcast (void (i32)* @_Z3barUa9enable_ifIXLi1EEEi to i8*)
44 void *vp1 = (void*)&bar;
45 // CHECK: store i8* bitcast (void (i32)* @_Z3barUa9enable_ifIXLi1EEEi to i8*)
46 void *vp2 = (void*)bar;
47 // CHECK: store i8* bitcast (void (i32)* @_Z3barUa9enable_ifIXLi1EEEi to i8*)
48 vp1 = (void*)&bar;
49 // CHECK: store i8* bitcast (void (i32)* @_Z3barUa9enable_ifIXLi1EEEi to i8*)
50 vp1 = (void*)bar;
51}