@@ -190,14 +190,14 @@ func instantiate_conditional_conformance_2nd<T>(_ t : T) where T: Sub, T.S == T
190
190
191
191
// Make sure value witness table lookup is done right.
192
192
193
- // CHECK: define{{.*}} swiftcc void @"$s1A7testVWTyyxlF"(%swift.opaque* {{.*}}, %swift.type* [[T:%.*]])
194
- // CHECK: [[T0:%.*]] = bitcast %swift.type* [[T]] to i8***
195
- // CHECK: [[VWT_ADDR:%.*]] = getelementptr inbounds i8**, i8*** [[T0]], i64 -1
196
- // CHECK: [[VWT_PTR:%.*]] = load i8**, i8*** [[VWT_ADDR]]
197
- // CHECK: [[T1:%.*]] = getelementptr inbounds i8*, i8** [[VWT_PTR]], i32 2
198
- // CHECK: [[T2:%.*]] = load i8*, i8** [[T1]]
199
- // CHECK: [[T3:%.*]] = bitcast i8* [[T2]] to %swift.opaque* (%swift.opaque*, %swift.opaque*, %swift.type*)*
200
- // CHECK: call %swift.opaque* [[T3]](%swift.opaque* {{.*}}, %swift.opaque* {{.*}}, %swift.type* [[T]])
193
+ // CHECK-x86_64 : define{{.*}} swiftcc void @"$s1A7testVWTyyxlF"(%swift.opaque* {{.*}}, %swift.type* [[T:%.*]])
194
+ // CHECK-x86_64 : [[T0:%.*]] = bitcast %swift.type* [[T]] to i8***
195
+ // CHECK-x86_64 : [[VWT_ADDR:%.*]] = getelementptr inbounds i8**, i8*** [[T0]], i64 -1
196
+ // CHECK-x86_64 : [[VWT_PTR:%.*]] = load i8**, i8*** [[VWT_ADDR]]
197
+ // CHECK-x86_64 : [[T1:%.*]] = getelementptr inbounds i8*, i8** [[VWT_PTR]], i32 2
198
+ // CHECK-x86_64 : [[T2:%.*]] = load i8*, i8** [[T1]]
199
+ // CHECK-x86_64 : [[T3:%.*]] = bitcast i8* [[T2]] to %swift.opaque* (%swift.opaque*, %swift.opaque*, %swift.type*)*
200
+ // CHECK-x86_64 : call %swift.opaque* [[T3]](%swift.opaque* {{.*}}, %swift.opaque* {{.*}}, %swift.type* [[T]])
201
201
202
202
203
203
// Simple witness entry access.
0 commit comments