1 // RUN: %clang_cc1 -emit-llvm %s -o - | FileCheck %s
2 
3 float test1(int cond, float a, float b) {
4   return cond ? a : b;
5 }
6 
7 double test2(int cond, float a, double b) {
8   return cond ? a : b;
9 }
10 
11 void f(void);
12 
13 void test3(void){
14    1 ? f() : (void)0;
15 }
16 
17 void test4(void) {
18   int i; short j;
19   float* k = 1 ? &i : &j;
20 }
21 
22 void test5(void) {
23   const int* cip;
24   void* vp;
25   cip = 0 ? vp : cip;
26 }
27 
28 void test6(void);
29 void test7(int);
30 void* test8(void) {return 1 ? test6 : test7;}
31 
32 
33 void _efree(void *ptr);
34 void free(void *ptr);
35 
36 void _php_stream_free3(void) {
37   (1 ? free(0) : _efree(0));
38 }
39 
40 void _php_stream_free4(void) {
41   1 ? _efree(0) : free(0);
42 }
43 
44 // PR5526
45 struct test9 { int a; };
46 void* test9spare(void);
47 void test9(struct test9 *p) {
48   p ? p : test9spare();
49 }
50 
51 // CHECK: @test10
52 // CHECK: select i1 {{.*}}, i32 4, i32 5
53 int test10(int c) {
54   return c ? 4 : 5;
55 }
56 enum { Gronk = 5 };
57 
58 // rdar://9289603
59 // CHECK: @test11
60 // CHECK: select i1 {{.*}}, i32 4, i32 5
61 int test11(int c) {
62   return c ? 4 : Gronk;
63 }
64 
65 // CHECK: @test12
66 // CHECK: select i1 {{.*}}, double 4.0{{.*}}, double 2.0
67 double test12(int c) {
68   return c ? 4.0 : 2.0;
69 }
70 // CHECK: @test13
71 // CHECK: call {{.*}} @f2(
72 int f2(void);
73 void test13(void) {
74   f2() ? (void)0 : (void)0;
75 }
76