1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
// RUN: %target-swift-frontend -parse-sil -emit-ir %s -module-name test | %FileCheck %s -check-prefix=CHECK -check-prefix=CHECK-%target-ptrauth
import Builtin
sil @test_strip : $@convention(thin) (Builtin.Int64) -> Builtin.Int64 {
bb0(%ptr : $Builtin.Int64):
%key = integer_literal $Builtin.Int32, 0
%result = builtin "int_ptrauth_strip"(%ptr : $Builtin.Int64, %key : $Builtin.Int32) : $Builtin.Int64
return %result : $Builtin.Int64
}
// CHECK-LABEL: define{{ protected | dllexport | }}swiftcc i64 @test_strip(i64 %0)
// CHECK: entry:
// CHECK-ptrauth-NEXT: %1 = call i64 @llvm.ptrauth.strip(i64 %0, i32 0)
// CHECK-ptrauth-NEXT: ret i64 %1
// CHECK-noptrauth-NEXT: ret i64 %0
// CHECK-NEXT: }
sil @test_sign : $@convention(thin) (Builtin.Int64, Builtin.Int64) -> Builtin.Int64 {
bb0(%ptr : $Builtin.Int64, %disc : $Builtin.Int64):
%key = integer_literal $Builtin.Int32, 0
%result = builtin "int_ptrauth_sign"(%ptr : $Builtin.Int64, %key : $Builtin.Int32, %disc : $Builtin.Int64) : $Builtin.Int64
return %result : $Builtin.Int64
}
// CHECK-LABEL: define{{ protected | dllexport | }}swiftcc i64 @test_sign(i64 %0, i64 %1)
// CHECK: entry:
// CHECK-ptrauth-NEXT: %2 = call i64 @llvm.ptrauth.sign(i64 %0, i32 0, i64 %1)
// CHECK-ptrauth-NEXT: ret i64 %2
// CHECK-noptrauth-NEXT: ret i64 %0
// CHECK-NEXT: }
sil @test_auth : $@convention(thin) (Builtin.Int64, Builtin.Int64) -> Builtin.Int64 {
bb0(%ptr : $Builtin.Int64, %disc : $Builtin.Int64):
%key = integer_literal $Builtin.Int32, 0
%result = builtin "int_ptrauth_auth"(%ptr : $Builtin.Int64, %key : $Builtin.Int32, %disc : $Builtin.Int64) : $Builtin.Int64
return %result : $Builtin.Int64
}
// CHECK-LABEL: define{{ protected | dllexport | }}swiftcc i64 @test_auth(i64 %0, i64 %1)
// CHECK: entry:
// CHECK-ptrauth-NEXT: %2 = call i64 @llvm.ptrauth.auth(i64 %0, i32 0, i64 %1)
// CHECK-ptrauth-NEXT: ret i64 %2
// CHECK-noptrauth-NEXT: ret i64 %0
// CHECK-NEXT: }
sil @test_resign : $@convention(thin) (Builtin.Int64, Builtin.Int64, Builtin.Int64) -> Builtin.Int64 {
bb0(%ptr : $Builtin.Int64, %oldDisc : $Builtin.Int64, %newDisc : $Builtin.Int64):
%key = integer_literal $Builtin.Int32, 0
%result = builtin "int_ptrauth_resign"(%ptr : $Builtin.Int64, %key : $Builtin.Int32, %oldDisc : $Builtin.Int64, %key : $Builtin.Int32, %newDisc : $Builtin.Int64) : $Builtin.Int64
return %result : $Builtin.Int64
}
// CHECK-LABEL: define{{ protected | dllexport | }}swiftcc i64 @test_resign(i64 %0, i64 %1, i64 %2)
// CHECK: entry:
// CHECK-ptrauth-NEXT: %3 = call i64 @llvm.ptrauth.resign(i64 %0, i32 0, i64 %1, i32 0, i64 %2)
// CHECK-ptrauth-NEXT: ret i64 %3
// CHECK-noptrauth-NEXT: ret i64 %0
// CHECK-NEXT: }
|
