llvm/test/Transforms/GVNHoist/hoist-pr22005.ll

   1 ; RUN: opt -passes=gvn-hoist -S < %s | FileCheck %s
   2 target datalayout = "e-i64:64-f80:128-n8:16:32:64-S128"
   3 target 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
  10 define i64 @fun(ptr %out, ptr %end) {
  11   %1 = icmp ult ptr %out, %end
  12   br i1 %1, label %2, label %6
  13
  14 ; <label>:2                                       ; preds = %0
  15   %3 = ptrtoint ptr %end to i64
  16   %4 = ptrtoint ptr %out to i64
  17   %5 = sub i64 %3, %4
  18   br label %10
  19
  20 ; <label>:6                                       ; preds = %0
  21   %7 = ptrtoint ptr %out to i64
  22   %8 = ptrtoint ptr %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 }