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
|
; RUN: not opt -passes=verify < %s 2>&1 | FileCheck %s
declare void @g()
define void @test_ptrauth_bundle(i64 %arg0, i32 %arg1, ptr %arg2) {
; CHECK: Multiple ptrauth operand bundles
; CHECK-NEXT: call void %arg2() [ "ptrauth"(i32 42, i64 100), "ptrauth"(i32 42, i64 %arg0) ]
call void %arg2() [ "ptrauth"(i32 42, i64 100), "ptrauth"(i32 42, i64 %arg0) ]
; CHECK: Ptrauth bundle key operand must be an i32 constant
; CHECK-NEXT: call void %arg2() [ "ptrauth"(i32 %arg1, i64 120) ]
call void %arg2() [ "ptrauth"(i32 %arg1, i64 120) ]
; CHECK: Ptrauth bundle key operand must be an i32 constant
; CHECK-NEXT: call void %arg2() [ "ptrauth"(i64 42, i64 120) ]
call void %arg2() [ "ptrauth"(i64 42, i64 120) ]
; CHECK: Ptrauth bundle discriminator operand must be an i64
; CHECK-NEXT: call void %arg2() [ "ptrauth"(i32 42, i32 120) ]
call void %arg2() [ "ptrauth"(i32 42, i32 120) ]
; CHECK: Direct call cannot have a ptrauth bundle
; CHECK-NEXT: call void @g() [ "ptrauth"(i32 42, i64 120) ]
call void @g() [ "ptrauth"(i32 42, i64 120) ]
; CHECK-NOT: call
call void %arg2() [ "ptrauth"(i32 42, i64 120) ] ; OK
call void %arg2() [ "ptrauth"(i32 42, i64 %arg0) ] ; OK
ret void
}
|
