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

   1 ; RUN: opt -gvn-hoist -S < %s | FileCheck %s
   2 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
   3 target triple = "x86_64-unknown-linux-gnu"
   4
   5 @input = local_unnamed_addr global i32* null, align 8
   6
   7 ; Check that the load instruction is **not** hoisted
   8 ; CHECK-LABEL: @_Z3fooPii
   9 ; CHECK-LABEL: if.then:
  10 ; CHECK-NEXT: load
  11 ; CHECK-LABEL: if2:
  12 ; CHECK: load
  13 ; CHECK-LABEL: @main
  14
  15 define i32 @_Z3fooPii(i32* %p, i32 %x) local_unnamed_addr  {
  16 entry:
  17   %cmp.not = icmp eq i32* %p, null
  18   br i1 %cmp.not, label %if.end3, label %if.then
  19
  20 if.then:                                          ; preds = %entry
  21   %0 = load i32, i32* %p, align 4, !tbaa !3
  22   %add = add nsw i32 %0, %x
  23   %cmp1 = icmp eq i32 %add, 4
  24   br i1 %cmp1, label %if2, label %if.end3
  25
  26 if.end3:                                          ; preds = %entry, %if.then
  27   %x.addr.0 = phi i32 [ %add, %if.then ], [ %x, %entry ]
  28   %add4 = add nsw i32 %x.addr.0, 2
  29   br i1 %cmp.not, label %if.end11, label %if2
  30
  31 if2:                                              ; preds = %if.end3, %if.then
  32   %x.addr.1 = phi i32 [ 4, %if.then ], [ %x.addr.0, %if.end3 ]
  33   %y.0 = phi i32 [ 2, %if.then ], [ %add4, %if.end3 ]
  34   %1 = load i32, i32* %p, align 4, !tbaa !3
  35   %add7 = add nsw i32 %x.addr.1, %1
  36   %cmp8 = icmp eq i32 %add7, 5
  37   br i1 %cmp8, label %end, label %if.end11
  38
  39 if.end11:                                         ; preds = %if.end3, %if2
  40   %x.addr.2 = phi i32 [ %add7, %if2 ], [ %x.addr.0, %if.end3 ]
  41   %y.1 = phi i32 [ %y.0, %if2 ], [ %add4, %if.end3 ]
  42   %add12 = add nsw i32 %y.1, %x.addr.2
  43   br label %end
  44
  45 end:                                              ; preds = %if2, %if.end11
  46   %x.addr.3 = phi i32 [ 5, %if2 ], [ %x.addr.2, %if.end11 ]
  47   %y.2 = phi i32 [ %y.0, %if2 ], [ %add12, %if.end11 ]
  48   %add13 = add nsw i32 %x.addr.3, %y.2
  49   ret i32 %add13
  50 }
  51
  52 define i32 @main() local_unnamed_addr  {
  53 entry:
  54   %0 = load i32*, i32** @input, align 8, !tbaa !7
  55   %call = call i32 @_Z3fooPii(i32* %0, i32 0)
  56   ret i32 %call
  57 }
  58
  59
  60 !3 = !{!4, !4, i64 0}
  61 !4 = !{!"int", !5, i64 0}
  62 !5 = !{!"omnipotent char", !6, i64 0}
  63 !6 = !{!"Simple C++ TBAA"}
  64 !7 = !{!8, !8, i64 0}
  65 !8 = !{!"pointer@_ZTSPi", !5, i64 0}