; RUN: opt < %s -gvn -enable-pre -S | FileCheck %s | |
define i32 @main(i32 %p, i32 %q) { | |
block1: | |
%cmp = icmp eq i32 %p, %q | |
br i1 %cmp, label %block2, label %block3 | |
block2: | |
%a = add i32 %p, 1 | |
br label %block4 | |
block3: | |
br label %block4 | |
; CHECK: %.pre = add i32 %p, 1 | |
; CHECK-NEXT: br label %block4 | |
block4: | |
%b = add i32 %p, 1 | |
ret i32 %b | |
; CHECK: %b.pre-phi = phi i32 [ %.pre, %block3 ], [ %a, %block2 ] | |
; CHECK-NEXT: ret i32 %b.pre-phi | |
} |