; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -instcombine
+; RUN: opt < %s -passes=instcombine
@_ZN11xercesc_2_5L11gDigitCharsE = external constant [32 x i16], align 2
@_ZN11xercesc_2_5L10gBaseCharsE = external constant [354 x i16], align 2
; SetCC on boolean values was not implemented!
-; RUN: opt < %s -instsimplify -dce -S | \
+; RUN: opt < %s -passes=instsimplify,dce -S | \
; RUN: not grep set
define i1 @test1() {
-; RUN: opt < %s -instcombine -S | \
+; RUN: opt < %s -passes=instcombine -S | \
; RUN: grep "ret i1 false"
define i1 @test() {
%X = trunc i32 320 to i1 ; <i1> [#uses=1]
-; RUN: opt < %s -instsimplify -dce -S | FileCheck %s
+; RUN: opt < %s -passes=instsimplify,dce -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-apple-macosx10.7.2"
define i32 @test1(i1 %B) {
br i1 %B, label %BB1, label %BB2
-BB1:
+BB1:
%Val = add i32 0, 0
br label %BB3
-BB2:
+BB2:
br label %BB3
-BB3:
+BB3:
; CHECK-LABEL: @test1(
; CHECK: %Ret = phi i32 [ 0, %BB1 ], [ 1, %BB2 ]
- %Ret = phi i32 [ %Val, %BB1 ], [ 1, %BB2 ]
+ %Ret = phi i32 [ %Val, %BB1 ], [ 1, %BB2 ]
ret i32 %Ret
}
br label %bb
bb:
ret i1 %V
-
+
; CHECK-LABEL: @test2(
; CHECK: ret i1 true
}
; CHECK-LABEL: @vector_to_int_cast(
; CHECK: ret i128 85070591750041656499021422275829170176
}
-
+
-; RUN: opt < %s -instcombine -S | grep "ret i32 0"
+; RUN: opt < %s -passes=instcombine -S | grep "ret i32 0"
; PR4424
declare void @ext()
-; RUN: opt -instcombine -S -o - %s | FileCheck %s\r
+; RUN: opt -passes=instcombine -S -o - %s | FileCheck %s\r
; Test that we don't replace an alias with its aliasee when simplifying GEPs.\r
; In this test case the transformation is invalid because it replaces the\r
; reference to the symbol "b" (which refers to whichever instance of "b"\r
-; RUN: opt -gvn -S -o - %s | FileCheck %s\r
+; RUN: opt -passes=gvn -S -o - %s | FileCheck %s\r
; RUN: opt -passes=newgvn -S -o - %s | FileCheck %s\r
; Test that the constantfolding getelementptr computation results in\r
; j[5][4][1] (j+239)\r
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt -instcombine -S -o - %s | FileCheck %s
+; RUN: opt -passes=instcombine -S -o - %s | FileCheck %s
; Tests that we preserve the inrange attribute on indices where possible.
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -instsimplify -S -verify | FileCheck %s
+; RUN: opt < %s -passes=instsimplify,verify -S | FileCheck %s
define i1 @ule_null_constexpr(ptr %x) {
; CHECK-LABEL: @ule_null_constexpr(
; Ensure constant propagation of logical instructions is working correctly.
-; RUN: opt < %s -instsimplify -dce -S | FileCheck %s
+; RUN: opt < %s -passes=instsimplify,dce -S | FileCheck %s
; CHECK-NOT: {{and|or|xor}}
define i32 @test1() {
; This is a basic correctness check for constant propagation. The add
; instruction should be eliminated.
-; RUN: opt < %s -instsimplify -dce -S | not grep phi
+; RUN: opt < %s -passes=instsimplify,dce -S | not grep phi
define i32 @test(i1 %B) {
BB0:
; Ensure constant propagation of remainder instructions is working correctly.
-; RUN: opt < %s -instsimplify -dce -S | not grep rem
+; RUN: opt < %s -passes=instsimplify,dce -S | not grep rem
define i32 @test1() {
%R = srem i32 4, 3 ; <i32> [#uses=1]
-; RUN: opt -instcombine -S -o - %s | FileCheck %s
+; RUN: opt -passes=instcombine -S -o - %s | FileCheck %s
; Tests that we don't crash upon encountering a vector GEP
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
}
; CHECK-LABEL: @test2
-; CHECK: ret <16 x ptr> getelementptr ([65 x %struct.A], ptr @G, <16 x i64> zeroinitializer, <16 x i64> <i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7, i64 8, i64 9,
+; CHECK: ret <16 x ptr> getelementptr ([65 x %struct.A], ptr @G, <16 x i64> zeroinitializer, <16 x i64> <i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7, i64 8, i64 9,
define <16 x ptr> @test2() {
vector.body:
%VectorGep = getelementptr [65 x %struct.A], ptr @G, <16 x i32> zeroinitializer, <16 x i64> <i64 1, i64 2, i64 3, i64 4, i64 5, i64 6, i64 7, i64 8, i64 9, i64 10, i64 11, i64 12, i64 13, i64 14, i64 15, i64 16>, <16 x i32> zeroinitializer
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -instsimplify -S -verify | FileCheck %s
+; RUN: opt < %s -passes=instsimplify,verify -S | FileCheck %s
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Unary Operations
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -instsimplify -S -verify | FileCheck %s
+; RUN: opt < %s -passes=instsimplify,verify -S | FileCheck %s
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Unary Operations
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -instsimplify -S | FileCheck %s
+; RUN: opt < %s -passes=instsimplify -S | FileCheck %s
declare <2 x i32> @llvm.vp.add.v2i32(<2 x i32>, <2 x i32>, <2 x i1>, i32)
declare <2 x i32> @llvm.vp.sub.v2i32(<2 x i32>, <2 x i32>, <2 x i1>, i32)
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt -S -instsimplify < %s | FileCheck %s
+; RUN: opt -S -passes=instsimplify < %s | FileCheck %s
define i1 @or_implied(i8 %x, i1 %c) {
; CHECK-LABEL: @or_implied(
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt -S -instsimplify < %s | FileCheck %s
+; RUN: opt -S -passes=instsimplify < %s | FileCheck %s
; Test cases for denormal handling mode when constant folding floating point
; operations. Input and output modes are checked seperately.
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt -passes=instsimplify -S < %s | FileCheck %s
+; RUN: opt -passes=instsimplify -S < %s | FileCheck %s
; Test back to back reverse shuffles are eliminated.
define <vscale x 4 x i32> @shuffle_b2b_reverse(<vscale x 4 x i32> %a) {
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt -S -instsimplify -opaque-pointers < %s | FileCheck %s
+; RUN: opt -S -passes=instsimplify -opaque-pointers < %s | FileCheck %s
define ptr @gep_zero_indices(ptr %p) {
; CHECK-LABEL: @gep_zero_indices(
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt -loop-unroll -S %s | FileCheck %s
+; RUN: opt -passes=loop-unroll -S %s | FileCheck %s
%struct.bar = type { i32 }
-; RUN: opt -always-inline -S %s | FileCheck %s
+; RUN: opt -passes=always-inline -S %s | FileCheck %s
%0 = type { i64, i64, ptr addrspace(1), ptr addrspace(1) }
%__aaa_struct = type { { ptr, i32, i32, ptr, ptr addrspace(1) }, %0, [17 x i8], { ptr, i32, i32, ptr, ptr addrspace(1) }, %0, [18 x i8] }
%struct.__block_descriptor = type { i64, i64 }
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -instsimplify -S -verify | FileCheck %s
+; RUN: opt < %s -passes=instsimplify,verify -S | FileCheck %s
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Vector Operations
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
-; RUN: opt < %s -instsimplify -S -verify | FileCheck %s
+; RUN: opt < %s -passes=instsimplify,verify -S | FileCheck %s
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; Vector Operations