projects
/
oota-llvm.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Instcombine was transforming:
[oota-llvm.git]
/
test
/
Transforms
/
InstCombine
/
2008-01-21-MismatchedCastAndCompare.ll
diff --git
a/test/Transforms/InstCombine/2008-01-21-MismatchedCastAndCompare.ll
b/test/Transforms/InstCombine/2008-01-21-MismatchedCastAndCompare.ll
index 39915cc3516ff055aa24f36605580cf4ce187693..5ff23a3881fa0f9603a1f7a5106d2db4b1cc0297 100644
(file)
--- a/
test/Transforms/InstCombine/2008-01-21-MismatchedCastAndCompare.ll
+++ b/
test/Transforms/InstCombine/2008-01-21-MismatchedCastAndCompare.ll
@@
-1,5
+1,4
@@
-; RUN: opt %s -instcombine | llvm-dis | notcast
-; RUN: opt %s -instcombine | llvm-dis | not grep {icmp s}
+; RUN: opt < %s -instcombine -S | FileCheck %s
; PR1940
define i1 @test1(i8 %A, i8 %B) {
; PR1940
define i1 @test1(i8 %A, i8 %B) {
@@
-7,6
+6,8
@@
define i1 @test1(i8 %A, i8 %B) {
%b = zext i8 %B to i32
%c = icmp sgt i32 %a, %b
ret i1 %c
%b = zext i8 %B to i32
%c = icmp sgt i32 %a, %b
ret i1 %c
+; CHECK: %c = icmp ugt i8 %A, %B
+; CHECK: ret i1 %c
}
define i1 @test2(i8 %A, i8 %B) {
}
define i1 @test2(i8 %A, i8 %B) {
@@
-14,4
+15,6
@@
define i1 @test2(i8 %A, i8 %B) {
%b = sext i8 %B to i32
%c = icmp ugt i32 %a, %b
ret i1 %c
%b = sext i8 %B to i32
%c = icmp ugt i32 %a, %b
ret i1 %c
+; CHECK: %c = icmp ugt i8 %A, %B
+; CHECK: ret i1 %c
}
}