mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-11-25 20:23:11 +01:00
7ac0e198c3
here: 1) We need to avoid processing sigma nodes as phi nodes for constraint generation. 2) We need to generate constraints for comparisons against constants properly. This includes our first working ABCD test! llvm-svn: 86498
28 lines
412 B
LLVM
28 lines
412 B
LLVM
; RUN: opt < %s -abcd -S | FileCheck %s
|
|
|
|
define void @test() {
|
|
; CHECK: @test
|
|
; CHECK-NOT: br i1 %tmp95
|
|
; CHECK: ret void
|
|
entry:
|
|
br label %bb19
|
|
|
|
bb:
|
|
br label %bb1
|
|
|
|
bb1:
|
|
%tmp7 = icmp sgt i32 %tmp94, 1
|
|
br i1 %tmp7, label %bb.i.i, label %return
|
|
|
|
bb.i.i:
|
|
br label %return
|
|
|
|
bb19:
|
|
%tmp94 = ashr i32 undef, 3
|
|
%tmp95 = icmp sgt i32 %tmp94, 16
|
|
br i1 %tmp95, label %bb, label %return
|
|
|
|
return:
|
|
ret void
|
|
}
|