diff options
| author | Piotr Padlewski <piotr.padlewski@gmail.com> | 2018-05-03 11:03:01 +0000 |
|---|---|---|
| committer | Piotr Padlewski <piotr.padlewski@gmail.com> | 2018-05-03 11:03:01 +0000 |
| commit | 5dde809404f73b30bb41b79f7060c0e14cfe0426 (patch) | |
| tree | fecca61a8b4aadbc1d23e57be1793ac2d72c1d68 /llvm/test/Bitcode | |
| parent | 90b0a53499c98ec3b4903f1f4f0c7b404c236ab3 (diff) | |
| download | bcm5719-llvm-5dde809404f73b30bb41b79f7060c0e14cfe0426.tar.gz bcm5719-llvm-5dde809404f73b30bb41b79f7060c0e14cfe0426.zip | |
Rename invariant.group.barrier to launder.invariant.group
Summary:
This is one of the initial commit of "RFC: Devirtualization v2" proposal:
https://docs.google.com/document/d/16GVtCpzK8sIHNc2qZz6RN8amICNBtvjWUod2SujZVEo/edit?usp=sharing
Reviewers: rsmith, amharc, kuhar, sanjoy
Subscribers: arsenm, nhaehnle, javed.absar, hiraditya, llvm-commits
Differential Revision: https://reviews.llvm.org/D45111
llvm-svn: 331448
Diffstat (limited to 'llvm/test/Bitcode')
| -rw-r--r-- | llvm/test/Bitcode/upgrade-invariant-group-barrier.ll | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/llvm/test/Bitcode/upgrade-invariant-group-barrier.ll b/llvm/test/Bitcode/upgrade-invariant-group-barrier.ll new file mode 100644 index 00000000000..d18748929ae --- /dev/null +++ b/llvm/test/Bitcode/upgrade-invariant-group-barrier.ll @@ -0,0 +1,22 @@ +; RUN: opt -S < %s | FileCheck %s + +; The intrinsic firstly only took i8*, then it was made polimorphic, then +; it was renamed to launder.invariant.group +define void @test(i8* %p1, i16* %p16) { +; CHECK-LABEL: @test +; CHECK: %p2 = call i8* @llvm.launder.invariant.group.p0i8(i8* %p1) +; CHECK: %p3 = call i8* @llvm.launder.invariant.group.p0i8(i8* %p1) +; CHECK: %p4 = call i16* @llvm.launder.invariant.group.p0i16(i16* %p16) + %p2 = call i8* @llvm.invariant.group.barrier(i8* %p1) + %p3 = call i8* @llvm.invariant.group.barrier.p0i8(i8* %p1) + %p4 = call i16* @llvm.invariant.group.barrier.p0i16(i16* %p16) + ret void +} + +; CHECK: Function Attrs: inaccessiblememonly nounwind speculatable +; CHECK: declare i8* @llvm.launder.invariant.group.p0i8(i8*) +; CHECK: Function Attrs: inaccessiblememonly nounwind speculatable +; CHECK: declare i16* @llvm.launder.invariant.group.p0i16(i16*) +declare i8* @llvm.invariant.group.barrier(i8*) +declare i8* @llvm.invariant.group.barrier.p0i8(i8*) +declare i16* @llvm.invariant.group.barrier.p0i16(i16*) |
