@@ -190,14 +190,14 @@ func instantiate_conditional_conformance_2nd<T>(_ t : T) where T: Sub, T.S == T
190190
191191// Make sure value witness table lookup is done right.
192192
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]])
201201
202202
203203// Simple witness entry access.
0 commit comments