6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-03-21 03:32:29 +00:00
Code Issues Projects Releases Wiki Activity

convert a test to filecheck format. This fixes an endemic problem

Browse Source 
with negative tests: this test wasn't checking what it thought it was
because it was grepping .bc, not .ll.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@76861 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2009-07-23 05:27:48 +00:00
parent e6dab05b03
commit e5f6bfffe7
1 changed files with 12 additions and 5 deletions

17
test/Transforms/InstCombine/vector-casts.ll

@ -1,15 +1,22 @@
; RUN: llvm-as < %s | opt -instcombine > %t
; RUN: not grep trunc %t
; RUN: not grep ashr %t
; RUN: llvm-as < %s | opt -instcombine | llvm-dis | FileCheck %s
; This turns into a&1 != 0
define <2 x i1> @a(<2 x i64> %a) {
define <2 x i1> @test1(<2 x i64> %a) {
%t = trunc <2 x i64> %a to <2 x i1>
ret <2 x i1> %t
; CHECK: define <2 x i1> @test1
; CHECK: and <2 x i64> %a, <i64 1, i64 1>
; CHECK: icmp ne <2 x i64> %tmp, zeroinitializer
}
; The ashr turns into an lshr.
define <2 x i64> @b(<2 x i64> %a) {
define <2 x i64> @test2(<2 x i64> %a) {
%b = and <2 x i64> %a, <i64 65535, i64 65535>
%t = ashr <2 x i64> %b, <i64 1, i64 1>
ret <2 x i64> %t
; CHECK: define <2 x i64> @test2
; CHECK: and <2 x i64> %a, <i64 65535, i64 65535>
; CHECK: lshr <2 x i64> %b, <i64 1, i64 1>
}