llvm-6502/test/Transforms/SimplifyCFG/EqualPHIEdgeBlockMerge.ll
2003-03-05 20:35:24 +00:00

22 lines
394 B
LLVM

; Test merging of blocks with phi nodes.
;
; RUN: if as < %s | opt -simplifycfg | dis | grep 'N:'
; RUN: then exit 1
; RUN: else exit 0
; RUN: fi
;
int %test(bool %a) {
Q:
br bool %a, label %N, label %M
N:
br label %M
M:
; It's ok to merge N and M because the incoming values for W are the
; same for both cases...
%W = phi int [2, %N], [2, %Q]
%R = add int %W, 1
ret int %R
}