[WIP][IR] Make `llvm.assume` `readnone`
Needs ReviewPublic
Actions

Authored by jdoerfert on Oct 8 2020, 9:20 AM.

This revision needs review, but there are no reviewers specified.

Details

Reviewers: None

Summary

Note: This is not a full commit. No tests were changed. Used for discussion

The llvm.assume intrinsic was historically not readnone because
control dependences need to be preserved. However, the intrinsic can
nowadays be represented as what it is, potentially UB if the condition
is false (or an operand bundle is violated). No effect but potentially
UB is readnone (in contrast to speculatable). While here we add
nosync and nofree to llvm.assume.

Diff Detail

Repository: rG LLVM Github Monorepo

Unit TestsFailed
View All

	Time	Test
	30 ms	linux > LLVM.Analysis/ValueTracking::assume.ll Script: -- : 'RUN: at line 2'; /mnt/disks/ssd0/agent/llvm-project/build/bin/opt < /mnt/disks/ssd0/agent/llvm-project/llvm/test/Analysis/ValueTracking/assume.ll -instcombine -S \| /mnt/disks/ssd0/agent/llvm-project/build/bin/FileCheck /mnt/disks/ssd0/agent/llvm-project/llvm/test/Analysis/ValueTracking/assume.ll
	40 ms	linux > LLVM.Analysis/ValueTracking::numsignbits-from-assume.ll Script: -- : 'RUN: at line 2'; /mnt/disks/ssd0/agent/llvm-project/build/bin/opt < /mnt/disks/ssd0/agent/llvm-project/llvm/test/Analysis/ValueTracking/numsignbits-from-assume.ll -instcombine -S \| /mnt/disks/ssd0/agent/llvm-project/build/bin/FileCheck /mnt/disks/ssd0/agent/llvm-project/llvm/test/Analysis/ValueTracking/numsignbits-from-assume.ll
	60 ms	linux > LLVM.Transforms/Attributor::lvi-after-jumpthreading.ll Script: -- : 'RUN: at line 2'; /mnt/disks/ssd0/agent/llvm-project/build/bin/opt -attributor -enable-new-pm=0 -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=18 -S < /mnt/disks/ssd0/agent/llvm-project/llvm/test/Transforms/Attributor/lvi-after-jumpthreading.ll \| /mnt/disks/ssd0/agent/llvm-project/build/bin/FileCheck /mnt/disks/ssd0/agent/llvm-project/llvm/test/Transforms/Attributor/lvi-after-jumpthreading.ll --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
	80 ms	linux > LLVM.Transforms/Attributor::nofree.ll Script: -- : 'RUN: at line 2'; /mnt/disks/ssd0/agent/llvm-project/build/bin/opt -attributor -enable-new-pm=0 -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=3 -S < /mnt/disks/ssd0/agent/llvm-project/llvm/test/Transforms/Attributor/nofree.ll \| /mnt/disks/ssd0/agent/llvm-project/build/bin/FileCheck /mnt/disks/ssd0/agent/llvm-project/llvm/test/Transforms/Attributor/nofree.ll --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
	110 ms	linux > LLVM.Transforms/Attributor::nonnull.ll Script: -- : 'RUN: at line 2'; /mnt/disks/ssd0/agent/llvm-project/build/bin/opt -attributor -enable-new-pm=0 -attributor-manifest-internal -attributor-max-iterations-verify -attributor-annotate-decl-cs -attributor-max-iterations=15 -S < /mnt/disks/ssd0/agent/llvm-project/llvm/test/Transforms/Attributor/nonnull.ll \| /mnt/disks/ssd0/agent/llvm-project/build/bin/FileCheck /mnt/disks/ssd0/agent/llvm-project/llvm/test/Transforms/Attributor/nonnull.ll --check-prefixes=CHECK,NOT_CGSCC_NPM,NOT_CGSCC_OPM,NOT_TUNIT_NPM,IS__TUNIT____,IS________OPM,IS__TUNIT_OPM
		View Full Test Results (90 Failed)