xref: /llvm-project/llvm/test/CodeGen/X86/log2_not_readnone.ll (revision 2913f500fa5e7e354b8b61e2040e7d40cbbfdec7)
1394ad59dSJim Grosbach; RUN: llc -mtriple=i386-linux-gnueabi %s -o - | FileCheck %s
2f6298e92SJames Molloy
3f6298e92SJames Molloy; Log2 and exp2 are string-matched to intrinsics. If they are not declared
4f6298e92SJames Molloy; readnone, they can't be changed to intrinsics (because they can change errno).
5f6298e92SJames Molloy
6f6298e92SJames Molloydeclare double @log2(double)
7f6298e92SJames Molloydeclare double @exp2(double)
8f6298e92SJames Molloy
9f6298e92SJames Molloydefine void @f() {
10*2913f500SChad Rosier       ; CHECK: calll log2
11f6298e92SJames Molloy       %1 = call double @log2(double 0.000000e+00)
12*2913f500SChad Rosier       ; CHECK: calll exp2
13f6298e92SJames Molloy       %2 = call double @exp2(double 0.000000e+00)
14f6298e92SJames Molloy       ret void
15f6298e92SJames Molloy}
16