llvm/test/Transforms/InstCombine/2011-06-13-nsw-alloca.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: opt -S -passes=instcombine < %s | FileCheck %s
   3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128-n8:16:32"
   4 target triple = "i386-apple-darwin10.0.0"
   5
   6 define void @fu1(i32 %parm) #0 {
   7 ; CHECK-LABEL: define void @fu1
   8 ; CHECK-SAME: (i32 [[PARM:%.*]]) #[[ATTR0:[0-9]+]] {
   9 ; CHECK-NEXT:  bb:
  10 ; CHECK-NEXT:    [[I:%.*]] = alloca i32, align 4
  11 ; CHECK-NEXT:    [[PTR:%.*]] = alloca ptr, align 4
  12 ; CHECK-NEXT:    store i32 [[PARM]], ptr [[I]], align 4
  13 ; CHECK-NEXT:    store ptr null, ptr [[PTR]], align 4
  14 ; CHECK-NEXT:    [[I2_NOT:%.*]] = icmp eq i32 [[PARM]], 0
  15 ; CHECK-NEXT:    br i1 [[I2_NOT]], label [[BB9:%.*]], label [[BB3:%.*]]
  16 ; CHECK:       bb3:
  17 ; CHECK-NEXT:    [[I4:%.*]] = load i32, ptr [[I]], align 4
  18 ; CHECK-NEXT:    [[I5:%.*]] = shl nuw i32 [[I4]], 3
  19 ; CHECK-NEXT:    [[I6:%.*]] = add nuw i32 [[I5]], 2048
  20 ; CHECK-NEXT:    [[I7:%.*]] = alloca i8, i32 [[I6]], align 1
  21 ; CHECK-NEXT:    store ptr [[I7]], ptr [[PTR]], align 4
  22 ; CHECK-NEXT:    br label [[BB9]]
  23 ; CHECK:       bb9:
  24 ; CHECK-NEXT:    [[I10:%.*]] = load ptr, ptr [[PTR]], align 4
  25 ; CHECK-NEXT:    call void @bar(ptr [[I10]]) #[[ATTR1:[0-9]+]]
  26 ; CHECK-NEXT:    ret void
  27 ;
  28 bb:
  29   %i = alloca i32, align 4
  30
  31   %ptr = alloca ptr, align 4
  32   store i32 %parm, ptr %i, align 4
  33   store ptr null, ptr %ptr, align 4
  34   %i1 = load i32, ptr %i, align 4
  35   %i2 = icmp ne i32 %i1, 0
  36   br i1 %i2, label %bb3, label %bb9
  37
  38 bb3:                                              ; preds = %bb
  39   %i4 = load i32, ptr %i, align 4
  40   %i5 = shl nuw i32 %i4, 3
  41   ; With "nuw", the alloca and its bitcast can be fused:
  42   %i6 = add nuw i32 %i5, 2048
  43
  44   %i7 = alloca i8, i32 %i6, align 1
  45   store ptr %i7, ptr %ptr, align 4
  46   br label %bb9
  47
  48 bb9:                                              ; preds = %bb3, %bb
  49   %i10 = load ptr, ptr %ptr, align 4
  50   call void @bar(ptr %i10)
  51   ret void
  52 }
  53
  54 declare void @bar(ptr)
  55
  56 define void @fu2(i32 %parm) #0 {
  57 ; CHECK-LABEL: define void @fu2
  58 ; CHECK-SAME: (i32 [[PARM:%.*]]) #[[ATTR0]] {
  59 ; CHECK-NEXT:  bb:
  60 ; CHECK-NEXT:    [[I:%.*]] = alloca i32, align 4
  61 ; CHECK-NEXT:    [[PTR:%.*]] = alloca ptr, align 4
  62 ; CHECK-NEXT:    store i32 [[PARM]], ptr [[I]], align 4
  63 ; CHECK-NEXT:    store ptr null, ptr [[PTR]], align 4
  64 ; CHECK-NEXT:    [[I2_NOT:%.*]] = icmp eq i32 [[PARM]], 0
  65 ; CHECK-NEXT:    br i1 [[I2_NOT]], label [[BB9:%.*]], label [[BB3:%.*]]
  66 ; CHECK:       bb3:
  67 ; CHECK-NEXT:    [[I4:%.*]] = load i32, ptr [[I]], align 4
  68 ; CHECK-NEXT:    [[I5:%.*]] = shl nuw i32 [[I4]], 3
  69 ; CHECK-NEXT:    [[I6:%.*]] = add i32 [[I5]], 2048
  70 ; CHECK-NEXT:    [[I7:%.*]] = alloca i8, i32 [[I6]], align 1
  71 ; CHECK-NEXT:    store ptr [[I7]], ptr [[PTR]], align 4
  72 ; CHECK-NEXT:    br label [[BB9]]
  73 ; CHECK:       bb9:
  74 ; CHECK-NEXT:    [[I10:%.*]] = load ptr, ptr [[PTR]], align 4
  75 ; CHECK-NEXT:    call void @bar(ptr [[I10]]) #[[ATTR1]]
  76 ; CHECK-NEXT:    ret void
  77 ;
  78 bb:
  79   %i = alloca i32, align 4
  80   %ptr = alloca ptr, align 4
  81   store i32 %parm, ptr %i, align 4
  82   store ptr null, ptr %ptr, align 4
  83   %i1 = load i32, ptr %i, align 4
  84   %i2 = icmp ne i32 %i1, 0
  85   br i1 %i2, label %bb3, label %bb9
  86
  87 bb3:                                              ; preds = %bb
  88   %i4 = load i32, ptr %i, align 4
  89   %i5 = mul nuw i32 %i4, 8
  90   ; Without "nuw", the alloca and its bitcast cannot be fused:
  91   %i6 = add i32 %i5, 2048
  92   %i7 = alloca i8, i32 %i6, align 1
  93
  94   store ptr %i7, ptr %ptr, align 4
  95   br label %bb9
  96
  97 bb9:                                              ; preds = %bb3, %bb
  98   %i10 = load ptr, ptr %ptr, align 4
  99   call void @bar(ptr %i10)
 100   ret void
 101 }
 102
 103 attributes #0 = { nounwind ssp }