diff options
author | Hans Wennborg <hans@hanshq.net> | 2017-12-04 22:21:15 +0000 |
---|---|---|
committer | Hans Wennborg <hans@hanshq.net> | 2017-12-04 22:21:15 +0000 |
commit | 206bdbac746f4bd98952f90680d7de53533a77b7 (patch) | |
tree | 59714add8125eaab7d70daa125ee407e62680072 /test | |
parent | 79f2fee592d37f7a57f82bb31bb26e74440e7305 (diff) |
Revert r319490 "XOR the frame pointer with the stack cookie when protecting the stack"
This broke the Chromium build (crbug.com/791714). Reverting while investigating.
> Summary: This strengthens the guard and matches MSVC.
>
> Reviewers: hans, etienneb
>
> Subscribers: hiraditya, JDevlieghere, vlad.tsyrklevich, llvm-commits
>
> Differential Revision: https://reviews.llvm.org/D40622
>
> git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@319490 91177308-0d34-0410-b5e6-96231b3b80d8
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@319706 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test')
-rw-r--r-- | test/CodeGen/X86/stack-protector-msvc.ll | 154 | ||||
-rw-r--r-- | test/CodeGen/X86/stack-protector-weight.ll | 3 |
2 files changed, 17 insertions, 140 deletions
diff --git a/test/CodeGen/X86/stack-protector-msvc.ll b/test/CodeGen/X86/stack-protector-msvc.ll index c1f79f9db2f..5eccc65f2de 100644 --- a/test/CodeGen/X86/stack-protector-msvc.ll +++ b/test/CodeGen/X86/stack-protector-msvc.ll @@ -1,9 +1,19 @@ -; RUN: llc -mtriple=i386-pc-windows-msvc < %s -o - | FileCheck -check-prefix=MSVC-X86 %s -; RUN: llc -mtriple=x86_64-pc-windows-msvc < %s -o - | FileCheck -check-prefix=MSVC-X64 %s -; Make sure fastisel falls back and does something secure. -; RUN: llc -mtriple=i686-pc-windows-msvc -O0 < %s -o - | FileCheck -check-prefix=MSVC-X86-O0 %s -; RUN: llc -mtriple=x86_64-pc-windows-msvc -O0 < %s -o - | FileCheck -check-prefix=MSVC-X64-O0 %s +; RUN: llc -mtriple=i386-pc-windows-msvc < %s -o - | FileCheck -check-prefix=MSVC-I386 %s +; RUN: llc -mtriple=x86_64-pc-windows-msvc < %s -o - | FileCheck -check-prefix=MSVC-64 %s + +; MSVC-I386: movl ___security_cookie, %[[REG1:[a-z]*]] +; MSVC-I386: movl %[[REG1]], [[SLOT:[0-9]*]](%esp) +; MSVC-I386: calll _strcpy +; MSVC-I386: movl [[SLOT]](%esp), %ecx +; MSVC-I386: calll @__security_check_cookie@4 +; MSVC-I386: retl + +; MSVC-64: movq __security_cookie(%rip), %[[REG1:[a-z]*]] +; MSVC-64: movq %[[REG1]], [[SLOT:[0-9]*]](%rsp) +; MSVC-64: callq strcpy +; MSVC-64: movq [[SLOT]](%rsp), %rcx +; MSVC-64: callq __security_check_cookie @"\01LC" = internal constant [11 x i8] c"buf == %s\0A\00" ; <[11 x i8]*> [#uses=1] @@ -11,6 +21,7 @@ define void @test(i8* %a) nounwind ssp { entry: %a_addr = alloca i8* ; <i8**> [#uses=2] %buf = alloca [8 x i8] ; <[8 x i8]*> [#uses=2] + %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] store i8* %a, i8** %a_addr %buf1 = bitcast [8 x i8]* %buf to i8* ; <i8*> [#uses=1] %0 = load i8*, i8** %a_addr, align 4 ; <i8*> [#uses=1] @@ -23,139 +34,6 @@ return: ; preds = %entry ret void } -; MSVC-X86-LABEL: _test: -; MSVC-X86: movl ___security_cookie, %[[REG1:[^ ]*]] -; MSVC-X86: xorl %esp, %[[REG1]] -; MSVC-X86: movl %[[REG1]], [[SLOT:[0-9]*]](%esp) -; MSVC-X86: calll _strcpy -; MSVC-X86: movl [[SLOT]](%esp), %ecx -; MSVC-X86: xorl %esp, %ecx -; MSVC-X86: calll @__security_check_cookie@4 -; MSVC-X86: retl - -; MSVC-X64-LABEL: test: -; MSVC-X64: movq __security_cookie(%rip), %[[REG1:[^ ]*]] -; MSVC-X64: xorq %rsp, %[[REG1]] -; MSVC-X64: movq %[[REG1]], [[SLOT:[0-9]*]](%rsp) -; MSVC-X64: callq strcpy -; MSVC-X64: movq [[SLOT]](%rsp), %rcx -; MSVC-X64: xorq %rsp, %rcx -; MSVC-X64: callq __security_check_cookie -; MSVC-X64: retq - -; MSVC-X86-O0-LABEL: _test: -; MSVC-X86-O0: movl ___security_cookie, %[[REG1:[^ ]*]] -; MSVC-X86-O0: xorl %esp, %[[REG1]] -; MSVC-X86-O0: movl %[[REG1]], [[SLOT:[0-9]*]](%esp) -; MSVC-X86-O0: calll _strcpy -; MSVC-X86-O0: movl [[SLOT]](%esp), %[[REG1:[^ ]*]] -; MSVC-X86-O0: xorl %esp, %[[REG1]] -; MSVC-X86-O0: movl %[[REG1]], %ecx -; MSVC-X86-O0: calll @__security_check_cookie@4 -; MSVC-X86-O0: retl - -; MSVC-X64-O0-LABEL: test: -; MSVC-X64-O0: movq __security_cookie(%rip), %[[REG1:[^ ]*]] -; MSVC-X64-O0: xorq %rsp, %[[REG1]] -; MSVC-X64-O0: movq %[[REG1]], [[SLOT:[0-9]*]](%rsp) -; MSVC-X64-O0: callq strcpy -; MSVC-X64-O0: movq [[SLOT]](%rsp), %[[REG1:[^ ]*]] -; MSVC-X64-O0: xorq %rsp, %[[REG1]] -; MSVC-X64-O0: movq %[[REG1]], %rcx -; MSVC-X64-O0: callq __security_check_cookie -; MSVC-X64-O0: retq - - -declare void @escape(i32*) - -define void @test_vla(i32 %n) nounwind ssp { - %vla = alloca i32, i32 %n - call void @escape(i32* %vla) - ret void -} - -; MSVC-X86-LABEL: _test_vla: -; MSVC-X86: pushl %ebp -; MSVC-X86: movl %esp, %ebp -; MSVC-X86: movl ___security_cookie, %[[REG1:[^ ]*]] -; MSVC-X86: xorl %ebp, %[[REG1]] -; MSVC-X86: movl %[[REG1]], [[SLOT:-[0-9]*]](%ebp) -; MSVC-X86: calll __chkstk -; MSVC-X86: pushl -; MSVC-X86: calll _escape -; MSVC-X86: movl [[SLOT]](%ebp), %ecx -; MSVC-X86: xorl %ebp, %ecx -; MSVC-X86: calll @__security_check_cookie@4 -; MSVC-X86: movl %ebp, %esp -; MSVC-X86: popl %ebp -; MSVC-X86: retl - -; MSVC-X64-LABEL: test_vla: -; MSVC-X64: pushq %rbp -; MSVC-X64: subq $16, %rsp -; MSVC-X64: leaq 16(%rsp), %rbp -; MSVC-X64: movq __security_cookie(%rip), %[[REG1:[^ ]*]] -; MSVC-X64: xorq %rbp, %[[REG1]] -; MSVC-X64: movq %[[REG1]], [[SLOT:-[0-9]*]](%rbp) -; MSVC-X64: callq __chkstk -; MSVC-X64: callq escape -; MSVC-X64: movq [[SLOT]](%rbp), %rcx -; MSVC-X64: xorq %rbp, %rcx -; MSVC-X64: callq __security_check_cookie -; MSVC-X64: retq - - -; This case is interesting because we address local variables with RBX but XOR -; the guard value with RBP. That's fine, either value will do, as long as they -; are the same across the life of the frame. - -define void @test_vla_realign(i32 %n) nounwind ssp { - %realign = alloca i32, align 32 - %vla = alloca i32, i32 %n - call void @escape(i32* %realign) - call void @escape(i32* %vla) - ret void -} - -; MSVC-X86-LABEL: _test_vla_realign: -; MSVC-X86: pushl %ebp -; MSVC-X86: movl %esp, %ebp -; MSVC-X86: pushl %esi -; MSVC-X86: andl $-32, %esp -; MSVC-X86: subl $32, %esp -; MSVC-X86: movl %esp, %esi -; MSVC-X86: movl ___security_cookie, %[[REG1:[^ ]*]] -; MSVC-X86: xorl %ebp, %[[REG1]] -; MSVC-X86: movl %[[REG1]], [[SLOT:[0-9]*]](%esi) -; MSVC-X86: calll __chkstk -; MSVC-X86: pushl -; MSVC-X86: calll _escape -; MSVC-X86: movl [[SLOT]](%esi), %ecx -; MSVC-X86: xorl %ebp, %ecx -; MSVC-X86: calll @__security_check_cookie@4 -; MSVC-X86: leal -8(%ebp), %esp -; MSVC-X86: popl %esi -; MSVC-X86: popl %ebp -; MSVC-X86: retl - -; MSVC-X64-LABEL: test_vla_realign: -; MSVC-X64: pushq %rbp -; MSVC-X64: pushq %rbx -; MSVC-X64: subq $32, %rsp -; MSVC-X64: leaq 32(%rsp), %rbp -; MSVC-X64: andq $-32, %rsp -; MSVC-X64: movq %rsp, %rbx -; MSVC-X64: movq __security_cookie(%rip), %[[REG1:[^ ]*]] -; MSVC-X64: xorq %rbp, %[[REG1]] -; MSVC-X64: movq %[[REG1]], [[SLOT:[0-9]*]](%rbx) -; MSVC-X64: callq __chkstk -; MSVC-X64: callq escape -; MSVC-X64: movq [[SLOT]](%rbx), %rcx -; MSVC-X64: xorq %rbp, %rcx -; MSVC-X64: callq __security_check_cookie -; MSVC-X64: retq - - declare i8* @strcpy(i8*, i8*) nounwind declare i32 @printf(i8*, ...) nounwind diff --git a/test/CodeGen/X86/stack-protector-weight.ll b/test/CodeGen/X86/stack-protector-weight.ll index 3708d216f8d..de40d30cc48 100644 --- a/test/CodeGen/X86/stack-protector-weight.ll +++ b/test/CodeGen/X86/stack-protector-weight.ll @@ -21,11 +21,10 @@ ; MSVC-SELDAG: LD4[FixedStack0] ; MSVC-SELDAG: CALLpcrel32 <ga:@__security_check_cookie> -; MSVC always uses selection DAG now. ; MSVC-IR: # Machine code for function test_branch_weights: ; MSVC-IR: mem:Volatile LD4[@__security_cookie] ; MSVC-IR: ST4[FixedStack0] -; MSVC-IR: LD4[FixedStack0] +; MSVC-IR: LD4[%StackGuardSlot] ; MSVC-IR: CALLpcrel32 <ga:@__security_check_cookie> define i32 @test_branch_weights(i32 %n) #0 { |