diff options
| author | Nico Weber <thakis@chromium.org> | 2019-10-28 14:39:45 -0400 |
|---|---|---|
| committer | Nico Weber <thakis@chromium.org> | 2019-10-28 14:39:45 -0400 |
| commit | e59f7488c772f9e5fe4c8acd4da7312493fecb07 (patch) | |
| tree | 6c84e303e6ef52efe45db5da9add2560e6b794e4 /llvm/test/CodeGen/ARM/cfguard-checks.ll | |
| parent | 843c0adf0f7449a4167d20b399f70f6943d21d5e (diff) | |
| download | bcm5719-llvm-e59f7488c772f9e5fe4c8acd4da7312493fecb07.tar.gz bcm5719-llvm-e59f7488c772f9e5fe4c8acd4da7312493fecb07.zip | |
Convert files added in d157a9bc8ba1 to unix line endings.
Ran:
git show --diff-filter=A --stat d157a9bc8ba1 | grep '|' | \
awk '{ print $1 }' | xargs dos2unix
Diffstat (limited to 'llvm/test/CodeGen/ARM/cfguard-checks.ll')
| -rw-r--r-- | llvm/test/CodeGen/ARM/cfguard-checks.ll | 302 |
1 files changed, 151 insertions, 151 deletions
diff --git a/llvm/test/CodeGen/ARM/cfguard-checks.ll b/llvm/test/CodeGen/ARM/cfguard-checks.ll index 1835bcfc1b5..c75afc614c7 100644 --- a/llvm/test/CodeGen/ARM/cfguard-checks.ll +++ b/llvm/test/CodeGen/ARM/cfguard-checks.ll @@ -1,151 +1,151 @@ -; RUN: llc < %s -mtriple=arm-pc-windows-msvc | FileCheck %s
-; Control Flow Guard is currently only available on Windows
-
-; Test that Control Flow Guard checks are correctly added when required.
-
-
-declare i32 @target_func()
-
-
-; Test that Control Flow Guard checks are not added to functions with nocf_checks attribute.
-define i32 @func_nocf_checks() #0 {
-entry:
- %func_ptr = alloca i32 ()*, align 8
- store i32 ()* @target_func, i32 ()** %func_ptr, align 8
- %0 = load i32 ()*, i32 ()** %func_ptr, align 8
- %1 = call arm_aapcs_vfpcc i32 %0()
- ret i32 %1
-
- ; CHECK-LABEL: func_nocf_checks
- ; CHECK: movw r0, :lower16:target_func
- ; CHECK: movt r0, :upper16:target_func
- ; CHECK-NOT: __guard_check_icall_fptr
- ; CHECK: blx r0
-}
-attributes #0 = { nocf_check "target-cpu"="cortex-a9" "target-features"="+armv7-a,+dsp,+fp16,+neon,+strict-align,+thumb-mode,+vfp3"}
-
-
-; Test that Control Flow Guard checks are added even at -O0.
-define i32 @func_optnone_cf() #1 {
-entry:
- %func_ptr = alloca i32 ()*, align 8
- store i32 ()* @target_func, i32 ()** %func_ptr, align 8
- %0 = load i32 ()*, i32 ()** %func_ptr, align 8
- %1 = call i32 %0()
- ret i32 %1
-
- ; The call to __guard_check_icall_fptr should come immediately before the call to the target function.
- ; CHECK-LABEL: func_optnone_cf
- ; CHECK: movw r0, :lower16:target_func
- ; CHECK: movt r0, :upper16:target_func
- ; CHECK: str r0, [sp]
- ; CHECK: ldr r4, [sp]
- ; CHECK: movw r0, :lower16:__guard_check_icall_fptr
- ; CHECK: movt r0, :upper16:__guard_check_icall_fptr
- ; CHECK: ldr r1, [r0]
- ; CHECK: mov r0, r4
- ; CHECK: blx r1
- ; CHECK-NEXT: blx r4
-}
-attributes #1 = { noinline optnone "target-cpu"="cortex-a9" "target-features"="+armv7-a,+dsp,+fp16,+neon,+strict-align,+thumb-mode,+vfp3"}
-
-
-; Test that Control Flow Guard checks are correctly added in optimized code (common case).
-define i32 @func_cf() #2 {
-entry:
- %func_ptr = alloca i32 ()*, align 8
- store i32 ()* @target_func, i32 ()** %func_ptr, align 8
- %0 = load i32 ()*, i32 ()** %func_ptr, align 8
- %1 = call i32 %0()
- ret i32 %1
-
- ; The call to __guard_check_icall_fptr should come immediately before the call to the target function.
- ; CHECK-LABEL: func_cf
- ; CHECK: movw r0, :lower16:__guard_check_icall_fptr
- ; CHECK: movt r0, :upper16:__guard_check_icall_fptr
- ; CHECK: ldr r1, [r0]
- ; CHECK: movw r4, :lower16:target_func
- ; CHECK: movt r4, :upper16:target_func
- ; CHECK: mov r0, r4
- ; CHECK: blx r1
- ; CHECK-NEXT: blx r4
-}
-attributes #2 = { "target-cpu"="cortex-a9" "target-features"="+armv7-a,+dsp,+fp16,+neon,+strict-align,+thumb-mode,+vfp3"}
-
-
-; Test that Control Flow Guard checks are correctly added on invoke instructions.
-define i32 @func_cf_invoke() #2 personality i8* bitcast (void ()* @h to i8*) {
-entry:
- %0 = alloca i32, align 4
- %func_ptr = alloca i32 ()*, align 8
- store i32 ()* @target_func, i32 ()** %func_ptr, align 8
- %1 = load i32 ()*, i32 ()** %func_ptr, align 8
- %2 = invoke i32 %1()
- to label %invoke.cont unwind label %lpad
-invoke.cont: ; preds = %entry
- ret i32 %2
-
-lpad: ; preds = %entry
- %tmp = landingpad { i8*, i32 }
- catch i8* null
- ret i32 -1
-
- ; The call to __guard_check_icall_fptr should come immediately before the call to the target function.
- ; CHECK-LABEL: func_cf_invoke
- ; CHECK: movw r0, :lower16:__guard_check_icall_fptr
- ; CHECK: movt r0, :upper16:__guard_check_icall_fptr
- ; CHECK: ldr r1, [r0]
- ; CHECK: movw r4, :lower16:target_func
- ; CHECK: movt r4, :upper16:target_func
- ; CHECK: mov r0, r4
- ; CHECK: blx r1
- ; CHECK-NEXT: $Mtmp0:
- ; CHECK-NEXT: blx r4
- ; CHECK: ; %invoke.cont
- ; CHECK: ; %lpad
-}
-
-declare void @h()
-
-
-; Test that longjmp targets have public labels and are included in the .gljmp section.
-%struct._SETJMP_FLOAT128 = type { [2 x i64] }
-@buf1 = internal global [16 x %struct._SETJMP_FLOAT128] zeroinitializer, align 16
-
-define i32 @func_cf_setjmp() #2 {
- %1 = alloca i32, align 4
- %2 = alloca i32, align 4
- store i32 0, i32* %1, align 4
- store i32 -1, i32* %2, align 4
- %3 = call i8* @llvm.frameaddress(i32 0)
- %4 = call i32 @_setjmp(i8* bitcast ([16 x %struct._SETJMP_FLOAT128]* @buf1 to i8*), i8* %3) #3
-
- ; CHECK-LABEL: func_cf_setjmp
- ; CHECK: bl _setjmp
- ; CHECK-NEXT: $cfgsj_func_cf_setjmp0:
-
- %5 = call i8* @llvm.frameaddress(i32 0)
- %6 = call i32 @_setjmp(i8* bitcast ([16 x %struct._SETJMP_FLOAT128]* @buf1 to i8*), i8* %5) #3
-
- ; CHECK: bl _setjmp
- ; CHECK-NEXT: $cfgsj_func_cf_setjmp1:
-
- store i32 1, i32* %2, align 4
- %7 = load i32, i32* %2, align 4
- ret i32 %7
-
- ; CHECK: .section .gljmp$y,"dr"
- ; CHECK-NEXT: .symidx $cfgsj_func_cf_setjmp0
- ; CHECK-NEXT: .symidx $cfgsj_func_cf_setjmp1
-}
-
-declare i8* @llvm.frameaddress(i32)
-
-; Function Attrs: returns_twice
-declare dso_local i32 @_setjmp(i8*, i8*) #3
-
-attributes #3 = { returns_twice }
-
-
-!llvm.module.flags = !{!0}
-!0 = !{i32 2, !"cfguard", i32 2}
+; RUN: llc < %s -mtriple=arm-pc-windows-msvc | FileCheck %s +; Control Flow Guard is currently only available on Windows + +; Test that Control Flow Guard checks are correctly added when required. + + +declare i32 @target_func() + + +; Test that Control Flow Guard checks are not added to functions with nocf_checks attribute. +define i32 @func_nocf_checks() #0 { +entry: + %func_ptr = alloca i32 ()*, align 8 + store i32 ()* @target_func, i32 ()** %func_ptr, align 8 + %0 = load i32 ()*, i32 ()** %func_ptr, align 8 + %1 = call arm_aapcs_vfpcc i32 %0() + ret i32 %1 + + ; CHECK-LABEL: func_nocf_checks + ; CHECK: movw r0, :lower16:target_func + ; CHECK: movt r0, :upper16:target_func + ; CHECK-NOT: __guard_check_icall_fptr + ; CHECK: blx r0 +} +attributes #0 = { nocf_check "target-cpu"="cortex-a9" "target-features"="+armv7-a,+dsp,+fp16,+neon,+strict-align,+thumb-mode,+vfp3"} + + +; Test that Control Flow Guard checks are added even at -O0. +define i32 @func_optnone_cf() #1 { +entry: + %func_ptr = alloca i32 ()*, align 8 + store i32 ()* @target_func, i32 ()** %func_ptr, align 8 + %0 = load i32 ()*, i32 ()** %func_ptr, align 8 + %1 = call i32 %0() + ret i32 %1 + + ; The call to __guard_check_icall_fptr should come immediately before the call to the target function. + ; CHECK-LABEL: func_optnone_cf + ; CHECK: movw r0, :lower16:target_func + ; CHECK: movt r0, :upper16:target_func + ; CHECK: str r0, [sp] + ; CHECK: ldr r4, [sp] + ; CHECK: movw r0, :lower16:__guard_check_icall_fptr + ; CHECK: movt r0, :upper16:__guard_check_icall_fptr + ; CHECK: ldr r1, [r0] + ; CHECK: mov r0, r4 + ; CHECK: blx r1 + ; CHECK-NEXT: blx r4 +} +attributes #1 = { noinline optnone "target-cpu"="cortex-a9" "target-features"="+armv7-a,+dsp,+fp16,+neon,+strict-align,+thumb-mode,+vfp3"} + + +; Test that Control Flow Guard checks are correctly added in optimized code (common case). +define i32 @func_cf() #2 { +entry: + %func_ptr = alloca i32 ()*, align 8 + store i32 ()* @target_func, i32 ()** %func_ptr, align 8 + %0 = load i32 ()*, i32 ()** %func_ptr, align 8 + %1 = call i32 %0() + ret i32 %1 + + ; The call to __guard_check_icall_fptr should come immediately before the call to the target function. + ; CHECK-LABEL: func_cf + ; CHECK: movw r0, :lower16:__guard_check_icall_fptr + ; CHECK: movt r0, :upper16:__guard_check_icall_fptr + ; CHECK: ldr r1, [r0] + ; CHECK: movw r4, :lower16:target_func + ; CHECK: movt r4, :upper16:target_func + ; CHECK: mov r0, r4 + ; CHECK: blx r1 + ; CHECK-NEXT: blx r4 +} +attributes #2 = { "target-cpu"="cortex-a9" "target-features"="+armv7-a,+dsp,+fp16,+neon,+strict-align,+thumb-mode,+vfp3"} + + +; Test that Control Flow Guard checks are correctly added on invoke instructions. +define i32 @func_cf_invoke() #2 personality i8* bitcast (void ()* @h to i8*) { +entry: + %0 = alloca i32, align 4 + %func_ptr = alloca i32 ()*, align 8 + store i32 ()* @target_func, i32 ()** %func_ptr, align 8 + %1 = load i32 ()*, i32 ()** %func_ptr, align 8 + %2 = invoke i32 %1() + to label %invoke.cont unwind label %lpad +invoke.cont: ; preds = %entry + ret i32 %2 + +lpad: ; preds = %entry + %tmp = landingpad { i8*, i32 } + catch i8* null + ret i32 -1 + + ; The call to __guard_check_icall_fptr should come immediately before the call to the target function. + ; CHECK-LABEL: func_cf_invoke + ; CHECK: movw r0, :lower16:__guard_check_icall_fptr + ; CHECK: movt r0, :upper16:__guard_check_icall_fptr + ; CHECK: ldr r1, [r0] + ; CHECK: movw r4, :lower16:target_func + ; CHECK: movt r4, :upper16:target_func + ; CHECK: mov r0, r4 + ; CHECK: blx r1 + ; CHECK-NEXT: $Mtmp0: + ; CHECK-NEXT: blx r4 + ; CHECK: ; %invoke.cont + ; CHECK: ; %lpad +} + +declare void @h() + + +; Test that longjmp targets have public labels and are included in the .gljmp section. +%struct._SETJMP_FLOAT128 = type { [2 x i64] } +@buf1 = internal global [16 x %struct._SETJMP_FLOAT128] zeroinitializer, align 16 + +define i32 @func_cf_setjmp() #2 { + %1 = alloca i32, align 4 + %2 = alloca i32, align 4 + store i32 0, i32* %1, align 4 + store i32 -1, i32* %2, align 4 + %3 = call i8* @llvm.frameaddress(i32 0) + %4 = call i32 @_setjmp(i8* bitcast ([16 x %struct._SETJMP_FLOAT128]* @buf1 to i8*), i8* %3) #3 + + ; CHECK-LABEL: func_cf_setjmp + ; CHECK: bl _setjmp + ; CHECK-NEXT: $cfgsj_func_cf_setjmp0: + + %5 = call i8* @llvm.frameaddress(i32 0) + %6 = call i32 @_setjmp(i8* bitcast ([16 x %struct._SETJMP_FLOAT128]* @buf1 to i8*), i8* %5) #3 + + ; CHECK: bl _setjmp + ; CHECK-NEXT: $cfgsj_func_cf_setjmp1: + + store i32 1, i32* %2, align 4 + %7 = load i32, i32* %2, align 4 + ret i32 %7 + + ; CHECK: .section .gljmp$y,"dr" + ; CHECK-NEXT: .symidx $cfgsj_func_cf_setjmp0 + ; CHECK-NEXT: .symidx $cfgsj_func_cf_setjmp1 +} + +declare i8* @llvm.frameaddress(i32) + +; Function Attrs: returns_twice +declare dso_local i32 @_setjmp(i8*, i8*) #3 + +attributes #3 = { returns_twice } + + +!llvm.module.flags = !{!0} +!0 = !{i32 2, !"cfguard", i32 2} |

