Avoids DCE on write_register
authorRenato Golin <renato.golin@linaro.org>
Tue, 20 May 2014 17:40:03 +0000 (17:40 +0000)
committerRenato Golin <renato.golin@linaro.org>
Tue, 20 May 2014 17:40:03 +0000 (17:40 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@209222 91177308-0d34-0410-b5e6-96231b3b80d8

include/llvm/IR/Intrinsics.td
test/CodeGen/X86/stackpointer.ll

index 8ad24b37f742108a72d79394b4bc794b7c34fedd..2ba230a097892f8cd65ac1fcfa0b1b94025e5e21 100644 (file)
@@ -253,7 +253,7 @@ def int_frameaddress  : Intrinsic<[llvm_ptr_ty], [llvm_i32_ty], [IntrNoMem]>;
 def int_read_register  : Intrinsic<[llvm_anyint_ty], [llvm_metadata_ty],
                                    [IntrNoMem], "llvm.read_register">;
 def int_write_register : Intrinsic<[], [llvm_metadata_ty, llvm_anyint_ty],
-                                   [IntrNoMem], "llvm.write_register">;
+                                   [], "llvm.write_register">;
 
 // Note: we treat stacksave/stackrestore as writemem because we don't otherwise
 // model their dependencies on allocas.
index 26f9999fd5de94e227924db3688470cddbcbd4fd..80bcfbf167435e1034937558669ae777021748dc 100644 (file)
@@ -1,11 +1,13 @@
 ; RUN: llc < %s -mtriple=x86_64-apple-darwin  | FileCheck %s
 ; RUN: llc < %s -mtriple=x86_64-linux-gnueabi | FileCheck %s
+; RUN: opt < %s -O3 -S -mtriple=x86_64-linux-gnueabi | FileCheck %s --check-prefix=OPT
 
 define i64 @get_stack() nounwind {
 entry:
 ; CHECK-LABEL: get_stack:
 ; CHECK: movq  %rsp, %rax
        %sp = call i64 @llvm.read_register.i64(metadata !0)
+; OPT: @llvm.read_register.i64
   ret i64 %sp
 }
 
@@ -14,6 +16,7 @@ entry:
 ; CHECK-LABEL: set_stack:
 ; CHECK: movq  %rdi, %rsp
   call void @llvm.write_register.i64(metadata !0, i64 %val)
+; OPT: @llvm.write_register.i64
   ret void
 }