[PATCH] D26930: Teach optimizer that pthread_self does not trap. It can be speculatively executed.

[Xin Tong via llvm-commits]

trentxintong added a comment.

readnone - On a function, this attribute indicates that the function computes its result (or decides to unwind an exception) based strictly on its arguments, without dereferencing any pointer arguments or otherwise accessing any mutable state ...

what if i have, this function is readnone and nounwind, but it can trap.

define float @unsafe_div(int a, int b) {

  return a/b;

}


Repository:
  rL LLVM

https://reviews.llvm.org/D26930