This is an archive of the discontinued LLVM Phabricator instance.

Differential D118341

[test][NewGVN] Use -passes=newgvn instead of -newgvn
ClosedPublic

Authored by bjope on Jan 27 2022, 2:54 AM.

Details

Reviewers
aeubanks
fhahn
Commits
rG4f7352840394: [test][NewGVN] Use -passes=newgvn instead of -newgvn
Summary

Use the new PM syntax when specifying the pipeline in regression
tests previously running

"opt -newgvn ..."

Instead we now do

"opt -passes=newgvn ..."

Notice that this also changes the aa-pipeline to become the default
aa-pipeline instead of just basic-aa. Since these tests haven't been
explicitly requesting basic-aa in the past (compared to the test cases
updated in a separate patch involving "-basic-aa -newgvn") it is
assumed that the exact aa-pipeline isn't important for the validity
of the test cases. An alternative could have been to add
-aa-pipeline=basic-aa as well to the run lines, but that might just
add clutter in case the test cases do not care about the aa-pipeline.

This is another step to move away from the legacy PM syntax when
specifying passes in opt.

Diff Detail

Event Timeline

bjope requested review of this revision.Jan 27 2022, 2:54 AM
bjope created this revision.
Herald added a project: Restricted Project. · View Herald TranscriptJan 27 2022, 2:54 AM
fhahn added a subscriber: fhahn.Jan 27 2022, 2:58 AM
fhahn added inline comments.
llvm/test/Transforms/NewGVN/opt-remarks-xfail.ll
2

this is now redundant?

llvm/test/Transforms/NewGVN/pr32403.ll
2

tiniest nit: while you are here, also add a space after ;?

llvm/test/Transforms/NewGVN/pr33014.ll
2

While you are here, maybe also drop REQUIRES; asserts? The test checks for the full IR output and no debug output, so there's no need for assertions.

bjope mentioned this in D118340: [test][NewGVN] Use '-passes=newgvn' instead of 'basic-aa -newgvn'.Jan 27 2022, 3:10 AM
bjope updated this revision to Diff 403608.Jan 27 2022, 4:59 AM

Updated based on review feedback.

bjope mentioned this in D118338: [Debugify] Override printPipeline for NewPM debugify passes.Jan 27 2022, 7:32 AM
bjope marked 3 inline comments as done.Jan 28 2022, 4:06 AM
fhahn accepted this revision.Jan 28 2022, 4:10 AM

LGTM, thanks!

This revision is now accepted and ready to land.Jan 28 2022, 4:10 AM
This revision was landed with ongoing or failed builds.Jan 28 2022, 4:58 AM
Closed by commit rG4f7352840394: [test][NewGVN] Use -passes=newgvn instead of -newgvn (authored by bjope). · Explain Why
This revision was automatically updated to reflect the committed changes.
bjope added a commit: rG4f7352840394: [test][NewGVN] Use -passes=newgvn instead of -newgvn.

Revision Contents

PathSize
llvm/
test/
Transforms/
InstSimplify/
ConstProp/
2 lines
NewGVN/
2 lines
2 lines
2 lines
2 lines
2 lines
4 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 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
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
3 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
3 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines
2 lines

Diff 403974

llvm/test/Transforms/InstSimplify/ConstProp/gep-constanfolding-error.ll

; RUN: opt -gvn -S -o - %s | FileCheck %s ; RUN: opt -gvn -S -o - %s | FileCheck %s
; RUN: opt -newgvn -S -o - %s | FileCheck %s ; RUN: opt -passes=newgvn -S -o - %s | FileCheck %s
; Test that the constantfolding getelementptr computation results in ; Test that the constantfolding getelementptr computation results in
; j[5][4][1] (j+239) ; j[5][4][1] (j+239)
; and not [1][4][4][1] (#449) which is an incorrect out-of-range error ; and not [1][4][4][1] (#449) which is an incorrect out-of-range error
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
target triple = "armv7-none-eabi" target triple = "armv7-none-eabi"
@f = local_unnamed_addr global i32 2, align 4 @f = local_unnamed_addr global i32 2, align 4
@t6 = local_unnamed_addr global i32 1, align 4 @t6 = local_unnamed_addr global i32 1, align 4
▲ Show 20 Lines • Show All 42 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/2007-07-25-DominatedLoop.ll

; RUN: opt < %s -newgvn | llvm-dis ; RUN: opt < %s -passes=newgvn | llvm-dis
%struct.PerlInterpreter = type { i8 } %struct.PerlInterpreter = type { i8 }
@PL_sv_count = external global i32 ; <i32*> [#uses=2] @PL_sv_count = external global i32 ; <i32*> [#uses=2]
define void @perl_destruct(%struct.PerlInterpreter* %sv_interp) { define void @perl_destruct(%struct.PerlInterpreter* %sv_interp) {
entry: entry:
br i1 false, label %cond_next25, label %cond_true16 br i1 false, label %cond_next25, label %cond_true16
▲ Show 20 Lines • Show All 77 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/2007-07-25-Loop.ll

; RUN: opt < %s -newgvn | llvm-dis ; RUN: opt < %s -passes=newgvn | llvm-dis
%struct.s_segment_inf = type { float, i32, i16, i16, float, float, i32, float, float } %struct.s_segment_inf = type { float, i32, i16, i16, float, float, i32, float, float }
define void @print_arch(i8* %arch_file, i32 %route_type, i64 %det_routing_arch.0.0, i64 %det_routing_arch.0.1, i64 %det_routing_arch.0.2, i64 %det_routing_arch.0.3, i64 %det_routing_arch.0.4, %struct.s_segment_inf* %segment_inf, i64 %timing_inf.0.0, i64 %timing_inf.0.1, i64 %timing_inf.0.2, i64 %timing_inf.0.3, i64 %timing_inf.0.4, i32 %timing_inf.1) { define void @print_arch(i8* %arch_file, i32 %route_type, i64 %det_routing_arch.0.0, i64 %det_routing_arch.0.1, i64 %det_routing_arch.0.2, i64 %det_routing_arch.0.3, i64 %det_routing_arch.0.4, %struct.s_segment_inf* %segment_inf, i64 %timing_inf.0.0, i64 %timing_inf.0.1, i64 %timing_inf.0.2, i64 %timing_inf.0.3, i64 %timing_inf.0.4, i32 %timing_inf.1) {
entry: entry:
br i1 false, label %bb278, label %bb344 br i1 false, label %bb278, label %bb344
bb278: ; preds = %bb278, %entry bb278: ; preds = %bb278, %entry
br i1 false, label %bb278, label %bb344 br i1 false, label %bb278, label %bb344
bb344: ; preds = %bb278, %entry bb344: ; preds = %bb278, %entry
%tmp38758 = load i16, i16* null, align 2 ; <i16> [#uses=0] %tmp38758 = load i16, i16* null, align 2 ; <i16> [#uses=0]
ret void ret void
} }

llvm/test/Transforms/NewGVN/2007-07-25-NestedLoop.ll

; RUN: opt < %s -newgvn | llvm-dis ; RUN: opt < %s -passes=newgvn | llvm-dis
%struct.TypHeader = type { i32, %struct.TypHeader**, [3 x i8], i8 } %struct.TypHeader = type { i32, %struct.TypHeader**, [3 x i8], i8 }
define %struct.TypHeader* @LtRec(%struct.TypHeader* %hdL, %struct.TypHeader* %hdR) { define %struct.TypHeader* @LtRec(%struct.TypHeader* %hdL, %struct.TypHeader* %hdR) {
entry: entry:
br i1 false, label %bb556.preheader, label %bb534.preheader br i1 false, label %bb556.preheader, label %bb534.preheader
bb534.preheader: ; preds = %entry bb534.preheader: ; preds = %entry
Show All 29 Lines

llvm/test/Transforms/NewGVN/2007-07-25-SinglePredecessor.ll

; RUN: opt < %s -newgvn | llvm-dis ; RUN: opt < %s -passes=newgvn | llvm-dis
%struct.ggBRDF = type { i32 (...)** } %struct.ggBRDF = type { i32 (...)** }
%struct.ggBox3 = type { %struct.ggPoint3, %struct.ggPoint3 } %struct.ggBox3 = type { %struct.ggPoint3, %struct.ggPoint3 }
%struct.ggMaterialRecord = type { %struct.ggPoint2, %struct.ggBox3, %struct.ggBox3, %struct.ggSpectrum, %struct.ggSpectrum, %struct.ggSpectrum, %struct.ggBRDF*, i32, i32, i32, i32 } %struct.ggMaterialRecord = type { %struct.ggPoint2, %struct.ggBox3, %struct.ggBox3, %struct.ggSpectrum, %struct.ggSpectrum, %struct.ggSpectrum, %struct.ggBRDF*, i32, i32, i32, i32 }
%struct.ggONB3 = type { %struct.ggPoint3, %struct.ggPoint3, %struct.ggPoint3 } %struct.ggONB3 = type { %struct.ggPoint3, %struct.ggPoint3, %struct.ggPoint3 }
%struct.ggPoint2 = type { [2 x double] } %struct.ggPoint2 = type { [2 x double] }
%struct.ggPoint3 = type { [3 x double] } %struct.ggPoint3 = type { [3 x double] }
%struct.ggSpectrum = type { [8 x float] } %struct.ggSpectrum = type { [8 x float] }
Show All 20 Lines

llvm/test/Transforms/NewGVN/2007-07-26-NonRedundant.ll

; RUN: opt < %s -newgvn | llvm-dis ; RUN: opt < %s -passes=newgvn | llvm-dis
@bsLive = external global i32 ; <i32*> [#uses=2] @bsLive = external global i32 ; <i32*> [#uses=2]
define i32 @bsR(i32 %n) { define i32 @bsR(i32 %n) {
entry: entry:
br i1 false, label %cond_next, label %bb19 br i1 false, label %cond_next, label %bb19
cond_next: ; preds = %entry cond_next: ; preds = %entry
store i32 0, i32* @bsLive, align 4 store i32 0, i32* @bsLive, align 4
br label %bb19 br label %bb19
bb19: ; preds = %cond_next, %entry bb19: ; preds = %cond_next, %entry
%tmp29 = load i32, i32* @bsLive, align 4 ; <i32> [#uses=0] %tmp29 = load i32, i32* @bsLive, align 4 ; <i32> [#uses=0]
ret i32 0 ret i32 0
} }

llvm/test/Transforms/NewGVN/2007-07-26-PhiErasure.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 -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
; RUN: opt < %s -newgvn --enable-knowledge-retention -S | FileCheck %s ; RUN: opt < %s -passes=newgvn --enable-knowledge-retention -S | FileCheck %s
%struct..0anon = type { i32 } %struct..0anon = type { 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 }
%struct.__sFILEX = type opaque %struct.__sFILEX = type opaque
%struct.__sbuf = type { i8*, i32 } %struct.__sbuf = type { i8*, i32 }
%struct.rtx_def = type { i16, i8, i8, [1 x %struct..0anon] } %struct.rtx_def = type { i16, i8, i8, [1 x %struct..0anon] }
@n_spills = external global i32 ; <i32*> [#uses=2] @n_spills = external global i32 ; <i32*> [#uses=2]
Show All 32 Lines

llvm/test/Transforms/NewGVN/2007-07-30-PredIDom.ll

; RUN: opt < %s -newgvn | llvm-dis ; RUN: opt < %s -passes=newgvn | llvm-dis
%"struct.Block::$_16" = type { i32 } %"struct.Block::$_16" = type { i32 }
%struct.Exp = type { %struct.Exp_*, i32, i32, i32, %struct.Exp*, %struct.Exp*, %"struct.Exp::$_10", %"struct.Block::$_16", %"struct.Exp::$_12" } %struct.Exp = type { %struct.Exp_*, i32, i32, i32, %struct.Exp*, %struct.Exp*, %"struct.Exp::$_10", %"struct.Block::$_16", %"struct.Exp::$_12" }
%"struct.Exp::$_10" = type { %struct.Exp* } %"struct.Exp::$_10" = type { %struct.Exp* }
%"struct.Exp::$_12" = type { %struct.Exp** } %"struct.Exp::$_12" = type { %struct.Exp** }
%struct.Exp_ = type { i32, i32, i32, i32, %struct.Id* } %struct.Exp_ = type { i32, i32, i32, i32, %struct.Id* }
%struct.Id = type { i8*, i32, i32, i32, %"struct.Id::$_13" } %struct.Id = type { i8*, i32, i32, i32, %"struct.Id::$_13" }
%"struct.Id::$_13" = type { double } %"struct.Id::$_13" = type { double }
▲ Show 20 Lines • Show All 265 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/2008-02-12-UndefLoad-xfail.ll

; XFAIL: * ; XFAIL: *
; RUN: opt < %s -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
; PR1996 ; PR1996
%struct.anon = type { i32, i8, i8, i8, i8 } %struct.anon = type { i32, i8, i8, i8, i8 }
define i32 @a() { define i32 @a() {
entry: entry:
%c = alloca %struct.anon ; <%struct.anon*> [#uses=2] %c = alloca %struct.anon ; <%struct.anon*> [#uses=2]
%tmp = getelementptr %struct.anon, %struct.anon* %c, i32 0, i32 0 ; <i32*> [#uses=1] %tmp = getelementptr %struct.anon, %struct.anon* %c, i32 0, i32 0 ; <i32*> [#uses=1]
Show All 12 Lines

llvm/test/Transforms/NewGVN/2008-02-13-NewPHI.ll

; RUN: opt < %s -newgvn ; RUN: opt < %s -passes=newgvn
; PR2032 ; PR2032
define i32 @sscal(i32 %n, double %sa1, float* %sx, i32 %incx) { define i32 @sscal(i32 %n, double %sa1, float* %sx, i32 %incx) {
entry: entry:
%sx_addr = alloca float* ; <float**> [#uses=3] %sx_addr = alloca float* ; <float**> [#uses=3]
store float* %sx, float** %sx_addr, align 4 store float* %sx, float** %sx_addr, align 4
br label %bb33 br label %bb33
Show All 13 Lines

llvm/test/Transforms/NewGVN/2008-12-09-SelfRemove.ll

; RUN: opt < %s -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
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.5" target triple = "i386-apple-darwin9.5"
%struct.anon = type { i8*, i32 } %struct.anon = type { i8*, i32 }
%struct.d_print_info = type { i32, i8*, i32, i32, %struct.d_print_template*, %struct.d_print_mod*, i32 } %struct.d_print_info = type { i32, i8*, i32, i32, %struct.d_print_template*, %struct.d_print_mod*, i32 }
%struct.d_print_mod = type { %struct.d_print_mod*, %struct.demangle_component*, i32, %struct.d_print_template* } %struct.d_print_mod = type { %struct.d_print_mod*, %struct.demangle_component*, i32, %struct.d_print_template* }
%struct.d_print_template = type { %struct.d_print_template*, %struct.demangle_component* } %struct.d_print_template = type { %struct.d_print_template*, %struct.demangle_component* }
%struct.demangle_component = type { i32, { %struct.anon } } %struct.demangle_component = type { i32, { %struct.anon } }
Show All 29 Lines

llvm/test/Transforms/NewGVN/2008-12-12-RLE-Crash.ll

; RUN: opt < %s -newgvn | llvm-dis ; RUN: opt < %s -passes=newgvn | llvm-dis
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-darwin7" target triple = "i386-apple-darwin7"
define i32 @main(i32 %argc, i8** %argv) nounwind { define i32 @main(i32 %argc, i8** %argv) nounwind {
entry: entry:
br label %bb84 br label %bb84
bb41: ; preds = %bb82 bb41: ; preds = %bb82
Show All 26 Lines

llvm/test/Transforms/NewGVN/2008-12-14-rle-reanalyze.ll

; RUN: opt < %s -newgvn | llvm-dis ; RUN: opt < %s -passes=newgvn | llvm-dis
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-darwin7" target triple = "i386-apple-darwin7"
@sort_value = external global [256 x i32], align 32 ; <[256 x i32]*> [#uses=2] @sort_value = external global [256 x i32], align 32 ; <[256 x i32]*> [#uses=2]
define i32 @Quiesce(i32 %alpha, i32 %beta, i32 %wtm, i32 %ply) nounwind { define i32 @Quiesce(i32 %alpha, i32 %beta, i32 %wtm, i32 %ply) nounwind {
entry: entry:
br label %bb22 br label %bb22
Show All 9 Lines

llvm/test/Transforms/NewGVN/2008-12-15-CacheVisited.ll

; RUN: opt < %s -newgvn | llvm-dis ; RUN: opt < %s -passes=newgvn | llvm-dis
; Cached results must be added to and verified against the visited sets. ; Cached results must be added to and verified against the visited sets.
; PR3217 ; PR3217
define fastcc void @gen_field_die(i32* %decl) nounwind { define fastcc void @gen_field_die(i32* %decl) nounwind {
entry: entry:
br i1 false, label %bb203, label %bb202 br i1 false, label %bb203, label %bb202
bb202: ; preds = %entry bb202: ; preds = %entry
Show All 19 Lines

llvm/test/Transforms/NewGVN/2009-01-21-SortInvalidation.ll

; RUN: opt < %s -newgvn | llvm-dis ; RUN: opt < %s -passes=newgvn | llvm-dis
; PR3358 ; PR3358
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" 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"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
%struct.re_pattern_buffer = type { i8*, i64, i64, i64, i8*, i8*, i64, i8 } %struct.re_pattern_buffer = type { i8*, i64, i64, i64, i8*, i8*, i64, i8 }
%struct.re_registers = type { i32, i32*, i32* } %struct.re_registers = type { i32, i32*, i32* }
define fastcc i32 @byte_re_match_2_internal(%struct.re_pattern_buffer* nocapture %bufp, i8* %string1, i32 %size1, i8* %string2, i32 %size2, i32 %pos, %struct.re_registers* %regs, i32 %stop) nounwind { define fastcc i32 @byte_re_match_2_internal(%struct.re_pattern_buffer* nocapture %bufp, i8* %string1, i32 %size1, i8* %string2, i32 %size2, i32 %pos, %struct.re_registers* %regs, i32 %stop) nounwind {
entry: entry:
▲ Show 20 Lines • Show All 46 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/2009-01-22-SortInvalidation.ll

; RUN: opt < %s -newgvn | llvm-dis ; RUN: opt < %s -passes=newgvn | llvm-dis
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-darwin7" target triple = "i386-apple-darwin7"
%struct..4sPragmaType = type { i8*, i32 } %struct..4sPragmaType = type { i8*, i32 }
%struct.AggInfo = type { i8, i8, i32, %struct.ExprList*, i32, %struct.AggInfo_col*, i32, i32, i32, %struct.AggInfo_func*, i32, i32 } %struct.AggInfo = type { i8, i8, i32, %struct.ExprList*, i32, %struct.AggInfo_col*, i32, i32, i32, %struct.AggInfo_func*, i32, i32 }
%struct.AggInfo_col = type { %struct.Table*, i32, i32, i32, i32, %struct.Expr* } %struct.AggInfo_col = type { %struct.Table*, i32, i32, i32, i32, %struct.Expr* }
%struct.AggInfo_func = type { %struct.Expr*, %struct.FuncDef*, i32, i32 } %struct.AggInfo_func = type { %struct.Expr*, %struct.FuncDef*, i32, i32 }
%struct.AuxData = type { i8*, void (i8*)* } %struct.AuxData = type { i8*, void (i8*)* }
▲ Show 20 Lines • Show All 91 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/2009-03-10-PREOnVoid.ll

; RUN: opt < %s -newgvn -disable-output ; RUN: opt < %s -passes=newgvn -disable-output
; PR3775 ; PR3775
; ModuleID = 'bugpoint-reduced-simplified.bc' ; ModuleID = 'bugpoint-reduced-simplified.bc'
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:32:32" 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:32:32"
target triple = "i386-pc-linux-gnu" target triple = "i386-pc-linux-gnu"
%llvm.dbg.anchor.type = type { i32, i32 } %llvm.dbg.anchor.type = type { i32, i32 }
%"struct.__gnu_cxx::hash<void*>" = type <{ i8 }> %"struct.__gnu_cxx::hash<void*>" = type <{ i8 }>
%struct.__sched_param = type { i32 } %struct.__sched_param = type { i32 }
▲ Show 20 Lines • Show All 101 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/2009-07-13-MemDepSortFail.ll

; RUN: opt < %s -newgvn | llvm-dis ; RUN: opt < %s -passes=newgvn | llvm-dis
; PR4256 ; PR4256
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:32:32" 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:32:32"
target triple = "i386-pc-linux-gnu" target triple = "i386-pc-linux-gnu"
%llvm.dbg.anchor.type = type { i32, i32 } %llvm.dbg.anchor.type = type { i32, i32 }
%struct.cset = type { i8*, i8, i8, i32, i8* } %struct.cset = type { i8*, i8, i8, i32, i8* }
%struct.lmat = type { %struct.re_guts*, i32, %llvm.dbg.anchor.type*, i8*, i8*, i8*, i8*, i8**, i32, i8*, i8*, i8*, i8*, i8* } %struct.lmat = type { %struct.re_guts*, i32, %llvm.dbg.anchor.type*, i8*, i8*, i8*, i8*, i8**, i32, i8*, i8*, i8*, i8*, i8* }
%struct.re_guts = type { i32*, %struct.cset*, i8*, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i8*, i8*, i32, i32, i32, i32, [1 x i8] } %struct.re_guts = type { i32*, %struct.cset*, i8*, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i8*, i8*, i32, i32, i32, i32, [1 x i8] }
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/2009-11-12-MemDepMallocBitCast.ll

; Test to make sure malloc's bitcast does not block detection of a store ; Test to make sure malloc's bitcast does not block detection of a store
; to aliased memory; GVN should not optimize away the load in this program. ; to aliased memory; GVN should not optimize away the load in this program.
; RUN: opt < %s -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
define i64 @test() { define i64 @test() {
%1 = tail call i8* @malloc(i64 mul (i64 4, i64 ptrtoint (i64* getelementptr (i64, i64* null, i64 1) to i64))) ; <i8*> [#uses=2] %1 = tail call i8* @malloc(i64 mul (i64 4, i64 ptrtoint (i64* getelementptr (i64, i64* null, i64 1) to i64))) ; <i8*> [#uses=2]
store i8 42, i8* %1 store i8 42, i8* %1
%X = bitcast i8* %1 to i64* ; <i64*> [#uses=1] %X = bitcast i8* %1 to i64* ; <i64*> [#uses=1]
%Y = load i64, i64* %X ; <i64> [#uses=1] %Y = load i64, i64* %X ; <i64> [#uses=1]
ret i64 %Y ret i64 %Y
; CHECK: %Y = load i64, i64* %X ; CHECK: %Y = load i64, i64* %X
; CHECK: ret i64 %Y ; CHECK: ret i64 %Y
} }
declare noalias i8* @malloc(i64) declare noalias i8* @malloc(i64)

llvm/test/Transforms/NewGVN/2010-05-08-OneBit.ll

; RUN: opt < %s -newgvn ; RUN: opt < %s -passes=newgvn
; PR7052 ; PR7052
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-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
define i32 @main(i32 %argc, i8** nocapture %argv) personality i32 (...)* @__gxx_personality_v0 { define i32 @main(i32 %argc, i8** nocapture %argv) personality i32 (...)* @__gxx_personality_v0 {
entry: entry:
%0 = getelementptr inbounds i8, i8* undef, i64 5 ; <i8*> [#uses=1] %0 = getelementptr inbounds i8, i8* undef, i64 5 ; <i8*> [#uses=1]
▲ Show 20 Lines • Show All 58 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/2011-04-27-phioperands.ll

; RUN: opt -newgvn -disable-output < %s ; RUN: opt -passes=newgvn -disable-output < %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-f128: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-f128:128:128-n8:16:32:64"
@nuls = external global [10 x i8] @nuls = external global [10 x i8]
define fastcc void @p_ere() nounwind { define fastcc void @p_ere() nounwind {
entry: entry:
br label %"<bb 5>" br label %"<bb 5>"
▲ Show 20 Lines • Show All 97 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/2011-07-07-MatchIntrinsicExtract.ll

; RUN: opt < %s -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
; ;
%0 = type { i64, i1 } %0 = type { i64, i1 }
define i64 @test1(i64 %a, i64 %b) nounwind ssp { define i64 @test1(i64 %a, i64 %b) nounwind ssp {
entry: entry:
%uadd = tail call %0 @llvm.uadd.with.overflow.i64(i64 %a, i64 %b) %uadd = tail call %0 @llvm.uadd.with.overflow.i64(i64 %a, i64 %b)
%uadd.0 = extractvalue %0 %uadd, 0 %uadd.0 = extractvalue %0 %uadd, 0
▲ Show 20 Lines • Show All 82 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/2012-05-22-PreCrash.ll

; RUN: opt < %s -newgvn ; RUN: opt < %s -passes=newgvn
; PR12858 ; PR12858
define void @fn5(i16 signext %p1, i8 signext %p2) nounwind uwtable { define void @fn5(i16 signext %p1, i8 signext %p2) nounwind uwtable {
entry: entry:
br i1 undef, label %if.else, label %if.then br i1 undef, label %if.else, label %if.then
if.then: ; preds = %entry if.then: ; preds = %entry
br label %if.end br label %if.end
Show All 24 Lines

llvm/test/Transforms/NewGVN/addrspacecast.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 -newgvn < %s | FileCheck %s ; RUN: opt -S -passes=newgvn < %s | FileCheck %s
define i32 addrspace(1)* @addrspacecast(i32* %ptr) { define i32 addrspace(1)* @addrspacecast(i32* %ptr) {
; CHECK-LABEL: @addrspacecast( ; CHECK-LABEL: @addrspacecast(
; CHECK-NEXT: block1: ; CHECK-NEXT: block1:
; CHECK-NEXT: [[Z1:%.*]] = addrspacecast i32* [[PTR:%.*]] to i32 addrspace(1)* ; CHECK-NEXT: [[Z1:%.*]] = addrspacecast i32* [[PTR:%.*]] to i32 addrspace(1)*
; CHECK-NEXT: br label [[BLOCK2:%.*]] ; CHECK-NEXT: br label [[BLOCK2:%.*]]
; CHECK: block2: ; CHECK: block2:
; CHECK-NEXT: store i32 addrspace(1)* [[Z1]], i32 addrspace(1)** undef ; CHECK-NEXT: store i32 addrspace(1)* [[Z1]], i32 addrspace(1)** undef
▲ Show 20 Lines • Show All 98 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/assume-equal-xfail.ll

; XFAIL: * ; XFAIL: *
; RUN: opt < %s -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
%struct.A = type { i32 (...)** } %struct.A = type { i32 (...)** }
@_ZTV1A = available_externally unnamed_addr constant [4 x i8*] [i8* null, i8* bitcast (i8** @_ZTI1A to i8*), i8* bitcast (i32 (%struct.A*)* @_ZN1A3fooEv to i8*), i8* bitcast (i32 (%struct.A*)* @_ZN1A3barEv to i8*)], align 8 @_ZTV1A = available_externally unnamed_addr constant [4 x i8*] [i8* null, i8* bitcast (i8** @_ZTI1A to i8*), i8* bitcast (i32 (%struct.A*)* @_ZN1A3fooEv to i8*), i8* bitcast (i32 (%struct.A*)* @_ZN1A3barEv to i8*)], align 8
@_ZTI1A = external constant i8* @_ZTI1A = external constant i8*
; Checks if indirect calls can be replaced with direct ; Checks if indirect calls can be replaced with direct
; assuming that %vtable == @_ZTV1A (with alignment). ; assuming that %vtable == @_ZTV1A (with alignment).
; Checking const propagation across other BBs ; Checking const propagation across other BBs
▲ Show 20 Lines • Show All 153 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/assume-equal.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 -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
define float @_Z1if(float %p) { define float @_Z1if(float %p) {
; CHECK-LABEL: @_Z1if( ; CHECK-LABEL: @_Z1if(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[P_ADDR:%.*]] = alloca float, align 4 ; CHECK-NEXT: [[P_ADDR:%.*]] = alloca float, align 4
; CHECK-NEXT: store float [[P:%.*]], float* [[P_ADDR]], align 4 ; CHECK-NEXT: store float [[P:%.*]], float* [[P_ADDR]], align 4
; CHECK-NEXT: [[CMP:%.*]] = fcmp ueq float [[P]], 3.000000e+00 ; CHECK-NEXT: [[CMP:%.*]] = fcmp ueq float [[P]], 3.000000e+00
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP]]) ; CHECK-NEXT: call void @llvm.assume(i1 [[CMP]])
▲ Show 20 Lines • Show All 141 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/assumes.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 -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
define i32 @test1(i32 %arg) { define i32 @test1(i32 %arg) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: [[CMP:%.*]] = icmp sge i32 [[ARG:%.*]], 5 ; CHECK-NEXT: [[CMP:%.*]] = icmp sge i32 [[ARG:%.*]], 5
; CHECK-NEXT: call void @llvm.assume(i1 [[CMP]]) ; CHECK-NEXT: call void @llvm.assume(i1 [[CMP]])
; CHECK-NEXT: ret i32 [[ARG]] ; CHECK-NEXT: ret i32 [[ARG]]
; ;
%cmp = icmp sge i32 %arg, 5 %cmp = icmp sge i32 %arg, 5
Show All 28 Lines

llvm/test/Transforms/NewGVN/basic.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 -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
define i32 @main() { define i32 @main() {
; CHECK-LABEL: @main( ; CHECK-LABEL: @main(
; CHECK-NEXT: block1: ; CHECK-NEXT: block1:
; CHECK-NEXT: br label [[BLOCK2:%.*]] ; CHECK-NEXT: br label [[BLOCK2:%.*]]
; CHECK: block2: ; CHECK: block2:
; CHECK-NEXT: ret i32 0 ; CHECK-NEXT: ret i32 0
; ;
Show All 33 Lines

llvm/test/Transforms/NewGVN/big-endian.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 -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
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"
;; Make sure we use correct bit shift based on storage size for ;; Make sure we use correct bit shift based on storage size for
;; loads reusing a load value. ;; loads reusing a load value.
define i64 @test1({ i1, i8 }* %predA, { i1, i8 }* %predB) { define i64 @test1({ i1, i8 }* %predA, { i1, i8 }* %predB) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
▲ Show 20 Lines • Show All 48 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/bitcast-of-call.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 -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
; PR2213 ; PR2213
define i32* @f(i8* %x) { define i32* @f(i8* %x) {
; CHECK-LABEL: @f( ; CHECK-LABEL: @f(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP:%.*]] = call i8* @m(i32 12) ; CHECK-NEXT: [[TMP:%.*]] = call i8* @m(i32 12)
; CHECK-NEXT: [[TMP1:%.*]] = bitcast i8* [[TMP]] to i32* ; CHECK-NEXT: [[TMP1:%.*]] = bitcast i8* [[TMP]] to i32*
; CHECK-NEXT: ret i32* [[TMP1]] ; CHECK-NEXT: ret i32* [[TMP1]]
Show All 10 Lines

llvm/test/Transforms/NewGVN/br-identical.ll

; RUN: opt -newgvn -S -o - %s | FileCheck %s
; RUN: opt -passes=newgvn -S -o - %s | FileCheck %s ; RUN: opt -passes=newgvn -S -o - %s | FileCheck %s
; If a branch has two identical successors, we cannot declare either dead. ; If a branch has two identical successors, we cannot declare either dead.
define void @widget(i1 %p) { define void @widget(i1 %p) {
entry: entry:
br label %bb2 br label %bb2
Show All 30 Lines

llvm/test/Transforms/NewGVN/commute.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 -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
declare void @use(i32, i32) declare void @use(i32, i32)
define void @binop(i32 %x, i32 %y) { define void @binop(i32 %x, i32 %y) {
; CHECK-LABEL: @binop( ; CHECK-LABEL: @binop(
; CHECK-NEXT: [[ADD1:%.*]] = add i32 [[X:%.*]], [[Y:%.*]] ; CHECK-NEXT: [[ADD1:%.*]] = add i32 [[X:%.*]], [[Y:%.*]]
; CHECK-NEXT: call void @use(i32 [[ADD1]], i32 [[ADD1]]) ; CHECK-NEXT: call void @use(i32 [[ADD1]], i32 [[ADD1]])
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
▲ Show 20 Lines • Show All 79 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/compare-condition-changes.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 -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
; Test cases to make sure the blocks are properly marked as executable, if the ; Test cases to make sure the blocks are properly marked as executable, if the
; state of the branch condition changes. ; state of the branch condition changes.
; Test case to make sure the case where a condition cannot be simplified is ; Test case to make sure the case where a condition cannot be simplified is
; handled properly. ; handled properly.
define i1 @test1() { define i1 @test1() {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
▲ Show 20 Lines • Show All 70 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/crash.ll

; RUN: opt -newgvn -disable-output < %s ; RUN: opt -passes=newgvn -disable-output < %s
; PR5631 ; PR5631
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-darwin10.0" target triple = "x86_64-apple-darwin10.0"
define i32* @test1(i8* %name, i32 %namelen, i32* %o, i32 %expected_type) nounwind ssp { define i32* @test1(i8* %name, i32 %namelen, i32* %o, i32 %expected_type) nounwind ssp {
entry: entry:
▲ Show 20 Lines • Show All 192 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/dbg-redundant-load.ll

; RUN: opt -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
; Check that the redundant load from %if.then is removed. ; Check that the redundant load from %if.then is removed.
; Also, check that the debug location associated to load %0 still refers to ; Also, check that the debug location associated to load %0 still refers to
; line 3 and not line 6. ; line 3 and not line 6.
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"
; CHECK: @test_redundant_load( ; CHECK: @test_redundant_load(
▲ Show 20 Lines • Show All 43 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/debugloc-xfail.ll

; XFAIL: * ; XFAIL: *
; RUN: opt < %s -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
; CHECK: {{^}}for.body: ; CHECK: {{^}}for.body:
; CHECK-NEXT: [[VREG1:%[^ ]+]] = phi{{.*}}[[VREG2:%[^ ]+]],{{.*}}%.sink, ; CHECK-NEXT: [[VREG1:%[^ ]+]] = phi{{.*}}[[VREG2:%[^ ]+]],{{.*}}%.sink,
; CHECK-NOT: !dbg ; CHECK-NOT: !dbg
; CHECK-SAME: {{$}} ; CHECK-SAME: {{$}}
; CHECK: {{^}}for.inc: ; CHECK: {{^}}for.inc:
; CHECK-NEXT: [[VREG2]] = phi{{.*}}%inc,{{.*}}[[VREG1]] ; CHECK-NEXT: [[VREG2]] = phi{{.*}}%inc,{{.*}}[[VREG1]]
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
▲ Show 20 Lines • Show All 68 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/edge.ll

; RUN: opt -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
define i32 @f1(i32 %x) { define i32 @f1(i32 %x) {
; CHECK-LABEL: define i32 @f1( ; CHECK-LABEL: define i32 @f1(
bb0: bb0:
%cmp = icmp eq i32 %x, 0 %cmp = icmp eq i32 %x, 0
br i1 %cmp, label %bb2, label %bb1 br i1 %cmp, label %bb2, label %bb1
bb1: bb1:
br label %bb2 br label %bb2
▲ Show 20 Lines • Show All 161 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/eliminate-ssacopy.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 -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
; Make sure the created ssa copies are cleaned up. See PR38804. ; Make sure the created ssa copies are cleaned up. See PR38804.
; CHECK-NOT: ssa_copy ; CHECK-NOT: ssa_copy
@b = external dso_local local_unnamed_addr global i32, align 4 @b = external dso_local local_unnamed_addr global i32, align 4
@a = external dso_local local_unnamed_addr global i8, align 1 @a = external dso_local local_unnamed_addr global i8, align 1
@f = external dso_local local_unnamed_addr global i16, align 2 @f = external dso_local local_unnamed_addr global i16, align 2
▲ Show 20 Lines • Show All 71 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/flags-simplify.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 -newgvn < %s | FileCheck %s ; RUN: opt -S -passes=newgvn < %s | FileCheck %s
; Check that we do not use keywords only available for some members of a ; Check that we do not use keywords only available for some members of a
; congruence class when simplifying. ; congruence class when simplifying.
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"
@f = external global i64, align 8 @f = external global i64, align 8
▲ Show 20 Lines • Show All 90 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/flags.ll

; RUN: opt -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
declare void @use(i1) declare void @use(i1)
define void @test1(float %x, float %y) { define void @test1(float %x, float %y) {
entry: entry:
%cmp1 = fcmp nnan oeq float %y, %x %cmp1 = fcmp nnan oeq float %y, %x
%cmp2 = fcmp oeq float %x, %y %cmp2 = fcmp oeq float %x, %y
call void @use(i1 %cmp1) call void @use(i1 %cmp1)
Show All 9 Lines

llvm/test/Transforms/NewGVN/fold-const-expr.ll

; GVN failed to do constant expression folding and expanded ; GVN failed to do constant expression folding and expanded
; them unfolded in many places, producing exponentially large const ; them unfolded in many places, producing exponentially large const
; expressions. As a result, the compilation never fisished. ; expressions. As a result, the compilation never fisished.
; This test checks that we are folding constant expression ; This test checks that we are folding constant expression
; PR 28418 ; PR 28418
; RUN: opt -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
%2 = type { i32, i32, i32, i32, i32 } %2 = type { i32, i32, i32, i32, i32 }
define i32 @_Z16vector3util_mainv(i32 %x, i32 %y) { define i32 @_Z16vector3util_mainv(i32 %x, i32 %y) {
%tmp1 = alloca %2, align 4 %tmp1 = alloca %2, align 4
%tmp114 = getelementptr inbounds %2, %2* %tmp1, i64 0, i32 1 %tmp114 = getelementptr inbounds %2, %2* %tmp1, i64 0, i32 1
%tmp115 = bitcast i32* %tmp114 to <4 x i32>* %tmp115 = bitcast i32* %tmp114 to <4 x i32>*
store <4 x i32> <i32 234567891, i32 345678912, i32 456789123, i32 0>, <4 x i32>* %tmp115, align 4 store <4 x i32> <i32 234567891, i32 345678912, i32 456789123, i32 0>, <4 x i32>* %tmp115, align 4
%tmp1683 = getelementptr inbounds %2, %2* %tmp1, i64 0, i32 1 %tmp1683 = getelementptr inbounds %2, %2* %tmp1, i64 0, i32 1
%tmp1688 = load i32, i32* %tmp1683, align 4 %tmp1688 = load i32, i32* %tmp1683, align 4
▲ Show 20 Lines • Show All 84 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/fpmath.ll

; RUN: opt -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
define double @test1(double %x, double %y) { define double @test1(double %x, double %y) {
; CHECK: @test1(double %x, double %y) ; CHECK: @test1(double %x, double %y)
; CHECK: %add1 = fadd double %x, %y ; CHECK: %add1 = fadd double %x, %y
; CHECK-NOT: fpmath ; CHECK-NOT: fpmath
; CHECK: %foo = fadd double %add1, %add1 ; CHECK: %foo = fadd double %add1, %add1
%add1 = fadd double %x, %y, !fpmath !0 %add1 = fadd double %x, %y, !fpmath !0
%add2 = fadd double %x, %y %add2 = fadd double %x, %y
▲ Show 20 Lines • Show All 49 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/int_sideeffect.ll

; RUN: opt -S < %s -newgvn | FileCheck %s ; RUN: opt -S < %s -passes=newgvn | FileCheck %s
declare void @llvm.sideeffect() declare void @llvm.sideeffect()
; Store-to-load forwarding across a @llvm.sideeffect. ; Store-to-load forwarding across a @llvm.sideeffect.
; CHECK-LABEL: s2l ; CHECK-LABEL: s2l
; CHECK-NOT: load ; CHECK-NOT: load
define float @s2l(float* %p) { define float @s2l(float* %p) {
Show All 18 Lines

llvm/test/Transforms/NewGVN/invariant.start.ll

; Test to make sure llvm.invariant.start calls are not treated as clobbers. ; Test to make sure llvm.invariant.start calls are not treated as clobbers.
; RUN: opt < %s -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
declare {}* @llvm.invariant.start.p0i8(i64, i8* nocapture) nounwind readonly declare {}* @llvm.invariant.start.p0i8(i64, i8* nocapture) nounwind readonly
declare void @llvm.invariant.end.p0i8({}*, i64, i8* nocapture) nounwind declare void @llvm.invariant.end.p0i8({}*, i64, i8* nocapture) nounwind
; We forward store to the load across the invariant.start intrinsic ; We forward store to the load across the invariant.start intrinsic
define i8 @forward_store() { define i8 @forward_store() {
; CHECK-LABEL: @forward_store ; CHECK-LABEL: @forward_store
▲ Show 20 Lines • Show All 49 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/load-from-unreachable-predecessor.ll

; RUN: opt -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
; Check that an unreachable predecessor to a PHI node doesn't cause a crash. ; Check that an unreachable predecessor to a PHI node doesn't cause a crash.
; PR21625. ; PR21625.
define i32 @f(i32** %f) { define i32 @f(i32** %f) {
; CHECK: bb0: ; CHECK: bb0:
; Load should be removed, since it's ignored. ; Load should be removed, since it's ignored.
; CHECK-NEXT: br label ; CHECK-NEXT: br label
Show All 11 Lines

llvm/test/Transforms/NewGVN/metadata-nonnull.ll

; RUN: opt %s -newgvn -S | FileCheck %s ; RUN: opt %s -passes=newgvn -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"
define i8* @test1(i8** %v0, i8** %v1) { define i8* @test1(i8** %v0, i8** %v1) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: top: ; CHECK-NEXT: top:
; CHECK-NEXT: [[V2:%.*]] = load i8*, i8** [[V0:%[a-z0-9]+]], align 8, !nonnull !0 ; CHECK-NEXT: [[V2:%.*]] = load i8*, i8** [[V0:%[a-z0-9]+]], align 8, !nonnull !0
; CHECK-NEXT: store i8* [[V2]], i8** [[V1:%.*]] ; CHECK-NEXT: store i8* [[V2]], i8** [[V1:%.*]]
▲ Show 20 Lines • Show All 167 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/metadata-simplify.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; The tests in this file check that we do not simplify based on metadata that is ; The tests in this file check that we do not simplify based on metadata that is
; not available on all code paths. ; not available on all code paths.
; RUN: opt < %s -S -newgvn | FileCheck %s ; RUN: opt < %s -S -passes=newgvn | FileCheck %s
define i1 @test1(i32** %arg, i1 %arg2) { define i1 @test1(i32** %arg, i1 %arg2) {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: br i1 [[ARG2:%.*]], label [[BB1:%.*]], label [[BB2:%.*]] ; CHECK-NEXT: br i1 [[ARG2:%.*]], label [[BB1:%.*]], label [[BB2:%.*]]
; CHECK: bb1: ; CHECK: bb1:
; CHECK-NEXT: [[LOAD1:%.*]] = load i32*, i32** [[ARG:%.*]], !nonnull !0 ; CHECK-NEXT: [[LOAD1:%.*]] = load i32*, i32** [[ARG:%.*]], !nonnull !0
; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32* [[LOAD1]], null ; CHECK-NEXT: [[CMP1:%.*]] = icmp eq i32* [[LOAD1]], null
; CHECK-NEXT: ret i1 [[CMP1]] ; CHECK-NEXT: ret i1 [[CMP1]]
▲ Show 20 Lines • Show All 146 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/non-integral-pointers.ll

; RUN: opt -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:4" target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128-ni:4"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
define void @f0(i1 %alwaysFalse, i64 %val, i64* %loc) { define void @f0(i1 %alwaysFalse, i64 %val, i64* %loc) {
; CHECK-LABEL: @f0( ; CHECK-LABEL: @f0(
; CHECK-NOT: inttoptr ; CHECK-NOT: inttoptr
; CHECK-NOT: ptrtoint ; CHECK-NOT: ptrtoint
Show All 30 Lines

llvm/test/Transforms/NewGVN/opt-remarks-xfail.ll

; XFAIL: * ; XFAIL: *
; RUN: opt < %s -newgvn -o /dev/null -pass-remarks-output=%t -S -pass-remarks=gvn \
; RUN: 2>&1 | FileCheck %s
; RUN: cat %t | FileCheck -check-prefix=YAML %s
; RUN: opt < %s -passes=newgvn -o /dev/null -pass-remarks-output=%t -S -pass-remarks=gvn \ ; RUN: opt < %s -passes=newgvn -o /dev/null -pass-remarks-output=%t -S -pass-remarks=gvn \
fhahnUnsubmitted
Done
ReplyInline Actions

this is now redundant?

fhahn: this is now redundant?
; RUN: 2>&1 | FileCheck %s ; RUN: 2>&1 | FileCheck %s
; RUN: cat %t | FileCheck -check-prefix=YAML %s ; RUN: cat %t | FileCheck -check-prefix=YAML %s
; CHECK: remark: <unknown>:0:0: load of type i32 eliminated{{$}} ; CHECK: remark: <unknown>:0:0: load of type i32 eliminated{{$}}
; CHECK-NEXT: remark: <unknown>:0:0: load of type i32 eliminated{{$}} ; CHECK-NEXT: remark: <unknown>:0:0: load of type i32 eliminated{{$}}
; CHECK-NEXT: remark: <unknown>:0:0: load of type i32 eliminated{{$}} ; CHECK-NEXT: remark: <unknown>:0:0: load of type i32 eliminated{{$}}
; CHECK-NOT: remark: ; CHECK-NOT: remark:
▲ Show 20 Lines • Show All 100 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/phi-edge-handling.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 -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
;; Block 6 is reachable, but edge 6->4 is not ;; Block 6 is reachable, but edge 6->4 is not
;; This means the phi value is undef, not 0 ;; This means the phi value is undef, not 0
; Function Attrs: ssp uwtable ; Function Attrs: ssp uwtable
define i16 @hoge() { define i16 @hoge() {
; CHECK-LABEL: @hoge( ; CHECK-LABEL: @hoge(
; CHECK-NEXT: bb: ; CHECK-NEXT: bb:
▲ Show 20 Lines • Show All 142 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/phi-of-ops-move-block.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 -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
@g_20 = external global i32, align 4 @g_20 = external global i32, align 4
define void @test() { define void @test() {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[BB1:%.*]] ; CHECK-NEXT: br label [[BB1:%.*]]
; CHECK: bb1: ; CHECK: bb1:
▲ Show 20 Lines • Show All 97 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/phi-of-ops-simplification-dependencies.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 -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
declare void @use.i16(i16*) declare void @use.i16(i16*)
declare void @use.i32(i32) declare void @use.i32(i32)
; Test cases from PR35074, where the simplification dependencies need to be ; Test cases from PR35074, where the simplification dependencies need to be
; tracked for phi-of-ops root instructions. ; tracked for phi-of-ops root instructions.
define void @test1() { define void @test1() {
▲ Show 20 Lines • Show All 155 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/phi-of-ops-simplified-to-existing-value-then-changes-again.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 -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
; Test cases where initially a PHI-of-ops can be simplified to an existing ; Test cases where initially a PHI-of-ops can be simplified to an existing
; value, but later we need to revisit the decision because the leader of ; value, but later we need to revisit the decision because the leader of
; one of the operands used for the simplification changed. ; one of the operands used for the simplification changed.
declare void @use(i1) declare void @use(i1)
define void @pr36501(i1 %c) { define void @pr36501(i1 %c) {
▲ Show 20 Lines • Show All 229 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr12979.ll

; RUN: opt -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
define i32 @test1(i32 %x, i32 %y) { define i32 @test1(i32 %x, i32 %y) {
; CHECK: @test1(i32 %x, i32 %y) ; CHECK: @test1(i32 %x, i32 %y)
; CHECK: %add1 = add i32 %x, %y ; CHECK: %add1 = add i32 %x, %y
; CHECK: %foo = add i32 %add1, %add1 ; CHECK: %foo = add i32 %add1, %add1
%add1 = add nsw i32 %x, %y %add1 = add nsw i32 %x, %y
%add2 = add i32 %x, %y %add2 = add i32 %x, %y
▲ Show 20 Lines • Show All 84 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr14166-xfail.ll

; XFAIL: * ; XFAIL: *
; RUN: opt -disable-basic-aa -newgvn -S < %s | FileCheck %s ; RUN: opt -disable-basic-aa -passes=newgvn -S < %s | FileCheck %s
; NewGVN fails this due to missing load coercion ; NewGVN fails this due to missing load coercion
target datalayout = "e-p:32:32:32" target datalayout = "e-p:32:32:32"
target triple = "i386-pc-linux-gnu" target triple = "i386-pc-linux-gnu"
define <2 x i32> @test1() { define <2 x i32> @test1() {
%v1 = alloca <2 x i32> %v1 = alloca <2 x i32>
call void @anything(<2 x i32>* %v1) call void @anything(<2 x i32>* %v1)
%v2 = load <2 x i32>, <2 x i32>* %v1 %v2 = load <2 x i32>, <2 x i32>* %v1
%v3 = inttoptr <2 x i32> %v2 to <2 x i8*> %v3 = inttoptr <2 x i32> %v2 to <2 x i8*>
Show All 16 Lines

llvm/test/Transforms/NewGVN/pr17732.ll

; RUN: opt -newgvn -S -o - < %s | FileCheck %s ; RUN: opt -passes=newgvn -S -o - < %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-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"
%struct.with_array = type { [2 x i8], i32, i8 } %struct.with_array = type { [2 x i8], i32, i8 }
%struct.with_vector = type { <2 x i8>, i32, i8 } %struct.with_vector = type { <2 x i8>, i32, i8 }
@main.obj_with_array = private unnamed_addr constant { [2 x i8], i32, i8, [3 x i8] } { [2 x i8] zeroinitializer, i32 0, i8 1, [3 x i8] undef }, align 4 @main.obj_with_array = private unnamed_addr constant { [2 x i8], i32, i8, [3 x i8] } { [2 x i8] zeroinitializer, i32 0, i8 1, [3 x i8] undef }, align 4
@array_with_zeroinit = common global %struct.with_array zeroinitializer, align 4 @array_with_zeroinit = common global %struct.with_array zeroinitializer, align 4
Show All 20 Lines

llvm/test/Transforms/NewGVN/pr25440.ll

;RUN: opt -newgvn -S < %s | FileCheck %s ;RUN: opt -passes=newgvn -S < %s | FileCheck %s
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n8:16:32-S64" target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n8:16:32-S64"
target triple = "thumbv7--linux-gnueabi" target triple = "thumbv7--linux-gnueabi"
%struct.a = type { i16, i16, [1 x %union.a] } %struct.a = type { i16, i16, [1 x %union.a] }
%union.a = type { i32 } %union.a = type { i32 }
@length = external global [0 x i32], align 4 @length = external global [0 x i32], align 4
▲ Show 20 Lines • Show All 99 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr28562.ll

; RUN: opt -S -newgvn < %s | FileCheck %s ; RUN: opt -S -passes=newgvn < %s | FileCheck %s
define i32* @test1(i32* %a) { define i32* @test1(i32* %a) {
%x1 = getelementptr inbounds i32, i32* %a, i32 10 %x1 = getelementptr inbounds i32, i32* %a, i32 10
%x2 = getelementptr i32, i32* %a, i32 10 %x2 = getelementptr i32, i32* %a, i32 10
ret i32* %x2 ret i32* %x2
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK: %[[x:.*]] = getelementptr i32, i32* %a, i32 10 ; CHECK: %[[x:.*]] = getelementptr i32, i32* %a, i32 10
; CHECK: ret i32* %[[x]] ; CHECK: ret i32* %[[x]]
} }

llvm/test/Transforms/NewGVN/pr31758.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 -newgvn %s -S -o - | FileCheck %s ; RUN: opt -passes=newgvn %s -S -o - | FileCheck %s
%struct.dipsy = type {} %struct.dipsy = type {}
%struct.fluttershy = type { %struct.dipsy* } %struct.fluttershy = type { %struct.dipsy* }
%struct.patatino = type {} %struct.patatino = type {}
define void @tinkywinky() { define void @tinkywinky() {
; CHECK-LABEL: @tinkywinky( ; CHECK-LABEL: @tinkywinky(
; CHECK-NEXT: bb: ; CHECK-NEXT: bb:
Show All 24 Lines

llvm/test/Transforms/NewGVN/pr32403.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 -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
fhahnUnsubmitted
Done
ReplyInline Actions

tiniest nit: while you are here, also add a space after ;?

fhahn: tiniest nit: while you are here, also add a space after `;`?
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.12.0" target triple = "x86_64-apple-macosx10.12.0"
; Function Attrs: nounwind ssp uwtable ; Function Attrs: nounwind ssp uwtable
define void @reorder_ref_pic_list() local_unnamed_addr { define void @reorder_ref_pic_list() local_unnamed_addr {
; CHECK-LABEL: @reorder_ref_pic_list( ; CHECK-LABEL: @reorder_ref_pic_list(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 undef, label [[FOR_END:%.*]], label [[FOR_BODY_PREHEADER:%.*]] ; CHECK-NEXT: br i1 undef, label [[FOR_END:%.*]], label [[FOR_BODY_PREHEADER:%.*]]
▲ Show 20 Lines • Show All 55 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr32607.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 -newgvn %s -S -o - | FileCheck %s ; RUN: opt -passes=newgvn %s -S -o - | FileCheck %s
define hidden void @foo() { define hidden void @foo() {
; CHECK-LABEL: @foo( ; CHECK-LABEL: @foo(
; CHECK-NEXT: top: ; CHECK-NEXT: top:
; CHECK-NEXT: br label [[IF:%.*]] ; CHECK-NEXT: br label [[IF:%.*]]
; CHECK: if: ; CHECK: if:
; CHECK-NEXT: br i1 false, label [[L50:%.*]], label [[IF]] ; CHECK-NEXT: br i1 false, label [[L50:%.*]], label [[IF]]
; CHECK: L50: ; CHECK: L50:
; CHECK-NEXT: store i8 poison, i8* null ; CHECK-NEXT: store i8 poison, i8* null
Show All 21 Lines

llvm/test/Transforms/NewGVN/pr32836.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 -newgvn %s | FileCheck %s ; RUN: opt -S -passes=newgvn %s | FileCheck %s
%struct.anon = type { i32 } %struct.anon = type { i32 }
@b = external global %struct.anon @b = external global %struct.anon
define void @tinkywinky(i1 %patatino) { define void @tinkywinky(i1 %patatino) {
; CHECK-LABEL: @tinkywinky( ; CHECK-LABEL: @tinkywinky(
; CHECK-NEXT: store i32 8, i32* null ; CHECK-NEXT: store i32 8, i32* null
; CHECK-NEXT: br i1 [[PATATINO:%.*]], label [[IF_END:%.*]], label [[IF_THEN:%.*]] ; CHECK-NEXT: br i1 [[PATATINO:%.*]], label [[IF_END:%.*]], label [[IF_THEN:%.*]]
; CHECK: if.then: ; CHECK: if.then:
Show All 35 Lines

llvm/test/Transforms/NewGVN/pr32838.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 -newgvn -S < %s | FileCheck %s ;RUN: opt -passes=newgvn -S < %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.12.0" target triple = "x86_64-apple-macosx10.12.0"
;; Ensure we don't infinite loop when all phi arguments are really unreachable or self-defined ;; Ensure we don't infinite loop when all phi arguments are really unreachable or self-defined
define void @fn1(i64 %arg) { define void @fn1(i64 %arg) {
; CHECK-LABEL: @fn1( ; CHECK-LABEL: @fn1(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 undef, label [[IF_THEN:%.*]], label [[COND_TRUE:%.*]] ; CHECK-NEXT: br i1 undef, label [[IF_THEN:%.*]], label [[COND_TRUE:%.*]]
; CHECK: if.then: ; CHECK: if.then:
▲ Show 20 Lines • Show All 147 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr32845.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 -newgvn %s -S | FileCheck %s ; RUN: opt -passes=newgvn %s -S | FileCheck %s
@b = external global i32, align 4 @b = external global i32, align 4
@a = external global i32, align 4 @a = external global i32, align 4
define void @tinkywinky() { define void @tinkywinky() {
; CHECK-LABEL: @tinkywinky( ; CHECK-LABEL: @tinkywinky(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[L1:%.*]] ; CHECK-NEXT: br label [[L1:%.*]]
; CHECK: l1.loopexit: ; CHECK: l1.loopexit:
▲ Show 20 Lines • Show All 54 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr32852.ll

; Make sure GVN doesn't incorrectly think the branch terminating ; Make sure GVN doesn't incorrectly think the branch terminating
; bb2 has a constant condition. ; bb2 has a constant condition.
; RUN: opt -S -newgvn %s | FileCheck %s ; RUN: opt -S -passes=newgvn %s | FileCheck %s
@a = common global i32 0 @a = common global i32 0
@patatino = private unnamed_addr constant [3 x i8] c"0\0A\00" @patatino = private unnamed_addr constant [3 x i8] c"0\0A\00"
define void @tinkywinky() { define void @tinkywinky() {
bb: bb:
%tmp = load i32, i32* @a %tmp = load i32, i32* @a
%tmp1 = icmp sge i32 %tmp, 0 %tmp1 = icmp sge i32 %tmp, 0
Show All 13 Lines

llvm/test/Transforms/NewGVN/pr32897.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 -newgvn %s | FileCheck %s ; RUN: opt -S -passes=newgvn %s | FileCheck %s
define void @tinkywinky(i64* %b) { define void @tinkywinky(i64* %b) {
; CHECK-LABEL: @tinkywinky( ; CHECK-LABEL: @tinkywinky(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[BODY:%.*]] ; CHECK-NEXT: br label [[BODY:%.*]]
; CHECK: body: ; CHECK: body:
; CHECK-NEXT: store i64 undef, i64* [[B:%.*]] ; CHECK-NEXT: store i64 undef, i64* [[B:%.*]]
; CHECK-NEXT: br i1 undef, label [[BODY]], label [[END:%.*]] ; CHECK-NEXT: br i1 undef, label [[BODY]], label [[END:%.*]]
Show All 15 Lines

llvm/test/Transforms/NewGVN/pr32934.ll

; RUN: opt -S -newgvn %s | FileCheck %s ; RUN: opt -S -passes=newgvn %s | FileCheck %s
; CHECK: define void @tinkywinky() { ; CHECK: define void @tinkywinky() {
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: %d = alloca i32, align 4 ; CHECK-NEXT: %d = alloca i32, align 4
; CHECK-NEXT: store i32 0, i32* null, align 4 ; CHECK-NEXT: store i32 0, i32* null, align 4
; CHECK-NEXT: br label %for.cond ; CHECK-NEXT: br label %for.cond
; CHECK: for.cond: ; preds = %if.end, %entry ; CHECK: for.cond: ; preds = %if.end, %entry
; CHECK-NEXT: %0 = load i32, i32* null, align 4 ; CHECK-NEXT: %0 = load i32, i32* null, align 4
▲ Show 20 Lines • Show All 59 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr32945.ll

; RUN: opt -S -newgvn %s | FileCheck %s ; RUN: opt -S -passes=newgvn %s | FileCheck %s
; CHECK-NOT: call i32 @llvm.ssa.copy ; CHECK-NOT: call i32 @llvm.ssa.copy
@d = external global i32 @d = external global i32
@e = external global i32 @e = external global i32
define void @tinkywinky() { define void @tinkywinky() {
br i1 true, label %lor.lhs.false, label %cond.true br i1 true, label %lor.lhs.false, label %cond.true
lor.lhs.false: lor.lhs.false:
%tmp = load i32, i32* @d, align 4 %tmp = load i32, i32* @d, align 4
Show All 15 Lines

llvm/test/Transforms/NewGVN/pr32952.ll

; PR32952: Don't erroneously consider congruent two phi nodes which ; PR32952: Don't erroneously consider congruent two phi nodes which
; have the same arguments but different incoming edges. ; have the same arguments but different incoming edges.
; RUN: opt -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
@a = common global i16 0, align 2 @a = common global i16 0, align 2
@.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1 @.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
define i32 @tinkywinky() { define i32 @tinkywinky() {
entry: entry:
%0 = load i16, i16* @a, align 2 %0 = load i16, i16* @a, align 2
%conv = sext i16 %0 to i32 %conv = sext i16 %0 to i32
Show All 31 Lines

llvm/test/Transforms/NewGVN/pr33014.ll

; Make sure we don't end up in an infinite recursion in singleReachablePHIPath(). ; Make sure we don't end up in an infinite recursion in singleReachablePHIPath().
; REQUIRES: asserts ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
fhahnUnsubmitted
Done
ReplyInline Actions

While you are here, maybe also drop REQUIRES; asserts? The test checks for the full IR output and no debug output, so there's no need for assertions.

fhahn: While you are here, maybe also drop `REQUIRES; asserts`? The test checks for the full IR output…
; RUN: opt -newgvn -S %s | FileCheck %s
@c = external global i64, align 8 @c = external global i64, align 8
; CHECK-LABEL: define void @tinkywinky() { ; CHECK-LABEL: define void @tinkywinky() {
; CHECK: entry: ; CHECK: entry:
; CHECK-NEXT: br i1 undef, label %l2, label %if.then ; CHECK-NEXT: br i1 undef, label %l2, label %if.then
; CHECK: if.then: ; preds = %entry ; CHECK: if.then: ; preds = %entry
; CHECK-NEXT: br label %for.body ; CHECK-NEXT: br label %for.body
▲ Show 20 Lines • Show All 43 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr33086.ll

; RUN: opt -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
; REQUIRES: asserts ; REQUIRES: asserts
; CHECK-LABEL: define void @tinkywinky() { ; CHECK-LABEL: define void @tinkywinky() {
; CHECK: entry: ; CHECK: entry:
; CHECK-NEXT: br i1 undef, label %for.cond18, label %for.cond.preheader ; CHECK-NEXT: br i1 undef, label %for.cond18, label %for.cond.preheader
; CHECK: for.cond.preheader: ; CHECK: for.cond.preheader:
; CHECK-NEXT: br label %for.cond2thread-pre-split ; CHECK-NEXT: br label %for.cond2thread-pre-split
; CHECK: for.cond2thread-pre-split: ; CHECK: for.cond2thread-pre-split:
▲ Show 20 Lines • Show All 50 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr33116.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 -newgvn %s | FileCheck %s ; RUN: opt -S -passes=newgvn %s | FileCheck %s
@a = external global i32 @a = external global i32
define void @b() { define void @b() {
; CHECK-LABEL: @b( ; CHECK-LABEL: @b(
; CHECK-NEXT: br i1 false, label [[C:%.*]], label [[WHILE_D:%.*]] ; CHECK-NEXT: br i1 false, label [[C:%.*]], label [[WHILE_D:%.*]]
; CHECK: while.d: ; CHECK: while.d:
; CHECK-NEXT: br label [[F:%.*]] ; CHECK-NEXT: br label [[F:%.*]]
Show All 29 Lines

llvm/test/Transforms/NewGVN/pr33165-distribute-undef.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 -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
; Test for PR33165. ; Test for PR33165.
define i2 @f(i2, i1) { define i2 @f(i2, i1) {
; CHECK-LABEL: @f( ; CHECK-LABEL: @f(
; CHECK-NEXT: [[A:%.*]] = xor i2 [[TMP0:%.*]], -1 ; CHECK-NEXT: [[A:%.*]] = xor i2 [[TMP0:%.*]], -1
; CHECK-NEXT: [[B:%.*]] = select i1 [[TMP1:%.*]], i2 [[A]], i2 undef ; CHECK-NEXT: [[B:%.*]] = select i1 [[TMP1:%.*]], i2 [[A]], i2 undef
; CHECK-NEXT: [[C:%.*]] = and i2 [[A]], [[B]] ; CHECK-NEXT: [[C:%.*]] = and i2 [[A]], [[B]]
; CHECK-NEXT: ret i2 [[C]] ; CHECK-NEXT: ret i2 [[C]]
; ;
%a = xor i2 %0, -1 %a = xor i2 %0, -1
%b = select i1 %1, i2 %a, i2 undef %b = select i1 %1, i2 %a, i2 undef
%c = and i2 %a, %b %c = and i2 %a, %b
ret i2 %c ret i2 %c
} }

llvm/test/Transforms/NewGVN/pr33185.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 -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
@a = local_unnamed_addr global i32 9, align 4 @a = local_unnamed_addr global i32 9, align 4
@.str4 = private unnamed_addr constant [6 x i8] c"D:%d\0A\00", align 1 @.str4 = private unnamed_addr constant [6 x i8] c"D:%d\0A\00", align 1
define i32 @test1() local_unnamed_addr { define i32 @test1() local_unnamed_addr {
; CHECK-LABEL: @test1( ; CHECK-LABEL: @test1(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP:%.*]] = load i32, i32* @a, align 4 ; CHECK-NEXT: [[TMP:%.*]] = load i32, i32* @a, align 4
▲ Show 20 Lines • Show All 110 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr33187.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
;; Ensure we don't change after value numbering by accidentally deleting the wrong expression. ;; Ensure we don't change after value numbering by accidentally deleting the wrong expression.
; RUN: opt -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
define void @fn1() local_unnamed_addr #0 { define void @fn1() local_unnamed_addr #0 {
; CHECK-LABEL: @fn1( ; CHECK-LABEL: @fn1(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br label [[FOR_COND_PREHEADER:%.*]] ; CHECK-NEXT: br label [[FOR_COND_PREHEADER:%.*]]
; CHECK: while.cond: ; CHECK: while.cond:
; CHECK-NEXT: br label [[FOR_COND_PREHEADER]] ; CHECK-NEXT: br label [[FOR_COND_PREHEADER]]
; CHECK: for.cond.preheader: ; CHECK: for.cond.preheader:
; CHECK-NEXT: [[H_031:%.*]] = phi i32 [ 5, [[ENTRY:%.*]] ], [ [[H_127:%.*]], [[WHILE_COND:%.*]] ] ; CHECK-NEXT: [[H_031:%.*]] = phi i32 [ 5, [[ENTRY:%.*]] ], [ [[H_127:%.*]], [[WHILE_COND:%.*]] ]
▲ Show 20 Lines • Show All 135 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr33204.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 -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
; Ensure that loads that bypass memory def-use chains get added as users of the new ; Ensure that loads that bypass memory def-use chains get added as users of the new
; MemoryDef. Otherwise this test will not pass memory verification because the value ; MemoryDef. Otherwise this test will not pass memory verification because the value
; of the load will not be reprocessed until verification. ; of the load will not be reprocessed until verification.
; ModuleID = 'bugpoint-reduced-simplified.bc' ; ModuleID = 'bugpoint-reduced-simplified.bc'
source_filename = "bugpoint-output-f242c4f.bc" source_filename = "bugpoint-output-f242c4f.bc"
target triple = "x86_64-apple-darwin16.7.0" target triple = "x86_64-apple-darwin16.7.0"
@global = external global i32 #0 @global = external global i32 #0
▲ Show 20 Lines • Show All 67 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr33305.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 -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
; Ensure we do not incorrect do phi of ops ; Ensure we do not incorrect do phi of ops
source_filename = "/Users/dannyb/sources/llvm-clean/debug-build/pr33305.c" source_filename = "/Users/dannyb/sources/llvm-clean/debug-build/pr33305.c"
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.12.0" target triple = "x86_64-apple-macosx10.12.0"
@a = common global i32 0, align 4 @a = common global i32 0, align 4
@b = local_unnamed_addr global i32* @a, align 8 @b = local_unnamed_addr global i32* @a, align 8
@e = local_unnamed_addr global i32 -1, align 4 @e = local_unnamed_addr global i32 -1, align 4
▲ Show 20 Lines • Show All 175 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr33432.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 -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
; Ensure we do not incorrect do phi of ops ; Ensure we do not incorrect do phi of ops
@d = external local_unnamed_addr global i32, align 4 @d = external local_unnamed_addr global i32, align 4
define void @patatino() { define void @patatino() {
; CHECK-LABEL: @patatino( ; CHECK-LABEL: @patatino(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = load i32, i32* @d, align 4 ; CHECK-NEXT: [[TMP0:%.*]] = load i32, i32* @d, align 4
; CHECK-NEXT: br label [[FOR_END10:%.*]] ; CHECK-NEXT: br label [[FOR_END10:%.*]]
Show All 20 Lines

llvm/test/Transforms/NewGVN/pr33461.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
;; Ensure the store verifier is not overzealous ;; Ensure the store verifier is not overzealous
; RUN: opt -newgvn -enable-phi-of-ops=true -S %s | FileCheck %s ; RUN: opt -passes=newgvn -enable-phi-of-ops=true -S %s | FileCheck %s
@b = external global i16, align 2 @b = external global i16, align 2
define void @patatino() { define void @patatino() {
; CHECK-LABEL: @patatino( ; CHECK-LABEL: @patatino(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 false, label [[FOR_COND1:%.*]], label [[FOR_INC:%.*]] ; CHECK-NEXT: br i1 false, label [[FOR_COND1:%.*]], label [[FOR_INC:%.*]]
; CHECK: for.cond1: ; CHECK: for.cond1:
; CHECK-NEXT: [[PHIOFOPS:%.*]] = phi i16 [ poison, [[ENTRY:%.*]] ], [ [[INC:%.*]], [[FOR_INC]] ] ; CHECK-NEXT: [[PHIOFOPS:%.*]] = phi i16 [ poison, [[ENTRY:%.*]] ], [ [[INC:%.*]], [[FOR_INC]] ]
Show All 25 Lines

llvm/test/Transforms/NewGVN/pr33720.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 -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
@f = external local_unnamed_addr global i64 @f = external local_unnamed_addr global i64
@b = external local_unnamed_addr global i64 @b = external local_unnamed_addr global i64
@e = external local_unnamed_addr global i64 @e = external local_unnamed_addr global i64
define void @patatino() { define void @patatino() {
; CHECK-LABEL: @patatino( ; CHECK-LABEL: @patatino(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
▲ Show 20 Lines • Show All 81 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr34135.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 -newgvn -enable-phi-of-ops=true -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -enable-phi-of-ops=true -S | FileCheck %s
;; Make sure we don't incorrectly use predicateinfo to simplify phi of ops cases ;; Make sure we don't incorrectly use predicateinfo to simplify phi of ops cases
source_filename = "pr34135.ll" source_filename = "pr34135.ll"
define void @snork(i32 %arg) { define void @snork(i32 %arg) {
; CHECK-LABEL: @snork( ; CHECK-LABEL: @snork(
; CHECK-NEXT: bb: ; CHECK-NEXT: bb:
; CHECK-NEXT: [[TMP:%.*]] = sext i32 [[ARG:%.*]] to i64 ; CHECK-NEXT: [[TMP:%.*]] = sext i32 [[ARG:%.*]] to i64
; CHECK-NEXT: br label [[BB1:%.*]] ; CHECK-NEXT: br label [[BB1:%.*]]
Show All 34 Lines

llvm/test/Transforms/NewGVN/pr34430.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; ModuleID = 'bugpoint-reduced-simplified.bc' ; ModuleID = 'bugpoint-reduced-simplified.bc'
; RUN: opt < %s -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
source_filename = "bugpoint-output-e4c7d0f.bc" source_filename = "bugpoint-output-e4c7d0f.bc"
; Make sure we still properly resolve phi cycles when they involve predicateinfo copies of phis. ; Make sure we still properly resolve phi cycles when they involve predicateinfo copies of phis.
define void @hoge() local_unnamed_addr #0 { define void @hoge() local_unnamed_addr #0 {
; CHECK-LABEL: @hoge( ; CHECK-LABEL: @hoge(
; CHECK-NEXT: bb: ; CHECK-NEXT: bb:
; CHECK-NEXT: br i1 undef, label [[BB6:%.*]], label [[BB1:%.*]] ; CHECK-NEXT: br i1 undef, label [[BB6:%.*]], label [[BB1:%.*]]
; CHECK: bb1: ; CHECK: bb1:
Show All 37 Lines

llvm/test/Transforms/NewGVN/pr34452.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 -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
;; Ensure we don't crash when simplifying aggregate value expressions ;; Ensure we don't crash when simplifying aggregate value expressions
source_filename = "bugpoint-output-09f7a24.bc" source_filename = "bugpoint-output-09f7a24.bc"
@WHOLELINE = external local_unnamed_addr global i32, align 4 @WHOLELINE = external local_unnamed_addr global i32, align 4
; Function Attrs: nounwind uwtable ; Function Attrs: nounwind uwtable
define void @sgrep() local_unnamed_addr #0 { define void @sgrep() local_unnamed_addr #0 {
; CHECK-LABEL: @sgrep( ; CHECK-LABEL: @sgrep(
Show All 39 Lines

llvm/test/Transforms/NewGVN/pr35074.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 -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
define void @sort(i64 %.16) { define void @sort(i64 %.16) {
; CHECK-LABEL: @sort( ; CHECK-LABEL: @sort(
; CHECK-NEXT: Entry: ; CHECK-NEXT: Entry:
; CHECK-NEXT: [[TMP0:%.*]] = extractvalue { i64, i1 } undef, 0 ; CHECK-NEXT: [[TMP0:%.*]] = extractvalue { i64, i1 } undef, 0
; CHECK-NEXT: [[TMP1:%.*]] = lshr i64 [[TMP0]], 2 ; CHECK-NEXT: [[TMP1:%.*]] = lshr i64 [[TMP0]], 2
; CHECK-NEXT: br i1 undef, label [[DIVZEROFAIL2_I:%.*]], label [[WHILEBODY_LR_PH:%.*]] ; CHECK-NEXT: br i1 undef, label [[DIVZEROFAIL2_I:%.*]], label [[WHILEBODY_LR_PH:%.*]]
; CHECK: DivZeroFail2.i: ; CHECK: DivZeroFail2.i:
▲ Show 20 Lines • Show All 52 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr35125.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 -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
@a = common global i32 0, align 4 @a = common global i32 0, align 4
@.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1 @.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
define i32 @main() #0 { define i32 @main() #0 {
; CHECK-LABEL: @main( ; CHECK-LABEL: @main(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: [[TMP0:%.*]] = load i32, i32* @a, align 4 ; CHECK-NEXT: [[TMP0:%.*]] = load i32, i32* @a, align 4
; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[TMP0]], -1 ; CHECK-NEXT: [[NEG:%.*]] = xor i32 [[TMP0]], -1
▲ Show 20 Lines • Show All 60 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/pr43441.ll

; RUN: opt -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -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" target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
; CHECK-LABEL: @print_long_format() ; CHECK-LABEL: @print_long_format()
define dso_local void @print_long_format() #0 { define dso_local void @print_long_format() #0 {
entry: entry:
switch i32 undef, label %sw.default [ switch i32 undef, label %sw.default [
Show All 33 Lines

llvm/test/Transforms/NewGVN/pre-compare.ll

; RUN: opt -newgvn -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -S < %s | FileCheck %s
; C source: ; C source:
; ;
; void f(int x) { ; void f(int x) {
; if (x != 1) ; if (x != 1)
; puts (x == 2 ? "a" : "b"); ; puts (x == 2 ? "a" : "b");
; for (;;) { ; for (;;) {
; puts("step 1"); ; puts("step 1");
▲ Show 20 Lines • Show All 59 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/preserve-metadata-for-predicate-replacements.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 -newgvn %s -S | FileCheck %s ; RUN: opt -passes=newgvn %s -S | FileCheck %s
declare void @use(i32) declare void @use(i32)
; Make sure !tbaa metadata is preserved when only ssa_copy calls introduced by ; Make sure !tbaa metadata is preserved when only ssa_copy calls introduced by
; PredicateInfo are replaced. ; PredicateInfo are replaced.
define i32 @test(i32* %p1, i32* %p2, i1 %c) { define i32 @test(i32* %p1, i32* %p2, i1 %c) {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
▲ Show 20 Lines • Show All 51 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/propagate-ir-flags.ll

; RUN: opt < %s -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
; CHECK-LABEL: func_fast ; CHECK-LABEL: func_fast
; CHECK: fadd fast double ; CHECK: fadd fast double
; CHECK-NEXT: store ; CHECK-NEXT: store
; CHECK-NEXT: ret ; CHECK-NEXT: ret
define double @func_fast(double %a, double %b) { define double @func_fast(double %a, double %b) {
entry: entry:
%a.addr = alloca double, align 8 %a.addr = alloca double, align 8
Show All 19 Lines

llvm/test/Transforms/NewGVN/readattrs.ll

; RUN: opt -newgvn -S -o - < %s | FileCheck %s ; RUN: opt -passes=newgvn -S -o - < %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" 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"
target triple = "x86_64-unknown-linux-gnu" target triple = "x86_64-unknown-linux-gnu"
declare void @use(i8* readonly nocapture) declare void @use(i8* readonly nocapture)
define i8 @test() { define i8 @test() {
%a = alloca i8 %a = alloca i8
store i8 1, i8* %a store i8 1, i8* %a
call void @use(i8* %a) call void @use(i8* %a)
%b = load i8, i8* %a %b = load i8, i8* %a
ret i8 %b ret i8 %b
; CHECK-LABEL: define i8 @test( ; CHECK-LABEL: define i8 @test(
; CHECK: call void @use(i8* %a) ; CHECK: call void @use(i8* %a)
; CHECK-NEXT: ret i8 1 ; CHECK-NEXT: ret i8 1
} }

llvm/test/Transforms/NewGVN/rle-no-phi-translate-xfail.ll

; RUN: opt < %s -newgvn -S | FileCheck %s ; RUN: opt < %s -passes=newgvn -S | FileCheck %s
; XFAIL: * ; XFAIL: *
; FIXME: This should be promotable, but memdep/gvn don't track values ; FIXME: This should be promotable, but memdep/gvn don't track values
; path/edge sensitively enough. ; path/edge sensitively enough.
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-darwin7" target triple = "i386-apple-darwin7"
define i32 @g(i32* %b, i32* %c) nounwind { define i32 @g(i32* %b, i32* %c) nounwind {
Show All 19 Lines

llvm/test/Transforms/NewGVN/simp-to-self.ll

; RUN: opt -S < %s -newgvn | FileCheck %s ; RUN: opt -S < %s -passes=newgvn | FileCheck %s
; CHECK-LABEL: for.cond: ; CHECK-LABEL: for.cond:
; CHECK-NEXT: %lv = load i32, i32* bitcast (i64* @a to i32*) ; CHECK-NEXT: %lv = load i32, i32* bitcast (i64* @a to i32*)
; CHECK-NEXT: %bf.clear = and i32 %lv, -131072 ; CHECK-NEXT: %bf.clear = and i32 %lv, -131072
; CHECK-NEXT: %bf.set = or i32 1, %bf.clear ; CHECK-NEXT: %bf.set = or i32 1, %bf.clear
; CHECK-NEXT: br i1 %bc, label %for.cond, label %exit ; CHECK-NEXT: br i1 %bc, label %for.cond, label %exit
@a = external global i64 @a = external global i64
Show All 18 Lines

llvm/test/Transforms/NewGVN/storeoverstore.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 -newgvn -enable-phi-of-ops=true -S < %s | FileCheck %s ; RUN: opt -passes=newgvn -enable-phi-of-ops=true -S < %s | FileCheck %s
; RUN: opt -passes=newgvn -enable-phi-of-ops=true -S -o - %s | FileCheck %s ; RUN: opt -passes=newgvn -enable-phi-of-ops=true -S -o - %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"
;; All the loads in this testcase are useless, but it requires understanding that repeated ;; All the loads in this testcase are useless, but it requires understanding that repeated
;; stores of the same value do not change the memory state to eliminate them. ;; stores of the same value do not change the memory state to eliminate them.
define i32 @foo(i32*, i32) { define i32 @foo(i32*, i32) {
▲ Show 20 Lines • Show All 89 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/todo-pr35074-phi-of-ops.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
XFAIL: * XFAIL: *
; TODO: Test case for PR35074. Crashes caused by phi-of-ops. ; TODO: Test case for PR35074. Crashes caused by phi-of-ops.
define void @crash1_pr35074(i32 %this, i1 %c) { define void @crash1_pr35074(i32 %this, i1 %c) {
entry: entry:
br label %for.cond br label %for.cond
Show All 26 Lines

llvm/test/Transforms/NewGVN/todo-pr36335-phi-undef.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 -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
; TODO: NewGVN currently miscomiles the function below. PR36335. ; TODO: NewGVN currently miscomiles the function below. PR36335.
declare void @foo(i32) declare void @foo(i32)
define void @main(i1 %c1, i1 %c2, i32 %x) { define void @main(i1 %c1, i1 %c2, i32 %x) {
; CHECK-LABEL: @main( ; CHECK-LABEL: @main(
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
Show All 22 Lines

llvm/test/Transforms/NewGVN/todo-pr37121-seens-this-value-a-lot.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
; XFAIL: * ; XFAIL: *
; TODO: Current NewGVN crashes on the function below. See PR37121. ; TODO: Current NewGVN crashes on the function below. See PR37121.
define hidden void @foo() { define hidden void @foo() {
top: top:
%.promoted = load i8, i8* undef, align 8 %.promoted = load i8, i8* undef, align 8
Show All 16 Lines

llvm/test/Transforms/NewGVN/todo-pr42422-phi-of-ops.ll

; REQUIRES: asserts ; REQUIRES: asserts
; RUN: opt -newgvn -S %s | FileCheck %s ; RUN: opt -passes=newgvn -S %s | FileCheck %s
; XFAIL: * ; XFAIL: *
; TODO: Currently NewGVN crashes on the function below, see PR42422. ; TODO: Currently NewGVN crashes on the function below, see PR42422.
define void @d() { define void @d() {
entry: entry:
br label %for.cond br label %for.cond
▲ Show 20 Lines • Show All 75 Lines • Show Last 20 Lines

llvm/test/Transforms/NewGVN/verify-memoryphi.ll

; Skip dead MemoryPhis when performing memory congruency verification ; Skip dead MemoryPhis when performing memory congruency verification
; in NewGVN. ; in NewGVN.
; RUN: opt -S -newgvn %s | FileCheck %s ; RUN: opt -S -passes=newgvn %s | FileCheck %s
; REQUIRES: asserts ; REQUIRES: asserts
; CHECK: define void @tinkywinky() { ; CHECK: define void @tinkywinky() {
; CHECK-NEXT: entry: ; CHECK-NEXT: entry:
; CHECK-NEXT: br i1 false, label %body, label %end ; CHECK-NEXT: br i1 false, label %body, label %end
; CHECK: body: ; CHECK: body:
; CHECK-NEXT: store i8 poison, i8* null ; CHECK-NEXT: store i8 poison, i8* null
; CHECK-NEXT: br label %end ; CHECK-NEXT: br label %end
Show All 18 Lines