1; RUN: opt -gvn-hoist -S < %s | FileCheck %s
2target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"
3target triple = "x86_64-unknown-linux-gnu"
4
5; Check that all "sub" expressions are hoisted.
6; CHECK-LABEL: @fun
7; CHECK: sub i64
8; CHECK-NOT: sub i64
9
10define i64 @fun(i8* %out, i8* %end) {
11  %1 = icmp ult i8* %out, %end
12  br i1 %1, label %2, label %6
13
14; <label>:2                                       ; preds = %0
15  %3 = ptrtoint i8* %end to i64
16  %4 = ptrtoint i8* %out to i64
17  %5 = sub i64 %3, %4
18  br label %10
19
20; <label>:6                                       ; preds = %0
21  %7 = ptrtoint i8* %out to i64
22  %8 = ptrtoint i8* %end to i64
23  %9 = sub i64 %8, %7
24  br label %10
25
26; <label>:10                                      ; preds = %6, %2
27  %.in = phi i64 [ %5, %2 ], [ %9, %6 ]
28  %11 = add i64 %.in, 257
29  ret i64 %11
30}
31