This is an archive of the discontinued LLVM Phabricator instance.

Differential D85360

[NewPM][LoopUnswitch] Pin loop-unswitch to legacy PM or use simple-loop-unswitch
ClosedPublic

Authored by aeubanks on Aug 5 2020, 1:58 PM.

Details

Reviewers
ychen
asbirlea
jyknight
Commits
rGd0acd97c68ec: [NewPM][LoopUnswitch] Pin loop-unswitch to legacy PM or use simple-loop-unswitch
Summary

As mentioned in
http://lists.llvm.org/pipermail/llvm-dev/2020-July/143395.html,
loop-unswitch has not been ported to the NPM. Instead people are using
simple-loop-unswitch.

Pin all tests in Transforms/LoopUnswitch to legacy PM and replace all
other uses of loop-unswitch with simple-loop-unswitch.

One test that didn't fit into the above was
2014-06-21-congruent-constant.ll which seems to only pass with
loop-unswitch. That is also pinned to legacy PM.

Now all tests containing "-loop-unswitch" anywhere in the test succeed with
NPM turned on by default.

Diff Detail

Event Timeline

aeubanks created this revision.Aug 5 2020, 1:58 PM
Herald added a project: Restricted Project. · View Herald TranscriptAug 5 2020, 1:58 PM
Herald added subscribers: llvm-commits, george.burgess.iv. · View Herald Transcript
aeubanks requested review of this revision.Aug 5 2020, 1:58 PM
aeubanks added a reviewer: jyknight.Aug 5 2020, 1:58 PM
ychen accepted this revision.Aug 5 2020, 2:31 PM

Looks good.

This revision is now accepted and ready to land.Aug 5 2020, 2:31 PM
Harbormaster completed remote builds in B67192: Diff 283386.Aug 5 2020, 3:34 PM
This revision was landed with ongoing or failed builds.Aug 6 2020, 10:56 AM
Closed by commit rGd0acd97c68ec: [NewPM][LoopUnswitch] Pin loop-unswitch to legacy PM or use simple-loop-unswitch (authored by aeubanks). · Explain Why
This revision was automatically updated to reflect the committed changes.
aeubanks added a commit: rGd0acd97c68ec: [NewPM][LoopUnswitch] Pin loop-unswitch to legacy PM or use simple-loop-unswitch.

Revision Contents

PathSize
llvm/
test/
Analysis/
AliasSet/
2 lines
Dominators/
2 lines
2 lines
MemorySSA/
2 lines
2 lines
2 lines
Other/
2 lines
Transforms/
IndVarSimplify/
2 lines
LCSSA/
2 lines
2 lines
2 lines
LICM/
2 lines
2 lines
2 lines
LoopDeletion/
2 lines
LoopUnswitch/
4 lines
4 lines
4 lines
4 lines
4 lines
4 lines
4 lines
2 lines
4 lines
4 lines
2 lines
4 lines
4 lines
2 lines
4 lines
6 lines
6 lines
6 lines
6 lines
2 lines
4 lines
2 lines
4 lines
4 lines
4 lines
2 lines
4 lines
4 lines
4 lines
4 lines
4 lines
4 lines
6 lines
4 lines
4 lines
4 lines
4 lines
4 lines
4 lines
2 lines
4 lines

Diff 283666

llvm/test/Analysis/AliasSet/unknown-inst-tracking.ll

; RUN: opt -S -licm -loop-unswitch < %s | FileCheck %s ; RUN: opt -S -licm -simple-loop-unswitch < %s | FileCheck %s
; This test checks for a crash. See PR32587. ; This test checks for a crash. See PR32587.
@global = external global i32 @global = external global i32
declare i32 @f_1(i8, i32 returned) declare i32 @f_1(i8, i32 returned)
define i32 @f_0() { define i32 @f_0() {
Show All 16 Lines

llvm/test/Analysis/Dominators/2007-07-11-SplitBlock.ll

; RUN: opt < %s -loop-rotate -loop-unswitch -disable-output ; RUN: opt < %s -loop-rotate -simple-loop-unswitch -disable-output
define i32 @stringSearch_Clib(i32 %count) { define i32 @stringSearch_Clib(i32 %count) {
entry: entry:
br i1 false, label %bb36, label %bb44 br i1 false, label %bb36, label %bb44
cond_true20: ; preds = %bb36 cond_true20: ; preds = %bb36
%tmp33 = add i32 0, 0 ; <i32> [#uses=1] %tmp33 = add i32 0, 0 ; <i32> [#uses=1]
br label %bb36 br label %bb36
Show All 12 Lines

llvm/test/Analysis/Dominators/2007-07-12-SplitBlock.ll

; RUN: opt < %s -loop-rotate -licm -loop-unswitch -disable-output ; RUN: opt < %s -loop-rotate -licm -simple-loop-unswitch -disable-output
define i32 @main(i32 %argc, i8** %argv) { define i32 @main(i32 %argc, i8** %argv) {
entry: entry:
br label %bb7 br label %bb7
bb7: ; preds = %bb7, %entry bb7: ; preds = %bb7, %entry
%tmp54 = icmp slt i32 0, 2000000 ; <i1> [#uses=1] %tmp54 = icmp slt i32 0, 2000000 ; <i1> [#uses=1]
br i1 %tmp54, label %bb7, label %bb56 br i1 %tmp54, label %bb7, label %bb56
bb56: ; preds = %bb7 bb56: ; preds = %bb7
ret i32 0 ret i32 0
} }

llvm/test/Analysis/MemorySSA/loop-unswitch.ll

; RUN: opt -S -loop-unswitch -disable-basic-aa -enable-mssa-loop-dependency -verify-memoryssa < %s | FileCheck %s ; RUN: opt -S -simple-loop-unswitch -disable-basic-aa -enable-mssa-loop-dependency -verify-memoryssa < %s | FileCheck %s
; REQUIRES: asserts ; REQUIRES: asserts
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; CHECK-LABEL: @foo() ; CHECK-LABEL: @foo()
; Function Attrs: readnone speculatable ; Function Attrs: readnone speculatable
declare i32 @foo() #0 declare i32 @foo() #0
Show All 17 Lines

llvm/test/Analysis/MemorySSA/pr39197.ll

; RUN: opt -mtriple=s390x-linux-gnu -mcpu=z13 -enable-mssa-loop-dependency -verify-memoryssa -sroa -globalopt -function-attrs -simplifycfg -licm -loop-unswitch %s -S | FileCheck %s ; RUN: opt -mtriple=s390x-linux-gnu -mcpu=z13 -enable-mssa-loop-dependency -verify-memoryssa -sroa -globalopt -function-attrs -simplifycfg -licm -simple-loop-unswitch %s -S | FileCheck %s
; REQUIRES: asserts ; REQUIRES: asserts
target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64" target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64"
target triple = "s390x-ibm-linux" target triple = "s390x-ibm-linux"
@0 = internal global i32 -9, align 4 @0 = internal global i32 -9, align 4
@1 = internal global i64 9, align 8 @1 = internal global i64 9, align 8
@g_1042 = external dso_local global [5 x i16], align 2 @g_1042 = external dso_local global [5 x i16], align 2
▲ Show 20 Lines • Show All 144 Lines • Show Last 20 Lines

llvm/test/Analysis/MemorySSA/pr40749_2.ll

; RUN: opt -S -licm -loop-unswitch -enable-mssa-loop-dependency -verify-memoryssa %s | FileCheck %s ; RUN: opt -S -licm -simple-loop-unswitch -enable-mssa-loop-dependency -verify-memoryssa %s | FileCheck %s
; REQUIRES: asserts ; REQUIRES: asserts
target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64" target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-v128:64-a:8:16-n32:64"
target triple = "s390x-ibm-linux" target triple = "s390x-ibm-linux"
@g_92 = external dso_local local_unnamed_addr global i16, align 2 @g_92 = external dso_local local_unnamed_addr global i16, align 2
@g_993 = external dso_local local_unnamed_addr global i32, align 4 @g_993 = external dso_local local_unnamed_addr global i32, align 4
; CHECK-LABEL: @ff6 ; CHECK-LABEL: @ff6
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

llvm/test/Other/2007-09-10-PassManager.ll

; RUN: opt < %s -loop-unswitch -indvars -disable-output ; RUN: opt < %s -simple-loop-unswitch -indvars -disable-output
; Require SCEV before LCSSA. ; Require SCEV before LCSSA.
define void @foo() { define void @foo() {
entry: entry:
%i = alloca i32, align 4 ; <i32*> [#uses=5] %i = alloca i32, align 4 ; <i32*> [#uses=5]
%"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0]
store i32 0, i32* %i, align 4 store i32 0, i32* %i, align 4
br label %bb3 br label %bb3
Show All 23 Lines

llvm/test/Transforms/IndVarSimplify/2014-06-21-congruent-constant.ll

; RUN: opt -S -loop-unswitch -instcombine -indvars < %s | FileCheck %s ; RUN: opt -S -loop-unswitch -instcombine -indvars -enable-new-pm=0 < %s | FileCheck %s
; This used to crash in SCEVExpander when there were congruent phis with and ; This used to crash in SCEVExpander when there were congruent phis with and
; undef incoming value from the loop header. The -loop-unswitch -instcombine is ; undef incoming value from the loop header. The -loop-unswitch -instcombine is
; necessary to create just this pattern, which is essentially a nop and gets ; necessary to create just this pattern, which is essentially a nop and gets
; folded away aggressively if spelled out in IR directly. ; folded away aggressively if spelled out in IR directly.
; PR 20093 ; PR 20093
@c = external global i32**, align 8 @c = external global i32**, align 8
▲ Show 20 Lines • Show All 48 Lines • Show Last 20 Lines

llvm/test/Transforms/LCSSA/2007-07-12-LICM-2.ll

; RUN: opt < %s -loop-rotate -licm -loop-unswitch -disable-output ; RUN: opt < %s -loop-rotate -licm -simple-loop-unswitch -disable-output
define i32 @main(i32 %argc, i8** %argv) { define i32 @main(i32 %argc, i8** %argv) {
entry: entry:
br label %bb7 br label %bb7
bb7: ; preds = %bb7, %entry bb7: ; preds = %bb7, %entry
%tmp39 = load <4 x float>, <4 x float>* null ; <<4 x float>> [#uses=1] %tmp39 = load <4 x float>, <4 x float>* null ; <<4 x float>> [#uses=1]
%tmp40 = fadd <4 x float> %tmp39, < float 2.000000e+00, float 3.000000e+00, float 1.000000e+00, float 0.000000e+00 > ; <<4 x float>> [#uses=1] %tmp40 = fadd <4 x float> %tmp39, < float 2.000000e+00, float 3.000000e+00, float 1.000000e+00, float 0.000000e+00 > ; <<4 x float>> [#uses=1]
%tmp43 = fadd <4 x float> %tmp40, < float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 2.000000e+00 > ; <<4 x float>> [#uses=1] %tmp43 = fadd <4 x float> %tmp40, < float 1.000000e+00, float 1.000000e+00, float 0.000000e+00, float 2.000000e+00 > ; <<4 x float>> [#uses=1]
%tmp46 = fadd <4 x float> %tmp43, < float 3.000000e+00, float 0.000000e+00, float 2.000000e+00, float 4.000000e+00 > ; <<4 x float>> [#uses=1] %tmp46 = fadd <4 x float> %tmp43, < float 3.000000e+00, float 0.000000e+00, float 2.000000e+00, float 4.000000e+00 > ; <<4 x float>> [#uses=1]
%tmp49 = fadd <4 x float> %tmp46, < float 0.000000e+00, float 4.000000e+00, float 6.000000e+00, float 1.000000e+00 > ; <<4 x float>> [#uses=1] %tmp49 = fadd <4 x float> %tmp46, < float 0.000000e+00, float 4.000000e+00, float 6.000000e+00, float 1.000000e+00 > ; <<4 x float>> [#uses=1]
store <4 x float> %tmp49, <4 x float>* null store <4 x float> %tmp49, <4 x float>* null
br i1 false, label %bb7, label %bb56 br i1 false, label %bb7, label %bb56
bb56: ; preds = %bb7 bb56: ; preds = %bb7
ret i32 0 ret i32 0
} }

llvm/test/Transforms/LCSSA/2007-07-12-LICM-3.ll

; RUN: opt < %s -loop-rotate -licm -loop-unswitch -disable-output ; RUN: opt < %s -loop-rotate -licm -simple-loop-unswitch -disable-output
define i32 @main(i32 %argc, i8** %argv) { define i32 @main(i32 %argc, i8** %argv) {
entry: entry:
br label %bb br label %bb
bb: ; preds = %bb56, %entry bb: ; preds = %bb56, %entry
br label %bb7 br label %bb7
Show All 15 Lines

llvm/test/Transforms/LCSSA/2007-07-12-LICM.ll

; RUN: opt < %s -loop-rotate -licm -loop-unswitch -disable-output ; RUN: opt < %s -loop-rotate -licm -simple-loop-unswitch -disable-output
define i32 @main(i32 %argc, i8** %argv) { define i32 @main(i32 %argc, i8** %argv) {
entry: entry:
br label %bb7 br label %bb7
bb7: ; preds = %bb7, %entry bb7: ; preds = %bb7, %entry
%tmp39 = load <4 x float>, <4 x float>* null ; <<4 x float>> [#uses=1] %tmp39 = load <4 x float>, <4 x float>* null ; <<4 x float>> [#uses=1]
%tmp40 = fadd <4 x float> %tmp39, < float 2.000000e+00, float 3.000000e+00, float 1.000000e+00, float 0.000000e+00 > ; <<4 x float>> [#uses=0] %tmp40 = fadd <4 x float> %tmp39, < float 2.000000e+00, float 3.000000e+00, float 1.000000e+00, float 0.000000e+00 > ; <<4 x float>> [#uses=0]
store <4 x float> zeroinitializer, <4 x float>* null store <4 x float> zeroinitializer, <4 x float>* null
br i1 false, label %bb7, label %bb56 br i1 false, label %bb7, label %bb56
bb56: ; preds = %bb7 bb56: ; preds = %bb7
ret i32 0 ret i32 0
} }

llvm/test/Transforms/LICM/2007-07-30-AliasSet.ll

; RUN: opt < %s -licm -loop-unswitch -disable-output ; RUN: opt < %s -licm -simple-loop-unswitch -disable-output
%struct.III_scalefac_t = type { [22 x i32], [13 x [3 x i32]] } %struct.III_scalefac_t = type { [22 x i32], [13 x [3 x i32]] }
%struct.gr_info = type { i32, i32, i32, i32, i32, i32, i32, i32, [3 x i32], [3 x i32], i32, i32, i32, i32, i32, i32, i32, i32, i32, i32*, [4 x i32] } %struct.gr_info = type { i32, i32, i32, i32, i32, i32, i32, i32, [3 x i32], [3 x i32], i32, i32, i32, i32, i32, i32, i32, i32, i32, i32*, [4 x i32] }
define i32 @scale_bitcount_lsf(%struct.III_scalefac_t* %scalefac, %struct.gr_info* %cod_info) { define i32 @scale_bitcount_lsf(%struct.III_scalefac_t* %scalefac, %struct.gr_info* %cod_info) {
entry: entry:
br i1 false, label %bb28, label %bb133.preheader br i1 false, label %bb28, label %bb133.preheader
bb133.preheader: ; preds = %entry bb133.preheader: ; preds = %entry
Show All 30 Lines

llvm/test/Transforms/LICM/Preserve-LCSSA.ll

; RUN: opt < %s -loop-rotate -licm -loop-unswitch -disable-output -verify-loop-info -verify-dom-info ; RUN: opt < %s -loop-rotate -licm -simple-loop-unswitch -disable-output -verify-loop-info -verify-dom-info
define i32 @stringSearch_Clib(i32 %count) { define i32 @stringSearch_Clib(i32 %count) {
entry: entry:
br i1 false, label %bb36, label %bb44 br i1 false, label %bb36, label %bb44
bb4: ; preds = %bb36 bb4: ; preds = %bb36
br i1 false, label %cond_next, label %cond_true br i1 false, label %cond_next, label %cond_true
Show All 16 Lines

llvm/test/Transforms/LICM/pr32129.ll

; RUN: opt -S -licm -loop-unswitch -licm < %s | FileCheck %s ; RUN: opt -S -licm -simple-loop-unswitch -licm < %s | FileCheck %s
declare void @llvm.experimental.guard(i1, ...) declare void @llvm.experimental.guard(i1, ...)
define void @test() { define void @test() {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
; CHECK-NOT: guard ; CHECK-NOT: guard
entry: entry:
br label %header br label %header
Show All 9 Lines

llvm/test/Transforms/LoopDeletion/2008-05-06-Phi.ll

; RUN: opt < %s -inline -instcombine -jump-threading -licm -loop-unswitch -instcombine -indvars -loop-deletion -gvn -simplifycfg -verify -disable-output ; RUN: opt < %s -inline -instcombine -jump-threading -licm -simple-loop-unswitch -instcombine -indvars -loop-deletion -gvn -simplifycfg -verify -disable-output
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
target triple = "i386-apple-darwin9" target triple = "i386-apple-darwin9"
%struct.BF_BitstreamElement = type { i32, i16 } %struct.BF_BitstreamElement = type { i32, i16 }
%struct.BF_BitstreamPart = type { i32, %struct.BF_BitstreamElement* } %struct.BF_BitstreamPart = type { i32, %struct.BF_BitstreamElement* }
%struct.BF_PartHolder = type { i32, %struct.BF_BitstreamPart* } %struct.BF_PartHolder = type { i32, %struct.BF_BitstreamPart* }
%struct.Bit_stream_struc = type { i8*, i32, %struct.FILE*, i8*, i32, i32, i32, i32 } %struct.Bit_stream_struc = type { i8*, i32, %struct.FILE*, i8*, i32, i32, i32, i32 }
%struct.FILE = type { i8*, i32, i32, i16, i16, %struct.__sbuf, i32, i8*, i32 (i8*)*, i32 (i8*, i8*, i32)*, i64 (i8*, i64, i32)*, i32 (i8*, i8*, i32)*, %struct.__sbuf, %struct.__sFILEX*, i32, [3 x i8], [1 x i8], %struct.__sbuf, i32, i64 } %struct.FILE = type { i8*, i32, i32, i16, i16, %struct.__sbuf, i32, i8*, i32 (i8*)*, i32 (i8*, i8*, i32)*, i64 (i8*, i64, i32)*, i32 (i8*, i8*, i32)*, %struct.__sbuf, %struct.__sFILEX*, i32, [3 x i8], [1 x i8], %struct.__sbuf, i32, i64 }
▲ Show 20 Lines • Show All 100 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/2006-06-13-SingleEntryPHI.ll

; RUN: opt < %s -loop-unswitch -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -disable-output
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
%struct.BLEND_MAP = type { i16, i16, i16, i32, %struct.BLEND_MAP_ENTRY* } %struct.BLEND_MAP = type { i16, i16, i16, i32, %struct.BLEND_MAP_ENTRY* }
%struct.BLEND_MAP_ENTRY = type { float, i8, { [5 x float], [4 x i8] } } %struct.BLEND_MAP_ENTRY = type { float, i8, { [5 x float], [4 x i8] } }
%struct.TPATTERN = type { i16, i16, i16, i32, float, float, float, %struct.WARP*, %struct.TPATTERN*, %struct.BLEND_MAP*, { %struct.anon, [4 x i8] } } %struct.TPATTERN = type { i16, i16, i16, i32, float, float, float, %struct.WARP*, %struct.TPATTERN*, %struct.BLEND_MAP*, { %struct.anon, [4 x i8] } }
%struct.TURB = type { i16, %struct.WARP*, [3 x double], i32, float, float } %struct.TURB = type { i16, %struct.WARP*, [3 x double], i32, float, float }
%struct.WARP = type { i16, %struct.WARP* } %struct.WARP = type { i16, %struct.WARP* }
%struct.anon = type { float, [3 x double] } %struct.anon = type { float, [3 x double] }
Show All 26 Lines

llvm/test/Transforms/LoopUnswitch/2006-06-27-DeadSwitchCase.ll

; RUN: opt < %s -loop-unswitch -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -disable-output
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
define void @init_caller_save() { define void @init_caller_save() {
entry: entry:
br label %cond_true78 br label %cond_true78
cond_next20: ; preds = %cond_true64 cond_next20: ; preds = %cond_true64
br label %bb31 br label %bb31
bb31: ; preds = %cond_true64, %cond_true64, %cond_next20 bb31: ; preds = %cond_true64, %cond_true64, %cond_next20
%iftmp.29.1 = phi i32 [ 0, %cond_next20 ], [ 0, %cond_true64 ], [ 0, %cond_true64 ] ; <i32> [#uses=0] %iftmp.29.1 = phi i32 [ 0, %cond_next20 ], [ 0, %cond_true64 ], [ 0, %cond_true64 ] ; <i32> [#uses=0]
Show All 16 Lines

llvm/test/Transforms/LoopUnswitch/2007-05-09-Unreachable.ll

; PR1333 ; PR1333
; RUN: opt < %s -loop-unswitch -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -disable-output
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64"
target triple = "i686-pc-linux-gnu" target triple = "i686-pc-linux-gnu"
%struct.ada__streams__root_stream_type = type { %struct.ada__tags__dispatch_table* } %struct.ada__streams__root_stream_type = type { %struct.ada__tags__dispatch_table* }
%struct.ada__tags__dispatch_table = type { [1 x i8*] } %struct.ada__tags__dispatch_table = type { [1 x i8*] }
%struct.quotes__T173s = type { i8, %struct.quotes__T173s__T174s, [2 x [1 x double]], [2 x i16], i64, i8 } %struct.quotes__T173s = type { i8, %struct.quotes__T173s__T174s, [2 x [1 x double]], [2 x i16], i64, i8 }
%struct.quotes__T173s__T174s = type { i8, i8, i8, i16, i16, [2 x [1 x double]] } %struct.quotes__T173s__T174s = type { i8, i8, i8, i16, i16, [2 x [1 x double]] }
Show All 18 Lines

llvm/test/Transforms/LoopUnswitch/2007-05-09-tl.ll

; RUN: opt < %s -loop-unswitch -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -disable-output
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
; PR1333 ; PR1333
define void @pp_cxx_expression() { define void @pp_cxx_expression() {
entry: entry:
%tmp6 = lshr i32 0, 24 ; <i32> [#uses=1] %tmp6 = lshr i32 0, 24 ; <i32> [#uses=1]
br label %tailrecurse br label %tailrecurse
tailrecurse: ; preds = %tailrecurse, %tailrecurse, %entry tailrecurse: ; preds = %tailrecurse, %tailrecurse, %entry
▲ Show 20 Lines • Show All 86 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/2007-07-12-ExitDomInfo.ll

; RUN: opt < %s -loop-unswitch -instcombine -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -instcombine -disable-output
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -instcombine -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -instcombine -disable-output
@str3 = external constant [3 x i8] ; <[3 x i8]*> [#uses=1] @str3 = external constant [3 x i8] ; <[3 x i8]*> [#uses=1]
define i32 @stringSearch_Clib(i32 %count) { define i32 @stringSearch_Clib(i32 %count) {
entry: entry:
%ttmp25 = icmp sgt i32 %count, 0 ; <i1> [#uses=1] %ttmp25 = icmp sgt i32 %count, 0 ; <i1> [#uses=1]
br i1 %ttmp25, label %bb36.preheader, label %bb44 br i1 %ttmp25, label %bb36.preheader, label %bb44
Show All 36 Lines

llvm/test/Transforms/LoopUnswitch/2007-07-13-DomInfo.ll

; RUN: opt < %s -loop-unswitch -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -disable-output
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
define i32 @main(i32 %argc, i8** %argv) { define i32 @main(i32 %argc, i8** %argv) {
entry: entry:
%tmp1785365 = icmp ult i32 0, 100 ; <i1> [#uses=1] %tmp1785365 = icmp ult i32 0, 100 ; <i1> [#uses=1]
br label %bb br label %bb
bb: ; preds = %cond_true, %entry bb: ; preds = %cond_true, %entry
br i1 false, label %cond_true, label %cond_next br i1 false, label %cond_true, label %cond_next
Show All 18 Lines

llvm/test/Transforms/LoopUnswitch/2007-07-18-DomInfo.ll

; RUN: opt < %s -loop-unswitch -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -disable-output
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
; PR1559 ; PR1559
target triple = "i686-pc-linux-gnu" target triple = "i686-pc-linux-gnu"
%struct.re_pattern_buffer = type { i8*, i32, i32, i32, i8*, i8*, i32, i8 } %struct.re_pattern_buffer = type { i8*, i32, i32, i32, i8*, i8*, i32, i8 }
define fastcc i32 @byte_regex_compile(i8* %pattern, i32 %size, i32 %syntax, %struct.re_pattern_buffer* %bufp) { define fastcc i32 @byte_regex_compile(i8* %pattern, i32 %size, i32 %syntax, %struct.re_pattern_buffer* %bufp) {
entry: entry:
br i1 false, label %bb147, label %cond_next123 br i1 false, label %bb147, label %cond_next123
▲ Show 20 Lines • Show All 57 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/2007-08-01-Dom.ll

; RUN: opt < %s -licm -loop-unswitch -disable-output ; RUN: opt < %s -licm -loop-unswitch -enable-new-pm=0 -disable-output
; PR 1589 ; PR 1589
%struct.QBasicAtomic = type { i32 } %struct.QBasicAtomic = type { i32 }
define void @_ZNK5QDate9addMonthsEi(%struct.QBasicAtomic* sret %agg.result, %struct.QBasicAtomic* %this, i32 %nmonths) { define void @_ZNK5QDate9addMonthsEi(%struct.QBasicAtomic* sret %agg.result, %struct.QBasicAtomic* %this, i32 %nmonths) {
entry: entry:
br label %cond_true90 br label %cond_true90
Show All 21 Lines

llvm/test/Transforms/LoopUnswitch/2007-08-01-LCSSA.ll

; RUN: opt < %s -loop-unswitch -instcombine -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -instcombine -disable-output
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -instcombine -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -instcombine -disable-output
%struct.ClassDef = type { %struct.QByteArray, %struct.QByteArray, %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", i8, i8, %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QMap<QByteArray,QByteArray>", %"struct.QList<ArgumentDef>", %"struct.QMap<QByteArray,QByteArray>", i32, i32 } %struct.ClassDef = type { %struct.QByteArray, %struct.QByteArray, %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", i8, i8, %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QList<ArgumentDef>", %"struct.QMap<QByteArray,QByteArray>", %"struct.QList<ArgumentDef>", %"struct.QMap<QByteArray,QByteArray>", i32, i32 }
%struct.FILE = type { i32, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, %struct._IO_marker*, %struct.FILE*, i32, i32, i32, i16, i8, [1 x i8], i8*, i64, i8*, i8*, i8*, i8*, i32, i32, [40 x i8] } %struct.FILE = type { i32, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, %struct._IO_marker*, %struct.FILE*, i32, i32, i32, i16, i8, [1 x i8], i8*, i64, i8*, i8*, i8*, i8*, i32, i32, [40 x i8] }
%struct.Generator = type { %struct.FILE*, %struct.ClassDef*, %"struct.QList<ArgumentDef>", %struct.QByteArray, %"struct.QList<ArgumentDef>" } %struct.Generator = type { %struct.FILE*, %struct.ClassDef*, %"struct.QList<ArgumentDef>", %struct.QByteArray, %"struct.QList<ArgumentDef>" }
%struct.QBasicAtomic = type { i32 } %struct.QBasicAtomic = type { i32 }
%struct.QByteArray = type { %"struct.QByteArray::Data"* } %struct.QByteArray = type { %"struct.QByteArray::Data"* }
%"struct.QByteArray::Data" = type { %struct.QBasicAtomic, i32, i32, i8*, [1 x i8] } %"struct.QByteArray::Data" = type { %struct.QBasicAtomic, i32, i32, i8*, [1 x i8] }
%"struct.QList<ArgumentDef>" = type { %"struct.QList<ArgumentDef>::._19" } %"struct.QList<ArgumentDef>" = type { %"struct.QList<ArgumentDef>::._19" }
%"struct.QList<ArgumentDef>::._19" = type { %struct.QListData } %"struct.QList<ArgumentDef>::._19" = type { %struct.QListData }
▲ Show 20 Lines • Show All 46 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/2008-06-02-DomInfo.ll

; RUN: opt < %s -loop-unswitch -instcombine -gvn -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -instcombine -gvn -disable-output
; RUN: opt < %s -loop-unswitch -instcombine -gvn -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -instcombine -gvn -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
; PR2372 ; PR2372
target triple = "i386-pc-linux-gnu" target triple = "i386-pc-linux-gnu"
define i32 @func_3(i16 signext %p_5, i16 signext %p_6) nounwind { define i32 @func_3(i16 signext %p_5, i16 signext %p_6) nounwind {
entry: entry:
%tmp3 = icmp eq i16 %p_5, 0 ; <i1> [#uses=1] %tmp3 = icmp eq i16 %p_5, 0 ; <i1> [#uses=1]
%tmp1314 = sext i16 %p_6 to i32 ; <i32> [#uses=1] %tmp1314 = sext i16 %p_6 to i32 ; <i32> [#uses=1]
%tmp28 = icmp ugt i32 %tmp1314, 3 ; <i1> [#uses=1] %tmp28 = icmp ugt i32 %tmp1314, 3 ; <i1> [#uses=1]
Show All 17 Lines

llvm/test/Transforms/LoopUnswitch/2008-06-17-DomFrontier.ll

; RUN: opt < %s -licm -loop-unswitch -disable-output ; RUN: opt < %s -licm -loop-unswitch -enable-new-pm=0 -disable-output
@g_56 = external global i16 ; <i16*> [#uses=2] @g_56 = external global i16 ; <i16*> [#uses=2]
define i32 @func_67(i32 %p_68, i8 signext %p_69, i8 signext %p_71) nounwind { define i32 @func_67(i32 %p_68, i8 signext %p_69, i8 signext %p_71) nounwind {
entry: entry:
br label %bb br label %bb
bb: ; preds = %bb44, %entry bb: ; preds = %bb44, %entry
br label %bb3 br label %bb3
bb3: ; preds = %bb36, %bb bb3: ; preds = %bb36, %bb
Show All 13 Lines

llvm/test/Transforms/LoopUnswitch/2008-11-03-Invariant.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt < %s -loop-unswitch -stats -disable-output 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -stats -disable-output 2>&1 | FileCheck %s
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -stats -disable-output 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -stats -disable-output 2>&1 | FileCheck %s
; PR 3170 ; PR 3170
define i32 @a(i32 %x, i32 %y) nounwind { define i32 @a(i32 %x, i32 %y) nounwind {
; CHECK: 1 loop-unswitch - Number of branches unswitched ; CHECK: 1 loop-unswitch - Number of branches unswitched
; CHECK-NOT: Number of branches unswitched ; CHECK-NOT: Number of branches unswitched
entry: entry:
%0 = icmp ult i32 0, %y ; <i1> [#uses=1] %0 = icmp ult i32 0, %y ; <i1> [#uses=1]
Show All 31 Lines

llvm/test/Transforms/LoopUnswitch/2010-11-18-LCSSA.ll

; RUN: opt < %s -loop-unswitch ; RUN: opt < %s -loop-unswitch -enable-new-pm=0
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa
; PR8622 ; PR8622
@g_38 = external global i32, align 4 @g_38 = external global i32, align 4
define void @func_67(i32 %p_68.coerce) nounwind { define void @func_67(i32 %p_68.coerce) nounwind {
entry: entry:
br i1 true, label %for.end12, label %bb.nph br i1 true, label %for.end12, label %bb.nph
bb.nph: ; preds = %entry bb.nph: ; preds = %entry
Show All 19 Lines

llvm/test/Transforms/LoopUnswitch/2011-06-02-CritSwitch.ll

; RUN: opt -loop-unswitch -disable-output < %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -disable-output < %s
; PR10031 ; PR10031
define i32 @test(i32 %command) { define i32 @test(i32 %command) {
entry: entry:
br label %tailrecurse br label %tailrecurse
tailrecurse: ; preds = %if.then14, %tailrecurse, %entry tailrecurse: ; preds = %if.then14, %tailrecurse, %entry
br i1 undef, label %if.then, label %tailrecurse br i1 undef, label %if.then, label %tailrecurse
Show All 19 Lines

llvm/test/Transforms/LoopUnswitch/2011-09-26-EHCrash.ll

; RUN: opt < %s -sroa -loop-unswitch -disable-output ; RUN: opt < %s -sroa -loop-unswitch -enable-new-pm=0 -disable-output
; RUN: opt < %s -sroa -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output ; RUN: opt < %s -sroa -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
; PR11016 ; PR11016
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"
target triple = "x86_64-apple-macosx10.7.2" target triple = "x86_64-apple-macosx10.7.2"
%class.MyContainer.1.3.19.29 = type { [6 x %class.MyMemVarClass.0.2.18.28*] } %class.MyContainer.1.3.19.29 = type { [6 x %class.MyMemVarClass.0.2.18.28*] }
%class.MyMemVarClass.0.2.18.28 = type { i32 } %class.MyMemVarClass.0.2.18.28 = type { i32 }
define void @_ZN11MyContainer1fEi(%class.MyContainer.1.3.19.29* %this, i32 %doit) uwtable ssp align 2 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) { define void @_ZN11MyContainer1fEi(%class.MyContainer.1.3.19.29* %this, i32 %doit) uwtable ssp align 2 personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*) {
▲ Show 20 Lines • Show All 54 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/2011-11-18-SimpleSwitch.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -loop-unswitch -disable-output -stats -info-output-file - < %s | FileCheck --check-prefix=STATS %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -disable-output -stats -info-output-file - < %s | FileCheck --check-prefix=STATS %s
; RUN: opt -S -loop-unswitch -verify-loop-info -verify-dom-info < %s | FileCheck %s ; RUN: opt -S -loop-unswitch -enable-new-pm=0 -verify-loop-info -verify-dom-info < %s | FileCheck %s
; RUN: opt -S -loop-unswitch -verify-loop-info -verify-dom-info -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s ; RUN: opt -S -loop-unswitch -enable-new-pm=0 -verify-loop-info -verify-dom-info -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s
; STATS: 2 loop-unswitch - Number of switches unswitched ; STATS: 2 loop-unswitch - Number of switches unswitched
; CHECK: %1 = icmp eq i32 %c, 1 ; CHECK: %1 = icmp eq i32 %c, 1
; CHECK-NEXT: br i1 %1, label %.split.us, label %..split_crit_edge ; CHECK-NEXT: br i1 %1, label %.split.us, label %..split_crit_edge
; CHECK: ..split_crit_edge: ; preds = %0 ; CHECK: ..split_crit_edge: ; preds = %0
; CHECK-NEXT: br label %.split ; CHECK-NEXT: br label %.split
▲ Show 20 Lines • Show All 83 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/2011-11-18-TwoSwitches-Threshold.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -loop-unswitch -loop-unswitch-threshold 13 -disable-output -stats -info-output-file - < %s | FileCheck --check-prefix=STATS %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -loop-unswitch-threshold 13 -disable-output -stats -info-output-file - < %s | FileCheck --check-prefix=STATS %s
; RUN: opt -S -loop-unswitch -loop-unswitch-threshold 13 -verify-loop-info -verify-dom-info < %s | FileCheck %s ; RUN: opt -S -loop-unswitch -enable-new-pm=0 -loop-unswitch-threshold 13 -verify-loop-info -verify-dom-info < %s | FileCheck %s
; RUN: opt -S -loop-unswitch -loop-unswitch-threshold 13 -verify-loop-info -verify-dom-info -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s ; RUN: opt -S -loop-unswitch -enable-new-pm=0 -loop-unswitch-threshold 13 -verify-loop-info -verify-dom-info -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s
; STATS: 1 loop-unswitch - Number of switches unswitched ; STATS: 1 loop-unswitch - Number of switches unswitched
; ModuleID = '../llvm/test/Transforms/LoopUnswitch/2011-11-18-TwoSwitches.ll' ; ModuleID = '../llvm/test/Transforms/LoopUnswitch/2011-11-18-TwoSwitches.ll'
; CHECK: %1 = icmp eq i32 %c, 1 ; CHECK: %1 = icmp eq i32 %c, 1
; CHECK-NEXT: br i1 %1, label %.split.us, label %..split_crit_edge ; CHECK-NEXT: br i1 %1, label %.split.us, label %..split_crit_edge
▲ Show 20 Lines • Show All 76 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/2011-11-18-TwoSwitches.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -loop-unswitch -loop-unswitch-threshold 1000 -disable-output -stats -info-output-file - < %s | FileCheck --check-prefix=STATS %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -loop-unswitch-threshold 1000 -disable-output -stats -info-output-file - < %s | FileCheck --check-prefix=STATS %s
; RUN: opt -S -loop-unswitch -loop-unswitch-threshold 1000 -verify-loop-info -verify-dom-info < %s | FileCheck %s ; RUN: opt -S -loop-unswitch -enable-new-pm=0 -loop-unswitch-threshold 1000 -verify-loop-info -verify-dom-info < %s | FileCheck %s
; RUN: opt -S -loop-unswitch -loop-unswitch-threshold 1000 -verify-loop-info -verify-dom-info -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s ; RUN: opt -S -loop-unswitch -enable-new-pm=0 -loop-unswitch-threshold 1000 -verify-loop-info -verify-dom-info -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s
; STATS: 3 loop-unswitch - Number of switches unswitched ; STATS: 3 loop-unswitch - Number of switches unswitched
; CHECK: %1 = icmp eq i32 %c, 1 ; CHECK: %1 = icmp eq i32 %c, 1
; CHECK-NEXT: br i1 %1, label %.split.us, label %..split_crit_edge ; CHECK-NEXT: br i1 %1, label %.split.us, label %..split_crit_edge
; CHECK: ..split_crit_edge: ; preds = %0 ; CHECK: ..split_crit_edge: ; preds = %0
; CHECK-NEXT: br label %.split ; CHECK-NEXT: br label %.split
▲ Show 20 Lines • Show All 130 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/2012-04-02-IndirectBr.ll

; RUN: opt < %s -S -loop-unswitch -verify-loop-info -verify-dom-info | FileCheck %s ; RUN: opt < %s -S -loop-unswitch -enable-new-pm=0 -verify-loop-info -verify-dom-info | FileCheck %s
; RUN: opt < %s -S -loop-unswitch -verify-loop-info -verify-dom-info -enable-mssa-loop-dependency=true -verify-memoryssa | FileCheck %s ; RUN: opt < %s -S -loop-unswitch -enable-new-pm=0 -verify-loop-info -verify-dom-info -enable-mssa-loop-dependency=true -verify-memoryssa | FileCheck %s
; PR12343: -loop-unswitch crash on indirect branch ; PR12343: -loop-unswitch -enable-new-pm=0 crash on indirect branch
; CHECK: %0 = icmp eq i64 undef, 0 ; CHECK: %0 = icmp eq i64 undef, 0
; CHECK-NEXT: br i1 %0, label %"5", label %"4" ; CHECK-NEXT: br i1 %0, label %"5", label %"4"
; CHECK: "5": ; preds = %entry ; CHECK: "5": ; preds = %entry
; CHECK-NEXT: br label %"16" ; CHECK-NEXT: br label %"16"
; CHECK: "16": ; preds = %"22", %"5" ; CHECK: "16": ; preds = %"22", %"5"
Show All 31 Lines

llvm/test/Transforms/LoopUnswitch/2012-04-30-LoopUnswitch-LPad-Crash.ll

; RUN: opt < %s -basic-aa -instcombine -inline -function-attrs -licm -loop-unswitch -gvn -verify ; RUN: opt < %s -basic-aa -instcombine -inline -function-attrs -licm -loop-unswitch -enable-new-pm=0 -gvn -verify
; PR12573 ; PR12573
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-S128" 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-S128"
target triple = "x86_64-apple-macosx10.7.0" target triple = "x86_64-apple-macosx10.7.0"
%class.D.22.42.66.102.138.158.178.198.238.242.246.250.262.294.302.338.346.379 = type { %class.C.23.43.67.103.139.159.179.199.239.243.247.251.263.295.303.339.347.376*, %class.B.21.41.65.101.137.157.177.197.237.241.245.249.261.293.301.337.345.378 } %class.D.22.42.66.102.138.158.178.198.238.242.246.250.262.294.302.338.346.379 = type { %class.C.23.43.67.103.139.159.179.199.239.243.247.251.263.295.303.339.347.376*, %class.B.21.41.65.101.137.157.177.197.237.241.245.249.261.293.301.337.345.378 }
%class.C.23.43.67.103.139.159.179.199.239.243.247.251.263.295.303.339.347.376 = type { %class.D.22.42.66.102.138.158.178.198.238.242.246.250.262.294.302.338.346.379* } %class.C.23.43.67.103.139.159.179.199.239.243.247.251.263.295.303.339.347.376 = type { %class.D.22.42.66.102.138.158.178.198.238.242.246.250.262.294.302.338.346.379* }
%class.B.21.41.65.101.137.157.177.197.237.241.245.249.261.293.301.337.345.378 = type { %class.A.20.40.64.100.136.156.176.196.236.240.244.248.260.292.300.336.344.377* } %class.B.21.41.65.101.137.157.177.197.237.241.245.249.261.293.301.337.345.378 = type { %class.A.20.40.64.100.136.156.176.196.236.240.244.248.260.292.300.336.344.377* }
%class.A.20.40.64.100.136.156.176.196.236.240.244.248.260.292.300.336.344.377 = type { i8 } %class.A.20.40.64.100.136.156.176.196.236.240.244.248.260.292.300.336.344.377 = type { i8 }
▲ Show 20 Lines • Show All 88 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/2012-05-20-Phi.ll

; RUN: opt < %s -loop-unswitch -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -disable-output
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
; PR12887 ; PR12887
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-S128" 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-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
@a = common global i32 0, align 4 @a = common global i32 0, align 4
@c = common global i32 0, align 4 @c = common global i32 0, align 4
@b = common global i32 0, align 4 @b = common global i32 0, align 4
Show All 16 Lines

llvm/test/Transforms/LoopUnswitch/2015-06-17-Metadata.ll

;RUN: opt -loop-unswitch -simplifycfg -S < %s | FileCheck %s ;RUN: opt -loop-unswitch -enable-new-pm=0 -simplifycfg -S < %s | FileCheck %s
define i32 @foo(i32 %a, i32 %b) { define i32 @foo(i32 %a, i32 %b) {
;CHECK-LABEL: foo ;CHECK-LABEL: foo
entry: entry:
br label %for.body.lr.ph br label %for.body.lr.ph
for.body.lr.ph: ; preds = %entry for.body.lr.ph: ; preds = %entry
%cmp0 = icmp sgt i32 %b, 0 %cmp0 = icmp sgt i32 %b, 0
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/2015-09-18-Addrspace.ll

; RUN: opt < %s -loop-unswitch -S | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -S | FileCheck %s
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -S | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -S | FileCheck %s
; In cases where two address spaces do not have the same size pointer, the ; In cases where two address spaces do not have the same size pointer, the
; input for the addrspacecast should not be used as a substitute for itself ; input for the addrspacecast should not be used as a substitute for itself
; when manipulating the pointer. ; when manipulating the pointer.
target datalayout = "e-m:e-p:16:16-p1:32:16-i32:16-i64:16-n8:16" target datalayout = "e-m:e-p:16:16-p1:32:16-i32:16-i64:16-n8:16"
define void @foo() { define void @foo() {
Show All 19 Lines

llvm/test/Transforms/LoopUnswitch/LIV-loop-condtion.ll

; RUN: opt < %s -loop-unswitch -loop-unswitch-threshold=0 -S 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -loop-unswitch-threshold=0 -S 2>&1 | FileCheck %s
; RUN: opt < %s -loop-unswitch -loop-unswitch-threshold=0 -enable-mssa-loop-dependency=true -verify-memoryssa -S 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -loop-unswitch-threshold=0 -enable-mssa-loop-dependency=true -verify-memoryssa -S 2>&1 | FileCheck %s
; This is to test trivial loop unswitch only happens when trivial condition ; This is to test trivial loop unswitch only happens when trivial condition
; itself is an LIV loop condition (not partial LIV which could occur in and/or). ; itself is an LIV loop condition (not partial LIV which could occur in and/or).
define i32 @test(i1 %cond1, i32 %var1) { define i32 @test(i1 %cond1, i32 %var1) {
entry: entry:
br label %loop_begin br label %loop_begin
Show All 19 Lines

llvm/test/Transforms/LoopUnswitch/basictest.ll

; RUN: opt < %s -loop-unswitch -verify-loop-info -S < %s 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -verify-loop-info -S < %s 2>&1 | FileCheck %s
; RUN: opt < %s -loop-unswitch -verify-loop-info -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -verify-loop-info -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s
define i32 @test(i32* %A, i1 %C) { define i32 @test(i32* %A, i1 %C) {
entry: entry:
br label %no_exit br label %no_exit
no_exit: ; preds = %no_exit.backedge, %entry no_exit: ; preds = %no_exit.backedge, %entry
%i.0.0 = phi i32 [ 0, %entry ], [ %i.0.0.be, %no_exit.backedge ] ; <i32> [#uses=3] %i.0.0 = phi i32 [ 0, %entry ], [ %i.0.0.be, %no_exit.backedge ] ; <i32> [#uses=3]
%gep.upgrd.1 = zext i32 %i.0.0 to i64 ; <i64> [#uses=1] %gep.upgrd.1 = zext i32 %i.0.0 to i64 ; <i64> [#uses=1]
%tmp.7 = getelementptr i32, i32* %A, i64 %gep.upgrd.1 ; <i32*> [#uses=4] %tmp.7 = getelementptr i32, i32* %A, i64 %gep.upgrd.1 ; <i32*> [#uses=4]
▲ Show 20 Lines • Show All 309 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/callbr.ll

; RUN: opt -loop-unswitch %s -S | FileCheck %s ; RUN: opt -loop-unswitch -enable-new-pm=0 %s -S | FileCheck %s
; We want to check that the loop does not get split (so only 2 callbr's not 4). ; We want to check that the loop does not get split (so only 2 callbr's not 4).
; It's ok to modify this test in the future should we allow the loop containing ; It's ok to modify this test in the future should we allow the loop containing
; callbr to be unswitched and are able to do so correctly. ; callbr to be unswitched and are able to do so correctly.
; CHECK: callbr void asm sideeffect "# ${0:l}", "X,~{dirflag},~{fpsr},~{flags}"(i8* blockaddress(@foo, %10)) ; CHECK: callbr void asm sideeffect "# ${0:l}", "X,~{dirflag},~{fpsr},~{flags}"(i8* blockaddress(@foo, %10))
; CHECK: to label %7 [label %10] ; CHECK: to label %7 [label %10]
; CHECK: callbr void asm sideeffect "# ${0:l}", "X,~{dirflag},~{fpsr},~{flags}"(i8* blockaddress(@foo, %10)) ; CHECK: callbr void asm sideeffect "# ${0:l}", "X,~{dirflag},~{fpsr},~{flags}"(i8* blockaddress(@foo, %10))
▲ Show 20 Lines • Show All 57 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/cleanuppad.ll

; RUN: opt -S -loop-unswitch < %s | FileCheck %s ; RUN: opt -S -loop-unswitch -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -S -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s ; RUN: opt -S -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s
target triple = "x86_64-pc-win32" target triple = "x86_64-pc-win32"
define void @f(i32 %doit, i1 %x, i1 %y) personality i32 (...)* @__CxxFrameHandler3 { define void @f(i32 %doit, i1 %x, i1 %y) personality i32 (...)* @__CxxFrameHandler3 {
entry: entry:
%tobool = icmp eq i32 %doit, 0 %tobool = icmp eq i32 %doit, 0
br label %for.cond br label %for.cond
for.cond: ; preds = %for.inc, %entry for.cond: ; preds = %for.inc, %entry
Show All 35 Lines

llvm/test/Transforms/LoopUnswitch/copy-metadata.ll

; RUN: opt < %s -loop-unswitch -S < %s 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -S < %s 2>&1 | FileCheck %s
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s
; This test checks if unswitched condition preserve make.implicit metadata. ; This test checks if unswitched condition preserve make.implicit metadata.
define i32 @test(i1 %cond) { define i32 @test(i1 %cond) {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
; CHECK: br i1 %cond, label %..split_crit_edge, label %.loop_exit.split_crit_edge, !make.implicit !0 ; CHECK: br i1 %cond, label %..split_crit_edge, label %.loop_exit.split_crit_edge, !make.implicit !0
br label %loop_begin br label %loop_begin
Show All 14 Lines

llvm/test/Transforms/LoopUnswitch/crash.ll

; RUN: opt < %s -loop-unswitch -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -disable-output
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output
define void @test1(i32* %S2) { define void @test1(i32* %S2) {
entry: entry:
br i1 false, label %list_Length.exit, label %cond_true.i br i1 false, label %list_Length.exit, label %cond_true.i
cond_true.i: ; preds = %entry cond_true.i: ; preds = %entry
ret void ret void
list_Length.exit: ; preds = %entry list_Length.exit: ; preds = %entry
br i1 false, label %list_Length.exit9, label %cond_true.i5 br i1 false, label %list_Length.exit9, label %cond_true.i5
▲ Show 20 Lines • Show All 57 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/elseif-non-exponential-behavior.ll

; RUN: opt -loop-unswitch -S - < %s | FileCheck %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -S - < %s | FileCheck %s
; RUN: opt -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -S - < %s | FileCheck %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -S - < %s | FileCheck %s
;CHECK-LABEL: @b ;CHECK-LABEL: @b
;CHECK: [[Loop1:for\.end.*]]: ; preds = %for.cond.us ;CHECK: [[Loop1:for\.end.*]]: ; preds = %for.cond.us
;CHECK-NEXT: %[[PhiVar1:pdt.*]] = phi i32 [ %pdt.0.us, %for.cond.us ] ;CHECK-NEXT: %[[PhiVar1:pdt.*]] = phi i32 [ %pdt.0.us, %for.cond.us ]
;CHECK: [[Loop2:for\.end.*]]: ; preds = %for.cond.us1 ;CHECK: [[Loop2:for\.end.*]]: ; preds = %for.cond.us1
;CHECK-NEXT: %[[PhiVar2:pdt.*]] = phi i32 [ %pdt.0.us2, %for.cond.us1 ] ;CHECK-NEXT: %[[PhiVar2:pdt.*]] = phi i32 [ %pdt.0.us2, %for.cond.us1 ]
;CHECK: [[Loop3:for\.end.*]]: ; preds = %for.cond ;CHECK: [[Loop3:for\.end.*]]: ; preds = %for.cond
;CHECK-NEXT: %[[PhiVar3:pdt.*]] = phi i32 [ %pdt.0, %for.cond ] ;CHECK-NEXT: %[[PhiVar3:pdt.*]] = phi i32 [ %pdt.0, %for.cond ]
▲ Show 20 Lines • Show All 53 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/exponential-behavior.ll

; RUN: opt -loop-unswitch -S < %s | FileCheck %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -S < %s | FileCheck %s
; RUN: opt -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s | FileCheck %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s | FileCheck %s
define void @f(i32 %n, i32* %ptr) { define void @f(i32 %n, i32* %ptr) {
; CHECK-LABEL: @f( ; CHECK-LABEL: @f(
entry: entry:
br label %loop br label %loop
loop: loop:
%iv = phi i32 [ 0, %entry ], [ %iv.inc, %be ] %iv = phi i32 [ 0, %entry ], [ %iv.inc, %be ]
▲ Show 20 Lines • Show All 42 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/guards.ll

; RUN: opt -S -loop-unswitch < %s | FileCheck %s ; RUN: opt -S -loop-unswitch -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -S -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s ; RUN: opt -S -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s
declare void @llvm.experimental.guard(i1, ...) declare void @llvm.experimental.guard(i1, ...)
define void @f_0(i32 %n, i32* %ptr, i1 %c) { define void @f_0(i32 %n, i32* %ptr, i1 %c) {
; CHECK-LABEL: @f_0( ; CHECK-LABEL: @f_0(
; CHECK: loop.us: ; CHECK: loop.us:
; CHECK-NOT: guard ; CHECK-NOT: guard
; CHECK: loop: ; CHECK: loop:
▲ Show 20 Lines • Show All 88 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/infinite-loop.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -loop-unswitch -disable-output -stats -info-output-file - < %s | FileCheck --check-prefix=STATS %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -disable-output -stats -info-output-file - < %s | FileCheck --check-prefix=STATS %s
; RUN: opt -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output -stats -info-output-file - < %s | FileCheck --check-prefix=STATS %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output -stats -info-output-file - < %s | FileCheck --check-prefix=STATS %s
; RUN: opt -loop-unswitch -simplifycfg -S < %s | FileCheck %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -simplifycfg -S < %s | FileCheck %s
; PR5373 ; PR5373
; Loop unswitching shouldn't trivially unswitch the true case of condition %a ; Loop unswitching shouldn't trivially unswitch the true case of condition %a
; in the code here because it leads to an infinite loop. While this doesn't ; in the code here because it leads to an infinite loop. While this doesn't
; contain any instructions with side effects, it's still a kind of side effect. ; contain any instructions with side effects, it's still a kind of side effect.
; It can trivially unswitch on the false case of condition %a though. ; It can trivially unswitch on the false case of condition %a though.
; STATS: 2 loop-unswitch - Number of branches unswitched ; STATS: 2 loop-unswitch - Number of branches unswitched
▲ Show 20 Lines • Show All 47 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/invalidate-scev.ll

; RUN: opt -S -indvars -loop-unswitch < %s | FileCheck %s ; RUN: opt -S -indvars -loop-unswitch -enable-new-pm=0 < %s | FileCheck %s
; RUN: opt -S -indvars -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s ; RUN: opt -S -indvars -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa < %s | FileCheck %s
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
define void @test_01() { define void @test_01() {
; Make sure we don't fail by SCEV's assertion due to incorrect invalidation. ; Make sure we don't fail by SCEV's assertion due to incorrect invalidation.
; CHECK-LABEL: @test_01 ; CHECK-LABEL: @test_01
Show All 24 Lines

llvm/test/Transforms/LoopUnswitch/msan.ll

; RUN: opt < %s -loop-unswitch -verify-loop-info -S < %s 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -verify-loop-info -S < %s 2>&1 | FileCheck %s
; RUN: opt < %s -loop-unswitch -verify-loop-info -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -verify-loop-info -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s
@sink = global i32 0, align 4 @sink = global i32 0, align 4
@y = global i64 0, align 8 @y = global i64 0, align 8
; The following is approximately: ; The following is approximately:
; void f(bool x, int p, int q) { ; void f(bool x, int p, int q) {
; volatile bool x2 = x; ; volatile bool x2 = x;
; for (int i = 0; i < 1; ++i) { ; for (int i = 0; i < 1; ++i) {
▲ Show 20 Lines • Show All 144 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/pr32818.ll

; Check that the call doesn't get removed even if ; Check that the call doesn't get removed even if
; it has no uses. It could have side-effects. ; it has no uses. It could have side-effects.
; RUN: opt -loop-unswitch -S %s | FileCheck %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -S %s | FileCheck %s
; RUN: opt -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -S %s | FileCheck %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -S %s | FileCheck %s
; CHECK-LABEL: @tinky ; CHECK-LABEL: @tinky
define i32 @tinkywinky(i8 %patatino) { define i32 @tinkywinky(i8 %patatino) {
%cmp1 = icmp slt i8 %patatino, 5 %cmp1 = icmp slt i8 %patatino, 5
br label %body br label %body
body: body:
%i = select i1 %cmp1, i8 6, i8 undef %i = select i1 %cmp1, i8 6, i8 undef
br i1 true, label %body, label %end br i1 true, label %body, label %end
end: end:
%split = phi i8 [ %i, %body ] %split = phi i8 [ %i, %body ]
%conv4 = sext i8 %split to i32 %conv4 = sext i8 %split to i32
; CHECK: tail call fastcc i32 @fn5( ; CHECK: tail call fastcc i32 @fn5(
%call = tail call fastcc i32 @fn5(i32 %conv4) %call = tail call fastcc i32 @fn5(i32 %conv4)
ret i32 0 ret i32 0
} }
declare fastcc i32 @fn5(i32 returned) unnamed_addr declare fastcc i32 @fn5(i32 returned) unnamed_addr

llvm/test/Transforms/LoopUnswitch/preserve-analyses.ll

; RUN: opt -loop-unswitch -verify-loop-info -verify-dom-info -disable-output < %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -verify-loop-info -verify-dom-info -disable-output < %s
; RUN: opt -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -verify-loop-info -verify-dom-info -disable-output < %s ; RUN: opt -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -verify-loop-info -verify-dom-info -disable-output < %s
; Loop unswitch should be able to unswitch these loops and ; Loop unswitch should be able to unswitch these loops and
; preserve LCSSA and LoopSimplify forms. ; preserve LCSSA and LoopSimplify forms.
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:64" target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:32-f32:32:32-f64:32:32-v64:64:64-v128:128:128-a0:0:64"
target triple = "armv6-apple-darwin9" target triple = "armv6-apple-darwin9"
@delim1 = external global i32 ; <i32*> [#uses=1] @delim1 = external global i32 ; <i32*> [#uses=1]
▲ Show 20 Lines • Show All 120 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/simplify-with-nonvalness.ll

; RUN: opt < %s -loop-unswitch -verify-loop-info -S < %s 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -verify-loop-info -S < %s 2>&1 | FileCheck %s
; RUN: opt < %s -loop-unswitch -verify-loop-info -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -verify-loop-info -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s
; There are 1 case and 1 default case in the switch. after we unswitch, we know the ; There are 1 case and 1 default case in the switch. after we unswitch, we know the
; %a is definitely not 0 in one of the unswitched loop, make sure we take advantage ; %a is definitely not 0 in one of the unswitched loop, make sure we take advantage
; of that and simplify the branches in the loop. ; of that and simplify the branches in the loop.
; ;
; CHECK: define void @simplify_with_nonvalness( ; CHECK: define void @simplify_with_nonvalness(
; This is the loop in which we know %a is definitely 0. ; This is the loop in which we know %a is definitely 0.
▲ Show 20 Lines • Show All 49 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/trivial-unswitch.ll

; RUN: opt < %s -loop-unswitch -loop-unswitch-threshold=0 -verify-loop-info -S < %s 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -loop-unswitch-threshold=0 -verify-loop-info -S < %s 2>&1 | FileCheck %s
; RUN: opt < %s -loop-unswitch -loop-unswitch-threshold=0 -verify-loop-info -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -loop-unswitch-threshold=0 -verify-loop-info -enable-mssa-loop-dependency=true -verify-memoryssa -S < %s 2>&1 | FileCheck %s
; This test contains two trivial unswitch condition in one loop. ; This test contains two trivial unswitch condition in one loop.
; LoopUnswitch pass should be able to unswitch the second one ; LoopUnswitch pass should be able to unswitch the second one
; after unswitching the first one. ; after unswitching the first one.
; CHECK: br i1 %cond1, label %..split_crit_edge, label %.loop_exit.split_crit_edge ; CHECK: br i1 %cond1, label %..split_crit_edge, label %.loop_exit.split_crit_edge
▲ Show 20 Lines • Show All 82 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/unswitch-equality-undef.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt < %s -instcombine -licm -loop-unswitch -loop-unswitch-threshold=1000 -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output -stats 2>&1| FileCheck %s ; RUN: opt < %s -instcombine -licm -loop-unswitch -enable-new-pm=0 -loop-unswitch-threshold=1000 -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output -stats 2>&1| FileCheck %s
; Check no loop unswitch is done because unswitching of equality expr with ; Check no loop unswitch is done because unswitching of equality expr with
; undef is unsafe before the freeze patch is committed. ; undef is unsafe before the freeze patch is committed.
; CHECK-NOT: Number of branches unswitched ; CHECK-NOT: Number of branches unswitched
define void @ham(i64 %arg) local_unnamed_addr { define void @ham(i64 %arg) local_unnamed_addr {
bb: bb:
%tmp = icmp eq i64 %arg, 0 %tmp = icmp eq i64 %arg, 0
br i1 %tmp, label %bb3, label %bb1 br i1 %tmp, label %bb3, label %bb1
▲ Show 20 Lines • Show All 112 Lines • Show Last 20 Lines

llvm/test/Transforms/LoopUnswitch/unswitch-select.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt < %s -loop-unswitch -disable-output -stats 2>&1| FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -disable-output -stats 2>&1| FileCheck %s
; RUN: opt < %s -loop-unswitch -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output -stats 2>&1| FileCheck %s ; RUN: opt < %s -loop-unswitch -enable-new-pm=0 -enable-mssa-loop-dependency=true -verify-memoryssa -disable-output -stats 2>&1| FileCheck %s
; Check the select statement in the loop will be unswitched. ; Check the select statement in the loop will be unswitched.
; CHECK: 1 loop-unswitch - Number of selects unswitched ; CHECK: 1 loop-unswitch - Number of selects unswitched
define i32 @test(i1 zeroext %x, i32 %a) local_unnamed_addr #0 { define i32 @test(i1 zeroext %x, i32 %a) local_unnamed_addr #0 {
entry: entry:
br label %while.cond br label %while.cond
while.cond: ; preds = %while.body, %entry while.cond: ; preds = %while.body, %entry
Show All 16 Lines