Ulrich Weigand | 9230997 | 2012-10-24 12:22:56 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple i386-unknown-unknown -emit-llvm -o - %s | FileCheck %s |
John McCall | e68b984 | 2010-12-04 03:11:00 +0000 | [diff] [blame] | 2 | |
| 3 | // TODO: actually test most of this instead of just emitting it |
Daniel Dunbar | b21d6af | 2008-09-04 04:36:23 +0000 | [diff] [blame] | 4 | |
Daniel Dunbar | 23afaad | 2009-11-17 08:57:36 +0000 | [diff] [blame] | 5 | int printf(const char *, ...); |
Daniel Dunbar | b21d6af | 2008-09-04 04:36:23 +0000 | [diff] [blame] | 6 | |
| 7 | @interface Root |
| 8 | -(id) alloc; |
| 9 | -(id) init; |
| 10 | @end |
| 11 | |
| 12 | @interface A : Root { |
| 13 | int x; |
Fariborz Jahanian | ae6f6fd | 2008-12-05 22:32:48 +0000 | [diff] [blame] | 14 | int y, ro, z; |
Daniel Dunbar | 739a36b | 2008-09-24 18:00:13 +0000 | [diff] [blame] | 15 | id ob0, ob1, ob2, ob3, ob4; |
Daniel Dunbar | b21d6af | 2008-09-04 04:36:23 +0000 | [diff] [blame] | 16 | } |
| 17 | @property int x; |
| 18 | @property int y; |
| 19 | @property int z; |
| 20 | @property(readonly) int ro; |
Daniel Dunbar | 739a36b | 2008-09-24 18:00:13 +0000 | [diff] [blame] | 21 | @property(assign) id ob0; |
| 22 | @property(retain) id ob1; |
| 23 | @property(copy) id ob2; |
| 24 | @property(retain, nonatomic) id ob3; |
| 25 | @property(copy, nonatomic) id ob4; |
Daniel Dunbar | b21d6af | 2008-09-04 04:36:23 +0000 | [diff] [blame] | 26 | @end |
| 27 | |
| 28 | @implementation A |
| 29 | @dynamic x; |
Fariborz Jahanian | ae6f6fd | 2008-12-05 22:32:48 +0000 | [diff] [blame] | 30 | @synthesize y; |
| 31 | @synthesize z = z; |
| 32 | @synthesize ro; |
Daniel Dunbar | 739a36b | 2008-09-24 18:00:13 +0000 | [diff] [blame] | 33 | @synthesize ob0; |
| 34 | @synthesize ob1; |
| 35 | @synthesize ob2; |
| 36 | @synthesize ob3; |
| 37 | @synthesize ob4; |
Daniel Dunbar | b21d6af | 2008-09-04 04:36:23 +0000 | [diff] [blame] | 38 | -(int) y { |
| 39 | return x + 1; |
| 40 | } |
| 41 | -(void) setZ: (int) arg { |
| 42 | x = arg - 1; |
| 43 | } |
| 44 | @end |
| 45 | |
| 46 | @interface A (Cat) |
| 47 | @property int dyn; |
| 48 | @end |
| 49 | |
| 50 | @implementation A (Cat) |
| 51 | -(int) dyn { |
| 52 | return 10; |
| 53 | } |
| 54 | @end |
John McCall | e68b984 | 2010-12-04 03:11:00 +0000 | [diff] [blame] | 55 | |
| 56 | // Test that compound operations only compute the base once. |
| 57 | // CHECK: define void @test2 |
| 58 | A *test2_helper(void); |
| 59 | void test2() { |
| 60 | // CHECK: [[BASE:%.*]] = call [[A:%.*]]* @test2_helper() |
| 61 | // CHECK-NEXT: [[SEL:%.*]] = load i8** |
| 62 | // CHECK-NEXT: [[BASETMP:%.*]] = bitcast [[A]]* [[BASE]] to i8* |
Fariborz Jahanian | bf1f826 | 2011-02-28 21:19:34 +0000 | [diff] [blame] | 63 | // CHECK-NEXT: [[LD:%.*]] = call i32 bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i32 (i8*, i8*)*)(i8* [[BASETMP]], i8* [[SEL]]) |
John McCall | e68b984 | 2010-12-04 03:11:00 +0000 | [diff] [blame] | 64 | // CHECK-NEXT: [[ADD:%.*]] = add nsw i32 [[LD]], 1 |
| 65 | // CHECK-NEXT: [[SEL:%.*]] = load i8** |
| 66 | // CHECK-NEXT: [[BASETMP:%.*]] = bitcast [[A]]* [[BASE]] to i8* |
Fariborz Jahanian | bf1f826 | 2011-02-28 21:19:34 +0000 | [diff] [blame] | 67 | // CHECK-NEXT: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*, i32)*)(i8* [[BASETMP]], i8* [[SEL]], i32 [[ADD]]) |
John McCall | e68b984 | 2010-12-04 03:11:00 +0000 | [diff] [blame] | 68 | test2_helper().dyn++; |
| 69 | |
| 70 | // CHECK: [[BASE:%.*]] = call [[A]]* @test2_helper() |
| 71 | // CHECK-NEXT: [[SEL:%.*]] = load i8** |
| 72 | // CHECK-NEXT: [[BASETMP:%.*]] = bitcast [[A]]* [[BASE]] to i8* |
Fariborz Jahanian | bf1f826 | 2011-02-28 21:19:34 +0000 | [diff] [blame] | 73 | // CHECK-NEXT: [[LD:%.*]] = call i32 bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to i32 (i8*, i8*)*)(i8* [[BASETMP]], i8* [[SEL]]) |
John McCall | e68b984 | 2010-12-04 03:11:00 +0000 | [diff] [blame] | 74 | // CHECK-NEXT: [[ADD:%.*]] = mul nsw i32 [[LD]], 10 |
| 75 | // CHECK-NEXT: [[SEL:%.*]] = load i8** |
| 76 | // CHECK-NEXT: [[BASETMP:%.*]] = bitcast [[A]]* [[BASE]] to i8* |
Fariborz Jahanian | bf1f826 | 2011-02-28 21:19:34 +0000 | [diff] [blame] | 77 | // CHECK-NEXT: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*, i32)*)(i8* [[BASETMP]], i8* [[SEL]], i32 [[ADD]]) |
John McCall | e68b984 | 2010-12-04 03:11:00 +0000 | [diff] [blame] | 78 | test2_helper().dyn *= 10; |
| 79 | } |
John McCall | 74e40b7 | 2010-12-04 09:03:57 +0000 | [diff] [blame] | 80 | |
| 81 | // Test aggregate initialization from property reads. |
| 82 | // Not crashing is good enough for the property-specific test. |
| 83 | struct test3_struct { int x,y,z; }; |
| 84 | struct test3_nested { struct test3_struct t; }; |
| 85 | @interface test3_object |
| 86 | @property struct test3_struct s; |
| 87 | @end |
| 88 | void test3(test3_object *p) { |
| 89 | struct test3_struct array[1] = { p.s }; |
| 90 | struct test3_nested agg = { p.s }; |
| 91 | } |
John McCall | 40c2913 | 2010-12-06 18:36:11 +0000 | [diff] [blame] | 92 | |
| 93 | // PR8742 |
| 94 | @interface Test4 {} |
| 95 | @property float f; |
| 96 | @end |
| 97 | // CHECK: define void @test4 |
| 98 | void test4(Test4 *t) { |
| 99 | extern int test4_printf(const char *, ...); |
| 100 | // CHECK: [[TMP:%.*]] = call float {{.*}} @objc_msgSend |
| 101 | // CHECK-NEXT: [[EXT:%.*]] = fpext float [[TMP]] to double |
| 102 | // CHECK-NEXT: call i32 (i8*, ...)* @test4_printf(i8* {{.*}}, double [[EXT]]) |
| 103 | // CHECK-NEXT: ret void |
| 104 | test4_printf("%.2f", t.f); |
| 105 | } |
John McCall | 5889c60 | 2011-09-13 05:36:29 +0000 | [diff] [blame] | 106 | |
| 107 | @interface Test5 { |
| 108 | unsigned _x : 5; |
| 109 | } |
| 110 | @property unsigned x; |
| 111 | @end |
| 112 | @implementation Test5 |
| 113 | @synthesize x = _x; |
| 114 | @end |
John McCall | a5493f8 | 2011-11-08 22:54:08 +0000 | [diff] [blame] | 115 | |
| 116 | // rdar://problem/10410531 |
| 117 | @interface Test6 |
| 118 | @property void (*prop)(void); |
| 119 | @end |
| 120 | |
| 121 | void test6_func(void); |
| 122 | void test6(Test6 *a) { |
| 123 | a.prop = test6_func; |
| 124 | } |
| 125 | |
John McCall | b92e5d0 | 2011-12-06 02:56:18 +0000 | [diff] [blame] | 126 | // rdar://problem/10507455 |
| 127 | @interface Test7 |
| 128 | @property unsigned char x; |
| 129 | @end |
| 130 | void test7(Test7 *t) { |
| 131 | t.x &= 2; |
| 132 | t.x |= 5; |
| 133 | t.x ^= 8; |
| 134 | } |
| 135 | // CHECK: define void @test7([[TEST7:%.*]]* |
| 136 | // CHECK: [[T:%.*]] = alloca [[TEST7]]*, |
| 137 | // CHECK-NEXT: store |
| 138 | // CHECK-NEXT: [[T0:%.*]] = load [[TEST7]]** [[T]], align |
| 139 | // CHECK-NEXT: load i8** @"\01L_OBJC_SELECTOR_REFERENCES |
| 140 | // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST7]]* [[T0]] to i8* |
| 141 | // CHECK-NEXT: [[T2:%.*]] = call zeroext i8 bitcast |
| 142 | // CHECK-NEXT: [[T3:%.*]] = zext i8 [[T2]] to i32 |
| 143 | // CHECK-NEXT: [[T4:%.*]] = and i32 [[T3]], 2 |
| 144 | // CHECK-NEXT: [[T5:%.*]] = trunc i32 [[T4]] to i8 |
| 145 | // CHECK-NEXT: load i8** @"\01L_OBJC_SELECTOR_REFERENCES |
| 146 | // CHECK-NEXT: [[T6:%.*]] = bitcast [[TEST7]]* [[T0]] to i8* |
| 147 | // CHECK-NEXT: call void bitcast |
| 148 | // CHECK-NEXT: [[T0:%.*]] = load [[TEST7]]** [[T]], align |
| 149 | // CHECK-NEXT: load i8** @"\01L_OBJC_SELECTOR_REFERENCES |
| 150 | // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST7]]* [[T0]] to i8* |
| 151 | // CHECK-NEXT: [[T2:%.*]] = call zeroext i8 bitcast |
| 152 | // CHECK-NEXT: [[T3:%.*]] = zext i8 [[T2]] to i32 |
| 153 | // CHECK-NEXT: [[T4:%.*]] = or i32 [[T3]], 5 |
| 154 | // CHECK-NEXT: [[T5:%.*]] = trunc i32 [[T4]] to i8 |
| 155 | // CHECK-NEXT: load i8** @"\01L_OBJC_SELECTOR_REFERENCES |
| 156 | // CHECK-NEXT: [[T6:%.*]] = bitcast [[TEST7]]* [[T0]] to i8* |
| 157 | // CHECK-NEXT: call void bitcast |
| 158 | // CHECK-NEXT: [[T0:%.*]] = load [[TEST7]]** [[T]], align |
| 159 | // CHECK-NEXT: load i8** @"\01L_OBJC_SELECTOR_REFERENCES |
| 160 | // CHECK-NEXT: [[T1:%.*]] = bitcast [[TEST7]]* [[T0]] to i8* |
| 161 | // CHECK-NEXT: [[T2:%.*]] = call zeroext i8 bitcast |
| 162 | // CHECK-NEXT: [[T3:%.*]] = zext i8 [[T2]] to i32 |
| 163 | // CHECK-NEXT: [[T4:%.*]] = xor i32 [[T3]], 8 |
| 164 | // CHECK-NEXT: [[T5:%.*]] = trunc i32 [[T4]] to i8 |
| 165 | // CHECK-NEXT: load i8** @"\01L_OBJC_SELECTOR_REFERENCES |
| 166 | // CHECK-NEXT: [[T6:%.*]] = bitcast [[TEST7]]* [[T0]] to i8* |
| 167 | // CHECK-NEXT: call void bitcast |
| 168 | // CHECK-NEXT: ret void |