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

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.

Differential Revision: https://reviews.llvm.org/D118341
This commit is contained in:
Bjorn Pettersson 2022-01-26 22:51:13 +01:00
parent 10879c26a2
commit 4f73528403
98 changed files with 97 additions and 102 deletions

View File

@ -1,5 +1,5 @@
; 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
; j[5][4][1] (j+239)
; and not [1][4][4][1] (#449) which is an incorrect out-of-range error

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn | llvm-dis
; RUN: opt < %s -passes=newgvn | llvm-dis
%struct.PerlInterpreter = type { i8 }
@PL_sv_count = external global i32 ; <i32*> [#uses=2]

View File

@ -1,4 +1,4 @@
; 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 }

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn | llvm-dis
; RUN: opt < %s -passes=newgvn | llvm-dis
%struct.TypHeader = type { i32, %struct.TypHeader**, [3 x i8], i8 }

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn | llvm-dis
; RUN: opt < %s -passes=newgvn | llvm-dis
%struct.ggBRDF = type { i32 (...)** }
%struct.ggBox3 = type { %struct.ggPoint3, %struct.ggPoint3 }

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn | llvm-dis
; RUN: opt < %s -passes=newgvn | llvm-dis
@bsLive = external global i32 ; <i32*> [#uses=2]

View File

@ -1,6 +1,6 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -newgvn -S | FileCheck %s
; RUN: opt < %s -newgvn --enable-knowledge-retention -S | FileCheck %s
; RUN: opt < %s -passes=newgvn -S | FileCheck %s
; RUN: opt < %s -passes=newgvn --enable-knowledge-retention -S | FileCheck %s
%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 }

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn | llvm-dis
; RUN: opt < %s -passes=newgvn | llvm-dis
%"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" }

View File

@ -1,5 +1,5 @@
; XFAIL: *
; RUN: opt < %s -newgvn -S | FileCheck %s
; RUN: opt < %s -passes=newgvn -S | FileCheck %s
; PR1996
%struct.anon = type { i32, i8, i8, i8, i8 }

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn
; RUN: opt < %s -passes=newgvn
; PR2032
define i32 @sscal(i32 %n, double %sa1, float* %sx, i32 %incx) {

View File

@ -1,4 +1,4 @@
; 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 triple = "i386-apple-darwin9.5"

View File

@ -1,4 +1,4 @@
; 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 triple = "i386-apple-darwin7"

View File

@ -1,4 +1,4 @@
; 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 triple = "i386-apple-darwin7"
@sort_value = external global [256 x i32], align 32 ; <[256 x i32]*> [#uses=2]

View File

@ -1,4 +1,4 @@
; 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.
; PR3217

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn | llvm-dis
; RUN: opt < %s -passes=newgvn | llvm-dis
; 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 triple = "x86_64-unknown-linux-gnu"

View File

@ -1,4 +1,4 @@
; 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 triple = "i386-apple-darwin7"

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn -disable-output
; RUN: opt < %s -passes=newgvn -disable-output
; PR3775
; ModuleID = 'bugpoint-reduced-simplified.bc'

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn | llvm-dis
; RUN: opt < %s -passes=newgvn | llvm-dis
; 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 triple = "i386-pc-linux-gnu"

View File

@ -1,6 +1,6 @@
; 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.
; RUN: opt < %s -newgvn -S | FileCheck %s
; RUN: opt < %s -passes=newgvn -S | FileCheck %s
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]

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn
; RUN: opt < %s -passes=newgvn
; 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"

View File

@ -1,4 +1,4 @@
; 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"

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn -S | FileCheck %s
; RUN: opt < %s -passes=newgvn -S | FileCheck %s
;
%0 = type { i64, i1 }

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn
; RUN: opt < %s -passes=newgvn
; PR12858
define void @fn5(i16 signext %p1, i8 signext %p2) nounwind uwtable {

View File

@ -1,5 +1,5 @@
; 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) {
; CHECK-LABEL: @addrspacecast(

View File

@ -1,5 +1,5 @@
; XFAIL: *
; RUN: opt < %s -newgvn -S | FileCheck %s
; RUN: opt < %s -passes=newgvn -S | FileCheck %s
%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

View File

@ -1,5 +1,5 @@
; 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) {
; CHECK-LABEL: @_Z1if(

View File

@ -1,5 +1,5 @@
; 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) {
; CHECK-LABEL: @test1(

View File

@ -1,5 +1,5 @@
; 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() {
; CHECK-LABEL: @main(

View File

@ -1,5 +1,5 @@
; 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 triple = "powerpc64-unknown-linux-gnu"

View File

@ -1,5 +1,5 @@
; 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
define i32* @f(i8* %x) {

View File

@ -1,4 +1,3 @@
; RUN: opt -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.

View File

@ -1,5 +1,5 @@
; 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)

View File

@ -1,5 +1,5 @@
; 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
; state of the branch condition changes.

View File

@ -1,4 +1,4 @@
; RUN: opt -newgvn -disable-output < %s
; RUN: opt -passes=newgvn -disable-output < %s
; PR5631

View File

@ -1,4 +1,4 @@
; 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.
; Also, check that the debug location associated to load %0 still refers to

View File

@ -1,5 +1,5 @@
; XFAIL: *
; RUN: opt < %s -newgvn -S | FileCheck %s
; RUN: opt < %s -passes=newgvn -S | FileCheck %s
; CHECK: {{^}}for.body:
; CHECK-NEXT: [[VREG1:%[^ ]+]] = phi{{.*}}[[VREG2:%[^ ]+]],{{.*}}%.sink,
; CHECK-NOT: !dbg

View File

@ -1,4 +1,4 @@
; RUN: opt -newgvn -S < %s | FileCheck %s
; RUN: opt -passes=newgvn -S < %s | FileCheck %s
define i32 @f1(i32 %x) {
; CHECK-LABEL: define i32 @f1(

View File

@ -1,5 +1,5 @@
; 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.

View File

@ -1,5 +1,5 @@
; 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
; congruence class when simplifying.

View File

@ -1,4 +1,4 @@
; RUN: opt -newgvn -S < %s | FileCheck %s
; RUN: opt -passes=newgvn -S < %s | FileCheck %s
declare void @use(i1)

View File

@ -3,7 +3,7 @@
; expressions. As a result, the compilation never fisished.
; This test checks that we are folding constant expression
; PR 28418
; RUN: opt -newgvn -S < %s | FileCheck %s
; RUN: opt -passes=newgvn -S < %s | FileCheck %s
%2 = type { i32, i32, i32, i32, i32 }
define i32 @_Z16vector3util_mainv(i32 %x, i32 %y) {
%tmp1 = alloca %2, align 4

View File

@ -1,4 +1,4 @@
; RUN: opt -newgvn -S < %s | FileCheck %s
; RUN: opt -passes=newgvn -S < %s | FileCheck %s
define double @test1(double %x, double %y) {
; CHECK: @test1(double %x, double %y)

View File

@ -1,4 +1,4 @@
; RUN: opt -S < %s -newgvn | FileCheck %s
; RUN: opt -S < %s -passes=newgvn | FileCheck %s
declare void @llvm.sideeffect()

View File

@ -1,5 +1,5 @@
; 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

View File

@ -1,4 +1,4 @@
; 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.
; PR21625.

View File

@ -1,4 +1,4 @@
; 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 triple = "x86_64-unknown-linux-gnu"

View File

@ -3,7 +3,7 @@
; The tests in this file check that we do not simplify based on metadata that is
; 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) {
; CHECK-LABEL: @test1(

View File

@ -1,4 +1,4 @@
; 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 triple = "x86_64-unknown-linux-gnu"

View File

@ -1,7 +1,4 @@
; 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: 2>&1 | FileCheck %s
; RUN: cat %t | FileCheck -check-prefix=YAML %s

View File

@ -1,5 +1,5 @@
; 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

View File

@ -1,5 +1,5 @@
; 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

View File

@ -1,5 +1,5 @@
; 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.i32(i32)

View File

@ -1,5 +1,5 @@
; 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
; value, but later we need to revisit the decision because the leader of

View File

@ -1,4 +1,4 @@
; RUN: opt -newgvn -S < %s | FileCheck %s
; RUN: opt -passes=newgvn -S < %s | FileCheck %s
define i32 @test1(i32 %x, i32 %y) {
; CHECK: @test1(i32 %x, i32 %y)

View File

@ -1,5 +1,5 @@
; 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
target datalayout = "e-p:32:32:32"
target triple = "i386-pc-linux-gnu"

View File

@ -1,4 +1,4 @@
; 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 triple = "x86_64-unknown-linux-gnu"

View File

@ -1,4 +1,4 @@
;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 triple = "thumbv7--linux-gnueabi"

View File

@ -1,4 +1,4 @@
; RUN: opt -S -newgvn < %s | FileCheck %s
; RUN: opt -S -passes=newgvn < %s | FileCheck %s
define i32* @test1(i32* %a) {
%x1 = getelementptr inbounds i32, i32* %a, i32 10
%x2 = getelementptr i32, i32* %a, i32 10

View File

@ -1,5 +1,5 @@
; 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.fluttershy = type { %struct.dipsy* }

View File

@ -1,5 +1,5 @@
; 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 triple = "x86_64-apple-macosx10.12.0"

View File

@ -1,5 +1,5 @@
; 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() {
; CHECK-LABEL: @foo(
; CHECK-NEXT: top:

View File

@ -1,5 +1,5 @@
; 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 }
@b = external global %struct.anon

View File

@ -1,5 +1,5 @@
; 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 triple = "x86_64-apple-macosx10.12.0"
;; Ensure we don't infinite loop when all phi arguments are really unreachable or self-defined

View File

@ -1,5 +1,5 @@
; 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
@a = external global i32, align 4

View File

@ -1,6 +1,6 @@
; Make sure GVN doesn't incorrectly think the branch terminating
; 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
@patatino = private unnamed_addr constant [3 x i8] c"0\0A\00"

View File

@ -1,5 +1,5 @@
; 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) {
; CHECK-LABEL: @tinkywinky(

View File

@ -1,4 +1,4 @@
; RUN: opt -S -newgvn %s | FileCheck %s
; RUN: opt -S -passes=newgvn %s | FileCheck %s
; CHECK: define void @tinkywinky() {
; CHECK-NEXT: entry:

View File

@ -1,4 +1,4 @@
; RUN: opt -S -newgvn %s | FileCheck %s
; RUN: opt -S -passes=newgvn %s | FileCheck %s
; CHECK-NOT: call i32 @llvm.ssa.copy
@d = external global i32

View File

@ -1,6 +1,6 @@
; PR32952: Don't erroneously consider congruent two phi nodes which
; 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
@.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1

View File

@ -1,6 +1,5 @@
; Make sure we don't end up in an infinite recursion in singleReachablePHIPath().
; REQUIRES: asserts
; RUN: opt -newgvn -S %s | FileCheck %s
; RUN: opt < %s -passes=newgvn -S | FileCheck %s
@c = external global i64, align 8

View File

@ -1,4 +1,4 @@
; RUN: opt -newgvn -S %s | FileCheck %s
; RUN: opt -passes=newgvn -S %s | FileCheck %s
; REQUIRES: asserts
; CHECK-LABEL: define void @tinkywinky() {

View File

@ -1,5 +1,5 @@
; 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

View File

@ -1,5 +1,5 @@
; 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.

View File

@ -1,5 +1,5 @@
; 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
@.str4 = private unnamed_addr constant [6 x i8] c"D:%d\0A\00", align 1

View File

@ -1,6 +1,6 @@
; 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.
; RUN: opt -newgvn -S %s | FileCheck %s
; RUN: opt -passes=newgvn -S %s | FileCheck %s
define void @fn1() local_unnamed_addr #0 {
; CHECK-LABEL: @fn1(
; CHECK-NEXT: entry:

View File

@ -1,5 +1,5 @@
; 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
; MemoryDef. Otherwise this test will not pass memory verification because the value
; of the load will not be reprocessed until verification.

View File

@ -1,5 +1,5 @@
; 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
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"

View File

@ -1,5 +1,5 @@
; 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
@d = external local_unnamed_addr global i32, align 4

View File

@ -1,6 +1,6 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
;; 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
define void @patatino() {

View File

@ -1,5 +1,5 @@
; 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
@b = external local_unnamed_addr global i64

View File

@ -1,5 +1,5 @@
; 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
source_filename = "pr34135.ll"

View File

@ -1,6 +1,6 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; 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"
; Make sure we still properly resolve phi cycles when they involve predicateinfo copies of phis.

View File

@ -1,5 +1,5 @@
; 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
source_filename = "bugpoint-output-09f7a24.bc"

View File

@ -1,5 +1,5 @@
; 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) {
; CHECK-LABEL: @sort(

View File

@ -1,5 +1,5 @@
; 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
@.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1

View File

@ -1,4 +1,4 @@
; 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 triple = "x86_64-unknown-linux-gnu"

View File

@ -1,4 +1,4 @@
; RUN: opt -newgvn -S < %s | FileCheck %s
; RUN: opt -passes=newgvn -S < %s | FileCheck %s
; C source:
;

View File

@ -1,5 +1,5 @@
; 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)

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn -S | FileCheck %s
; RUN: opt < %s -passes=newgvn -S | FileCheck %s
; CHECK-LABEL: func_fast
; CHECK: fadd fast double

View File

@ -1,4 +1,4 @@
; 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 triple = "x86_64-unknown-linux-gnu"

View File

@ -1,4 +1,4 @@
; RUN: opt < %s -newgvn -S | FileCheck %s
; RUN: opt < %s -passes=newgvn -S | FileCheck %s
; XFAIL: *
; FIXME: This should be promotable, but memdep/gvn don't track values
; path/edge sensitively enough.

View File

@ -1,4 +1,4 @@
; RUN: opt -S < %s -newgvn | FileCheck %s
; RUN: opt -S < %s -passes=newgvn | FileCheck %s
; CHECK-LABEL: for.cond:
; CHECK-NEXT: %lv = load i32, i32* bitcast (i64* @a to i32*)

View File

@ -1,5 +1,5 @@
; 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
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"

View File

@ -1,6 +1,6 @@
; REQUIRES: asserts
; RUN: opt -newgvn -S %s | FileCheck %s
; RUN: opt -passes=newgvn -S %s | FileCheck %s
XFAIL: *

View File

@ -1,5 +1,5 @@
; 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.

View File

@ -1,6 +1,6 @@
; REQUIRES: asserts
; RUN: opt -newgvn -S %s | FileCheck %s
; RUN: opt -passes=newgvn -S %s | FileCheck %s
; XFAIL: *

View File

@ -1,6 +1,6 @@
; REQUIRES: asserts
; RUN: opt -newgvn -S %s | FileCheck %s
; RUN: opt -passes=newgvn -S %s | FileCheck %s
; XFAIL: *

View File

@ -1,6 +1,6 @@
; Skip dead MemoryPhis when performing memory congruency verification
; in NewGVN.
; RUN: opt -S -newgvn %s | FileCheck %s
; RUN: opt -S -passes=newgvn %s | FileCheck %s
; REQUIRES: asserts
; CHECK: define void @tinkywinky() {