diff options
author | James Molloy <james.molloy@arm.com> | 2012-03-01 14:32:18 +0000 |
---|---|---|
committer | James Molloy <james.molloy@arm.com> | 2012-03-01 14:32:18 +0000 |
commit | 391016025a72612577cc7b8046fed60bed1aa858 (patch) | |
tree | cf06ddbdf5cbcc731b37221368bf0e31c4f04165 /test/CodeGen/X86/log2_not_readnone.ll | |
parent | ccc8d3ba06408feff0ca6e58973c20d15010e3fc (diff) | |
download | llvm-391016025a72612577cc7b8046fed60bed1aa858.tar.gz llvm-391016025a72612577cc7b8046fed60bed1aa858.tar.bz2 llvm-391016025a72612577cc7b8046fed60bed1aa858.tar.xz |
Fix a codegen fault in which log2 or exp2 could be dead-code eliminated even though they could have sideeffects.
Only allow log2/exp2 to be converted to an intrinsic if they are declared "readnone".
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@151807 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/CodeGen/X86/log2_not_readnone.ll')
-rw-r--r-- | test/CodeGen/X86/log2_not_readnone.ll | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/CodeGen/X86/log2_not_readnone.ll b/test/CodeGen/X86/log2_not_readnone.ll new file mode 100644 index 0000000000..a971b0b442 --- /dev/null +++ b/test/CodeGen/X86/log2_not_readnone.ll @@ -0,0 +1,15 @@ +; RUN: llc -march x86 %s -o - | FileCheck %s + +; Log2 and exp2 are string-matched to intrinsics. If they are not declared +; readnone, they can't be changed to intrinsics (because they can change errno). + +declare double @log2(double) +declare double @exp2(double) + +define void @f() { + ; CHECK: calll log2 + %1 = call double @log2(double 0.000000e+00) + ; CHECK: calll exp2 + %2 = call double @exp2(double 0.000000e+00) + ret void +} |