Hideto Ueno 98d281a99f [ValueTracking] Remove volatile check in isGuaranteedToTransferExecutionToSuccessor ...

Summary: As clarified in D53184, volatile load and store do not trap. Therefore, we should remove volatile checks for instructions in  `isGuaranteedToTransferExecutionToSuccessor`.

Reviewers: jdoerfert, efriedma, nikic

Reviewed By: nikic

Subscribers: hiraditya, jfb, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D65375

llvm-svn: 367226

2019-07-29 13:35:34 +00:00

..

2008-09-03-Mutual.ll

…

2008-09-03-ReadNone.ll

…

2008-09-03-ReadOnly.ll

…

2008-09-13-VolatileRead.ll

…

2008-12-29-Constant.ll

…

2009-01-02-LocalStores.ll

…

2010-10-30-volatile.ll

…

align.ll

[Attributor] Deduce "align" attribute

2019-07-28 07:04:01 +00:00

arg_nocapture.ll

[Attributor] Deduce "align" attribute

2019-07-28 07:04:01 +00:00

arg_returned.ll

[Attributor] Deduce "willreturn" function attribute

2019-07-17 15:15:43 +00:00

assume.ll

…

atomic.ll

Add, and infer, a nofree function attribute

2019-07-08 15:57:56 +00:00

comdat-ipo.ll

…

convergent.ll

…

dereferenceable.ll

[Attributor] Deduce "dereferenceable" attribute

2019-07-23 08:16:17 +00:00

fn_noreturn.ll

[Attributor] Deduce "nofree" function attribute

2019-07-12 17:38:51 +00:00

incompatible_fn_attrs.ll

…

int_sideeffect.ll

…

liveness.ll

Fixing build error from commit 95cbc3d

2019-07-22 23:58:23 +00:00

naked_functions.ll

…

noalias_returned.ll

[Attributor] Deduce "align" attribute

2019-07-28 07:04:01 +00:00

nocapture.ll

[CaptureTracking] Don't let comparisons against null escape inbounds pointers

2019-06-09 10:20:33 +00:00

nofree-attributor.ll

[Attributor] Deduce "nofree" function attribute

2019-07-12 17:38:51 +00:00

nofree.ll

Add, and infer, a nofree function attribute

2019-07-08 15:57:56 +00:00

nonnull-global.ll

…

nonnull.ll

[ValueTracking] Remove volatile check in isGuaranteedToTransferExecutionToSuccessor

2019-07-29 13:35:34 +00:00

norecurse.ll

…

nosync.ll

[Attributor] Deduce "nonnull" attribute

2019-07-15 06:49:04 +00:00

nounwind.ll

[Attributor] Deduce "nofree" function attribute

2019-07-12 17:38:51 +00:00

operand-bundles-scc.ll

Add, and infer, a nofree function attribute

2019-07-08 15:57:56 +00:00

optnone-simple.ll

…

optnone.ll

…

out-of-bounds-iterator-bug.ll

…

read_write_returned_arguments_scc.ll

[Attributor] Deduce "nosync" function attribute.

2019-07-11 21:37:40 +00:00

read-write-scc.ll

[FunctionAttrs] Remove readonly and writeonly assertion

2019-07-15 17:31:26 +00:00

readattrs.ll

[NFC][FnAttrs] Stress tests for attribute deduction

2019-06-05 03:00:06 +00:00

readnone.ll

…

returned.ll

…

willreturn.ll

[Attributor] Deduce "willreturn" function attribute

2019-07-17 15:15:43 +00:00