test/Transforms/LICM/hoist-bitcast-load.ll

   1 ; RUN: opt -S -basicaa -licm < %s | FileCheck %s
   2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   3 target triple = "x86_64-unknown-linux-gnu"
   4
   5 ; Make sure the basic alloca pointer hoisting works:
   6 ; CHECK-LABEL: @test1
   7 ; CHECK: load i32* %c, align 4
   8 ; CHECK: for.body:
   9
  10 ; Function Attrs: nounwind uwtable
  11 define void @test1(i32* nocapture %a, i32* nocapture readonly %b, i32 %n) #0 {
  12 entry:
  13   %cmp6 = icmp sgt i32 %n, 0
  14   %c = alloca i32
  15   br i1 %cmp6, label %for.body, label %for.end
  16
  17 for.body:                                         ; preds = %entry, %for.inc
  18   %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]
  19   %arrayidx = getelementptr inbounds i32* %a, i64 %indvars.iv
  20   %0 = load i32* %arrayidx, align 4
  21   %cmp1 = icmp sgt i32 %0, 0
  22   br i1 %cmp1, label %if.then, label %for.inc
  23
  24 if.then:                                          ; preds = %for.body
  25   %1 = load i32* %c, align 4
  26   %arrayidx3 = getelementptr inbounds i32* %b, i64 %indvars.iv
  27   %2 = load i32* %arrayidx3, align 4
  28   %mul = mul nsw i32 %2, %1
  29   store i32 %mul, i32* %arrayidx, align 4
  30   br label %for.inc
  31
  32 for.inc:                                          ; preds = %for.body, %if.then
  33   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  34   %lftr.wideiv = trunc i64 %indvars.iv.next to i32
  35   %exitcond = icmp eq i32 %lftr.wideiv, %n
  36   br i1 %exitcond, label %for.end, label %for.body
  37
  38 for.end:                                          ; preds = %for.inc, %entry
  39   ret void
  40 }
  41
  42 ; Make sure the basic alloca pointer hoisting works through a bitcast to a
  43 ; pointer to a smaller type:
  44 ; CHECK-LABEL: @test2
  45 ; CHECK: load i32* %c, align 4
  46 ; CHECK: for.body:
  47
  48 ; Function Attrs: nounwind uwtable
  49 define void @test2(i32* nocapture %a, i32* nocapture readonly %b, i32 %n) #0 {
  50 entry:
  51   %cmp6 = icmp sgt i32 %n, 0
  52   %ca = alloca i64
  53   %c = bitcast i64* %ca to i32*
  54   br i1 %cmp6, label %for.body, label %for.end
  55
  56 for.body:                                         ; preds = %entry, %for.inc
  57   %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]
  58   %arrayidx = getelementptr inbounds i32* %a, i64 %indvars.iv
  59   %0 = load i32* %arrayidx, align 4
  60   %cmp1 = icmp sgt i32 %0, 0
  61   br i1 %cmp1, label %if.then, label %for.inc
  62
  63 if.then:                                          ; preds = %for.body
  64   %1 = load i32* %c, align 4
  65   %arrayidx3 = getelementptr inbounds i32* %b, i64 %indvars.iv
  66   %2 = load i32* %arrayidx3, align 4
  67   %mul = mul nsw i32 %2, %1
  68   store i32 %mul, i32* %arrayidx, align 4
  69   br label %for.inc
  70
  71 for.inc:                                          ; preds = %for.body, %if.then
  72   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
  73   %lftr.wideiv = trunc i64 %indvars.iv.next to i32
  74   %exitcond = icmp eq i32 %lftr.wideiv, %n
  75   br i1 %exitcond, label %for.end, label %for.body
  76
  77 for.end:                                          ; preds = %for.inc, %entry
  78   ret void
  79 }
  80
  81 ; Make sure the basic alloca pointer hoisting works through a bitcast to a
  82 ; pointer to a smaller type (where the bitcast also needs to be hoisted):
  83 ; CHECK-LABEL: @test3
  84 ; CHECK: load i32* %c, align 4
  85 ; CHECK: for.body:
  86
  87 ; Function Attrs: nounwind uwtable
  88 define void @test3(i32* nocapture %a, i32* nocapture readonly %b, i32 %n) #0 {
  89 entry:
  90   %cmp6 = icmp sgt i32 %n, 0
  91   %ca = alloca i64
  92   br i1 %cmp6, label %for.body, label %for.end
  93
  94 for.body:                                         ; preds = %entry, %for.inc
  95   %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]
  96   %arrayidx = getelementptr inbounds i32* %a, i64 %indvars.iv
  97   %0 = load i32* %arrayidx, align 4
  98   %cmp1 = icmp sgt i32 %0, 0
  99   br i1 %cmp1, label %if.then, label %for.inc
 100
 101 if.then:                                          ; preds = %for.body
 102   %c = bitcast i64* %ca to i32*
 103   %1 = load i32* %c, align 4
 104   %arrayidx3 = getelementptr inbounds i32* %b, i64 %indvars.iv
 105   %2 = load i32* %arrayidx3, align 4
 106   %mul = mul nsw i32 %2, %1
 107   store i32 %mul, i32* %arrayidx, align 4
 108   br label %for.inc
 109
 110 for.inc:                                          ; preds = %for.body, %if.then
 111   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
 112   %lftr.wideiv = trunc i64 %indvars.iv.next to i32
 113   %exitcond = icmp eq i32 %lftr.wideiv, %n
 114   br i1 %exitcond, label %for.end, label %for.body
 115
 116 for.end:                                          ; preds = %for.inc, %entry
 117   ret void
 118 }
 119
 120 ; Make sure the basic alloca pointer hoisting does not happen through a bitcast
 121 ; to a pointer to a larger type:
 122 ; CHECK-LABEL: @test4
 123 ; CHECK: for.body:
 124 ; CHECK: load i32* %c, align 4
 125
 126 ; Function Attrs: nounwind uwtable
 127 define void @test4(i32* nocapture %a, i32* nocapture readonly %b, i32 %n) #0 {
 128 entry:
 129   %cmp6 = icmp sgt i32 %n, 0
 130   %ca = alloca i16
 131   %c = bitcast i16* %ca to i32*
 132   br i1 %cmp6, label %for.body, label %for.end
 133
 134 for.body:                                         ; preds = %entry, %for.inc
 135   %indvars.iv = phi i64 [ %indvars.iv.next, %for.inc ], [ 0, %entry ]
 136   %arrayidx = getelementptr inbounds i32* %a, i64 %indvars.iv
 137   %0 = load i32* %arrayidx, align 4
 138   %cmp1 = icmp sgt i32 %0, 0
 139   br i1 %cmp1, label %if.then, label %for.inc
 140
 141 if.then:                                          ; preds = %for.body
 142   %1 = load i32* %c, align 4
 143   %arrayidx3 = getelementptr inbounds i32* %b, i64 %indvars.iv
 144   %2 = load i32* %arrayidx3, align 4
 145   %mul = mul nsw i32 %2, %1
 146   store i32 %mul, i32* %arrayidx, align 4
 147   br label %for.inc
 148
 149 for.inc:                                          ; preds = %for.body, %if.then
 150   %indvars.iv.next = add nuw nsw i64 %indvars.iv, 1
 151   %lftr.wideiv = trunc i64 %indvars.iv.next to i32
 152   %exitcond = icmp eq i32 %lftr.wideiv, %n
 153   br i1 %exitcond, label %for.end, label %for.body
 154
 155 for.end:                                          ; preds = %for.inc, %entry
 156   ret void
 157 }
 158
 159 attributes #0 = { nounwind uwtable }
 160