Daniel Dunbar | 986b5d1 | 2010-06-29 18:34:40 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-unknown-unknown %s -emit-llvm -o - | FileCheck %s |
Chris Lattner | efdd157 | 2008-01-02 21:54:09 +0000 | [diff] [blame] | 2 | |
| 3 | // PR1895 |
| 4 | // sizeof function |
| 5 | int zxcv(void); |
| 6 | int x=sizeof(zxcv); |
| 7 | int y=__alignof__(zxcv); |
| 8 | |
Chris Lattner | 8f92528 | 2008-01-03 06:36:51 +0000 | [diff] [blame] | 9 | |
| 10 | void *test(int *i) { |
| 11 | short a = 1; |
| 12 | i += a; |
| 13 | i + a; |
| 14 | a + i; |
| 15 | } |
| 16 | |
Chris Lattner | 01e3c9e | 2008-01-30 07:01:17 +0000 | [diff] [blame] | 17 | _Bool test2b; |
Mike Stump | c36541e | 2009-07-21 20:52:43 +0000 | [diff] [blame] | 18 | int test2() { if (test2b); return 0; } |
Chris Lattner | 01e3c9e | 2008-01-30 07:01:17 +0000 | [diff] [blame] | 19 | |
Chris Lattner | 6860f3c | 2008-01-31 04:12:50 +0000 | [diff] [blame] | 20 | // PR1921 |
| 21 | int test3() { |
| 22 | const unsigned char *bp; |
| 23 | bp -= (short)1; |
| 24 | } |
| 25 | |
Chris Lattner | a269ebf | 2008-02-21 05:45:29 +0000 | [diff] [blame] | 26 | // PR2080 - sizeof void |
| 27 | int t1 = sizeof(void); |
| 28 | int t2 = __alignof__(void); |
| 29 | void test4() { |
| 30 | t1 = sizeof(void); |
| 31 | t2 = __alignof__(void); |
| 32 | |
| 33 | t1 = sizeof(test4()); |
| 34 | t2 = __alignof__(test4()); |
| 35 | } |
| 36 | |
Chris Lattner | 3cc5e5b | 2008-06-27 22:48:56 +0000 | [diff] [blame] | 37 | // 'const float' promotes to double in varargs. |
| 38 | int test5(const float x, float float_number) { |
| 39 | return __builtin_isless(x, float_number); |
| 40 | } |
| 41 | |
Nuno Lopes | f9ef0c6 | 2008-11-16 20:09:07 +0000 | [diff] [blame] | 42 | // this one shouldn't fold |
| 43 | int ola() { |
| 44 | int a=2; |
| 45 | if ((0, (int)a) & 2) { return 1; } |
| 46 | return 2; |
| 47 | } |
Nuno Lopes | a468d34 | 2008-11-19 17:44:31 +0000 | [diff] [blame] | 48 | |
| 49 | // this one shouldn't fold as well |
| 50 | void eMaisUma() { |
Mike Stump | 1eb4433 | 2009-09-09 15:08:12 +0000 | [diff] [blame] | 51 | double t[1]; |
| 52 | if (*t) |
| 53 | return; |
Nuno Lopes | a468d34 | 2008-11-19 17:44:31 +0000 | [diff] [blame] | 54 | } |
Chris Lattner | e5ed151 | 2009-02-11 07:21:43 +0000 | [diff] [blame] | 55 | |
| 56 | // rdar://6520707 |
| 57 | void f0(void (*fp)(void), void (*fp2)(void)) { |
| 58 | int x = fp - fp2; |
| 59 | } |
| 60 | |
Chris Lattner | c3953a6 | 2009-03-18 04:02:57 +0000 | [diff] [blame] | 61 | // noop casts as lvalues. |
| 62 | struct X { |
| 63 | int Y; |
| 64 | }; |
| 65 | struct X foo(); |
| 66 | int bar() { |
| 67 | return ((struct X)foo()).Y + 1; |
| 68 | } |
Chris Lattner | e5ed151 | 2009-02-11 07:21:43 +0000 | [diff] [blame] | 69 | |
Chris Lattner | 8cc9d08 | 2009-03-18 04:25:13 +0000 | [diff] [blame] | 70 | // PR3809: INC/DEC of function pointers. |
| 71 | void f2(void); |
| 72 | unsigned f1(void) { |
| 73 | void (*fp)(void) = f2; |
| 74 | |
| 75 | ++fp; |
| 76 | fp++; |
| 77 | --fp; |
| 78 | fp--; |
| 79 | return (unsigned) fp; |
| 80 | } |
| 81 | |
Chris Lattner | 75dfeda | 2009-03-18 18:28:57 +0000 | [diff] [blame] | 82 | union f3_x {int x; float y;}; |
| 83 | int f3() {return ((union f3_x)2).x;} |
| 84 | |
Chris Lattner | 40f9292 | 2009-03-18 18:30:44 +0000 | [diff] [blame] | 85 | union f4_y {int x; _Complex float y;}; |
| 86 | _Complex float f4() {return ((union f4_y)(_Complex float)2.0).y;} |
| 87 | |
| 88 | struct f5_a { int a; } f5_a; |
| 89 | union f5_z {int x; struct f5_a y;}; |
| 90 | struct f5_a f5() {return ((union f5_z)f5_a).y;} |
Daniel Dunbar | 9034558 | 2009-03-24 02:38:23 +0000 | [diff] [blame] | 91 | |
| 92 | // ?: in "lvalue" |
| 93 | struct s6 { int f0; }; |
| 94 | int f6(int a0, struct s6 a1, struct s6 a2) { |
| 95 | return (a0 ? a1 : a2).f0; |
| 96 | } |
Chris Lattner | f0a990c | 2009-04-21 23:00:09 +0000 | [diff] [blame] | 97 | |
| 98 | // PR4026 |
| 99 | void f7() { |
| 100 | __func__; |
| 101 | } |
Chris Lattner | 6545994 | 2009-04-25 19:35:26 +0000 | [diff] [blame] | 102 | |
| 103 | // PR4067 |
| 104 | int f8() { |
| 105 | return ({ foo(); }).Y; |
| 106 | } |
Chris Lattner | 7a574cc | 2009-05-12 21:28:12 +0000 | [diff] [blame] | 107 | |
| 108 | // rdar://6880558 |
| 109 | struct S; |
| 110 | struct C { |
| 111 | int i; |
| 112 | struct S *tab[]; |
| 113 | }; |
| 114 | struct S { struct C c; }; |
| 115 | void f9(struct S *x) { |
| 116 | foo(((void)1, x->c).tab[0]); |
| 117 | } |
| 118 | |
Chris Lattner | c08582b | 2009-12-07 02:09:14 +0000 | [diff] [blame] | 119 | void f10() { |
| 120 | __builtin_sin(0); |
| 121 | } |
Chris Lattner | 9269d5c | 2010-06-26 23:03:20 +0000 | [diff] [blame] | 122 | |
| 123 | // rdar://7530813 |
| 124 | // CHECK: define i32 @f11 |
| 125 | int f11(long X) { |
| 126 | int A[100]; |
| 127 | return A[X]; |
| 128 | |
Daniel Dunbar | 986b5d1 | 2010-06-29 18:34:40 +0000 | [diff] [blame] | 129 | // CHECK: [[Xaddr:%[^ ]+]] = alloca i64, align 8 |
| 130 | // CHECK: load {{.*}}* [[Xaddr]] |
Chris Lattner | 9269d5c | 2010-06-26 23:03:20 +0000 | [diff] [blame] | 131 | // CHECK-NEXT: getelementptr inbounds [100 x i32]* %A, i32 0, |
| 132 | // CHECK-NEXT: load i32* |
| 133 | } |
| 134 | |
Chris Lattner | f70d857 | 2010-06-27 01:08:03 +0000 | [diff] [blame] | 135 | int f12() { |
| 136 | // PR3150 |
| 137 | // CHECK: define i32 @f12 |
| 138 | // CHECK: ret i32 1 |
| 139 | return 1||1; |
| 140 | } |
Chris Lattner | 4ac0d83 | 2010-06-28 17:12:37 +0000 | [diff] [blame] | 141 | |
| 142 | // Make sure negate of fp uses -0.0 for proper -0 handling. |
| 143 | double f13(double X) { |
| 144 | // CHECK: define double @f13 |
Chris Lattner | ce88d0f | 2010-06-28 18:29:14 +0000 | [diff] [blame] | 145 | // CHECK: fsub double -0.0 |
Chris Lattner | 4ac0d83 | 2010-06-28 17:12:37 +0000 | [diff] [blame] | 146 | return -X; |
| 147 | } |
Daniel Dunbar | f52697a | 2010-08-21 02:46:28 +0000 | [diff] [blame] | 148 | |
| 149 | // Check operations on incomplete types. |
John McCall | 85515d6 | 2010-12-04 12:29:11 +0000 | [diff] [blame] | 150 | void f14(struct s14 *a) { |
Daniel Dunbar | f52697a | 2010-08-21 02:46:28 +0000 | [diff] [blame] | 151 | (void) &*a; |
| 152 | } |
| 153 | |
John McCall | 85515d6 | 2010-12-04 12:29:11 +0000 | [diff] [blame] | 154 | // CHECK: define void @f15 |
John McCall | fd56900 | 2010-12-04 12:43:24 +0000 | [diff] [blame] | 155 | void f15() { |
| 156 | extern void f15_start(void); |
| 157 | f15_start(); |
| 158 | // CHECK: call void @f15_start() |
| 159 | |
| 160 | extern void *f15_v(void); |
| 161 | extern const void *f15_cv(void); |
| 162 | extern volatile void *f15_vv(void); |
| 163 | *f15_v(); *f15_v(), *f15_v(); f15_v() ? *f15_v() : *f15_v(); |
| 164 | *f15_cv(); *f15_cv(), *f15_cv(); f15_cv() ? *f15_cv() : *f15_cv(); |
| 165 | *f15_vv(); *f15_vv(), *f15_vv(); f15_vv() ? *f15_vv() : *f15_vv(); |
| 166 | // CHECK-NOT: load |
John McCall | 85515d6 | 2010-12-04 12:29:11 +0000 | [diff] [blame] | 167 | // CHECK: ret void |
| 168 | } |
John McCall | 8d3d6c9 | 2011-01-13 02:03:06 +0000 | [diff] [blame^] | 169 | |
| 170 | // PR8967: this was crashing |
| 171 | // CHECK: define void @f16() |
| 172 | void f16() { |
| 173 | __extension__({ goto lbl; }); |
| 174 | lbl: |
| 175 | ; |
| 176 | } |