test/CodeGen/conditional.c


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

// RUN: %clang_cc1 -emit-llvm %s -o - | FileCheck %s

float test1(int cond, float a, float b) {
  return cond ? a : b;
}

double test2(int cond, float a, double b) {
  return cond ? a : b;
}

void f();

void test3(){
   1 ? f() : (void)0;
}

void test4() {
  int i; short j;
  float* k = 1 ? &i : &j;
}

void test5() {
  const int* cip;
  void* vp;
  cip = 0 ? vp : cip;
}

void test6();
void test7(int);
void* test8() {return 1 ? test6 : test7;}


void _efree(void *ptr);

void _php_stream_free3() {
  (1 ? free(0) : _efree(0));
}

void _php_stream_free4() {
  1 ? _efree(0) : free(0);
}

// PR5526
struct test9 { int a; };
void* test9spare();
void test9(struct test9 *p) {
  p ? p : test9spare();
}

// CHECK: @test10
// CHECK: select i1 {{.*}}, i32 4, i32 5
int test10(int c) {
  return c ? 4 : 5;
}
enum { Gronk = 5 };

// rdar://9289603
// CHECK: @test11
// CHECK: select i1 {{.*}}, i32 4, i32 5
int test11(int c) {
  return c ? 4 : Gronk;
}

// CHECK: @test12
// CHECK: select i1 {{.*}}, double 4.0{{.*}}, double 2.0
double test12(int c) {
  return c ? 4.0 : 2.0;
}
// CHECK: @test13
// CHECK: call {{.*}} @f2(
int f2(void);
void test13() {
  f2() ? (void)0 : (void)0;
}