File: 2011-06-13-nsw-alloca.ll

package info (click to toggle)
llvm-toolchain-17 1%3A17.0.6-22
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,799,624 kB
  • sloc: cpp: 6,428,607; ansic: 1,383,196; asm: 793,408; python: 223,504; objc: 75,364; f90: 60,502; lisp: 33,869; pascal: 15,282; sh: 9,684; perl: 7,453; ml: 4,937; awk: 3,523; makefile: 2,889; javascript: 2,149; xml: 888; fortran: 619; cs: 573
file content (103 lines) | stat: -rw-r--r-- 3,716 bytes parent folder | download | duplicates (10)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
; RUN: opt -S -passes=instcombine < %s | FileCheck %s
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"
target triple = "i386-apple-darwin10.0.0"

define void @fu1(i32 %parm) #0 {
; CHECK-LABEL: define void @fu1
; CHECK-SAME: (i32 [[PARM:%.*]]) #[[ATTR0:[0-9]+]] {
; CHECK-NEXT:  bb:
; CHECK-NEXT:    [[I:%.*]] = alloca i32, align 4
; CHECK-NEXT:    [[PTR:%.*]] = alloca ptr, align 4
; CHECK-NEXT:    store i32 [[PARM]], ptr [[I]], align 4
; CHECK-NEXT:    store ptr null, ptr [[PTR]], align 4
; CHECK-NEXT:    [[I2_NOT:%.*]] = icmp eq i32 [[PARM]], 0
; CHECK-NEXT:    br i1 [[I2_NOT]], label [[BB9:%.*]], label [[BB3:%.*]]
; CHECK:       bb3:
; CHECK-NEXT:    [[I4:%.*]] = load i32, ptr [[I]], align 4
; CHECK-NEXT:    [[I5:%.*]] = shl nuw i32 [[I4]], 3
; CHECK-NEXT:    [[I6:%.*]] = add nuw i32 [[I5]], 2048
; CHECK-NEXT:    [[I7:%.*]] = alloca i8, i32 [[I6]], align 1
; CHECK-NEXT:    store ptr [[I7]], ptr [[PTR]], align 4
; CHECK-NEXT:    br label [[BB9]]
; CHECK:       bb9:
; CHECK-NEXT:    [[I10:%.*]] = load ptr, ptr [[PTR]], align 4
; CHECK-NEXT:    call void @bar(ptr [[I10]]) #[[ATTR1:[0-9]+]]
; CHECK-NEXT:    ret void
;
bb:
  %i = alloca i32, align 4

  %ptr = alloca ptr, align 4
  store i32 %parm, ptr %i, align 4
  store ptr null, ptr %ptr, align 4
  %i1 = load i32, ptr %i, align 4
  %i2 = icmp ne i32 %i1, 0
  br i1 %i2, label %bb3, label %bb9

bb3:                                              ; preds = %bb
  %i4 = load i32, ptr %i, align 4
  %i5 = shl nuw i32 %i4, 3
  ; With "nuw", the alloca and its bitcast can be fused:
  %i6 = add nuw i32 %i5, 2048

  %i7 = alloca i8, i32 %i6, align 1
  store ptr %i7, ptr %ptr, align 4
  br label %bb9

bb9:                                              ; preds = %bb3, %bb
  %i10 = load ptr, ptr %ptr, align 4
  call void @bar(ptr %i10)
  ret void
}

declare void @bar(ptr)

define void @fu2(i32 %parm) #0 {
; CHECK-LABEL: define void @fu2
; CHECK-SAME: (i32 [[PARM:%.*]]) #[[ATTR0]] {
; CHECK-NEXT:  bb:
; CHECK-NEXT:    [[I:%.*]] = alloca i32, align 4
; CHECK-NEXT:    [[PTR:%.*]] = alloca ptr, align 4
; CHECK-NEXT:    store i32 [[PARM]], ptr [[I]], align 4
; CHECK-NEXT:    store ptr null, ptr [[PTR]], align 4
; CHECK-NEXT:    [[I2_NOT:%.*]] = icmp eq i32 [[PARM]], 0
; CHECK-NEXT:    br i1 [[I2_NOT]], label [[BB9:%.*]], label [[BB3:%.*]]
; CHECK:       bb3:
; CHECK-NEXT:    [[I4:%.*]] = load i32, ptr [[I]], align 4
; CHECK-NEXT:    [[I5:%.*]] = shl nuw i32 [[I4]], 3
; CHECK-NEXT:    [[I6:%.*]] = add i32 [[I5]], 2048
; CHECK-NEXT:    [[I7:%.*]] = alloca i8, i32 [[I6]], align 1
; CHECK-NEXT:    store ptr [[I7]], ptr [[PTR]], align 4
; CHECK-NEXT:    br label [[BB9]]
; CHECK:       bb9:
; CHECK-NEXT:    [[I10:%.*]] = load ptr, ptr [[PTR]], align 4
; CHECK-NEXT:    call void @bar(ptr [[I10]]) #[[ATTR1]]
; CHECK-NEXT:    ret void
;
bb:
  %i = alloca i32, align 4
  %ptr = alloca ptr, align 4
  store i32 %parm, ptr %i, align 4
  store ptr null, ptr %ptr, align 4
  %i1 = load i32, ptr %i, align 4
  %i2 = icmp ne i32 %i1, 0
  br i1 %i2, label %bb3, label %bb9

bb3:                                              ; preds = %bb
  %i4 = load i32, ptr %i, align 4
  %i5 = mul nuw i32 %i4, 8
  ; Without "nuw", the alloca and its bitcast cannot be fused:
  %i6 = add i32 %i5, 2048
  %i7 = alloca i8, i32 %i6, align 1

  store ptr %i7, ptr %ptr, align 4
  br label %bb9

bb9:                                              ; preds = %bb3, %bb
  %i10 = load ptr, ptr %ptr, align 4
  call void @bar(ptr %i10)
  ret void
}

attributes #0 = { nounwind ssp }