Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -emit-llvm -o - %s | FileCheck %s |
| 2 | // rdar://15118128 |
| 3 | |
| 4 | template <typename T> struct Quad2 { |
| 5 | Quad2() {} |
| 6 | }; |
| 7 | |
| 8 | typedef Quad2<double> Quad2d; |
| 9 | |
| 10 | @interface Root @end |
| 11 | |
| 12 | @interface PAGeometryFrame |
| 13 | - (const Quad2d &)quad; |
| 14 | - (void)setQuad:(const Quad2d &)quad; |
| 15 | @end |
| 16 | |
| 17 | @interface PA2DScaleTransform : Root |
| 18 | @end |
| 19 | |
| 20 | @implementation PA2DScaleTransform |
| 21 | - (void)transformFrame:(PAGeometryFrame *)frame { |
| 22 | PAGeometryFrame *result; |
| 23 | result.quad = frame.quad; |
| 24 | } |
| 25 | @end |
| 26 | |
Stephen Hines | c568f1e | 2014-07-21 00:47:37 -0700 | [diff] [blame^] | 27 | // CHECK: [[TWO:%.*]] = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_", !invariant.load ![[MD_NUM:[0-9]+]] |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 28 | // CHECK: [[THREE:%.*]] = bitcast [[ONET:%.*]]* [[ONE:%.*]] to i8* |
Stephen Hines | c568f1e | 2014-07-21 00:47:37 -0700 | [diff] [blame^] | 29 | // CHECK: [[CALL:%.*]] = call nonnull %struct.Quad2* bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to %struct.Quad2* (i8*, i8*)*)(i8* [[THREE]], i8* [[TWO]]) |
| 30 | // CHECK: [[FOUR:%.*]] = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_2", !invariant.load ![[MD_NUM]] |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 31 | // CHECK: [[FIVE:%.*]] = bitcast [[ONET]]* [[ZERO:%.*]] to i8* |
Stephen Hines | c568f1e | 2014-07-21 00:47:37 -0700 | [diff] [blame^] | 32 | // CHECK: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*, %struct.Quad2*)*)(i8* [[FIVE]], i8* [[FOUR]], %struct.Quad2* nonnull [[CALL]]) |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 33 | |
| 34 | |
| 35 | struct A { |
| 36 | void *ptr; |
| 37 | A(); |
| 38 | A(const A &); |
| 39 | ~A(); |
| 40 | }; |
| 41 | |
| 42 | @interface C |
| 43 | - (void) setProp: (const A&) value; |
| 44 | @end |
| 45 | void test(C *c, const A &a) { |
| 46 | const A &result = c.prop = a; |
| 47 | } |
| 48 | |
| 49 | // CHECK: [[ONE1:%.*]] = load %struct.A** [[AADDR:%.*]], align 8 |
Stephen Hines | c568f1e | 2014-07-21 00:47:37 -0700 | [diff] [blame^] | 50 | // CHECK: [[TWO1:%.*]] = load i8** @"\01L_OBJC_SELECTOR_REFERENCES_5", !invariant.load ![[MD_NUM]] |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 51 | // CHECK: [[THREE1:%.*]] = bitcast [[TWOT:%.*]]* [[ZERO1:%.*]] to i8* |
Stephen Hines | c568f1e | 2014-07-21 00:47:37 -0700 | [diff] [blame^] | 52 | // CHECK: call void bitcast (i8* (i8*, i8*, ...)* @objc_msgSend to void (i8*, i8*, %struct.A*)*)(i8* [[THREE1]], i8* [[TWO1]], %struct.A* nonnull [[ONE1]]) |
Stephen Hines | 651f13c | 2014-04-23 16:59:28 -0700 | [diff] [blame] | 53 | // CHECK: store %struct.A* [[ONE1]], %struct.A** [[RESULT:%.*]], align 8 |