Anders Carlsson | 2d228ce | 2009-05-19 20:40:02 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -verify -emit-llvm -o %t %s |
2 | |||||
3 | void t1() { | ||||
4 | extern int& a; | ||||
5 | int b = a; | ||||
6 | } | ||||
7 | |||||
8 | void t2(int& a) { | ||||
9 | int b = a; | ||||
10 | } | ||||
11 | |||||
12 | int g; | ||||
13 | int& gr = g; | ||||
Eli Friedman | 751aa72b7 | 2009-05-27 06:04:58 +0000 | [diff] [blame] | 14 | int& grr = gr; |
Anders Carlsson | 2d228ce | 2009-05-19 20:40:02 +0000 | [diff] [blame] | 15 | void t3() { |
16 | int b = gr; | ||||
17 | } | ||||
Anders Carlsson | 7d4c083 | 2009-05-20 00:36:58 +0000 | [diff] [blame] | 18 | |
19 | // Test reference binding. | ||||
20 | |||||
Anders Carlsson | ace7215 | 2009-05-27 01:46:48 +0000 | [diff] [blame] | 21 | struct C { int a; }; |
Anders Carlsson | 7d4c083 | 2009-05-20 00:36:58 +0000 | [diff] [blame] | 22 | |
Anders Carlsson | 145eae5 | 2009-05-20 01:03:17 +0000 | [diff] [blame] | 23 | void f(const bool&); |
Anders Carlsson | 7d4c083 | 2009-05-20 00:36:58 +0000 | [diff] [blame] | 24 | void f(const int&); |
25 | void f(const _Complex int&); | ||||
26 | void f(const C&); | ||||
27 | |||||
Anders Carlsson | 4ae70ff | 2009-05-27 01:45:47 +0000 | [diff] [blame] | 28 | C aggregate_return(); |
29 | |||||
30 | bool& bool_reference_return(); | ||||
31 | int& int_reference_return(); | ||||
32 | _Complex int& complex_int_reference_return(); | ||||
Anders Carlsson | ace7215 | 2009-05-27 01:46:48 +0000 | [diff] [blame] | 33 | C& aggregate_reference_return(); |
Eli Friedman | c21cb44 | 2009-05-20 02:31:19 +0000 | [diff] [blame] | 34 | |
Anders Carlsson | 145eae5 | 2009-05-20 01:03:17 +0000 | [diff] [blame] | 35 | void test_bool() { |
36 | bool a = true; | ||||
37 | f(a); | ||||
38 | |||||
39 | f(true); | ||||
Anders Carlsson | 4ae70ff | 2009-05-27 01:45:47 +0000 | [diff] [blame] | 40 | |
41 | bool_reference_return() = true; | ||||
Anders Carlsson | d8b7ae2 | 2009-05-27 03:37:57 +0000 | [diff] [blame] | 42 | a = bool_reference_return(); |
Anders Carlsson | 145eae5 | 2009-05-20 01:03:17 +0000 | [diff] [blame] | 43 | } |
44 | |||||
Anders Carlsson | 7d4c083 | 2009-05-20 00:36:58 +0000 | [diff] [blame] | 45 | void test_scalar() { |
46 | int a = 10; | ||||
Anders Carlsson | 7d4c083 | 2009-05-20 00:36:58 +0000 | [diff] [blame] | 47 | f(a); |
Anders Carlsson | 145eae5 | 2009-05-20 01:03:17 +0000 | [diff] [blame] | 48 | |
Anders Carlsson | ad007d4 | 2009-05-20 01:24:22 +0000 | [diff] [blame] | 49 | struct { int bitfield : 3; } s = { 3 }; |
Anders Carlsson | 387f863 | 2009-05-20 01:27:39 +0000 | [diff] [blame] | 50 | f(s.bitfield); |
Anders Carlsson | ad007d4 | 2009-05-20 01:24:22 +0000 | [diff] [blame] | 51 | |
Anders Carlsson | 145eae5 | 2009-05-20 01:03:17 +0000 | [diff] [blame] | 52 | f(10); |
Eli Friedman | c21cb44 | 2009-05-20 02:31:19 +0000 | [diff] [blame] | 53 | |
54 | __attribute((vector_size(16))) typedef int vec4; | ||||
55 | f((vec4){1,2,3,4}[0]); | ||||
Anders Carlsson | 4ae70ff | 2009-05-27 01:45:47 +0000 | [diff] [blame] | 56 | |
57 | int_reference_return() = 10; | ||||
Anders Carlsson | d8b7ae2 | 2009-05-27 03:37:57 +0000 | [diff] [blame] | 58 | a = int_reference_return(); |
Anders Carlsson | 7d4c083 | 2009-05-20 00:36:58 +0000 | [diff] [blame] | 59 | } |
60 | |||||
61 | void test_complex() { | ||||
62 | _Complex int a = 10i; | ||||
Anders Carlsson | 7d4c083 | 2009-05-20 00:36:58 +0000 | [diff] [blame] | 63 | f(a); |
Anders Carlsson | 02bb7f0 | 2009-05-20 01:35:03 +0000 | [diff] [blame] | 64 | |
65 | f(10i); | ||||
Anders Carlsson | 4ae70ff | 2009-05-27 01:45:47 +0000 | [diff] [blame] | 66 | |
67 | complex_int_reference_return() = 10i; | ||||
Anders Carlsson | d8b7ae2 | 2009-05-27 03:37:57 +0000 | [diff] [blame] | 68 | a = complex_int_reference_return(); |
Anders Carlsson | 7d4c083 | 2009-05-20 00:36:58 +0000 | [diff] [blame] | 69 | } |
70 | |||||
71 | void test_aggregate() { | ||||
72 | C c; | ||||
Anders Carlsson | 7d4c083 | 2009-05-20 00:36:58 +0000 | [diff] [blame] | 73 | f(c); |
Eli Friedman | c21cb44 | 2009-05-20 02:31:19 +0000 | [diff] [blame] | 74 | |
Anders Carlsson | 4ae70ff | 2009-05-27 01:45:47 +0000 | [diff] [blame] | 75 | f(aggregate_return()); |
Anders Carlsson | ace7215 | 2009-05-27 01:46:48 +0000 | [diff] [blame] | 76 | aggregate_reference_return().a = 10; |
Anders Carlsson | ddcbfe7 | 2009-05-27 16:45:02 +0000 | [diff] [blame] | 77 | |
78 | c = aggregate_reference_return(); | ||||
Anders Carlsson | 7d4c083 | 2009-05-20 00:36:58 +0000 | [diff] [blame] | 79 | } |
80 | |||||
Eli Friedman | b909bf4 | 2009-05-27 04:56:12 +0000 | [diff] [blame] | 81 | int& reference_return() { |
82 | return g; | ||||
83 | } | ||||
Eli Friedman | 55422ad | 2009-05-27 05:39:06 +0000 | [diff] [blame] | 84 | |
85 | int reference_decl() { | ||||
86 | int& a = g; | ||||
87 | const int& b = 1; | ||||
88 | return a+b; | ||||
89 | } |