This is an archive of the discontinued LLVM Phabricator instance.

Differential D108472

[test] Update some test cases to use -passes when specifying the pipeline
ClosedPublic

Authored by bjope on Aug 20 2021, 9:23 AM.

Details

Reviewers
aeubanks
Commits
rG3f8027fb67bc: [test] Update some test cases to use -passes when specifying the pipeline
Summary

This updates transform test cases for

ADCE
AddDiscriminators
AggressiveInstCombine
AlignmentFromAssumptions
ArgumentPromotion
BDCE
CalledValuePropagation
DCE
Reg2Mem
WholeProgramDevirt

to use the -passes syntax when specifying the pipeline.

Given that ENABLE_EXPERIMENTAL_NEW_PASS_MANAGER is set to TRUE
the updated test cases already used the new pass manager, but they
were using the backwards compatibility hack to allow the legacy
syntax when specifying the passes to run. This patch can be seen as
a step toward deprecating that interface.

This patch also removes some redundant RUN lines (given that
ENABLE_EXPERIMENTAL_NEW_PASS_MANAGER isn't overridden). Here I am
referring to test cases that had multiple RUN lines verifying both
"-passname" and "-passes=passname" syntax. I think that the
extra RUN line was added to verify that the pass worked with both
the legacy PM and new PM, but ever since we switched the default pass
manager to "new PM" both RUN lines have verified the new PM version
of the pass (more or less wasting time running the same test twice).

Diff Detail

Event Timeline

bjope created this revision.Aug 20 2021, 9:23 AM
Herald added subscribers: ormris, kerbowa, arphaman and 2 others. · View Herald TranscriptAug 20 2021, 9:23 AM
bjope requested review of this revision.Aug 20 2021, 9:23 AM
Herald added a project: Restricted Project. · View Herald TranscriptAug 20 2021, 9:23 AM
nikic added a subscriber: nikic.Aug 20 2021, 9:52 AM

I'm not sure doing this is a good idea. The nice thing about the current way of testing is that it works both for the new pass manager and the legacy pass manager. That is, people can flip ENABLE_EXPERIMENTAL_NEW_PASS_MANAGER to false, run the test suite, and get good test coverage for the legacy pass manager. Switching to NewPM-only syntax removes that ability.

For that reason I would expect that tests only get migrated to the new syntax once the legacy pass manager is officially unsupported (i.e. at least ENABLE_EXPERIMENTAL_NEW_PASS_MANAGER and the corresponding clang option are removed), not the other way around. (I am of course in favor of doing that ASAP, now that the release branch has been cut.)

Harbormaster completed remote builds in B120567: Diff 367809.Aug 20 2021, 10:08 AM
RKSimon added a subscriber: RKSimon.Aug 23 2021, 4:30 AM
ctetreau added a subscriber: ctetreau.Aug 23 2021, 9:44 AM
In D108472#2957668, @nikic wrote:

I'm not sure doing this is a good idea. The nice thing about the current way of testing is that it works both for the new pass manager and the legacy pass manager. That is, people can flip ENABLE_EXPERIMENTAL_NEW_PASS_MANAGER to false, run the test suite, and get good test coverage for the legacy pass manager. Switching to NewPM-only syntax removes that ability.

How much work would it be to make --passes='foo,bar' be equivalent to -foo -bar for LPM? Whatever code does this could even complain that LPM is going away and hopefully nudge everyone into working on migrating to NPM.

bjope added a comment.Aug 24 2021, 4:00 AM
In D108472#2960381, @ctetreau wrote:
In D108472#2957668, @nikic wrote:

I'm not sure doing this is a good idea. The nice thing about the current way of testing is that it works both for the new pass manager and the legacy pass manager. That is, people can flip ENABLE_EXPERIMENTAL_NEW_PASS_MANAGER to false, run the test suite, and get good test coverage for the legacy pass manager. Switching to NewPM-only syntax removes that ability.

How much work would it be to make --passes='foo,bar' be equivalent to -foo -bar for LPM? Whatever code does this could even complain that LPM is going away and hopefully nudge everyone into working on migrating to NPM.

Since not all pass names have a one-to-one mapping etc I doubt that it is worth the effort to introduce something like that.

I think that what we want to do is to start reducing amount of compatibility hacks that we need to maintain for the pass manager switch (such as dropping support for using the legacy syntax together with the new-PM) rather than adding yet another temporary hack.

As @nikic pointed out, we probably want to remove the ENABLE_EXPERIMENTAL_NEW_PASS_MANAGER option first. Kind of forcing the default in opt to be the new PM. After that one would need to explicitly use -enable-new-pm=0 to get the legacy PM instead. Given that first step we can start to do cleanup such as this patch, but also probably remove the possibility to use -enable-new-pm=1 and the old legacy syntax for specifying which opt passes to run unless using -enable-new-pm=0 .

aeubanks added a subscriber: aeubanks.Aug 24 2021, 10:44 AM

I don't think we're missing much coverage by removing some tests that run against the legacy PM.

But point taken on the legacy PM deprecation, sent out an RFC.

bjope added a reviewer: aeubanks.Sep 6 2021, 1:12 AM

Let me know when we can drop legacy PM testing for these passes.

aeubanks added a comment.Sep 6 2021, 12:47 PM

We've agreed in llvm-dev that we can start removing legacy PM tests

Matt added a subscriber: Matt.Sep 10 2021, 10:12 AM
aeubanks accepted this revision.Sep 29 2021, 10:10 AM
This revision is now accepted and ready to land.Sep 29 2021, 10:10 AM
Closed by commit rG3f8027fb67bc: [test] Update some test cases to use -passes when specifying the pipeline (authored by bjope). · Explain WhySep 29 2021, 12:52 PM
This revision was automatically updated to reflect the committed changes.
bjope added a commit: rG3f8027fb67bc: [test] Update some test cases to use -passes when specifying the pipeline.

Revision Contents

PathSize
llvm/
test/
Transforms/
ADCE/
2 lines
2 lines
8 lines
4 lines
6 lines
2 lines
2 lines
4 lines
4 lines
4 lines
4 lines
4 lines
4 lines
2 lines
4 lines
4 lines
2 lines
4 lines
2 lines
4 lines
4 lines
2 lines
1 line
2 lines
2 lines
2 lines
1 line
2 lines
2 lines
AddDiscriminators/
1 line
1 line
1 line
1 line
1 line
1 line
2 lines
2 lines
2 lines
1 line
1 line
1 line
AggressiveInstCombine/
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
1 line
2 lines
1 line
1 line
1 line
2 lines
1 line
AlignmentFromAssumptions/
1 line
1 line
1 line
1 line
ArgumentPromotion/
2 lines
2 lines
2 lines
1 line
1 line
1 line
1 line
1 line
1 line
1 line
1 line
1 line
2 lines
1 line
1 line
2 lines
2 lines
2 lines
1 line
1 line
1 line
1 line
1 line
BDCE/
6 lines
2 lines
1 line
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
CalledValuePropagation/
2 lines
2 lines
2 lines
DCE/
2 lines
1 line
1 line
1 line
2 lines
2 lines
Reg2Mem/
3 lines
WholeProgramDevirt/
2 lines
6 lines
8 lines
1 line
2 lines
2 lines
2 lines
6 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
2 lines
17 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
1 line
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
8 lines
2 lines
2 lines
2 lines

Diff 376006

llvm/test/Transforms/ADCE/2002-01-31-UseStuckAround.ll

; RUN: opt < %s -adce ; RUN: opt < %s -passes=adce
define i32 @"main"(i32 %argc) { define i32 @"main"(i32 %argc) {
br label %2 br label %2
%retval = phi i32 [ %argc, %2 ] ; <i32> [#uses=2] %retval = phi i32 [ %argc, %2 ] ; <i32> [#uses=2]
%two = add i32 %retval, %retval ; <i32> [#uses=1] %two = add i32 %retval, %retval ; <i32> [#uses=1]
ret i32 %two ret i32 %two
br label %1 br label %1
} }

llvm/test/Transforms/ADCE/2002-05-22-PHITest.ll

; It is illegal to remove BB1 because it will mess up the PHI node! ; It is illegal to remove BB1 because it will mess up the PHI node!
; ;
; RUN: opt < %s -adce -S | grep BB1 ; RUN: opt < %s -passes=adce -S | grep BB1
define i32 @test(i1 %C, i32 %A, i32 %B) { define i32 @test(i1 %C, i32 %A, i32 %B) {
; <label>:0 ; <label>:0
br i1 %C, label %BB1, label %BB2 br i1 %C, label %BB1, label %BB2
BB1: ; preds = %0 BB1: ; preds = %0
br label %BB2 br label %BB2
BB2: ; preds = %BB1, %0 BB2: ; preds = %BB1, %0
%R = phi i32 [ %A, %0 ], [ %B, %BB1 ] ; <i32> [#uses=1] %R = phi i32 [ %A, %0 ], [ %B, %BB1 ] ; <i32> [#uses=1]
ret i32 %R ret i32 %R
} }

llvm/test/Transforms/ADCE/2002-05-23-ZeroArgPHITest.ll

; This testcase contains a entire loop that should be removed. The only thing ; This testcase contains a entire loop that should be removed. The only thing
; left is the store instruction in BB0. The problem this testcase was running ; left is the store instruction in BB0. The problem this testcase was running
; into was that when the reg109 PHI was getting zero predecessors, it was ; into was that when the reg109 PHI was getting zero predecessors, it was
; removed even though there were uses still around. Now the uses are filled ; removed even though there were uses still around. Now the uses are filled
; in with a dummy value before the PHI is deleted. ; in with a dummy value before the PHI is deleted.
; ;
; RUN: opt < %s -S -adce | grep bb1 ; RUN: opt < %s -S -passes=adce | grep bb1
; RUN: opt < %s -S -adce -adce-remove-loops | FileCheck %s ; RUN: opt < %s -S -passes=adce -adce-remove-loops | FileCheck %s
%node_t = type { double*, %node_t*, %node_t**, double**, double*, i32, i32 } %node_t = type { double*, %node_t*, %node_t**, double**, double*, i32, i32 }
define void @localize_local(%node_t* %nodelist) { define void @localize_local(%node_t* %nodelist) {
bb0: bb0:
%nodelist.upgrd.1 = alloca %node_t* ; <%node_t**> [#uses=2] %nodelist.upgrd.1 = alloca %node_t* ; <%node_t**> [#uses=2]
store %node_t* %nodelist, %node_t** %nodelist.upgrd.1 store %node_t* %nodelist, %node_t** %nodelist.upgrd.1
br label %bb1 br label %bb1
Show All 18 Lines

llvm/test/Transforms/ADCE/2002-05-28-Crash-distilled.ll

; This testcase is a distilled form of: 2002-05-28-Crash.ll ; This testcase is a distilled form of: 2002-05-28-Crash.ll
; RUN: opt < %s -adce ; RUN: opt < %s -passes=adce
; RUN: opt < %s -adce -adce-remove-loops -S | FileCheck %s ; RUN: opt < %s -passes=adce -adce-remove-loops -S | FileCheck %s
define float @test(i32 %i) { define float @test(i32 %i) {
%F = sitofp i32 %i to float ; <float> [#uses=1] %F = sitofp i32 %i to float ; <float> [#uses=1]
%I = bitcast i32 %i to i32 ; <i32> [#uses=1] %I = bitcast i32 %i to i32 ; <i32> [#uses=1]
br label %Loop br label %Loop
Loop: ; preds = %Loop, %0 Loop: ; preds = %Loop, %0
%B = icmp ne i32 %I, 0 ; <i1> [#uses=1] %B = icmp ne i32 %I, 0 ; <i1> [#uses=1]
; CHECK: br label %Out ; CHECK: br label %Out
br i1 %B, label %Out, label %Loop br i1 %B, label %Out, label %Loop
Out: ; preds = %Loop Out: ; preds = %Loop
ret float %F ret float %F
} }

llvm/test/Transforms/ADCE/2002-05-28-Crash.ll

; This testcase is distilled from the GNU rx package. The loop should be ; This testcase is distilled from the GNU rx package. The loop should be
; removed but causes a problem when ADCE does. The source function is: ; removed but causes a problem when ADCE does. The source function is:
; int rx_bitset_empty (int size, rx_Bitset set) { ; int rx_bitset_empty (int size, rx_Bitset set) {
; int x; ; int x;
; RX_subset s; ; RX_subset s;
; s = set[0]; ; s = set[0];
; set[0] = 1; ; set[0] = 1;
; for (x = rx_bitset_numb_subsets(size) - 1; !set[x]; --x) ; for (x = rx_bitset_numb_subsets(size) - 1; !set[x]; --x)
; ; ; ;
; set[0] = s; ; set[0] = s;
; return !s; ; return !s;
;} ;}
; ;
; RUN: opt < %s -adce ; RUN: opt < %s -passes=adce
; RUN: opt < %s -adce -adce-remove-loops -S | FileCheck %s ; RUN: opt < %s -passes=adce -adce-remove-loops -S | FileCheck %s
define i32 @rx_bitset_empty(i32 %size, i32* %set) { define i32 @rx_bitset_empty(i32 %size, i32* %set) {
bb1: bb1:
%reg110 = load i32, i32* %set ; <i32> [#uses=2] %reg110 = load i32, i32* %set ; <i32> [#uses=2]
store i32 1, i32* %set store i32 1, i32* %set
%cast112 = sext i32 %size to i64 ; <i64> [#uses=1] %cast112 = sext i32 %size to i64 ; <i64> [#uses=1]
%reg113 = add i64 %cast112, 31 ; <i64> [#uses=1] %reg113 = add i64 %cast112, 31 ; <i64> [#uses=1]
%reg114 = lshr i64 %reg113, 5 ; <i64> [#uses=2] %reg114 = lshr i64 %reg113, 5 ; <i64> [#uses=2]
Show All 33 Lines

llvm/test/Transforms/ADCE/2002-07-17-AssertionFailure.ll

; This testcase fails because ADCE does not correctly delete the chain of ; This testcase fails because ADCE does not correctly delete the chain of
; three instructions that are dead here. Ironically there were a dead basic ; three instructions that are dead here. Ironically there were a dead basic
; block in this function, it would work fine, but that would be the part we ; block in this function, it would work fine, but that would be the part we
; have to fix now, wouldn't it.... ; have to fix now, wouldn't it....
; ;
; RUN: opt < %s -adce -S | FileCheck %s ; RUN: opt < %s -passes=adce -S | FileCheck %s
define void @foo(i8* %reg5481) { define void @foo(i8* %reg5481) {
%cast611 = bitcast i8* %reg5481 to i8** ; <i8**> [#uses=1] %cast611 = bitcast i8* %reg5481 to i8** ; <i8**> [#uses=1]
%reg162 = load i8*, i8** %cast611 ; <i8*> [#uses=1] %reg162 = load i8*, i8** %cast611 ; <i8*> [#uses=1]
; CHECK-NOT: ptrtoint ; CHECK-NOT: ptrtoint
ptrtoint i8* %reg162 to i32 ; <i32>:1 [#uses=0] ptrtoint i8* %reg162 to i32 ; <i32>:1 [#uses=0]
ret void ret void
} }

llvm/test/Transforms/ADCE/2002-07-17-PHIAssertion.ll

; This testcase was extracted from the gzip SPEC benchmark ; This testcase was extracted from the gzip SPEC benchmark
; ;
; RUN: opt < %s -adce | FileCheck %s ; RUN: opt < %s -passes=adce | FileCheck %s
@bk = external global i32 ; <i32*> [#uses=2] @bk = external global i32 ; <i32*> [#uses=2]
@hufts = external global i32 ; <i32*> [#uses=1] @hufts = external global i32 ; <i32*> [#uses=1]
define i32 @inflate() { define i32 @inflate() {
bb0: bb0:
br label %bb2 br label %bb2
Show All 39 Lines

llvm/test/Transforms/ADCE/2002-07-29-Segfault.ll

; RUN: opt < %s -adce -disable-output ; RUN: opt < %s -passes=adce -disable-output
; RUN: opt < %s -adce -disable-output -adce-remove-loops ; RUN: opt < %s -passes=adce -disable-output -adce-remove-loops
define void @test() { define void @test() {
br label %BB3 br label %BB3
BB3: ; preds = %BB3, %0 BB3: ; preds = %BB3, %0
br label %BB3 br label %BB3
} }

llvm/test/Transforms/ADCE/2003-01-22-PredecessorProblem.ll

; Testcase reduced from 197.parser by bugpoint ; Testcase reduced from 197.parser by bugpoint
; RUN: opt < %s -adce ; RUN: opt < %s -passes=adce
; RUN: opt < %s -adce -adce-remove-loops -S | FileCheck %s ; RUN: opt < %s -passes=adce -adce-remove-loops -S | FileCheck %s
define void @conjunction_prune() { define void @conjunction_prune() {
; <label>:0 ; <label>:0
br label %bb19 br label %bb19
bb19: ; preds = %bb23, %bb22, %0 bb19: ; preds = %bb23, %bb22, %0
%reg205 = phi i8* [ null, %bb22 ], [ null, %bb23 ], [ null, %0 ] ; <i8*> [#uses=1] %reg205 = phi i8* [ null, %bb22 ], [ null, %bb23 ], [ null, %0 ] ; <i8*> [#uses=1]
; CHECK: br label %bb22 ; CHECK: br label %bb22
Show All 19 Lines

llvm/test/Transforms/ADCE/2003-04-25-PHIPostDominateProblem.ll

; THis testcase caused an assertion failure because a PHI node did not have ; THis testcase caused an assertion failure because a PHI node did not have
; entries for it's postdominator. But I think this can only happen when the ; entries for it's postdominator. But I think this can only happen when the
; PHI node is dead, so we just avoid patching up dead PHI nodes. ; PHI node is dead, so we just avoid patching up dead PHI nodes.
; RUN: opt < %s -adce -S | FileCheck %s ; RUN: opt < %s -passes=adce -S | FileCheck %s
; RUN: opt < %s -adce -adce-remove-loops -S | FileCheck %s ; RUN: opt < %s -passes=adce -adce-remove-loops -S | FileCheck %s
target datalayout = "e-p:32:32" target datalayout = "e-p:32:32"
define void @dead_test8() { define void @dead_test8() {
entry: entry:
br label %loopentry br label %loopentry
loopentry: ; preds = %endif, %entry loopentry: ; preds = %endif, %entry
Show All 23 Lines

llvm/test/Transforms/ADCE/2003-06-11-InvalidCFG.ll

; RUN: opt < %s -adce -disable-output ; RUN: opt < %s -passes=adce -disable-output
; RUN: opt < %s -adce -adce-remove-loops -disable-output ; RUN: opt < %s -passes=adce -adce-remove-loops -disable-output
@G = external global i32* ; <i32**> [#uses=1] @G = external global i32* ; <i32**> [#uses=1]
declare void @Fn(i32*) declare void @Fn(i32*)
define i32 @main(i32 %argc.1, i8** %argv.1) { define i32 @main(i32 %argc.1, i8** %argv.1) {
entry: entry:
br label %endif.42 br label %endif.42
Show All 19 Lines

llvm/test/Transforms/ADCE/2003-06-24-BadSuccessor.ll

; RUN: opt < %s -adce -disable-output ; RUN: opt < %s -passes=adce -disable-output
; RUN: opt < %s -adce -adce-remove-loops=true -disable-output ; RUN: opt < %s -passes=adce -adce-remove-loops=true -disable-output
target datalayout = "e-p:32:32" target datalayout = "e-p:32:32"
%struct..CppObjTypeDesc = type { i32, i16, i16 } %struct..CppObjTypeDesc = type { i32, i16, i16 }
%struct..TypeToken = type { i32, i16, i16 } %struct..TypeToken = type { i32, i16, i16 }
define i32 @C_ReFaxToDb() { define i32 @C_ReFaxToDb() {
entry: entry:
br i1 false, label %endif.0, label %then.0 br i1 false, label %endif.0, label %then.0
▲ Show 20 Lines • Show All 84 Lines • Show Last 20 Lines

llvm/test/Transforms/ADCE/2003-06-24-BasicFunctionality.ll

; RUN: opt < %s -adce -S | FileCheck %s ; RUN: opt < %s -passes=adce -S | FileCheck %s
; RUN: opt < %s -adce -adce-remove-loops -S | FileCheck %s ; RUN: opt < %s -passes=adce -adce-remove-loops -S | FileCheck %s
define void @dead_test8(i32* %data.1, i32 %idx.1) { define void @dead_test8(i32* %data.1, i32 %idx.1) {
entry: entry:
%tmp.1 = load i32, i32* %data.1 ; <i32> [#uses=2] %tmp.1 = load i32, i32* %data.1 ; <i32> [#uses=2]
%tmp.41 = icmp sgt i32 %tmp.1, 0 ; <i1> [#uses=1] %tmp.41 = icmp sgt i32 %tmp.1, 0 ; <i1> [#uses=1]
br i1 %tmp.41, label %no_exit.preheader, label %return br i1 %tmp.41, label %no_exit.preheader, label %return
no_exit.preheader: ; preds = %entry no_exit.preheader: ; preds = %entry
Show All 34 Lines

llvm/test/Transforms/ADCE/2003-09-10-UnwindInstFail.ll

; RUN: opt < %s -adce -disable-output ; RUN: opt < %s -passes=adce -disable-output
define void @test() personality i32 (...)* @__gxx_personality_v0 { define void @test() personality i32 (...)* @__gxx_personality_v0 {
br i1 false, label %then, label %endif br i1 false, label %then, label %endif
then: ; preds = %0 then: ; preds = %0
invoke void null( i8* null ) invoke void null( i8* null )
to label %invoke_cont unwind label %invoke_catch to label %invoke_cont unwind label %invoke_catch
Show All 13 Lines

llvm/test/Transforms/ADCE/2003-09-15-InfLoopCrash.ll

; RUN: opt < %s -adce -disable-output ; RUN: opt < %s -passes=adce -disable-output
; RUN: opt < %s -adce -adce-remove-loops -disable-output ; RUN: opt < %s -passes=adce -adce-remove-loops -disable-output
define i32 @main() { define i32 @main() {
br label %loop br label %loop
loop: ; preds = %loop, %0 loop: ; preds = %loop, %0
br label %loop br label %loop
} }

llvm/test/Transforms/ADCE/2004-05-04-UnreachableBlock.ll

; RUN: opt < %s -adce -disable-output ; RUN: opt < %s -passes=adce -disable-output
; RUN: opt < %s -adce -adce-remove-loops -disable-output ; RUN: opt < %s -passes=adce -adce-remove-loops -disable-output
define void @test() { define void @test() {
entry: entry:
br label %UnifiedReturnBlock br label %UnifiedReturnBlock
UnifiedReturnBlock: ; preds = %invoke_catch.0, %entry UnifiedReturnBlock: ; preds = %invoke_catch.0, %entry
ret void ret void
invoke_catch.0: ; No predecessors! invoke_catch.0: ; No predecessors!
br i1 false, label %UnifiedUnwindBlock, label %UnifiedReturnBlock br i1 false, label %UnifiedUnwindBlock, label %UnifiedReturnBlock
UnifiedUnwindBlock: ; preds = %invoke_catch.0 UnifiedUnwindBlock: ; preds = %invoke_catch.0
unreachable unreachable
} }

llvm/test/Transforms/ADCE/2005-02-17-PHI-Invoke-Crash.ll

; RUN: opt < %s -adce -disable-output ; RUN: opt < %s -passes=adce -disable-output
declare void @strlen() declare void @strlen()
declare void @_ZN10QByteArray6resizeEi() declare void @_ZN10QByteArray6resizeEi()
declare void @q_atomic_decrement() declare void @q_atomic_decrement()
define void @_ZNK10QByteArray13leftJustifiedEicb() personality i32 (...)* @__gxx_personality_v0 { define void @_ZNK10QByteArray13leftJustifiedEicb() personality i32 (...)* @__gxx_personality_v0 {
▲ Show 20 Lines • Show All 43 Lines • Show Last 20 Lines

llvm/test/Transforms/ADCE/2017-08-21-DomTree-deletions.ll

; RUN: opt < %s -adce | llvm-dis ; RUN: opt < %s -passes=adce | llvm-dis
; RUN: opt < %s -adce -verify-dom-info | llvm-dis ; RUN: opt < %s -passes=adce -verify-dom-info | llvm-dis
define void @foo() { define void @foo() {
entry: entry:
br label %switch br label %switch
switch: ; preds = %entry switch: ; preds = %entry
switch i32 undef, label %default [ switch i32 undef, label %default [
i32 2, label %two i32 2, label %two
i32 5, label %five i32 5, label %five
Show All 14 Lines

llvm/test/Transforms/ADCE/adce-salvage-dbg-value.ll

;; Check that adce salvages debug info properly. ;; Check that adce salvages debug info properly.
; RUN: opt -adce -S < %s | FileCheck %s ; RUN: opt -passes=adce -S < %s | FileCheck %s
; ModuleID = 'test.ll' ; ModuleID = 'test.ll'
source_filename = "test.ll" source_filename = "test.ll"
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
declare void @may_not_return(i32) #0 declare void @may_not_return(i32) #0
; Function Attrs: nounwind readnone willreturn ; Function Attrs: nounwind readnone willreturn
▲ Show 20 Lines • Show All 45 Lines • Show Last 20 Lines

llvm/test/Transforms/ADCE/basictest1.ll

; RUN: opt < %s -adce -S | FileCheck %s ; RUN: opt < %s -passes=adce -S | FileCheck %s
; RUN: opt < %s -adce -adce-remove-loops -S | FileCheck %s ; RUN: opt < %s -passes=adce -adce-remove-loops -S | FileCheck %s
%FILE = type { i32, i8*, i8*, i8, i8, i32, i32, i32 } %FILE = type { i32, i8*, i8*, i8, i8, i32, i32, i32 }
%spec_fd_t = type { i32, i32, i32, i8* } %spec_fd_t = type { i32, i32, i32, i8* }
@__iob = external global [20 x %FILE] ; <[20 x %FILE]*> [#uses=1] @__iob = external global [20 x %FILE] ; <[20 x %FILE]*> [#uses=1]
@dbglvl = global i32 4 ; <i32*> [#uses=3] @dbglvl = global i32 4 ; <i32*> [#uses=3]
@spec_fd = external global [3 x %spec_fd_t] ; <[3 x %spec_fd_t]*> [#uses=4] @spec_fd = external global [3 x %spec_fd_t] ; <[3 x %spec_fd_t]*> [#uses=4]
@.LC9 = internal global [34 x i8] c"spec_read: fd=%d, > MAX_SPEC_FD!\0A\00" ; <[34 x i8]*> [#uses=1] @.LC9 = internal global [34 x i8] c"spec_read: fd=%d, > MAX_SPEC_FD!\0A\00" ; <[34 x i8]*> [#uses=1]
@.LC10 = internal global [4 x i8] c"EOF\00" ; <[4 x i8]*> [#uses=1] @.LC10 = internal global [4 x i8] c"EOF\00" ; <[4 x i8]*> [#uses=1]
▲ Show 20 Lines • Show All 92 Lines • Show Last 20 Lines

llvm/test/Transforms/ADCE/basictest2.ll

; RUN: opt < %s -adce -disable-output ; RUN: opt < %s -passes=adce -disable-output
; RUN: opt < %s -adce -adce-remove-loops -S | FileCheck %s ; RUN: opt < %s -passes=adce -adce-remove-loops -S | FileCheck %s
%FILE = type { i32, i8*, i8*, i8, i8, i32, i32, i32 } %FILE = type { i32, i8*, i8*, i8, i8, i32, i32, i32 }
%spec_fd_t = type { i32, i32, i32, i8* } %spec_fd_t = type { i32, i32, i32, i8* }
@__iob = external global [20 x %FILE] ; <[20 x %FILE]*> [#uses=1] @__iob = external global [20 x %FILE] ; <[20 x %FILE]*> [#uses=1]
@dbglvl = global i32 4 ; <i32*> [#uses=3] @dbglvl = global i32 4 ; <i32*> [#uses=3]
@spec_fd = external global [3 x %spec_fd_t] ; <[3 x %spec_fd_t]*> [#uses=4] @spec_fd = external global [3 x %spec_fd_t] ; <[3 x %spec_fd_t]*> [#uses=4]
@.LC9 = internal global [34 x i8] c"spec_read: fd=%d, > MAX_SPEC_FD!\0A\00" ; <[34 x i8]*> [#uses=1] @.LC9 = internal global [34 x i8] c"spec_read: fd=%d, > MAX_SPEC_FD!\0A\00" ; <[34 x i8]*> [#uses=1]
@.LC10 = internal global [4 x i8] c"EOF\00" ; <[4 x i8]*> [#uses=1] @.LC10 = internal global [4 x i8] c"EOF\00" ; <[4 x i8]*> [#uses=1]
▲ Show 20 Lines • Show All 92 Lines • Show Last 20 Lines

llvm/test/Transforms/ADCE/blocks-with-dead-term-nondeterministic.ll

; RUN: opt < %s -adce --preserve-ll-uselistorder -S | FileCheck %s ; RUN: opt < %s -passes=adce --preserve-ll-uselistorder -S | FileCheck %s
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.10.0" target triple = "x86_64-apple-macosx10.10.0"
; CHECK: uselistorder label %bb16, { 1, 0 } ; CHECK: uselistorder label %bb16, { 1, 0 }
; Function Attrs: noinline nounwind ssp uwtable ; Function Attrs: noinline nounwind ssp uwtable
define void @ham() local_unnamed_addr #0 { define void @ham() local_unnamed_addr #0 {
bb: bb:
▲ Show 20 Lines • Show All 62 Lines • Show Last 20 Lines

llvm/test/Transforms/ADCE/broken-loop-info.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -licm -adce -licm -S < %s | FileCheck %s
; RUN: opt -passes='loop-mssa(licm),adce,loop-mssa(licm)' -S < %s | FileCheck %s ; RUN: opt -passes='loop-mssa(licm),adce,loop-mssa(licm)' -S < %s | FileCheck %s
; ;
target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128-ni:1-p2:32:8:8:32-ni:2" target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128-ni:1-p2:32:8:8:32-ni:2"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
define void @test() { define void @test() {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
Show All 27 Lines

llvm/test/Transforms/ADCE/dce_pure_call.ll

; RUN: opt -adce -S < %s | not grep call ; RUN: opt -passes=adce -S < %s | not grep call
declare i32 @strlen(i8*) readonly nounwind willreturn declare i32 @strlen(i8*) readonly nounwind willreturn
define void @test() { define void @test() {
call i32 @strlen( i8* null ) ; <i32>:1 [#uses=0] call i32 @strlen( i8* null ) ; <i32>:1 [#uses=0]
ret void ret void
} }

llvm/test/Transforms/ADCE/dce_pure_invoke.ll

; RUN: opt < %s -adce -S | grep null ; RUN: opt < %s -passes=adce -S | grep null
declare i32 @strlen(i8*) readnone declare i32 @strlen(i8*) readnone
define i32 @test() personality i32 (...)* @__gxx_personality_v0 { define i32 @test() personality i32 (...)* @__gxx_personality_v0 {
; invoke of pure function should not be deleted! ; invoke of pure function should not be deleted!
invoke i32 @strlen( i8* null ) readnone invoke i32 @strlen( i8* null ) readnone
to label %Cont unwind label %Other ; <i32>:1 [#uses=0] to label %Cont unwind label %Other ; <i32>:1 [#uses=0]
Show All 10 Lines

llvm/test/Transforms/ADCE/debug-info-intrinsic.ll

; RUN: opt -adce -S < %s | FileCheck %s ; RUN: opt -passes=adce -S < %s | FileCheck %s
; Test that debug info intrinsics in dead scopes get eliminated by -adce. ; Test that debug info intrinsics in dead scopes get eliminated by -adce.
; Generated with 'clang -g -S -emit-llvm | opt -mem2reg -inline' at r262899 ; Generated with 'clang -g -S -emit-llvm | opt -mem2reg -inline' at r262899
; (before -adce was augmented) and then hand-reduced. This was the input: ; (before -adce was augmented) and then hand-reduced. This was the input:
; ;
;;void sink(void); ;;void sink(void);
;; ;;
;;void variable_in_unused_subscope(void) { ;;void variable_in_unused_subscope(void) {
▲ Show 20 Lines • Show All 91 Lines • Show Last 20 Lines

llvm/test/Transforms/ADCE/delete-profiling-calls-to-constant.ll

; RUN: opt < %s -adce -S | FileCheck %s
; RUN: opt < %s -passes=adce -S | FileCheck %s ; RUN: opt < %s -passes=adce -S | FileCheck %s
; Verify that a call to instrument a constant is deleted. ; Verify that a call to instrument a constant is deleted.
@__profc_foo = private global [1 x i64] zeroinitializer, section "__llvm_prf_cnts", align 8 @__profc_foo = private global [1 x i64] zeroinitializer, section "__llvm_prf_cnts", align 8
@__profd_foo = private global { i64, i64, i64*, i8*, i8*, i32, [1 x i16] } { i64 6699318081062747564, i64 0, i64* getelementptr inbounds ([1 x i64], [1 x i64]* @__profc_foo, i32 0, i32 0), i8* bitcast (i32 ()* @foo to i8*), i8* null, i32 1, [1 x i16] [i16 1] }, section "__llvm_prf_data", align 8 @__profd_foo = private global { i64, i64, i64*, i8*, i8*, i32, [1 x i16] } { i64 6699318081062747564, i64 0, i64* getelementptr inbounds ([1 x i64], [1 x i64]* @__profc_foo, i32 0, i32 0), i8* bitcast (i32 ()* @foo to i8*), i8* null, i32 1, [1 x i16] [i16 1] }, section "__llvm_prf_data", align 8
define i32 @foo() { define i32 @foo() {
Show All 10 Lines

llvm/test/Transforms/ADCE/unreachable-function.ll

; RUN: opt < %s -adce -disable-output ; RUN: opt < %s -passes=adce -disable-output
define void @test() { define void @test() {
unreachable unreachable
} }

llvm/test/Transforms/ADCE/willreturn.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -adce -S < %s | FileCheck %s ; RUN: opt -passes=adce -S < %s | FileCheck %s
declare void @may_not_return(i32) nounwind readnone declare void @may_not_return(i32) nounwind readnone
declare void @will_return(i32) nounwind readnone willreturn declare void @will_return(i32) nounwind readnone willreturn
define void @test(i32 %a) { define void @test(i32 %a) {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
; CHECK-NEXT: [[B:%.*]] = add i32 [[A:%.*]], 1 ; CHECK-NEXT: [[B:%.*]] = add i32 [[A:%.*]], 1
; CHECK-NEXT: call void @may_not_return(i32 [[B]]) ; CHECK-NEXT: call void @may_not_return(i32 [[B]])
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
; ;
%b = add i32 %a, 1 %b = add i32 %a, 1
call void @may_not_return(i32 %b) call void @may_not_return(i32 %b)
%c = add i32 %b, 1 %c = add i32 %b, 1
call void @will_return(i32 %c) call void @will_return(i32 %c)
ret void ret void
} }

llvm/test/Transforms/AddDiscriminators/basic.ll

; RUN: opt < %s -add-discriminators -S | FileCheck %s
; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s ; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s
; Basic DWARF discriminator test. All the instructions in block ; Basic DWARF discriminator test. All the instructions in block
; 'if.then' should have a different discriminator value than ; 'if.then' should have a different discriminator value than
; the conditional branch at the end of block 'entry'. ; the conditional branch at the end of block 'entry'.
; ;
; Original code: ; Original code:
; ;
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

llvm/test/Transforms/AddDiscriminators/call-nested.ll

; RUN: opt < %s -add-discriminators -S | FileCheck %s
; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s ; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s
; Discriminator support for calls that are defined in one line: ; Discriminator support for calls that are defined in one line:
; #1 int foo(int, int); ; #1 int foo(int, int);
; #2 int bar(); ; #2 int bar();
; #3 int baz() { ; #3 int baz() {
; #4 return foo(bar(), ; #4 return foo(bar(),
; #5 bar()); ; #5 bar());
▲ Show 20 Lines • Show All 41 Lines • Show Last 20 Lines

llvm/test/Transforms/AddDiscriminators/call.ll

; RUN: opt < %s -add-discriminators -S | FileCheck %s
; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s ; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s
; Discriminator support for calls that are defined in one line: ; Discriminator support for calls that are defined in one line:
; #1 void bar(); ; #1 void bar();
; #2 ; #2
; #3 void foo() { ; #3 void foo() {
; #4 bar();bar()/*discriminator 2*/;bar()/*discriminator 4*/; ; #4 bar();bar()/*discriminator 2*/;bar()/*discriminator 4*/;
; #5 } ; #5 }
▲ Show 20 Lines • Show All 45 Lines • Show Last 20 Lines

llvm/test/Transforms/AddDiscriminators/dbg-declare-discriminator.ll

; RUN: opt -S -add-discriminators < %s | FileCheck %s
; RUN: opt -S -passes=add-discriminators < %s | FileCheck %s ; RUN: opt -S -passes=add-discriminators < %s | FileCheck %s
declare void @llvm.dbg.declare(metadata, metadata, metadata) declare void @llvm.dbg.declare(metadata, metadata, metadata)
; This checks whether the add-discriminators pass producess valid metadata on ; This checks whether the add-discriminators pass producess valid metadata on
; llvm.dbg.declare instructions ; llvm.dbg.declare instructions
; ;
; CHECK-LABEL: @test_valid_metadata ; CHECK-LABEL: @test_valid_metadata
Show All 24 Lines

llvm/test/Transforms/AddDiscriminators/diamond.ll

; RUN: opt < %s -add-discriminators -S | FileCheck %s
; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s ; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s
; Discriminator support for diamond-shaped CFG.: ; Discriminator support for diamond-shaped CFG.:
; #1 void bar(int); ; #1 void bar(int);
; #2 ; #2
; #3 void foo(int i) { ; #3 void foo(int i) {
; #4 if (i > 10) ; #4 if (i > 10)
; #5 bar(5); else bar(3); ; #5 bar(5); else bar(3);
▲ Show 20 Lines • Show All 63 Lines • Show Last 20 Lines

llvm/test/Transforms/AddDiscriminators/first-only.ll

; RUN: opt < %s -add-discriminators -S | FileCheck %s
; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s ; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s
; Test that the only instructions that receive a new discriminator in ; Test that the only instructions that receive a new discriminator in
; the block 'if.then' are those that share the same line number as ; the block 'if.then' are those that share the same line number as
; the branch in 'entry'. ; the branch in 'entry'.
; ;
; Original code: ; Original code:
; ;
▲ Show 20 Lines • Show All 74 Lines • Show Last 20 Lines

llvm/test/Transforms/AddDiscriminators/inlined.ll

; RUN: opt < %s -add-discriminators -S | FileCheck %s ; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s
; ;
; Generated at -O3 from: ; Generated at -O3 from:
; g();f(){for(;;){g();}}g(){__builtin___memset_chk(0,0,0,__builtin_object_size(1,0));} ; g();f(){for(;;){g();}}g(){__builtin___memset_chk(0,0,0,__builtin_object_size(1,0));}
; The fact that everything is on one line is significant! ; The fact that everything is on one line is significant!
; ;
; This test ensures that inline info isn't dropped even if the call site and the ; This test ensures that inline info isn't dropped even if the call site and the
; inlined function are defined on the same line. ; inlined function are defined on the same line.
source_filename = "t.c" source_filename = "t.c"
▲ Show 20 Lines • Show All 74 Lines • Show Last 20 Lines

llvm/test/Transforms/AddDiscriminators/invoke.ll

; RUN: opt < %s -add-discriminators -S | FileCheck %s ; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s
; ModuleID = 'invoke.bc' ; ModuleID = 'invoke.bc'
source_filename = "invoke.cpp" source_filename = "invoke.cpp"
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.14.0" target triple = "x86_64-apple-macosx10.14.0"
; Function Attrs: ssp uwtable ; Function Attrs: ssp uwtable
define void @_Z3foov() #0 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) !dbg !8 { define void @_Z3foov() #0 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) !dbg !8 {
entry: entry:
▲ Show 20 Lines • Show All 125 Lines • Show Last 20 Lines

llvm/test/Transforms/AddDiscriminators/memcpy-discriminator.ll

; RUN: opt < %s -add-discriminators -sroa -S | FileCheck %s ; RUN: opt < %s -passes=add-discriminators,sroa -S | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
; Test case obtained from the following C code: ; Test case obtained from the following C code:
; struct A { ; struct A {
; int field1; ; int field1;
; short field2; ; short field2;
▲ Show 20 Lines • Show All 95 Lines • Show Last 20 Lines

llvm/test/Transforms/AddDiscriminators/multiple.ll

; RUN: opt < %s -add-discriminators -S | FileCheck %s
; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s ; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s
; Discriminator support for multiple CFG paths on the same line. ; Discriminator support for multiple CFG paths on the same line.
; ;
; void foo(int i) { ; void foo(int i) {
; int x; ; int x;
; if (i < 10) x = i; else x = -i; ; if (i < 10) x = i; else x = -i;
; } ; }
▲ Show 20 Lines • Show All 63 Lines • Show Last 20 Lines

llvm/test/Transforms/AddDiscriminators/no-discriminators.ll

; RUN: opt < %s -add-discriminators -S | FileCheck %s
; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s ; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s
; We should not generate discriminators for DWARF versions prior to 4. ; We should not generate discriminators for DWARF versions prior to 4.
; ;
; Original code: ; Original code:
; ;
; int foo(long i) { ; int foo(long i) {
; if (i < 5) return 2; else return 90; ; if (i < 5) return 2; else return 90;
▲ Show 20 Lines • Show All 67 Lines • Show Last 20 Lines

llvm/test/Transforms/AddDiscriminators/oneline.ll

; RUN: opt < %s -add-discriminators -S | FileCheck %s
; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s ; RUN: opt < %s -passes=add-discriminators -S | FileCheck %s
; Discriminator support for code that is written in one line: ; Discriminator support for code that is written in one line:
; #1 int foo(int i) { ; #1 int foo(int i) {
; #2 if (i == 3 || i == 5) return 100; else return 99; ; #2 if (i == 3 || i == 5) return 100; else return 99;
; #3 } ; #3 }
; i == 3: discriminator 0 ; i == 3: discriminator 0
▲ Show 20 Lines • Show All 92 Lines • Show Last 20 Lines

llvm/test/Transforms/AggressiveInstCombine/funnel.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -aggressive-instcombine -S | FileCheck %s ; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s
define i32 @fshl(i32 %a, i32 %b, i32 %c) { define i32 @fshl(i32 %a, i32 %b, i32 %c) {
; CHECK-LABEL: @fshl( ; CHECK-LABEL: @fshl(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[C:%.*]], 0 ; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[C:%.*]], 0
; CHECK-NEXT: br i1 [[CMP]], label [[END:%.*]], label [[FSHBB:%.*]] ; CHECK-NEXT: br i1 [[CMP]], label [[END:%.*]], label [[FSHBB:%.*]]
; CHECK: fshbb: ; CHECK: fshbb:
; CHECK-NEXT: br label [[END]] ; CHECK-NEXT: br label [[END]]
▲ Show 20 Lines • Show All 510 Lines • Show Last 20 Lines

llvm/test/Transforms/AggressiveInstCombine/masked-cmp.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -aggressive-instcombine -S | FileCheck %s ; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s
; PR37098 - https://bugs.llvm.org/show_bug.cgi?id=37098 ; PR37098 - https://bugs.llvm.org/show_bug.cgi?id=37098
define i32 @anyset_two_bit_mask(i32 %x) { define i32 @anyset_two_bit_mask(i32 %x) {
; CHECK-LABEL: @anyset_two_bit_mask( ; CHECK-LABEL: @anyset_two_bit_mask(
; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X:%.*]], 9 ; CHECK-NEXT: [[TMP1:%.*]] = and i32 [[X:%.*]], 9
; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i32 [[TMP1]], 0 ; CHECK-NEXT: [[TMP2:%.*]] = icmp ne i32 [[TMP1]], 0
; CHECK-NEXT: [[TMP3:%.*]] = zext i1 [[TMP2]] to i32 ; CHECK-NEXT: [[TMP3:%.*]] = zext i1 [[TMP2]] to i32
▲ Show 20 Lines • Show All 284 Lines • Show Last 20 Lines

llvm/test/Transforms/AggressiveInstCombine/popcount.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -aggressive-instcombine -S | FileCheck %s ; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s
;int popcount8(unsigned char i) { ;int popcount8(unsigned char i) {
; i = i - ((i >> 1) & 0x55); ; i = i - ((i >> 1) & 0x55);
; i = (i & 0x33) + ((i >> 2) & 0x33); ; i = (i & 0x33) + ((i >> 2) & 0x33);
; i = ((i + (i >> 4)) & 0x0F); ; i = ((i + (i >> 4)) & 0x0F);
; return (i * 0x01010101); ; return (i * 0x01010101);
;} ;}
define signext i32 @popcount8(i8 zeroext %0) { define signext i32 @popcount8(i8 zeroext %0) {
▲ Show 20 Lines • Show All 183 Lines • Show Last 20 Lines

llvm/test/Transforms/AggressiveInstCombine/pr50555.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -aggressive-instcombine -S | FileCheck %s ; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s
define void @trunc_one_add(i16* %a, i8 %b) { define void @trunc_one_add(i16* %a, i8 %b) {
; CHECK-LABEL: @trunc_one_add( ; CHECK-LABEL: @trunc_one_add(
; CHECK-NEXT: [[ZEXT:%.*]] = zext i8 [[B:%.*]] to i16 ; CHECK-NEXT: [[ZEXT:%.*]] = zext i8 [[B:%.*]] to i16
; CHECK-NEXT: [[SHR:%.*]] = lshr i16 [[ZEXT]], 1 ; CHECK-NEXT: [[SHR:%.*]] = lshr i16 [[ZEXT]], 1
; CHECK-NEXT: [[ADD:%.*]] = add i16 [[ZEXT]], [[SHR]] ; CHECK-NEXT: [[ADD:%.*]] = add i16 [[ZEXT]], [[SHR]]
; CHECK-NEXT: store i16 [[ADD]], i16* [[A:%.*]], align 2 ; CHECK-NEXT: store i16 [[ADD]], i16* [[A:%.*]], align 2
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
Show All 30 Lines

llvm/test/Transforms/AggressiveInstCombine/rotate.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -aggressive-instcombine -S | FileCheck %s ; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s
; https://bugs.llvm.org/show_bug.cgi?id=34924 ; https://bugs.llvm.org/show_bug.cgi?id=34924
define i32 @rotl(i32 %a, i32 %b) { define i32 @rotl(i32 %a, i32 %b) {
; CHECK-LABEL: @rotl( ; CHECK-LABEL: @rotl(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[B:%.*]], 0 ; CHECK-NEXT: [[CMP:%.*]] = icmp eq i32 [[B:%.*]], 0
; CHECK-NEXT: br i1 [[CMP]], label [[END:%.*]], label [[ROTBB:%.*]] ; CHECK-NEXT: br i1 [[CMP]], label [[END:%.*]], label [[ROTBB:%.*]]
▲ Show 20 Lines • Show All 463 Lines • Show Last 20 Lines

llvm/test/Transforms/AggressiveInstCombine/trunc_ashr.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -aggressive-instcombine -S | FileCheck %s ; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s
; Negative test - could be folded if preceding InstCombine ; Negative test - could be folded if preceding InstCombine
; transforms `ashr` to `lshr` ; transforms `ashr` to `lshr`
define i16 @ashr_15_zext(i16 %x) { define i16 @ashr_15_zext(i16 %x) {
; CHECK-LABEL: @ashr_15_zext( ; CHECK-LABEL: @ashr_15_zext(
; CHECK-NEXT: [[ZEXT:%.*]] = zext i16 [[X:%.*]] to i32 ; CHECK-NEXT: [[ZEXT:%.*]] = zext i16 [[X:%.*]] to i32
; CHECK-NEXT: [[ASHR:%.*]] = ashr i32 [[ZEXT]], 15 ; CHECK-NEXT: [[ASHR:%.*]] = ashr i32 [[ZEXT]], 15
▲ Show 20 Lines • Show All 242 Lines • Show Last 20 Lines

llvm/test/Transforms/AggressiveInstCombine/trunc_const_expr.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -aggressive-instcombine -S | FileCheck %s
; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s ; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
; Aggressive Instcombine should be able to reduce width of these constant ; Aggressive Instcombine should be able to reduce width of these constant
; expressions, without crashing. ; expressions, without crashing.
declare i32 @use32(i32) declare i32 @use32(i32)
declare <2 x i32> @use32_vec(<2 x i32>) declare <2 x i32> @use32_vec(<2 x i32>)
▲ Show 20 Lines • Show All 133 Lines • Show Last 20 Lines

llvm/test/Transforms/AggressiveInstCombine/trunc_lshr.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -aggressive-instcombine -S | FileCheck %s ; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s
define i16 @lshr_15(i16 %x) { define i16 @lshr_15(i16 %x) {
; CHECK-LABEL: @lshr_15( ; CHECK-LABEL: @lshr_15(
; CHECK-NEXT: [[LSHR:%.*]] = lshr i16 [[X:%.*]], 15 ; CHECK-NEXT: [[LSHR:%.*]] = lshr i16 [[X:%.*]], 15
; CHECK-NEXT: ret i16 [[LSHR]] ; CHECK-NEXT: ret i16 [[LSHR]]
; ;
%zext = zext i16 %x to i32 %zext = zext i16 %x to i32
%lshr = lshr i32 %zext, 15 %lshr = lshr i32 %zext, 15
▲ Show 20 Lines • Show All 223 Lines • Show Last 20 Lines

llvm/test/Transforms/AggressiveInstCombine/trunc_multi_uses.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -aggressive-instcombine -S | FileCheck %s
; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s ; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
; Aggressive Instcombine should be able to reduce width of these expressions. ; Aggressive Instcombine should be able to reduce width of these expressions.
declare i32 @use32(i32) declare i32 @use32(i32)
declare i32 @use64(i64) declare i32 @use64(i64)
declare <2 x i32> @use32_vec(<2 x i32>) declare <2 x i32> @use32_vec(<2 x i32>)
▲ Show 20 Lines • Show All 260 Lines • Show Last 20 Lines

llvm/test/Transforms/AggressiveInstCombine/trunc_select.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -aggressive-instcombine -S | FileCheck %s
; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s ; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s
target datalayout = "e-m:m-p1:64:64:64-p:32:32:32-n8:16:32" target datalayout = "e-m:m-p1:64:64:64-p:32:32:32-n8:16:32"
define dso_local i16 @select_i16(i16 %a, i16 %b, i1 %cond) { define dso_local i16 @select_i16(i16 %a, i16 %b, i1 %cond) {
; CHECK-LABEL: @select_i16( ; CHECK-LABEL: @select_i16(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[SEL:%.*]] = select i1 [[COND:%.*]], i16 [[A:%.*]], i16 [[B:%.*]] ; CHECK-NEXT: [[SEL:%.*]] = select i1 [[COND:%.*]], i16 [[A:%.*]], i16 [[B:%.*]]
▲ Show 20 Lines • Show All 127 Lines • Show Last 20 Lines

llvm/test/Transforms/AggressiveInstCombine/trunc_select_cmp.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -aggressive-instcombine -S | FileCheck %s
; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s ; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s
define dso_local i16 @cmp_select_sext_const(i8 %a) { define dso_local i16 @cmp_select_sext_const(i8 %a) {
; CHECK-LABEL: @cmp_select_sext_const( ; CHECK-LABEL: @cmp_select_sext_const(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[CONV:%.*]] = sext i8 [[A:%.*]] to i32 ; CHECK-NEXT: [[CONV:%.*]] = sext i8 [[A:%.*]] to i32
; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[CONV]], 109 ; CHECK-NEXT: [[CMP:%.*]] = icmp slt i32 [[CONV]], 109
; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 109, i32 [[CONV]] ; CHECK-NEXT: [[COND:%.*]] = select i1 [[CMP]], i32 109, i32 [[CONV]]
▲ Show 20 Lines • Show All 202 Lines • Show Last 20 Lines

llvm/test/Transforms/AggressiveInstCombine/trunc_shl.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -aggressive-instcombine -S | FileCheck %s ; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s
define i16 @shl_1(i8 %x) { define i16 @shl_1(i8 %x) {
; CHECK-LABEL: @shl_1( ; CHECK-LABEL: @shl_1(
; CHECK-NEXT: [[ZEXT:%.*]] = zext i8 [[X:%.*]] to i16 ; CHECK-NEXT: [[ZEXT:%.*]] = zext i8 [[X:%.*]] to i16
; CHECK-NEXT: [[SHL:%.*]] = shl i16 [[ZEXT]], 1 ; CHECK-NEXT: [[SHL:%.*]] = shl i16 [[ZEXT]], 1
; CHECK-NEXT: ret i16 [[SHL]] ; CHECK-NEXT: ret i16 [[SHL]]
; ;
%zext = zext i8 %x to i32 %zext = zext i8 %x to i32
▲ Show 20 Lines • Show All 149 Lines • Show Last 20 Lines

llvm/test/Transforms/AggressiveInstCombine/trunc_unreachable_bb.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -aggressive-instcombine -S | FileCheck %s
; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s ; RUN: opt < %s -passes=aggressive-instcombine -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
; Aggressive Instcombine should be able ignore unreachable basic block. ; Aggressive Instcombine should be able ignore unreachable basic block.
define void @func_20() { define void @func_20() {
; CHECK-LABEL: @func_20( ; CHECK-LABEL: @func_20(
; CHECK-NEXT: for.body94: ; CHECK-NEXT: for.body94:
Show All 38 Lines

llvm/test/Transforms/AlignmentFromAssumptions/amdgpu-crash.ll

; Test that we don't crash. ; Test that we don't crash.
; RUN: opt < %s -alignment-from-assumptions -S
; RUN: opt < %s -passes=alignment-from-assumptions -S ; RUN: opt < %s -passes=alignment-from-assumptions -S
target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5-ni:7" target datalayout = "e-p:64:64-p1:64:64-p2:32:32-p3:32:32-p4:64:64-p5:32:32-p6:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64-S32-A5-ni:7"
%"core::str::CharIndices.29.66.90.114.138.149.165.173.181.197.205.213.229.387.398" = type { [0 x i64], i64, [0 x i64], { i8*, i8* }, [0 x i64] } %"core::str::CharIndices.29.66.90.114.138.149.165.173.181.197.205.213.229.387.398" = type { [0 x i64], i64, [0 x i64], { i8*, i8* }, [0 x i64] }
%"unwind::libunwind::_Unwind_Exception.9.51.75.99.123.147.163.171.179.195.203.211.227.385.396" = type { [0 x i64], i64, [0 x i64], void (i32, %"unwind::libunwind::_Unwind_Exception.9.51.75.99.123.147.163.171.179.195.203.211.227.385.396"*)*, [0 x i64], [6 x i64], [0 x i64] } %"unwind::libunwind::_Unwind_Exception.9.51.75.99.123.147.163.171.179.195.203.211.227.385.396" = type { [0 x i64], i64, [0 x i64], void (i32, %"unwind::libunwind::_Unwind_Exception.9.51.75.99.123.147.163.171.179.195.203.211.227.385.396"*)*, [0 x i64], [6 x i64], [0 x i64] }
%"unwind::libunwind::_Unwind_Context.10.52.76.100.124.148.164.172.180.196.204.212.228.386.397" = type { [0 x i8] } %"unwind::libunwind::_Unwind_Context.10.52.76.100.124.148.164.172.180.196.204.212.228.386.397" = type { [0 x i8] }
Show All 23 Lines

llvm/test/Transforms/AlignmentFromAssumptions/simple.ll

target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"
; RUN: opt < %s -alignment-from-assumptions -S | FileCheck %s
; RUN: opt < %s -passes=alignment-from-assumptions -S | FileCheck %s ; RUN: opt < %s -passes=alignment-from-assumptions -S | FileCheck %s
define i32 @foo(i32* nocapture %a) nounwind uwtable readonly { define i32 @foo(i32* nocapture %a) nounwind uwtable readonly {
entry: entry:
tail call void @llvm.assume(i1 true) ["align"(i32* %a, i32 32)] tail call void @llvm.assume(i1 true) ["align"(i32* %a, i32 32)]
%0 = load i32, i32* %a, align 4 %0 = load i32, i32* %a, align 4
ret i32 %0 ret i32 %0
▲ Show 20 Lines • Show All 262 Lines • Show Last 20 Lines

llvm/test/Transforms/AlignmentFromAssumptions/simple32.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64" target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-n32-S64"
; RUN: opt < %s -alignment-from-assumptions -S | FileCheck %s
; RUN: opt < %s -passes=alignment-from-assumptions -S | FileCheck %s ; RUN: opt < %s -passes=alignment-from-assumptions -S | FileCheck %s
define i32 @foo(i32* nocapture %a) nounwind uwtable readonly { define i32 @foo(i32* nocapture %a) nounwind uwtable readonly {
; CHECK-LABEL: define {{[^@]+}}@foo ; CHECK-LABEL: define {{[^@]+}}@foo
; CHECK-SAME: (i32* nocapture [[A:%.*]]) #0 ; CHECK-SAME: (i32* nocapture [[A:%.*]]) #0
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(i32* [[A]], i64 32) ] ; CHECK-NEXT: call void @llvm.assume(i1 true) [ "align"(i32* [[A]], i64 32) ]
; CHECK-NEXT: [[TMP0:%.*]] = load i32, i32* [[A]], align 32 ; CHECK-NEXT: [[TMP0:%.*]] = load i32, i32* [[A]], align 32
▲ Show 20 Lines • Show All 283 Lines • Show Last 20 Lines

llvm/test/Transforms/AlignmentFromAssumptions/start-unk.ll

; RUN: opt -alignment-from-assumptions -S < %s | FileCheck %s
; RUN: opt -passes=alignment-from-assumptions -S < %s | FileCheck %s ; RUN: opt -passes=alignment-from-assumptions -S < %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
%type1 = type { %type2 } %type1 = type { %type2 }
%type2 = type { [4 x i8] } %type2 = type { [4 x i8] }
; Function Attrs: nounwind ; Function Attrs: nounwind
▲ Show 20 Lines • Show All 146 Lines • Show Last 20 Lines

llvm/test/Transforms/ArgumentPromotion/2008-02-01-ReturnAttrs.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
define internal i32 @deref(i32* %x) nounwind { define internal i32 @deref(i32* %x) nounwind {
; CHECK-LABEL: define {{[^@]+}}@deref ; CHECK-LABEL: define {{[^@]+}}@deref
; CHECK-SAME: (i32 [[X_VAL:%.*]]) ; CHECK-SAME: (i32 [[X_VAL:%.*]])
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: ret i32 [[X_VAL]] ; CHECK-NEXT: ret i32 [[X_VAL]]
; ;
entry: entry:
Show All 20 Lines

llvm/test/Transforms/ArgumentPromotion/2008-07-02-array-indexing.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
; PR2498 ; PR2498
; This test tries to convince CHECK about promoting the load from %A + 2, ; This test tries to convince CHECK about promoting the load from %A + 2,
; because there is a load of %A in the entry block ; because there is a load of %A in the entry block
define internal i32 @callee(i1 %C, i32* %A) { define internal i32 @callee(i1 %C, i32* %A) {
; CHECK-LABEL: define {{[^@]+}}@callee ; CHECK-LABEL: define {{[^@]+}}@callee
; CHECK-SAME: (i1 [[C:%.*]], i32* [[A:%.*]]) ; CHECK-SAME: (i1 [[C:%.*]], i32* [[A:%.*]])
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
Show All 33 Lines

llvm/test/Transforms/ArgumentPromotion/2008-09-08-CGUpdateSelfEdge.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -disable-output ; RUN: opt < %s -passes=argpromotion -disable-output
define internal fastcc i32 @term_SharingList(i32* %Term, i32* %List) nounwind { define internal fastcc i32 @term_SharingList(i32* %Term, i32* %List) nounwind {
entry: entry:
br i1 false, label %bb, label %bb5 br i1 false, label %bb, label %bb5
bb: ; preds = %entry bb: ; preds = %entry
%0 = call fastcc i32 @term_SharingList( i32* null, i32* %List ) nounwind ; <i32> [#uses=0] %0 = call fastcc i32 @term_SharingList( i32* null, i32* %List ) nounwind ; <i32> [#uses=0]
unreachable unreachable
Show All 16 Lines

llvm/test/Transforms/ArgumentPromotion/aggregate-promote-dead-gep.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
%T = type { i32, i32, i32, i32 } %T = type { i32, i32, i32, i32 }
@G = constant %T { i32 0, i32 0, i32 17, i32 25 } @G = constant %T { i32 0, i32 0, i32 17, i32 25 }
define internal i32 @test(%T* %p) { define internal i32 @test(%T* %p) {
; CHECK-LABEL: define {{[^@]+}}@test ; CHECK-LABEL: define {{[^@]+}}@test
; CHECK-SAME: (i32 [[P_0_3_VAL:%.*]]) { ; CHECK-SAME: (i32 [[P_0_3_VAL:%.*]]) {
Show All 24 Lines

llvm/test/Transforms/ArgumentPromotion/aggregate-promote.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
%T = type { i32, i32, i32, i32 } %T = type { i32, i32, i32, i32 }
@G = constant %T { i32 0, i32 0, i32 17, i32 25 } @G = constant %T { i32 0, i32 0, i32 17, i32 25 }
define internal i32 @test(%T* %p) { define internal i32 @test(%T* %p) {
; CHECK-LABEL: define {{[^@]+}}@test ; CHECK-LABEL: define {{[^@]+}}@test
; CHECK-SAME: (i32 [[P_0_2_VAL:%.*]], i32 [[P_0_3_VAL:%.*]]) ; CHECK-SAME: (i32 [[P_0_2_VAL:%.*]], i32 [[P_0_3_VAL:%.*]])
Show All 27 Lines

llvm/test/Transforms/ArgumentPromotion/attrs.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
%struct.ss = type { i32, i64 } %struct.ss = type { i32, i64 }
; Don't drop 'byval' on %X here. ; Don't drop 'byval' on %X here.
define internal void @f(%struct.ss* byval(%struct.ss) align 4 %b, i32* byval(i32) align 4 %X, i32 %i) nounwind { define internal void @f(%struct.ss* byval(%struct.ss) align 4 %b, i32* byval(i32) align 4 %X, i32 %i) nounwind {
; CHECK-LABEL: define {{[^@]+}}@f ; CHECK-LABEL: define {{[^@]+}}@f
; CHECK-SAME: (i32 [[B_0:%.*]], i64 [[B_1:%.*]], i32* byval(i32) align 4 [[X:%.*]], i32 [[I:%.*]]) [[ATTR0:#.*]] { ; CHECK-SAME: (i32 [[B_0:%.*]], i64 [[B_1:%.*]], i32* byval(i32) align 4 [[X:%.*]], i32 [[I:%.*]]) [[ATTR0:#.*]] {
▲ Show 20 Lines • Show All 52 Lines • Show Last 20 Lines

llvm/test/Transforms/ArgumentPromotion/byval-2.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
; Arg promotion eliminates the struct argument. ; Arg promotion eliminates the struct argument.
; FIXME: We should eliminate the i32* argument. ; FIXME: We should eliminate the i32* argument.
%struct.ss = type { i32, i64 } %struct.ss = type { i32, i64 }
define internal void @f(%struct.ss* byval(%struct.ss) align 8 %b, i32* byval(i32) align 4 %X) nounwind { define internal void @f(%struct.ss* byval(%struct.ss) align 8 %b, i32* byval(i32) align 4 %X) nounwind {
▲ Show 20 Lines • Show All 50 Lines • Show Last 20 Lines

llvm/test/Transforms/ArgumentPromotion/byval.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
%struct.ss = type { i32, i64 } %struct.ss = type { i32, i64 }
define internal void @f(%struct.ss* byval(%struct.ss) align 4 %b) nounwind { define internal void @f(%struct.ss* byval(%struct.ss) align 4 %b) nounwind {
; CHECK-LABEL: define {{[^@]+}}@f ; CHECK-LABEL: define {{[^@]+}}@f
▲ Show 20 Lines • Show All 97 Lines • Show Last 20 Lines

llvm/test/Transforms/ArgumentPromotion/chained.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
@G1 = constant i32 0 @G1 = constant i32 0
@G2 = constant i32* @G1 @G2 = constant i32* @G1
define internal i32 @test(i32** %x) { define internal i32 @test(i32** %x) {
; CHECK-LABEL: define {{[^@]+}}@test ; CHECK-LABEL: define {{[^@]+}}@test
; CHECK-SAME: (i32 [[X_VAL_VAL:%.*]]) ; CHECK-SAME: (i32 [[X_VAL_VAL:%.*]])
Show All 22 Lines

llvm/test/Transforms/ArgumentPromotion/control-flow.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
; Don't promote around control flow. ; Don't promote around control flow.
define internal i32 @callee(i1 %C, i32* %P) { define internal i32 @callee(i1 %C, i32* %P) {
; CHECK-LABEL: define {{[^@]+}}@callee ; CHECK-LABEL: define {{[^@]+}}@callee
; CHECK-SAME: (i1 [[C:%.*]], i32* [[P:%.*]]) ; CHECK-SAME: (i1 [[C:%.*]], i32* [[P:%.*]])
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]] ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
Show All 28 Lines

llvm/test/Transforms/ArgumentPromotion/control-flow2.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
define internal i32 @callee(i1 %C, i32* %P) { define internal i32 @callee(i1 %C, i32* %P) {
; CHECK-LABEL: define {{[^@]+}}@callee ; CHECK-LABEL: define {{[^@]+}}@callee
; CHECK-SAME: (i1 [[C:%.*]], i32 [[P_VAL:%.*]]) ; CHECK-SAME: (i1 [[C:%.*]], i32 [[P_VAL:%.*]])
; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]] ; CHECK-NEXT: br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
Show All 29 Lines

llvm/test/Transforms/ArgumentPromotion/dbg.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
declare void @sink(i32) declare void @sink(i32)
define internal void @test(i32** %X) !dbg !2 { define internal void @test(i32** %X) !dbg !2 {
; CHECK-LABEL: define {{[^@]+}}@test ; CHECK-LABEL: define {{[^@]+}}@test
; CHECK-SAME: (i32 [[X_VAL_VAL:%.*]]) [[DBG3:!dbg !.*]] { ; CHECK-SAME: (i32 [[X_VAL_VAL:%.*]]) [[DBG3:!dbg !.*]] {
; CHECK-NEXT: call void @sink(i32 [[X_VAL_VAL]]) ; CHECK-NEXT: call void @sink(i32 [[X_VAL_VAL]])
▲ Show 20 Lines • Show All 52 Lines • Show Last 20 Lines

llvm/test/Transforms/ArgumentPromotion/dead-gep-no-promotion.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -argpromotion -S %s | FileCheck %s ; RUN: opt -passes=argpromotion -S %s | FileCheck %s
@glob = external global i32* @glob = external global i32*
; No arguments in @callee can be promoted, but it contains a dead GEP. Make ; No arguments in @callee can be promoted, but it contains a dead GEP. Make
; sure it is not removed, as we do not perform any promotion. ; sure it is not removed, as we do not perform any promotion.
define i32 @caller(i32* %ptr) { define i32 @caller(i32* %ptr) {
; CHECK-LABEL: @caller( ; CHECK-LABEL: @caller(
; CHECK-NEXT: call void @callee(i32* [[PTR:%.*]], i32* [[PTR]], i32* [[PTR]]) ; CHECK-NEXT: call void @callee(i32* [[PTR:%.*]], i32* [[PTR]], i32* [[PTR]])
Show All 20 Lines

llvm/test/Transforms/ArgumentPromotion/fp80.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
%union.u = type { x86_fp80 } %union.u = type { x86_fp80 }
%struct.s = type { double, i16, i8, [5 x i8] } %struct.s = type { double, i16, i8, [5 x i8] }
▲ Show 20 Lines • Show All 91 Lines • Show Last 20 Lines

llvm/test/Transforms/ArgumentPromotion/inalloca.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt %s -globalopt -argpromotion -sroa -S | FileCheck %s
; RUN: opt %s -passes='module(globalopt),cgscc(argpromotion),function(sroa)' -S | FileCheck %s ; RUN: opt %s -passes='module(globalopt),cgscc(argpromotion),function(sroa)' -S | FileCheck %s
target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128" target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
%struct.ss = type { i32, i32 } %struct.ss = type { i32, i32 }
; Argpromote + sroa should change this to passing the two integers by value. ; Argpromote + sroa should change this to passing the two integers by value.
define internal i32 @f(%struct.ss* inalloca(%struct.ss) %s) { define internal i32 @f(%struct.ss* inalloca(%struct.ss) %s) {
▲ Show 20 Lines • Show All 56 Lines • Show Last 20 Lines

llvm/test/Transforms/ArgumentPromotion/musttail.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
; PR36543 ; PR36543
; Don't promote arguments of musttail callee ; Don't promote arguments of musttail callee
%T = type { i32, i32, i32, i32 } %T = type { i32, i32, i32, i32 }
define internal i32 @test(%T* %p) { define internal i32 @test(%T* %p) {
; CHECK-LABEL: define {{[^@]+}}@test ; CHECK-LABEL: define {{[^@]+}}@test
▲ Show 20 Lines • Show All 65 Lines • Show Last 20 Lines

llvm/test/Transforms/ArgumentPromotion/naked_functions.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
; Don't promote paramaters of/arguments to naked functions ; Don't promote paramaters of/arguments to naked functions
@g = common global i32 0, align 4 @g = common global i32 0, align 4
define i32 @bar() { define i32 @bar() {
; CHECK-LABEL: define {{[^@]+}}@bar() ; CHECK-LABEL: define {{[^@]+}}@bar()
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
Show All 24 Lines

llvm/test/Transforms/ArgumentPromotion/nonzero-address-spaces.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
; ArgumentPromotion should preserve the default function address space ; ArgumentPromotion should preserve the default function address space
; from the data layout. ; from the data layout.
target datalayout = "e-P1-p:16:8-i8:8-i16:8-i32:8-i64:8-f32:8-f64:8-n8-a:8" target datalayout = "e-P1-p:16:8-i8:8-i16:8-i32:8-i64:8-f32:8-f64:8-n8-a:8"
@g = common global i32 0, align 4 @g = common global i32 0, align 4
Show All 25 Lines

llvm/test/Transforms/ArgumentPromotion/pr27568.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt -S -argpromotion < %s | FileCheck %s
; RUN: opt -S -passes=argpromotion < %s | FileCheck %s ; RUN: opt -S -passes=argpromotion < %s | FileCheck %s
; RUN: opt -S -debugify -o /dev/null < %s ; RUN: opt -S -debugify -o /dev/null < %s
target triple = "x86_64-pc-windows-msvc" target triple = "x86_64-pc-windows-msvc"
define internal void @callee(i8*) { define internal void @callee(i8*) {
; CHECK-LABEL: define {{[^@]+}}@callee() ; CHECK-LABEL: define {{[^@]+}}@callee()
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: call void @thunk() ; CHECK-NEXT: call void @thunk()
Show All 36 Lines

llvm/test/Transforms/ArgumentPromotion/pr33641_remove_arg_dbgvalue.ll

; RUN: opt -argpromotion -S %s -o - | FileCheck %s
; RUN: opt -passes=argpromotion -S %s -o - | FileCheck %s ; RUN: opt -passes=argpromotion -S %s -o - | FileCheck %s
; Fix for PR33641. ArgumentPromotion removed the argument to bar but left the call to ; Fix for PR33641. ArgumentPromotion removed the argument to bar but left the call to
; dbg.value which still used the removed argument. ; dbg.value which still used the removed argument.
; The %p argument should be removed, and the use of it in dbg.value should be ; The %p argument should be removed, and the use of it in dbg.value should be
; changed to undef. ; changed to undef.
Show All 27 Lines

llvm/test/Transforms/ArgumentPromotion/reserve-tbaa.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
; PR17906 ; PR17906
; When we promote two arguments in a single function with different types, ; When we promote two arguments in a single function with different types,
; before the fix, we used the same tag for the newly-created two loads. ; before the fix, we used the same tag for the newly-created two loads.
; This testing case makes sure that we correctly transfer the tbaa tags from the ; This testing case makes sure that we correctly transfer the tbaa tags from the
; original loads to the newly-created loads when promoting pointer arguments. ; original loads to the newly-created loads when promoting pointer arguments.
▲ Show 20 Lines • Show All 56 Lines • Show Last 20 Lines

llvm/test/Transforms/ArgumentPromotion/sret.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-windows-msvc" target triple = "x86_64-pc-windows-msvc"
define internal void @add({i32, i32}* %this, i32* sret(i32) %r) { define internal void @add({i32, i32}* %this, i32* sret(i32) %r) {
; CHECK-LABEL: define {{[^@]+}}@add ; CHECK-LABEL: define {{[^@]+}}@add
; CHECK-SAME: (i32 [[THIS_0_0_VAL:%.*]], i32 [[THIS_0_1_VAL:%.*]], i32* noalias [[R:%.*]]) ; CHECK-SAME: (i32 [[THIS_0_0_VAL:%.*]], i32 [[THIS_0_1_VAL:%.*]], i32* noalias [[R:%.*]])
Show All 30 Lines

llvm/test/Transforms/ArgumentPromotion/variadic.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
; RUN: opt < %s -argpromotion -S | FileCheck %s
; RUN: opt < %s -passes=argpromotion -S | FileCheck %s ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
; Unused arguments from variadic functions cannot be eliminated as that changes ; Unused arguments from variadic functions cannot be eliminated as that changes
; their classiciation according to the SysV amd64 ABI. Clang and other frontends ; their classiciation according to the SysV amd64 ABI. Clang and other frontends
; bake in the classification when they use things like byval, as in this test. ; bake in the classification when they use things like byval, as in this test.
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
Show All 29 Lines

llvm/test/Transforms/BDCE/basic.ll

; RUN: opt -S -bdce -instsimplify < %s | FileCheck %s ; RUN: opt -S -passes='bdce,instsimplify' < %s | FileCheck %s
; RUN: opt -S -instsimplify < %s | FileCheck %s -check-prefix=CHECK-IO ; RUN: opt -S -passes=instsimplify < %s | FileCheck %s -check-prefix=CHECK-IO
; RUN: opt -S -debugify -bdce < %s | FileCheck %s -check-prefix=DEBUGIFY ; RUN: opt -S -passes='debugify,bdce' < %s | FileCheck %s -check-prefix=DEBUGIFY
target datalayout = "E-m:e-i64:64-n32:64" target datalayout = "E-m:e-i64:64-n32:64"
target triple = "powerpc64-unknown-linux-gnu" target triple = "powerpc64-unknown-linux-gnu"
; Function Attrs: nounwind readnone ; Function Attrs: nounwind readnone
define signext i32 @bar(i32 signext %x) #0 { define signext i32 @bar(i32 signext %x) #0 {
entry: entry:
%call = tail call signext i32 @foo(i32 signext 5) #0 %call = tail call signext i32 @foo(i32 signext 5) #0
%and = and i32 %call, 4 %and = and i32 %call, 4
▲ Show 20 Lines • Show All 386 Lines • Show Last 20 Lines

llvm/test/Transforms/BDCE/dbg-multipleuses.ll

; Test that BDCE doesn't destroy llvm.dbg.value's argument. ; Test that BDCE doesn't destroy llvm.dbg.value's argument.
; RUN: opt -bdce %s -S | FileCheck %s ; RUN: opt -passes=bdce %s -S | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; CHECK: define void @f() ; CHECK: define void @f()
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: tail call void (...) @h() ; CHECK-NEXT: tail call void (...) @h()
; CHECK-NEXT: %[[CALL:.*]] = tail call i32 (...) @g() ; CHECK-NEXT: %[[CALL:.*]] = tail call i32 (...) @g()
Show All 37 Lines

llvm/test/Transforms/BDCE/dce-pure.ll

; RUN: opt -bdce -S < %s | FileCheck %s
; RUN: opt -passes=bdce -S < %s | FileCheck %s ; RUN: opt -passes=bdce -S < %s | FileCheck %s
declare i32 @strlen(i8*) readonly nounwind willreturn declare i32 @strlen(i8*) readonly nounwind willreturn
define void @test1() { define void @test1() {
call i32 @strlen( i8* null ) call i32 @strlen( i8* null )
ret void ret void
Show All 25 Lines

llvm/test/Transforms/BDCE/dead-uses.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -bdce -S < %s | FileCheck %s ; RUN: opt -passes=bdce -S < %s | FileCheck %s
; Funnel shift based rotate test cases from PR39771 ; Funnel shift based rotate test cases from PR39771
declare i32 @llvm.fshr.i32(i32, i32, i32) declare i32 @llvm.fshr.i32(i32, i32, i32)
declare <2 x i32> @llvm.fshr.v2i32(<2 x i32>, <2 x i32>, <2 x i32>) declare <2 x i32> @llvm.fshr.v2i32(<2 x i32>, <2 x i32>, <2 x i32>)
; First fshr operand is dead. ; First fshr operand is dead.
define i32 @pr39771_fshr_multi_use_instr(i32 %a) { define i32 @pr39771_fshr_multi_use_instr(i32 %a) {
▲ Show 20 Lines • Show All 93 Lines • Show Last 20 Lines

llvm/test/Transforms/BDCE/dead-void-ro.ll

; RUN: opt -S -bdce < %s | FileCheck %s ; RUN: opt -S -passes=bdce < %s | FileCheck %s
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
define void @PR34211(i16* %p) { define void @PR34211(i16* %p) {
; CHECK-LABEL: @PR34211 ; CHECK-LABEL: @PR34211
%not_demanded_but_not_dead = load volatile i16, i16* %p %not_demanded_but_not_dead = load volatile i16, i16* %p
call void @no_side_effects_so_dead(i16 %not_demanded_but_not_dead) call void @no_side_effects_so_dead(i16 %not_demanded_but_not_dead)
ret void ret void
Show All 9 Lines

llvm/test/Transforms/BDCE/intrinsics.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -bdce < %s | FileCheck %s ; RUN: opt -S -passes=bdce < %s | FileCheck %s
declare i8 @llvm.umax.i8(i8, i8) declare i8 @llvm.umax.i8(i8, i8)
declare i8 @llvm.umin.i8(i8, i8) declare i8 @llvm.umin.i8(i8, i8)
declare i8 @llvm.smax.i8(i8, i8) declare i8 @llvm.smax.i8(i8, i8)
declare i8 @llvm.smin.i8(i8, i8) declare i8 @llvm.smin.i8(i8, i8)
define i8 @umax(i8 %x, i8 %y, i1 %a, i1 %b) { define i8 @umax(i8 %x, i8 %y, i1 %a, i1 %b) {
; CHECK-LABEL: @umax( ; CHECK-LABEL: @umax(
▲ Show 20 Lines • Show All 73 Lines • Show Last 20 Lines

llvm/test/Transforms/BDCE/invalidate-assumptions.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -bdce %s -S | FileCheck %s ; RUN: opt -passes=bdce %s -S | FileCheck %s
; The 'nuw' on the subtract allows us to deduce that %setbit is not demanded. ; The 'nuw' on the subtract allows us to deduce that %setbit is not demanded.
; But if we change that value to '0', then the 'nuw' is no longer valid. If we don't ; But if we change that value to '0', then the 'nuw' is no longer valid. If we don't
; remove the 'nuw', another pass (-instcombine) may make a transform based on an ; remove the 'nuw', another pass (-instcombine) may make a transform based on an
; that incorrect assumption and we can miscompile: ; that incorrect assumption and we can miscompile:
; https://bugs.llvm.org/show_bug.cgi?id=33695 ; https://bugs.llvm.org/show_bug.cgi?id=33695
define i1 @PR33695(i1 %b, i8 %x) { define i1 @PR33695(i1 %b, i8 %x) {
▲ Show 20 Lines • Show All 85 Lines • Show Last 20 Lines

llvm/test/Transforms/BDCE/order.ll

; RUN: opt -bdce -S < %s | FileCheck %s ; RUN: opt -passes=bdce -S < %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
declare i32 @__gxx_personality_v0(...) declare i32 @__gxx_personality_v0(...)
define fastcc void @_ZN11__sanitizerL12TestRegistryEPNS_14ThreadRegistryEb() #0 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { define fastcc void @_ZN11__sanitizerL12TestRegistryEPNS_14ThreadRegistryEb() #0 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
entry: entry:
br i1 undef, label %if.else, label %entry.if.end_crit_edge br i1 undef, label %if.else, label %entry.if.end_crit_edge
Show All 28 Lines

llvm/test/Transforms/BDCE/pr26587.ll

; Test that BDCE doesn't destroy llvm.dbg.value's argument. ; Test that BDCE doesn't destroy llvm.dbg.value's argument.
; RUN: opt -bdce %s -S | FileCheck %s ; RUN: opt -passes=bdce %s -S | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; CHECK: define void @f() ; CHECK: define void @f()
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: tail call void (...) @h() ; CHECK-NEXT: tail call void (...) @h()
; CHECK-NEXT: %[[CALL:.*]] = tail call i32 (...) @g() ; CHECK-NEXT: %[[CALL:.*]] = tail call i32 (...) @g()
Show All 36 Lines

llvm/test/Transforms/BDCE/pr41925.ll

; Check for setting dbg.value undef which depends on instruction which is going to be dead ; Check for setting dbg.value undef which depends on instruction which is going to be dead
; RUN: opt -bdce %s -S | FileCheck %s ; RUN: opt -passes=bdce %s -S | FileCheck %s
; Generated from this ; Generated from this
; char a, b; ; char a, b;
; void optimize_me_not(); ; void optimize_me_not();
; int main() { ; int main() {
; char l_177 = 2; ; char l_177 = 2;
; for (; b <= 0; b++) ; for (; b <= 0; b++)
; for (; a >= 0; a--) { ; for (; a >= 0; a--) {
▲ Show 20 Lines • Show All 116 Lines • Show Last 20 Lines

llvm/test/Transforms/BDCE/sext_multi_uses.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -bdce < %s | FileCheck %s ; RUN: opt -S -passes=bdce < %s | FileCheck %s
define i32 @ZEXT_0(i16 %a) { define i32 @ZEXT_0(i16 %a) {
; CHECK-LABEL: @ZEXT_0( ; CHECK-LABEL: @ZEXT_0(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[EXT1:%.*]] = zext i16 [[A:%.*]] to i32 ; CHECK-NEXT: [[EXT1:%.*]] = zext i16 [[A:%.*]] to i32
; CHECK-NEXT: [[AND:%.*]] = and i32 [[EXT1]], 65280 ; CHECK-NEXT: [[AND:%.*]] = and i32 [[EXT1]], 65280
; CHECK-NEXT: [[LSR:%.*]] = lshr i32 [[EXT1]], 8 ; CHECK-NEXT: [[LSR:%.*]] = lshr i32 [[EXT1]], 8
; CHECK-NEXT: [[AND2:%.*]] = and i32 [[LSR]], 255 ; CHECK-NEXT: [[AND2:%.*]] = and i32 [[LSR]], 255
; CHECK-NEXT: [[OR:%.*]] = or i32 [[AND]], [[AND2]] ; CHECK-NEXT: [[OR:%.*]] = or i32 [[AND]], [[AND2]]
▲ Show 20 Lines • Show All 101 Lines • Show Last 20 Lines

llvm/test/Transforms/BDCE/vectors-inseltpoison.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -bdce < %s | FileCheck %s ; RUN: opt -S -passes=bdce < %s | FileCheck %s
; BDCE applied to integer vectors. ; BDCE applied to integer vectors.
define <2 x i32> @test_basic(<2 x i32> %a, <2 x i32> %b) { define <2 x i32> @test_basic(<2 x i32> %a, <2 x i32> %b) {
; CHECK-LABEL: @test_basic( ; CHECK-LABEL: @test_basic(
; CHECK-NEXT: [[A3:%.*]] = and <2 x i32> zeroinitializer, <i32 4, i32 4> ; CHECK-NEXT: [[A3:%.*]] = and <2 x i32> zeroinitializer, <i32 4, i32 4>
; CHECK-NEXT: [[B2:%.*]] = add <2 x i32> [[B:%.*]], <i32 1, i32 1> ; CHECK-NEXT: [[B2:%.*]] = add <2 x i32> [[B:%.*]], <i32 1, i32 1>
; CHECK-NEXT: [[B3:%.*]] = and <2 x i32> [[B2]], <i32 8, i32 8> ; CHECK-NEXT: [[B3:%.*]] = and <2 x i32> [[B2]], <i32 8, i32 8>
▲ Show 20 Lines • Show All 92 Lines • Show Last 20 Lines

llvm/test/Transforms/BDCE/vectors.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -bdce < %s | FileCheck %s ; RUN: opt -S -passes=bdce < %s | FileCheck %s
; BDCE applied to integer vectors. ; BDCE applied to integer vectors.
define <2 x i32> @test_basic(<2 x i32> %a, <2 x i32> %b) { define <2 x i32> @test_basic(<2 x i32> %a, <2 x i32> %b) {
; CHECK-LABEL: @test_basic( ; CHECK-LABEL: @test_basic(
; CHECK-NEXT: [[A3:%.*]] = and <2 x i32> zeroinitializer, <i32 4, i32 4> ; CHECK-NEXT: [[A3:%.*]] = and <2 x i32> zeroinitializer, <i32 4, i32 4>
; CHECK-NEXT: [[B2:%.*]] = add <2 x i32> [[B:%.*]], <i32 1, i32 1> ; CHECK-NEXT: [[B2:%.*]] = add <2 x i32> [[B:%.*]], <i32 1, i32 1>
; CHECK-NEXT: [[B3:%.*]] = and <2 x i32> [[B2]], <i32 8, i32 8> ; CHECK-NEXT: [[B3:%.*]] = and <2 x i32> [[B2]], <i32 8, i32 8>
▲ Show 20 Lines • Show All 92 Lines • Show Last 20 Lines

llvm/test/Transforms/BDCE/willreturn.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -bdce -S < %s | FileCheck %s ; RUN: opt -passes=bdce -S < %s | FileCheck %s
declare void @may_not_return(i32) nounwind readnone declare void @may_not_return(i32) nounwind readnone
declare void @will_return(i32) nounwind readnone willreturn declare void @will_return(i32) nounwind readnone willreturn
define void @test(i32 %a) { define void @test(i32 %a) {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
; CHECK-NEXT: [[B:%.*]] = add i32 [[A:%.*]], 1 ; CHECK-NEXT: [[B:%.*]] = add i32 [[A:%.*]], 1
; CHECK-NEXT: call void @may_not_return(i32 [[B]]) ; CHECK-NEXT: call void @may_not_return(i32 [[B]])
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
; ;
%b = add i32 %a, 1 %b = add i32 %a, 1
call void @may_not_return(i32 %b) call void @may_not_return(i32 %b)
%c = add i32 %b, 1 %c = add i32 %b, 1
call void @will_return(i32 %c) call void @will_return(i32 %c)
ret void ret void
} }

llvm/test/Transforms/CalledValuePropagation/simple-arguments.ll

; RUN: opt -called-value-propagation -S < %s | FileCheck %s ; RUN: opt -passes=called-value-propagation -S < %s | FileCheck %s
target triple = "aarch64-unknown-linux-gnueabi" target triple = "aarch64-unknown-linux-gnueabi"
; This test checks that we propagate the functions through arguments and attach ; This test checks that we propagate the functions through arguments and attach
; !callees metadata to the call. Such metadata can enable optimizations of this ; !callees metadata to the call. Such metadata can enable optimizations of this
; code sequence. ; code sequence.
; ;
▲ Show 20 Lines • Show All 74 Lines • Show Last 20 Lines

llvm/test/Transforms/CalledValuePropagation/simple-memory.ll

; RUN: opt -called-value-propagation -S < %s | FileCheck %s ; RUN: opt -passes=called-value-propagation -S < %s | FileCheck %s
target triple = "aarch64-unknown-linux-gnueabi" target triple = "aarch64-unknown-linux-gnueabi"
@global_function = internal unnamed_addr global void ()* null, align 8 @global_function = internal unnamed_addr global void ()* null, align 8
@global_array = common unnamed_addr global i64* null, align 8 @global_array = common unnamed_addr global i64* null, align 8
; This test checks that we propagate the functions through an internal global ; This test checks that we propagate the functions through an internal global
; variable, and attach !callees metadata to the call. Such metadata can enable ; variable, and attach !callees metadata to the call. Such metadata can enable
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

llvm/test/Transforms/CalledValuePropagation/simple-select.ll

; RUN: opt -called-value-propagation -S < %s | FileCheck %s ; RUN: opt -passes=called-value-propagation -S < %s | FileCheck %s
target triple = "aarch64-unknown-linux-gnueabi" target triple = "aarch64-unknown-linux-gnueabi"
@global_function = internal unnamed_addr global void ()* null, align 8 @global_function = internal unnamed_addr global void ()* null, align 8
@global_scalar = internal unnamed_addr global i64 zeroinitializer @global_scalar = internal unnamed_addr global i64 zeroinitializer
; This test checks that we propagate the functions through a select ; This test checks that we propagate the functions through a select
; instruction, and attach !callees metadata to the call. Such metadata can ; instruction, and attach !callees metadata to the call. Such metadata can
Show All 30 Lines

llvm/test/Transforms/DCE/basic-preservation.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -dce -S --enable-knowledge-retention < %s | FileCheck %s ; RUN: opt -passes=dce -S --enable-knowledge-retention < %s | FileCheck %s
define void @test(i32* %P) { define void @test(i32* %P) {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
; CHECK-NEXT: call void @llvm.assume(i1 true) [ "dereferenceable"(i32* [[P:%.*]], i64 4), "nonnull"(i32* [[P]]), "align"(i32* [[P]], i64 4) ] ; CHECK-NEXT: call void @llvm.assume(i1 true) [ "dereferenceable"(i32* [[P:%.*]], i64 4), "nonnull"(i32* [[P]]), "align"(i32* [[P]], i64 4) ]
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
; ;
%a = load i32, i32* %P %a = load i32, i32* %P
ret void ret void
} }

llvm/test/Transforms/DCE/basic.ll

; RUN: opt -debugify -dce -S < %s | FileCheck %s
; RUN: opt -passes='module(debugify),function(dce)' -S < %s | FileCheck %s ; RUN: opt -passes='module(debugify),function(dce)' -S < %s | FileCheck %s
; CHECK-LABEL: @test ; CHECK-LABEL: @test
define void @test() { define void @test() {
%add = add i32 1, 2 %add = add i32 1, 2
; CHECK-NEXT: call void @llvm.dbg.value(metadata i32 1, metadata [[add:![0-9]+]], metadata !DIExpression(DW_OP_plus_uconst, 2, DW_OP_stack_value)) ; CHECK-NEXT: call void @llvm.dbg.value(metadata i32 1, metadata [[add:![0-9]+]], metadata !DIExpression(DW_OP_plus_uconst, 2, DW_OP_stack_value))
%sub = sub i32 %add, 1 %sub = sub i32 %add, 1
; CHECK-NEXT: call void @llvm.dbg.value(metadata i32 1, metadata [[sub:![0-9]+]], metadata !DIExpression(DW_OP_plus_uconst, 2, DW_OP_constu, 1, DW_OP_minus, DW_OP_stack_value)) ; CHECK-NEXT: call void @llvm.dbg.value(metadata i32 1, metadata [[sub:![0-9]+]], metadata !DIExpression(DW_OP_plus_uconst, 2, DW_OP_constu, 1, DW_OP_minus, DW_OP_stack_value))
▲ Show 20 Lines • Show All 64 Lines • Show Last 20 Lines

llvm/test/Transforms/DCE/calls-errno.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -dce -S | FileCheck %s
; RUN: opt < %s -passes=dce -S | FileCheck %s ; RUN: opt < %s -passes=dce -S | FileCheck %s
declare double @acos(double) nounwind willreturn declare double @acos(double) nounwind willreturn
declare double @asin(double) nounwind willreturn declare double @asin(double) nounwind willreturn
declare double @atan(double) nounwind willreturn declare double @atan(double) nounwind willreturn
declare double @atan2(double, double) nounwind willreturn declare double @atan2(double, double) nounwind willreturn
declare double @ceil(double) nounwind willreturn declare double @ceil(double) nounwind willreturn
declare double @cos(double) nounwind willreturn declare double @cos(double) nounwind willreturn
▲ Show 20 Lines • Show All 102 Lines • Show Last 20 Lines

llvm/test/Transforms/DCE/dbg-value-removal.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -S -redundant-dbg-inst-elim | FileCheck %s
; RUN: opt < %s -S -passes=redundant-dbg-inst-elim | FileCheck %s ; RUN: opt < %s -S -passes=redundant-dbg-inst-elim | FileCheck %s
; All dbg.value with location "!dbg !19" are redundant in the input. ; All dbg.value with location "!dbg !19" are redundant in the input.
; FIXME: We do not handle non-overlapping/overlapping fragments perfectly yet. ; FIXME: We do not handle non-overlapping/overlapping fragments perfectly yet.
define dso_local i16 @main(i16 %a1, i16 %a2) local_unnamed_addr #0 !dbg !7 { define dso_local i16 @main(i16 %a1, i16 %a2) local_unnamed_addr #0 !dbg !7 {
; CHECK-LABEL: @main( ; CHECK-LABEL: @main(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
▲ Show 20 Lines • Show All 103 Lines • Show Last 20 Lines

llvm/test/Transforms/DCE/guards.ll

; RUN: opt -dce -S < %s | FileCheck %s ; RUN: opt -passes=dce -S < %s | FileCheck %s
declare void @llvm.experimental.guard(i1,...) declare void @llvm.experimental.guard(i1,...)
define void @f(i32 %val) { define void @f(i32 %val) {
; CHECK-LABEL: @f( ; CHECK-LABEL: @f(
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
%val2 = add i32 %val, 1 %val2 = add i32 %val, 1
call void(i1, ...) @llvm.experimental.guard(i1 true) [ "deopt"(i32 %val2) ] call void(i1, ...) @llvm.experimental.guard(i1 true) [ "deopt"(i32 %val2) ]
ret void ret void
} }

llvm/test/Transforms/DCE/int_sideeffect.ll

; RUN: opt -S < %s -instcombine | FileCheck %s ; RUN: opt -S < %s -passes=instcombine | FileCheck %s
declare void @llvm.sideeffect() declare void @llvm.sideeffect()
; Don't DCE llvm.sideeffect calls. ; Don't DCE llvm.sideeffect calls.
; CHECK-LABEL: dce ; CHECK-LABEL: dce
; CHECK: call void @llvm.sideeffect() ; CHECK: call void @llvm.sideeffect()
define void @dce() { define void @dce() {
call void @llvm.sideeffect() call void @llvm.sideeffect()
ret void ret void
} }

llvm/test/Transforms/Reg2Mem/crash.ll

; RUN: opt -passes=reg2mem -disable-output -enable-new-pm=1 < %s ; RUN: opt -passes=reg2mem -disable-output < %s
; RUN: opt -reg2mem -disable-output < %s
; PR14782 ; PR14782
declare void @f1() declare void @f1()
declare i32 @__gxx_personality_sj0(...) declare i32 @__gxx_personality_sj0(...)
declare void @f2() declare void @f2()
▲ Show 20 Lines • Show All 79 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/bad-read-from-vtable.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [2 x i8*] [i8* zeroinitializer, i8* bitcast (void (i8*)* @vf to i8*)], !type !0 @vt1 = constant [2 x i8*] [i8* zeroinitializer, i8* bitcast (void (i8*)* @vf to i8*)], !type !0
@vt2 = constant i8* bitcast (void (i8*)* @vf to i8*), !type !1 @vt2 = constant i8* bitcast (void (i8*)* @vf to i8*), !type !1
define void @vf(i8* %this) { define void @vf(i8* %this) {
▲ Show 20 Lines • Show All 72 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/branch-funnel-threshold.ll

; RUN: opt -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -wholeprogramdevirt-branch-funnel-threshold=1 -S -o - %s | not grep @llvm.icall.branch.funnel | count 0 ; RUN: opt -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -wholeprogramdevirt-branch-funnel-threshold=1 -S -o - %s | not grep @llvm.icall.branch.funnel | count 0
; RUN: opt -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -wholeprogramdevirt-branch-funnel-threshold=10 -S -o - %s | grep @llvm.icall.branch.funnel | count 4 ; RUN: opt -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -wholeprogramdevirt-branch-funnel-threshold=10 -S -o - %s | grep @llvm.icall.branch.funnel | count 4
; RUN: opt -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -wholeprogramdevirt-branch-funnel-threshold=100 -S -o - %s | grep @llvm.icall.branch.funnel | count 5 ; RUN: opt -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -wholeprogramdevirt-branch-funnel-threshold=100 -S -o - %s | grep @llvm.icall.branch.funnel | count 5
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1_1 = constant [1 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf1_1 to i8*)], !type !0 @vt1_1 = constant [1 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf1_1 to i8*)], !type !0
@vt1_2 = constant [1 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf1_2 to i8*)], !type !0 @vt1_2 = constant [1 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf1_2 to i8*)], !type !0
declare i32 @vf1_1(i8* %this, i32 %arg) declare i32 @vf1_1(i8* %this, i32 %arg)
▲ Show 20 Lines • Show All 87 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/branch-funnel.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck --check-prefixes=CHECK,RETP %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck --check-prefixes=CHECK,RETP %s
; RUN: sed -e 's,+retpoline,-retpoline,g' %s | opt -S -wholeprogramdevirt -whole-program-visibility | FileCheck --check-prefixes=CHECK,NORETP %s ; RUN: sed -e 's,+retpoline,-retpoline,g' %s | opt -S -passes=wholeprogramdevirt -whole-program-visibility | FileCheck --check-prefixes=CHECK,NORETP %s
; RUN: opt -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck --check-prefixes=CHECK,RETP %s ; RUN: opt -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck --check-prefixes=CHECK,RETP %s
; RUN: opt -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -O3 -S -o - %s | FileCheck --check-prefixes=CHECK %s ; RUN: opt -passes='wholeprogramdevirt,default<O3>' -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck --check-prefixes=CHECK %s
; RUN: FileCheck --check-prefix=SUMMARY %s < %t ; RUN: FileCheck --check-prefix=SUMMARY %s < %t
; SUMMARY: TypeIdMap: ; SUMMARY: TypeIdMap:
; SUMMARY-NEXT: typeid3: ; SUMMARY-NEXT: typeid3:
; SUMMARY-NEXT: TTRes: ; SUMMARY-NEXT: TTRes:
; SUMMARY-NEXT: Kind: Unknown ; SUMMARY-NEXT: Kind: Unknown
; SUMMARY-NEXT: SizeM1BitWidth: 0 ; SUMMARY-NEXT: SizeM1BitWidth: 0
▲ Show 20 Lines • Show All 150 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/constant-arg.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; CHECK: private constant { [8 x i8], [1 x i8*], [0 x i8] } { [8 x i8] c"\00\00\00\00\00\00\00\01", [1 x i8*] [i8* bitcast (i1 (i8*, i32)* @vf1 to i8*)], [0 x i8] zeroinitializer }, !type [[T8:![0-9]+]] ; CHECK: private constant { [8 x i8], [1 x i8*], [0 x i8] } { [8 x i8] c"\00\00\00\00\00\00\00\01", [1 x i8*] [i8* bitcast (i1 (i8*, i32)* @vf1 to i8*)], [0 x i8] zeroinitializer }, !type [[T8:![0-9]+]]
; CHECK: private constant { [8 x i8], [1 x i8*], [0 x i8] } { [8 x i8] c"\00\00\00\00\00\00\00\02", [1 x i8*] [i8* bitcast (i1 (i8*, i32)* @vf2 to i8*)], [0 x i8] zeroinitializer }, !type [[T8]] ; CHECK: private constant { [8 x i8], [1 x i8*], [0 x i8] } { [8 x i8] c"\00\00\00\00\00\00\00\02", [1 x i8*] [i8* bitcast (i1 (i8*, i32)* @vf2 to i8*)], [0 x i8] zeroinitializer }, !type [[T8]]
; CHECK: private constant { [8 x i8], [1 x i8*], [0 x i8] } { [8 x i8] c"\00\00\00\00\00\00\00\01", [1 x i8*] [i8* bitcast (i1 (i8*, i32)* @vf4 to i8*)], [0 x i8] zeroinitializer }, !type [[T8]] ; CHECK: private constant { [8 x i8], [1 x i8*], [0 x i8] } { [8 x i8] c"\00\00\00\00\00\00\00\01", [1 x i8*] [i8* bitcast (i1 (i8*, i32)* @vf4 to i8*)], [0 x i8] zeroinitializer }, !type [[T8]]
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/devirt-single-impl-check.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt %s 2>&1 | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt %s 2>&1 | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; CHECK: remark: <unknown>:0:0: single-impl: devirtualized a call to vf ; CHECK: remark: <unknown>:0:0: single-impl: devirtualized a call to vf
; CHECK: remark: <unknown>:0:0: devirtualized vf ; CHECK: remark: <unknown>:0:0: devirtualized vf
; CHECK-NOT: devirtualized ; CHECK-NOT: devirtualized
Show All 33 Lines

llvm/test/Transforms/WholeProgramDevirt/devirt-single-impl-multiple-assumes.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [1 x i8*] [i8* bitcast (void (i8*)* @vf to i8*)], !type !0 @vt1 = constant [1 x i8*] [i8* bitcast (void (i8*)* @vf to i8*)], !type !0
@vt2 = constant [1 x i8*] [i8* bitcast (void (i8*)* @vf to i8*)], !type !0 @vt2 = constant [1 x i8*] [i8* bitcast (void (i8*)* @vf to i8*)], !type !0
define void @vf(i8* %this) { define void @vf(i8* %this) {
Show All 24 Lines

llvm/test/Transforms/WholeProgramDevirt/devirt-single-impl.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt %s 2>&1 | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt %s 2>&1 | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; CHECK: remark: devirt-single.cc:30:32: single-impl: devirtualized a call to vf ; CHECK: remark: devirt-single.cc:30:32: single-impl: devirtualized a call to vf
; CHECK: remark: devirt-single.cc:13:0: devirtualized vf ; CHECK: remark: devirt-single.cc:13:0: devirtualized vf
; CHECK-NOT: devirtualized ; CHECK-NOT: devirtualized
Show All 38 Lines

llvm/test/Transforms/WholeProgramDevirt/devirt-single-impl2.ll

; Check that we can run WPD export using opt -wholeprogramdevirt while ; Check that we can run WPD export using opt -passes=wholeprogramdevirt while
; loading/saving index from/to bitcode ; loading/saving index from/to bitcode
; RUN: llvm-as %s -o %t.bc ; RUN: llvm-as %s -o %t.bc
; RUN: llvm-as %p/Inputs/devirt-single-impl2-index.ll -o %t.index.bc ; RUN: llvm-as %p/Inputs/devirt-single-impl2-index.ll -o %t.index.bc
; RUN: opt %s -S -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-read-summary=%t.index.bc \ ; RUN: opt %s -S -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-read-summary=%t.index.bc \
; RUN: -wholeprogramdevirt-summary-action=export \ ; RUN: -wholeprogramdevirt-summary-action=export \
; RUN: -wholeprogramdevirt-write-summary=%t2.index.bc -o /dev/null ; RUN: -wholeprogramdevirt-write-summary=%t2.index.bc -o /dev/null
; RUN: llvm-dis %t2.index.bc -o - | FileCheck %s ; RUN: llvm-dis %t2.index.bc -o - | FileCheck %s
; Check that opt fails to use summaries which don't contain regular LTO module ; Check that opt fails to use summaries which don't contain regular LTO module
; when performing export. ; when performing export.
; RUN: llvm-as %p/Inputs/devirt-bad-index.ll -o %t-bad.index.bc ; RUN: llvm-as %p/Inputs/devirt-bad-index.ll -o %t-bad.index.bc
; RUN: not opt %s -S -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-read-summary=%t-bad.index.bc \ ; RUN: not opt %s -S -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-read-summary=%t-bad.index.bc \
; RUN: -wholeprogramdevirt-summary-action=export -o /dev/null 2>&1 | FileCheck %s --check-prefix=MISSING-MODULE ; RUN: -wholeprogramdevirt-summary-action=export -o /dev/null 2>&1 | FileCheck %s --check-prefix=MISSING-MODULE
; Check single impl devirtulation in summary ; Check single impl devirtulation in summary
; CHECK: typeid: (name: "_ZTS1A", summary: (typeTestRes: (kind: unknown, sizeM1BitWidth: 0), wpdResolutions: ((offset: 0, wpdRes: (kind: singleImpl, singleImplName: "_ZNK1A1fEv"))))) ; guid ; CHECK: typeid: (name: "_ZTS1A", summary: (typeTestRes: (kind: unknown, sizeM1BitWidth: 0), wpdResolutions: ((offset: 0, wpdRes: (kind: singleImpl, singleImplName: "_ZNK1A1fEv"))))) ; guid
; MISSING-MODULE: combined summary should contain Regular LTO module ; MISSING-MODULE: combined summary should contain Regular LTO module
source_filename = "ld-temp.o" source_filename = "ld-temp.o"
Show All 24 Lines

llvm/test/Transforms/WholeProgramDevirt/expand-check.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
; Test that we correctly expand the llvm.type.checked.load intrinsic in cases ; Test that we correctly expand the llvm.type.checked.load intrinsic in cases
; where we cannot devirtualize. ; where we cannot devirtualize.
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [1 x i8*] [i8* bitcast (void (i8*)* @vf1 to i8*)], !type !0 @vt1 = constant [1 x i8*] [i8* bitcast (void (i8*)* @vf1 to i8*)], !type !0
▲ Show 20 Lines • Show All 54 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/export-nothing.ll

; RUN: opt -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-write-summary=%t -o /dev/null %s ; RUN: opt -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-write-summary=%t -o /dev/null %s
; RUN: FileCheck %s < %t ; RUN: FileCheck %s < %t
; CHECK: --- ; CHECK: ---
; CHECK-NEXT: GlobalValueMap: ; CHECK-NEXT: GlobalValueMap:
; CHECK-NEXT: TypeIdMap: ; CHECK-NEXT: TypeIdMap:
; CHECK-NEXT: WithGlobalValueDeadStripping: false ; CHECK-NEXT: WithGlobalValueDeadStripping: false
; CHECK-NEXT: ... ; CHECK-NEXT: ...

llvm/test/Transforms/WholeProgramDevirt/export-single-impl.ll

; RUN: opt -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck %s ; RUN: opt -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck %s
; RUN: FileCheck --check-prefix=SUMMARY %s < %t ; RUN: FileCheck --check-prefix=SUMMARY %s < %t
; SUMMARY: TypeIdMap: ; SUMMARY: TypeIdMap:
; SUMMARY-NEXT: typeid3: ; SUMMARY-NEXT: typeid3:
; SUMMARY-NEXT: TTRes: ; SUMMARY-NEXT: TTRes:
; SUMMARY-NEXT: Kind: Unknown ; SUMMARY-NEXT: Kind: Unknown
; SUMMARY-NEXT: SizeM1BitWidth: 0 ; SUMMARY-NEXT: SizeM1BitWidth: 0
; SUMMARY-NEXT: AlignLog2: 0 ; SUMMARY-NEXT: AlignLog2: 0
▲ Show 20 Lines • Show All 92 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/export-uniform-ret-val.ll

; RUN: opt -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck %s ; RUN: opt -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck %s
; RUN: FileCheck --check-prefix=SUMMARY %s < %t ; RUN: FileCheck --check-prefix=SUMMARY %s < %t
; SUMMARY-NOT: TypeTests: ; SUMMARY-NOT: TypeTests:
; SUMMARY: TypeIdMap: ; SUMMARY: TypeIdMap:
; SUMMARY-NEXT: typeid4: ; SUMMARY-NEXT: typeid4:
; SUMMARY-NEXT: TTRes: ; SUMMARY-NEXT: TTRes:
; SUMMARY-NEXT: Kind: Unknown ; SUMMARY-NEXT: Kind: Unknown
Show All 32 Lines

llvm/test/Transforms/WholeProgramDevirt/export-unique-ret-val.ll

; RUN: opt -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck %s ; RUN: opt -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck %s
; RUN: FileCheck --check-prefix=SUMMARY %s < %t ; RUN: FileCheck --check-prefix=SUMMARY %s < %t
; SUMMARY-NOT: TypeTests: ; SUMMARY-NOT: TypeTests:
; SUMMARY: TypeIdMap: ; SUMMARY: TypeIdMap:
; SUMMARY-NEXT: typeid3: ; SUMMARY-NEXT: typeid3:
; SUMMARY-NEXT: TTRes: ; SUMMARY-NEXT: TTRes:
; SUMMARY-NEXT: Kind: Unknown ; SUMMARY-NEXT: Kind: Unknown
▲ Show 20 Lines • Show All 81 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/export-unsuccessful-checked.ll

; RUN: opt -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -o /dev/null %s ; RUN: opt -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -o /dev/null %s
; RUN: FileCheck %s < %t ; RUN: FileCheck %s < %t
; CHECK: TypeTests: [ 15427464259790519041, 17525413373118030901 ] ; CHECK: TypeTests: [ 15427464259790519041, 17525413373118030901 ]
; CHECK-NEXT: TypeTestAssumeVCalls: ; CHECK-NEXT: TypeTestAssumeVCalls:
@vt1a = constant void (i8*)* @vf1a, !type !0 @vt1a = constant void (i8*)* @vf1a, !type !0
@vt1b = constant void (i8*)* @vf1b, !type !0 @vt1b = constant void (i8*)* @vf1b, !type !0
@vt2a = constant void (i8*)* @vf2a, !type !1 @vt2a = constant void (i8*)* @vf2a, !type !1
Show All 19 Lines

llvm/test/Transforms/WholeProgramDevirt/export-vcp.ll

; RUN: opt -mtriple=x86_64-unknown-linux-gnu -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck --check-prefixes=CHECK,X86 %s ; RUN: opt -mtriple=x86_64-unknown-linux-gnu -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck --check-prefixes=CHECK,X86 %s
; RUN: FileCheck --check-prefixes=SUMMARY,SUMMARY-X86 %s < %t ; RUN: FileCheck --check-prefixes=SUMMARY,SUMMARY-X86 %s < %t
; RUN: opt -mtriple=armv7-unknown-linux-gnu -wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck --check-prefixes=CHECK,ARM %s ; RUN: opt -mtriple=armv7-unknown-linux-gnu -passes=wholeprogramdevirt -whole-program-visibility -wholeprogramdevirt-summary-action=export -wholeprogramdevirt-read-summary=%S/Inputs/export.yaml -wholeprogramdevirt-write-summary=%t -S -o - %s | FileCheck --check-prefixes=CHECK,ARM %s
; RUN: FileCheck --check-prefixes=SUMMARY,SUMMARY-ARM %s < %t ; RUN: FileCheck --check-prefixes=SUMMARY,SUMMARY-ARM %s < %t
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
; SUMMARY: TypeIdMap: ; SUMMARY: TypeIdMap:
; SUMMARY-NEXT: typeid3: ; SUMMARY-NEXT: typeid3:
; SUMMARY-NEXT: TTRes: ; SUMMARY-NEXT: TTRes:
; SUMMARY-NEXT: Kind: Unknown ; SUMMARY-NEXT: Kind: Unknown
▲ Show 20 Lines • Show All 90 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/import-indir.ll

; Test that we correctly import an indir resolution for type identifier "typeid1". ; Test that we correctly import an indir resolution for type identifier "typeid1".
; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-indir.yaml -wholeprogramdevirt-write-summary=%t < %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-indir.yaml -wholeprogramdevirt-write-summary=%t < %s | FileCheck %s
; RUN: FileCheck --check-prefix=SUMMARY %s < %t ; RUN: FileCheck --check-prefix=SUMMARY %s < %t
; SUMMARY: GlobalValueMap: ; SUMMARY: GlobalValueMap:
; SUMMARY-NEXT: 42: ; SUMMARY-NEXT: 42:
; SUMMARY-NEXT: - Linkage: 0 ; SUMMARY-NEXT: - Linkage: 0
; SUMMARY-NEXT: Visibility: 0 ; SUMMARY-NEXT: Visibility: 0
; SUMMARY-NEXT: NotEligibleToImport: false ; SUMMARY-NEXT: NotEligibleToImport: false
; SUMMARY-NEXT: Live: true ; SUMMARY-NEXT: Live: true
▲ Show 20 Lines • Show All 100 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/import-no-dominating-assume.ll

; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp.yaml < %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp.yaml < %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
define i32 @call1(i1 %a, i8* %obj) { define i32 @call1(i1 %a, i8* %obj) {
%vtableptr = bitcast i8* %obj to [3 x i8*]** %vtableptr = bitcast i8* %obj to [3 x i8*]**
%vtable = load [3 x i8*]*, [3 x i8*]** %vtableptr %vtable = load [3 x i8*]*, [3 x i8*]** %vtableptr
br i1 %a, label %bb1, label %bb2 br i1 %a, label %bb1, label %bb2
Show All 28 Lines

llvm/test/Transforms/WholeProgramDevirt/import.ll

; RUN: opt -S -passes=wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-single-impl.yaml < %s | FileCheck --check-prefixes=CHECK,SINGLE-IMPL %s ; RUN: opt -S -passes=wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-single-impl.yaml < %s | FileCheck --check-prefixes=CHECK,SINGLE-IMPL %s
; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-single-impl.yaml < %s | FileCheck --check-prefixes=CHECK,SINGLE-IMPL %s ; RUN: opt -S -passes=wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-uniform-ret-val.yaml < %s | FileCheck --check-prefixes=CHECK,INDIR,UNIFORM-RET-VAL %s
; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-uniform-ret-val.yaml < %s | FileCheck --check-prefixes=CHECK,INDIR,UNIFORM-RET-VAL %s ; RUN: opt -S -passes=wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-unique-ret-val0.yaml < %s | FileCheck --check-prefixes=CHECK,INDIR,UNIQUE-RET-VAL0 %s
; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-unique-ret-val0.yaml < %s | FileCheck --check-prefixes=CHECK,INDIR,UNIQUE-RET-VAL0 %s ; RUN: opt -S -passes=wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-unique-ret-val1.yaml < %s | FileCheck --check-prefixes=CHECK,INDIR,UNIQUE-RET-VAL1 %s
; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-unique-ret-val1.yaml < %s | FileCheck --check-prefixes=CHECK,INDIR,UNIQUE-RET-VAL1 %s ; RUN: opt -S -passes=wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp.yaml < %s | FileCheck --check-prefixes=CHECK,VCP,VCP-X86,VCP64,INDIR %s
; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp.yaml < %s | FileCheck --check-prefixes=CHECK,VCP,VCP-X86,VCP64,INDIR %s ; RUN: opt -S -passes=wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp.yaml -mtriple=i686-unknown-linux -data-layout=e-p:32:32 < %s | FileCheck --check-prefixes=CHECK,VCP,VCP-X86,VCP32 %s
; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp.yaml -mtriple=i686-unknown-linux -data-layout=e-p:32:32 < %s | FileCheck --check-prefixes=CHECK,VCP,VCP-X86,VCP32 %s ; RUN: opt -S -passes=wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp.yaml -mtriple=armv7-unknown-linux -data-layout=e-p:32:32 < %s | FileCheck --check-prefixes=CHECK,VCP,VCP-ARM %s
; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp.yaml -mtriple=armv7-unknown-linux -data-layout=e-p:32:32 < %s | FileCheck --check-prefixes=CHECK,VCP,VCP-ARM %s ; RUN: opt -S -passes=wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp-branch-funnel.yaml < %s | FileCheck --check-prefixes=CHECK,VCP,VCP-X86,VCP64,BRANCH-FUNNEL %s
; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-vcp-branch-funnel.yaml < %s | FileCheck --check-prefixes=CHECK,VCP,VCP-X86,VCP64,BRANCH-FUNNEL %s ; RUN: opt -S -passes=wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-branch-funnel.yaml < %s | FileCheck --check-prefixes=CHECK,BRANCH-FUNNEL,BRANCH-FUNNEL-NOVCP %s
; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import -wholeprogramdevirt-read-summary=%S/Inputs/import-branch-funnel.yaml < %s | FileCheck --check-prefixes=CHECK,BRANCH-FUNNEL,BRANCH-FUNNEL-NOVCP %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; VCP-X86: @__typeid_typeid1_0_1_byte = external hidden global [0 x i8], !absolute_symbol !0 ; VCP-X86: @__typeid_typeid1_0_1_byte = external hidden global [0 x i8], !absolute_symbol !0
; VCP-X86: @__typeid_typeid1_0_1_bit = external hidden global [0 x i8], !absolute_symbol !1 ; VCP-X86: @__typeid_typeid1_0_1_bit = external hidden global [0 x i8], !absolute_symbol !1
; VCP-X86: @__typeid_typeid2_8_3_byte = external hidden global [0 x i8], !absolute_symbol !0 ; VCP-X86: @__typeid_typeid2_8_3_byte = external hidden global [0 x i8], !absolute_symbol !0
; VCP-X86: @__typeid_typeid2_8_3_bit = external hidden global [0 x i8], !absolute_symbol !1 ; VCP-X86: @__typeid_typeid2_8_3_bit = external hidden global [0 x i8], !absolute_symbol !1
▲ Show 20 Lines • Show All 104 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/non-constant-vtable.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt %s 2>&1 | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt %s 2>&1 | FileCheck %s
; CHECK-NOT: devirtualized call ; CHECK-NOT: devirtualized call
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt = global [1 x i8*] [i8* bitcast (void (i8*)* @vf to i8*)], !type !0 @vt = global [1 x i8*] [i8* bitcast (void (i8*)* @vf to i8*)], !type !0
Show All 23 Lines

llvm/test/Transforms/WholeProgramDevirt/pointer-vtable.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt = constant i8* bitcast (void (i8*)* @vf to i8*), !type !0 @vt = constant i8* bitcast (void (i8*)* @vf to i8*), !type !0
define void @vf(i8* %this) { define void @vf(i8* %this) {
ret void ret void
Show All 21 Lines

llvm/test/Transforms/WholeProgramDevirt/soa-vtable.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
%vtTy = type { [2 x void (i8*)*], [2 x void (i8*)*] } %vtTy = type { [2 x void (i8*)*], [2 x void (i8*)*] }
@vt = constant %vtTy { [2 x void (i8*)*] [void (i8*)* null, void (i8*)* @vf1], [2 x void (i8*)*] [void (i8*)* null, void (i8*)* @vf2] }, !type !0, !type !1 @vt = constant %vtTy { [2 x void (i8*)*] [void (i8*)* null, void (i8*)* @vf1], [2 x void (i8*)*] [void (i8*)* null, void (i8*)* @vf2] }, !type !0, !type !1
▲ Show 20 Lines • Show All 43 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/struct-vtable.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
%vtTy = type { void (i8*)* } %vtTy = type { void (i8*)* }
@vt = constant %vtTy { void (i8*)* @vf }, !type !0 @vt = constant %vtTy { void (i8*)* @vf }, !type !0
▲ Show 20 Lines • Show All 54 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/uniform-retval-invoke.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf1 to i8*)], !type !0 @vt1 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf1 to i8*)], !type !0
@vt2 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf2 to i8*)], !type !0 @vt2 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf2 to i8*)], !type !0
define i32 @vf1(i8* %this) readnone { define i32 @vf1(i8* %this) readnone {
Show All 34 Lines

llvm/test/Transforms/WholeProgramDevirt/uniform-retval-multiple-assumes.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf1 to i8*)], !type !0 @vt1 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf1 to i8*)], !type !0
@vt2 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf2 to i8*)], !type !0 @vt2 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf2 to i8*)], !type !0
define i32 @vf1(i8* %this) readnone { define i32 @vf1(i8* %this) readnone {
Show All 29 Lines

llvm/test/Transforms/WholeProgramDevirt/uniform-retval.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf1 to i8*)], !type !0 @vt1 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf1 to i8*)], !type !0
@vt2 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf2 to i8*)], !type !0 @vt2 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf2 to i8*)], !type !0
define i32 @vf1(i8* %this) readnone { define i32 @vf1(i8* %this) readnone {
Show All 27 Lines

llvm/test/Transforms/WholeProgramDevirt/unique-retval-multiple-assumes.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf0 to i8*)], !type !0 @vt1 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf0 to i8*)], !type !0
@vt2 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf0 to i8*)], !type !0, !type !1 @vt2 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf0 to i8*)], !type !0, !type !1
@vt3 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf1 to i8*)], !type !0, !type !1 @vt3 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf1 to i8*)], !type !0, !type !1
@vt4 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf1 to i8*)], !type !1 @vt4 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf1 to i8*)], !type !1
Show All 32 Lines

llvm/test/Transforms/WholeProgramDevirt/unique-retval-same-vtable.ll

; Test for PR45393: Two virtual functions that return unique i1 values ; Test for PR45393: Two virtual functions that return unique i1 values
; in the same vtable. Both calls are optimized to a comparison of ; in the same vtable. Both calls are optimized to a comparison of
; this's vptr against the address of the vtable. When nesting these ; this's vptr against the address of the vtable. When nesting these
; checks, LLVM would previously assume the nested check always fails, ; checks, LLVM would previously assume the nested check always fails,
; but that assumption does not hold if both checks refer to the same vtable. ; but that assumption does not hold if both checks refer to the same vtable.
; This tests checks that this case is handled correctly. ; This tests checks that this case is handled correctly.
; ;
; RUN: opt -S -wholeprogramdevirt -wholeprogramdevirt-summary-action=import \ ; RUN: opt -S -passes='wholeprogramdevirt,default<O2>' -wholeprogramdevirt-summary-action=import \
; RUN: -wholeprogramdevirt-read-summary=%p/Inputs/unique-retval-same-vtable.yaml \ ; RUN: -wholeprogramdevirt-read-summary=%p/Inputs/unique-retval-same-vtable.yaml \
; RUN: -O2 -o - %s | FileCheck %s ; RUN: -o - %s | FileCheck %s
; ;
; Check that C::f() contains both possible return values. ; Check that C::f() contains both possible return values.
; CHECK-LABEL: define {{.*}} @_ZNK1C1fEv ; CHECK-LABEL: define {{.*}} @_ZNK1C1fEv
; CHECK-NOT: } ; CHECK-NOT: }
; CHECK: 20074028 ; CHECK: 20074028
; CHECK-NOT: } ; CHECK-NOT: }
; CHECK: 1008434 ; CHECK: 1008434
▲ Show 20 Lines • Show All 41 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/unique-retval.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf0 to i8*)], !type !0 @vt1 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf0 to i8*)], !type !0
@vt2 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf0 to i8*)], !type !0, !type !1 @vt2 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf0 to i8*)], !type !0, !type !1
@vt3 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf1 to i8*)], !type !0, !type !1 @vt3 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf1 to i8*)], !type !0, !type !1
@vt4 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf1 to i8*)], !type !1 @vt4 = constant [1 x i8*] [i8* bitcast (i1 (i8*)* @vf1 to i8*)], !type !1
▲ Show 20 Lines • Show All 48 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/vcp-accesses-memory.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [2 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf1a to i8*), i8* bitcast (i32 (i8*, i32)* @vf1b to i8*)], !type !0 @vt1 = constant [2 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf1a to i8*), i8* bitcast (i32 (i8*, i32)* @vf1b to i8*)], !type !0
@vt2 = constant [2 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf2a to i8*), i8* bitcast (i32 (i8*, i32)* @vf2b to i8*)], !type !0 @vt2 = constant [2 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf2a to i8*), i8* bitcast (i32 (i8*, i32)* @vf2b to i8*)], !type !0
▲ Show 20 Lines • Show All 60 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/vcp-decl.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [1 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf1 to i8*)], !type !0 @vt1 = constant [1 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf1 to i8*)], !type !0
@vt2 = constant [1 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf2 to i8*)], !type !0 @vt2 = constant [1 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf2 to i8*)], !type !0
declare i32 @vf1(i8* %this, i32 %arg) readnone declare i32 @vf1(i8* %this, i32 %arg) readnone
Show All 23 Lines

llvm/test/Transforms/WholeProgramDevirt/vcp-no-this.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [1 x i8*] [i8* bitcast (i32 ()* @vf1 to i8*)], !type !0 @vt1 = constant [1 x i8*] [i8* bitcast (i32 ()* @vf1 to i8*)], !type !0
@vt2 = constant [1 x i8*] [i8* bitcast (i32 ()* @vf2 to i8*)], !type !0 @vt2 = constant [1 x i8*] [i8* bitcast (i32 ()* @vf2 to i8*)], !type !0
define i32 @vf1() readnone { define i32 @vf1() readnone {
Show All 26 Lines

llvm/test/Transforms/WholeProgramDevirt/vcp-non-constant-arg.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [1 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf1 to i8*)], !type !0 @vt1 = constant [1 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf1 to i8*)], !type !0
@vt2 = constant [1 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf2 to i8*)], !type !0 @vt2 = constant [1 x i8*] [i8* bitcast (i32 (i8*, i32)* @vf2 to i8*)], !type !0
define i32 @vf1(i8* %this, i32 %arg) readnone { define i32 @vf1(i8* %this, i32 %arg) readnone {
Show All 26 Lines

llvm/test/Transforms/WholeProgramDevirt/vcp-too-wide-ints.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [1 x i8*] [i8* bitcast (i64 (i8*, i128)* @vf1 to i8*)], !type !0 @vt1 = constant [1 x i8*] [i8* bitcast (i64 (i8*, i128)* @vf1 to i8*)], !type !0
@vt2 = constant [1 x i8*] [i8* bitcast (i64 (i8*, i128)* @vf2 to i8*)], !type !0 @vt2 = constant [1 x i8*] [i8* bitcast (i64 (i8*, i128)* @vf2 to i8*)], !type !0
@vt3 = constant [1 x i8*] [i8* bitcast (i128 (i8*, i64)* @vf3 to i8*)], !type !1 @vt3 = constant [1 x i8*] [i8* bitcast (i128 (i8*, i64)* @vf3 to i8*)], !type !1
@vt4 = constant [1 x i8*] [i8* bitcast (i128 (i8*, i64)* @vf4 to i8*)], !type !1 @vt4 = constant [1 x i8*] [i8* bitcast (i128 (i8*, i64)* @vf4 to i8*)], !type !1
▲ Show 20 Lines • Show All 56 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/vcp-type-mismatch.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
; Test that we correctly handle function type mismatches in argument counts ; Test that we correctly handle function type mismatches in argument counts
; and bitwidths. We handle an argument count mismatch by refusing ; and bitwidths. We handle an argument count mismatch by refusing
; to optimize. For bitwidth mismatches, we allow the optimization in order ; to optimize. For bitwidth mismatches, we allow the optimization in order
; to simplify the implementation. This is legal because the bitwidth mismatch ; to simplify the implementation. This is legal because the bitwidth mismatch
; gives the call undefined behavior. ; gives the call undefined behavior.
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
▲ Show 20 Lines • Show All 62 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/vcp-uses-this.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt1 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf1 to i8*)], !type !0 @vt1 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf1 to i8*)], !type !0
@vt2 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf2 to i8*)], !type !0 @vt2 = constant [1 x i8*] [i8* bitcast (i32 (i8*)* @vf2 to i8*)], !type !0
define i32 @vf1(i8* %this) readnone { define i32 @vf1(i8* %this) readnone {
Show All 28 Lines

llvm/test/Transforms/WholeProgramDevirt/virtual-const-prop-begin.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; CHECK: [[VT1DATA:@[^ ]*]] = private constant { [8 x i8], [3 x i8*], [0 x i8] } { [8 x i8] c"\00\00\00\01\00\00\00\02", [3 x i8*] [i8* bitcast (i1 (i8*)* @vf0i1 to i8*), i8* bitcast (i1 (i8*)* @vf1i1 to i8*), i8* bitcast (i32 (i8*)* @vf1i32 to i8*)], [0 x i8] zeroinitializer }, section "vt1sec", !type [[T8:![0-9]+]] ; CHECK: [[VT1DATA:@[^ ]*]] = private constant { [8 x i8], [3 x i8*], [0 x i8] } { [8 x i8] c"\00\00\00\01\00\00\00\02", [3 x i8*] [i8* bitcast (i1 (i8*)* @vf0i1 to i8*), i8* bitcast (i1 (i8*)* @vf1i1 to i8*), i8* bitcast (i32 (i8*)* @vf1i32 to i8*)], [0 x i8] zeroinitializer }, section "vt1sec", !type [[T8:![0-9]+]]
@vt1 = constant [3 x i8*] [ @vt1 = constant [3 x i8*] [
i8* bitcast (i1 (i8*)* @vf0i1 to i8*), i8* bitcast (i1 (i8*)* @vf0i1 to i8*),
i8* bitcast (i1 (i8*)* @vf1i1 to i8*), i8* bitcast (i1 (i8*)* @vf1i1 to i8*),
▲ Show 20 Lines • Show All 132 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/virtual-const-prop-check.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt %s 2>&1 | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt %s 2>&1 | FileCheck %s
; Skipping vf0i1 is identical to setting public LTO visibility. We don't devirtualize vf0i1 and all other ; Skipping vf0i1 is identical to setting public LTO visibility. We don't devirtualize vf0i1 and all other
; virtual call targets. ; virtual call targets.
; RUN: opt -S -wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt -wholeprogramdevirt-skip=vf0i1 %s 2>&1 | FileCheck %s --check-prefix=SKIP ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt -wholeprogramdevirt-skip=vf0i1 %s 2>&1 | FileCheck %s --check-prefix=SKIP
; We have two set of call targets {vf0i1, vf1i1} and {vf1i32, vf2i32, vf3i32, vf4i32}. ; We have two set of call targets {vf0i1, vf1i1} and {vf1i32, vf2i32, vf3i32, vf4i32}.
; The command below prevents both of them from devirtualization. ; The command below prevents both of them from devirtualization.
; RUN: opt -S -wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt -wholeprogramdevirt-skip=vf0i1,vf1i32 %s 2>&1 | FileCheck %s --check-prefix=SKIP-ALL ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt -wholeprogramdevirt-skip=vf0i1,vf1i32 %s 2>&1 | FileCheck %s --check-prefix=SKIP-ALL
; Check wildcard ; Check wildcard
; RUN: opt -S -wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt -wholeprogramdevirt-skip=vf?i1 %s 2>&1 | FileCheck %s --check-prefix=SKIP ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility -pass-remarks=wholeprogramdevirt -wholeprogramdevirt-skip=vf?i1 %s 2>&1 | FileCheck %s --check-prefix=SKIP
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; CHECK: remark: <unknown>:0:0: virtual-const-prop-1-bit: devirtualized a call to vf0i1 ; CHECK: remark: <unknown>:0:0: virtual-const-prop-1-bit: devirtualized a call to vf0i1
; CHECK: remark: <unknown>:0:0: virtual-const-prop-1-bit: devirtualized a call to vf1i1 ; CHECK: remark: <unknown>:0:0: virtual-const-prop-1-bit: devirtualized a call to vf1i1
; CHECK: remark: <unknown>:0:0: virtual-const-prop: devirtualized a call to vf1i32 ; CHECK: remark: <unknown>:0:0: virtual-const-prop: devirtualized a call to vf1i32
; CHECK: remark: <unknown>:0:0: devirtualized vf0i1 ; CHECK: remark: <unknown>:0:0: devirtualized vf0i1
▲ Show 20 Lines • Show All 147 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/virtual-const-prop-end.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; CHECK: [[VT1DATA:@[^ ]*]] = private constant { [0 x i8], [4 x i8*], [5 x i8] } { [0 x i8] zeroinitializer, [4 x i8*] [i8* null, i8* bitcast (i1 (i8*)* @vf0i1 to i8*), i8* bitcast (i1 (i8*)* @vf1i1 to i8*), i8* bitcast (i32 (i8*)* @vf1i32 to i8*)], [5 x i8] c"\02\01\00\00\00" }, !type [[T8:![0-9]+]] ; CHECK: [[VT1DATA:@[^ ]*]] = private constant { [0 x i8], [4 x i8*], [5 x i8] } { [0 x i8] zeroinitializer, [4 x i8*] [i8* null, i8* bitcast (i1 (i8*)* @vf0i1 to i8*), i8* bitcast (i1 (i8*)* @vf1i1 to i8*), i8* bitcast (i32 (i8*)* @vf1i32 to i8*)], [5 x i8] c"\02\01\00\00\00" }, !type [[T8:![0-9]+]]
@vt1 = constant [4 x i8*] [ @vt1 = constant [4 x i8*] [
i8* null, i8* null,
i8* bitcast (i1 (i8*)* @vf0i1 to i8*), i8* bitcast (i1 (i8*)* @vf0i1 to i8*),
▲ Show 20 Lines • Show All 125 Lines • Show Last 20 Lines

llvm/test/Transforms/WholeProgramDevirt/virtual-const-prop-multiple-assumes.ll

; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s | FileCheck %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s | FileCheck %s
target datalayout = "e-p:64:64" target datalayout = "e-p:64:64"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@vt2 = constant [3 x i8*] [ @vt2 = constant [3 x i8*] [
i8* bitcast (i1 (i8*)* @vf1i1 to i8*), i8* bitcast (i1 (i8*)* @vf1i1 to i8*),
i8* bitcast (i1 (i8*)* @vf0i1 to i8*), i8* bitcast (i1 (i8*)* @vf0i1 to i8*),
i8* bitcast (i32 (i8*)* @vf2i32 to i8*) i8* bitcast (i32 (i8*)* @vf2i32 to i8*)
Show All 26 Linesdefine i1 @call1(i8* %obj) {
%result = call i1 %fptr_casted(i8* %obj) %result = call i1 %fptr_casted(i8* %obj)
ret i1 %result ret i1 %result
} }
declare i1 @llvm.type.test(i8*, metadata) declare i1 @llvm.type.test(i8*, metadata)
declare void @llvm.assume(i1) declare void @llvm.assume(i1)
!0 = !{i32 0, !"typeid"} !0 = !{i32 0, !"typeid"}
No newline at end of file No newline at end of file

llvm/test/Transforms/WholeProgramDevirt/vtable-decl.ll

; Check that we don't crash when processing declaration with type metadata ; Check that we don't crash when processing declaration with type metadata
; RUN: opt -S -wholeprogramdevirt -whole-program-visibility %s ; RUN: opt -S -passes=wholeprogramdevirt -whole-program-visibility %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-none-linux-gnu" target triple = "x86_64-none-linux-gnu"
declare i1 @llvm.type.test(i8*, metadata) declare i1 @llvm.type.test(i8*, metadata)
declare void @llvm.assume(i1) declare void @llvm.assume(i1)
@_ZTVN3foo3barE = external dso_local unnamed_addr constant { [8 x i8*] }, align 8, !type !0 @_ZTVN3foo3barE = external dso_local unnamed_addr constant { [8 x i8*] }, align 8, !type !0
Show All 15 Lines