forked from OSchip/llvm-project
[test] Use -passes syntax when specifying pipeline in some more tests
The legacy PM is deprecated, so update a bunch of lit tests running opt to use the new PM syntax when specifying the pipeline. In this patch focus has been put on test cases for ConstantMerge, ConstraintElimination, CorrelatedValuePropagation, GlobalDCE, GlobalOpt, SCCP, TailCallElim and PredicateInfo. Differential Revision: https://reviews.llvm.org/D114516
This commit is contained in:
parent
b0c7421524
commit
8ebb3eac02
|
@ -1,6 +1,6 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; REQUIRES: asserts
|
||||
; RUN: opt -debug-counter=predicateinfo-rename-skip=1,predicateinfo-rename-count=1 -print-predicateinfo < %s 2>&1 | FileCheck %s
|
||||
; RUN: opt -debug-counter=predicateinfo-rename-skip=1,predicateinfo-rename-count=1 -passes=print-predicateinfo < %s 2>&1 | FileCheck %s
|
||||
;; Test that, with debug counters on, we don't rename the first info, only the second
|
||||
define fastcc void @barney() {
|
||||
; CHECK-LABEL: @barney(
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -constmerge > /dev/null
|
||||
; RUN: opt < %s -passes=constmerge > /dev/null
|
||||
|
||||
@foo.upgrd.1 = internal constant { i32 } { i32 7 } ; <{ i32 }*> [#uses=1]
|
||||
@bar = internal constant { i32 } { i32 7 } ; <{ i32 }*> [#uses=1]
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -S -constmerge < %s | FileCheck %s
|
||||
; RUN: opt -S -passes=constmerge < %s | FileCheck %s
|
||||
|
||||
; CHECK: @foo = constant i32 6
|
||||
; CHECK: @bar = constant i32 6
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -constmerge -S < %s | FileCheck %s
|
||||
; RUN: opt -passes=constmerge -S < %s | FileCheck %s
|
||||
; PR8978
|
||||
|
||||
declare i32 @zed(%struct.foobar*, %struct.foobar*)
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -constmerge -S < %s | FileCheck %s
|
||||
; RUN: opt -passes=constmerge -S < %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"
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -constmerge -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=constmerge -S | FileCheck %s
|
||||
|
||||
; Don't merge constants with specified sections.
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -constmerge -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=constmerge -S | FileCheck %s
|
||||
|
||||
; CHECK: = constant i32 1, !dbg [[A:![0-9]+]], !dbg [[B:![0-9]+]]
|
||||
@a = internal constant i32 1, !dbg !0
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -constmerge -S < %s | FileCheck %s
|
||||
; RUN: opt -passes=constmerge -S < %s | FileCheck %s
|
||||
; Test which corresponding x and y are merged and that unnamed_addr
|
||||
; is correctly set.
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
define void @test.not.uge.ult(i8 %start, i8 %low, i8 %high) {
|
||||
; CHECK-LABEL: @test.not.uge.ult(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
define void @test.not.uge.ult(i8 %start, i8 %low, i8 %high) {
|
||||
; CHECK-LABEL: @test.not.uge.ult(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @llvm.assume(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,4 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
; Test cases where both the true and false successors reach the same block,
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
; Make sure constraints where all variable coefficients are 0 are handled
|
||||
; properly.
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
define i1 @test_eq_1(i8 %a, i8 %b) {
|
||||
; CHECK-LABEL: @test_eq_1(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @llvm.assume(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
; Tests for using inbounds information from GEPs.
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
define void @pointer.to.array.test.ult.true.due.to.first.dimension([10 x i8]* %start, i8* %high) {
|
||||
; CHECK-LABEL: @pointer.to.array.test.ult.true.due.to.first.dimension(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
%struct.1 = type { i32, i64, i8 }
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
; Tests for cases with explicit checks that %ptr + x >= %ptr. The information can
|
||||
; be used to determine that certain GEPs do not overflow.
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
define i32 @test.ult(i32* readonly %src, i32* readnone %min, i32* readnone %max) {
|
||||
; CHECK-LABEL: @test.ult(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
; The system for the function below grows quite large. Check to make sure
|
||||
; we can handle that scenario.
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
define void @checks_in_loops_removable(i8* %ptr, i8* %lower, i8* %upper, i8 %n) {
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
define i1 @test_add_nuw(i8 %start, i8 %low, i8 %high) {
|
||||
; CHECK-LABEL: @test_add_nuw(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
; Make sure we do not incorrectly add variables to the system.
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
define i1 @test_eq_ne_0(i8 %a, i8 %b) {
|
||||
; CHECK-LABEL: @test_eq_ne_0(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
define i1 @bitcast_and_cmp(i32* readonly %src, i32* readnone %min, i32* readnone %max) {
|
||||
; CHECK-LABEL: @bitcast_and_cmp(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
define void @test.not.uge.ult(i8 %start, i8 %low, i8 %high) {
|
||||
; CHECK-LABEL: @test.not.uge.ult(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
define void @test.not.uge.ult(i8 %start, i8 %low, i8 %high) {
|
||||
; CHECK-LABEL: @test.not.uge.ult(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
declare void @use(i1)
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
define i1 @wrapping_add_unknown_1(i8 %a) {
|
||||
; CHECK-LABEL: @wrapping_add_unknown_1(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -constraint-elimination -S %s | FileCheck %s
|
||||
; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
|
||||
|
||||
define i1 @uge_zext(i8 %x, i16 %y) {
|
||||
; CHECK-LABEL: @uge_zext(
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -S < %s -correlated-propagation | FileCheck %s
|
||||
; RUN: opt -S < %s -passes=correlated-propagation | FileCheck %s
|
||||
|
||||
; CHECK-LABEL: @test(
|
||||
define i16 @test(i32 %a, i1 %b) {
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
declare void @llvm.assume(i1)
|
||||
declare i8 @llvm.abs(i8, i1)
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
; CHECK-LABEL: @test0(
|
||||
define void @test0(i32 %a) {
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -S -correlated-propagation -debug-only=lazy-value-info <%s 2>&1 | FileCheck %s
|
||||
; RUN: opt -S -passes=correlated-propagation -debug-only=lazy-value-info <%s 2>&1 | FileCheck %s
|
||||
; REQUIRES: asserts
|
||||
;
|
||||
; Shortcut in Correlated Value Propagation ensures not to take Lazy Value Info
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
define i32 @test(i32 %a) {
|
||||
; CHECK-LABEL: @test(
|
||||
|
|
|
@ -1,8 +1,8 @@
|
|||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
; Check that debug locations are preserved. For more info see:
|
||||
; https://llvm.org/docs/SourceLevelDebugging.html#fixing-errors
|
||||
; RUN: opt < %s -enable-debugify -correlated-propagation -S 2>&1 | \
|
||||
; RUN: opt < %s -enable-debugify -passes=correlated-propagation -S 2>&1 | \
|
||||
; RUN: FileCheck %s -check-prefix=DEBUG
|
||||
; DEBUG: CheckModuleDebugify: PASS
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
; PR2581
|
||||
|
||||
define i32 @test1(i1 %C) {
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -correlated-propagation -S < %s | FileCheck %s
|
||||
; RUN: opt -passes=correlated-propagation -S < %s | FileCheck %s
|
||||
|
||||
; Checks that we don't crash on conflicting facts about a value
|
||||
; (i.e. unreachable code)
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -correlated-propagation
|
||||
; RUN: opt < %s -passes=correlated-propagation
|
||||
|
||||
; PR8161
|
||||
define void @test1() nounwind ssp {
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -correlated-propagation -S < %s | FileCheck %s
|
||||
; RUN: opt -passes=correlated-propagation -S < %s | FileCheck %s
|
||||
|
||||
declare void @use()
|
||||
declare void @use_ptr(i8*)
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -correlated-propagation -S < %s | FileCheck %s
|
||||
; RUN: opt -passes=correlated-propagation -S < %s | FileCheck %s
|
||||
|
||||
declare void @llvm.experimental.guard(i1,...)
|
||||
|
||||
|
|
|
@ -1,5 +1,4 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -correlated-propagation -S %s | FileCheck %s
|
||||
; RUN: opt -passes=correlated-propagation -S %s | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -S -correlated-propagation %s | FileCheck %s
|
||||
; RUN: opt -S -passes=correlated-propagation %s | FileCheck %s
|
||||
|
||||
; Test case for PR44949.
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
declare void @llvm.assume(i1)
|
||||
declare i8 @llvm.umin(i8, i8)
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -S -correlated-propagation < %s | FileCheck %s
|
||||
; RUN: opt -S -passes=correlated-propagation < %s | FileCheck %s
|
||||
|
||||
declare i32 @llvm.umin.i32(i32, i32)
|
||||
declare i32 @llvm.umax.i32(i32, i32)
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
define i8 @test0(i8 %a) {
|
||||
; CHECK-LABEL: @test0(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
define void @test1(i8* %ptr) {
|
||||
; CHECK-LABEL: @test1(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -S -correlated-propagation < %s | FileCheck %s
|
||||
; RUN: opt -S -passes=correlated-propagation < %s | FileCheck %s
|
||||
|
||||
declare void @llvm.trap()
|
||||
declare {i8, i1} @llvm.uadd.with.overflow(i8, i8)
|
||||
|
|
|
@ -1,9 +1,9 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -S -correlated-propagation < %s | FileCheck %s
|
||||
; RUN: opt -S -passes=correlated-propagation < %s | FileCheck %s
|
||||
|
||||
; Check that debug locations are preserved. For more info see:
|
||||
; https://llvm.org/docs/SourceLevelDebugging.html#fixing-errors
|
||||
; RUN: opt < %s -enable-debugify -correlated-propagation -S 2>&1 | \
|
||||
; RUN: opt < %s -enable-debugify -passes=correlated-propagation -S 2>&1 | \
|
||||
; RUN: FileCheck %s -check-prefix=DEBUG
|
||||
; DEBUG: CheckModuleDebugify: PASS
|
||||
|
||||
|
|
|
@ -1,6 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes="correlated-propagation" -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
define i8* @simplify_phi_common_value_op0(i8* %ptr, i32* %b) {
|
||||
; CHECK-LABEL: @simplify_phi_common_value_op0(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -correlated-propagation -S -o - %s | FileCheck %s
|
||||
; RUN: opt -passes=correlated-propagation -S -o - %s | FileCheck %s
|
||||
|
||||
; Testcase that checks that we don't end in a neverending recursion resulting in
|
||||
; a segmentation fault. The checks below verify that nothing is changed.
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -correlated-propagation -S %s | FileCheck %s
|
||||
; RUN: opt -passes=correlated-propagation -S %s | FileCheck %s
|
||||
|
||||
target triple = "x86_64-apple-darwin17.4.0"
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
; Removed several cases from switch.
|
||||
define i32 @switch1(i32 %s) {
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt -correlated-propagation -S < %s | FileCheck %s
|
||||
; RUN: opt -passes=correlated-propagation -S < %s | FileCheck %s
|
||||
|
||||
declare i32 @foo()
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -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"
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
define i8 @simple(i1) {
|
||||
; CHECK-LABEL: @simple(
|
||||
|
|
|
@ -1,9 +1,9 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
; Check that debug locations are preserved. For more info see:
|
||||
; https://llvm.org/docs/SourceLevelDebugging.html#fixing-errors
|
||||
; RUN: opt < %s -enable-debugify -correlated-propagation -S 2>&1 | \
|
||||
; RUN: opt < %s -enable-debugify -passes=correlated-propagation -S 2>&1 | \
|
||||
; RUN: FileCheck %s -check-prefix=DEBUG
|
||||
; DEBUG: CheckModuleDebugify: PASS
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
define i8 @test0(i8 %a, i8 %b) {
|
||||
; CHECK-LABEL: @test0(
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64"
|
||||
target triple = "thumbv7m-arm-none-eabi"
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
define void @test0(i32 %a) {
|
||||
; CHECK-LABEL: @test0(
|
||||
|
|
|
@ -1,8 +1,8 @@
|
|||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
; Check that debug locations are preserved. For more info see:
|
||||
; https://llvm.org/docs/SourceLevelDebugging.html#fixing-errors
|
||||
; RUN: opt < %s -enable-debugify -correlated-propagation -S 2>&1 | \
|
||||
; RUN: opt < %s -enable-debugify -passes=correlated-propagation -S 2>&1 | \
|
||||
; RUN: FileCheck %s -check-prefix=DEBUG
|
||||
; DEBUG: CheckModuleDebugify: PASS
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
||||
; RUN: opt < %s -correlated-propagation -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=correlated-propagation -S | FileCheck %s
|
||||
|
||||
define void @test_nop(i32 %n) {
|
||||
; CHECK-LABEL: @test_nop(
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce
|
||||
; RUN: opt < %s -passes=globaldce
|
||||
;
|
||||
define internal void @func() {
|
||||
ret void
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce
|
||||
; RUN: opt < %s -passes=globaldce
|
||||
;
|
||||
|
||||
@X = global void ()* @func ; <void ()**> [#uses=0]
|
||||
|
|
|
@ -1,7 +1,7 @@
|
|||
; Make sure that functions are removed successfully if they are referred to by
|
||||
; a global that is dead. Make sure any globals they refer to die as well.
|
||||
|
||||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
; CHECK-NOT: foo
|
||||
;; Unused, kills %foo
|
||||
|
|
|
@ -1,7 +1,7 @@
|
|||
; This testcase tests that a worklist is being used, and that globals can be
|
||||
; removed if they are the subject of a constexpr and ConstantPointerRef
|
||||
|
||||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
; CHECK-NOT: global
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce
|
||||
; RUN: opt < %s -passes=globaldce
|
||||
|
||||
;; Should die when function %foo is killed
|
||||
@foo.upgrd.1 = internal global i32 7 ; <i32*> [#uses=3]
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
; distilled from 255.vortex
|
||||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
; CHECK-NOT: testfunc
|
||||
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; Weak variables should be preserved by global DCE!
|
||||
|
||||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
; CHECK: @A
|
||||
@A = weak global i32 54
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce -S > %t
|
||||
; RUN: opt < %s -passes=globaldce -S > %t
|
||||
; RUN: FileCheck %s < %t
|
||||
; RUN: FileCheck --check-prefix=DEAD %s < %t
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce
|
||||
; RUN: opt < %s -passes=globaldce
|
||||
|
||||
@A = internal alias void (), void ()* @F
|
||||
define internal void @F() { ret void }
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce -S
|
||||
; RUN: opt < %s -passes=globaldce -S
|
||||
|
||||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; Test the behavior of GlobalDCE in conjunction with comdats.
|
||||
;
|
||||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
; First test checks that if one function in a comdat group is used, both other
|
||||
; functions and other globals even if unused will be preserved.
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
; test_global should not be emitted to the .s file.
|
||||
; CHECK-NOT: @test_global =
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -S -globaldce < %s | FileCheck %s
|
||||
; RUN: opt -S -passes=globaldce < %s | FileCheck %s
|
||||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||||
target triple = "x86_64-unknown-linux-gnu"
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -S -globaldce < %s | FileCheck %s
|
||||
; RUN: opt -S -passes=globaldce < %s | FileCheck %s
|
||||
|
||||
; Test that the presence of debug intrinsics isn't affecting GlobalDCE.
|
||||
; CHECK: @llvm.global_ctors = appending global [1 x { i32, void ()*, i8* }] [{ i32, void ()*, i8* } { i32 65535, void ()* @_notremovable, i8* null }]
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt -S -globaldce < %s | FileCheck %s
|
||||
; RUN: opt -S -passes=globaldce < %s | FileCheck %s
|
||||
|
||||
@L = internal unnamed_addr constant [3 x i8*] [i8* blockaddress(@test1, %L1), i8* blockaddress(@test1, %L2), i8* null], align 16
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
||||
|
|
|
@ -1,5 +1,5 @@
|
|||
|
||||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
||||
|
|
|
@ -1,6 +1,6 @@
|
|||
; Tests that VFE is not performed when the Virtual Function Elim metadata set
|
||||
; to 0. This is the same as virtual-functions.ll otherwise.
|
||||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
||||
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
; structs A, B and C have vcall_visibility of public, linkage-unit and
|
||||
; translation-unit respectively. This test is run after LTO linking (the
|
||||
|
|
|
@ -1,4 +1,4 @@
|
|||
; RUN: opt < %s -globaldce -S | FileCheck %s
|
||||
; RUN: opt < %s -passes=globaldce -S | FileCheck %s
|
||||
|
||||
; structs A, B and C have vcall_visibility of public, linkage-unit and
|
||||
; translation-unit respectively. This test is run before LTO linking occurs
|
||||
|
|
Some files were not shown because too many files have changed in this diff Show More
Loading…
Reference in New Issue