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
|
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -S -passes=instcombine < %s | FileCheck %s
declare void @llvm.assume(i1 noundef)
; Just something to let us check that separate_storage bundles don't break
; anything when given an operand that's not an instruction to fold.
@some_global = global i32 777
define void @simple_folding(ptr %a, ptr %b) {
; CHECK-LABEL: @simple_folding(
; CHECK-NEXT: entry:
; CHECK-NEXT: call void @llvm.assume(i1 true) [ "separate_storage"(ptr [[A:%.*]], ptr [[B:%.*]]) ]
; CHECK-NEXT: ret void
;
entry:
%p1 = getelementptr i8, ptr %a, i64 123
%p2 = getelementptr i8, ptr %b, i64 777
call void @llvm.assume(i1 1) ["separate_storage"(ptr %p1, ptr %p2)]
ret void
}
define i64 @folds_removed_operands(ptr %a, ptr %b, i64 %n1, i64 %n2) {
; CHECK-LABEL: @folds_removed_operands(
; CHECK-NEXT: entry:
; CHECK-NEXT: [[REASS_ADD:%.*]] = shl i64 [[N2:%.*]], 1
; CHECK-NEXT: [[Y:%.*]] = add i64 [[REASS_ADD]], [[N1:%.*]]
; CHECK-NEXT: call void @llvm.assume(i1 true) [ "separate_storage"(ptr [[A:%.*]], ptr [[B:%.*]]) ]
; CHECK-NEXT: ret i64 [[Y]]
;
entry:
; Ordinarily, n1 + n2 + n2 would get canonicalized into n1 + (n2 << 1) unless
; there's another use of n1 + n2. Make sure that we remember to put removed
; arguments to separate_storage bundles back on the worklist.
%x = add i64 %n1, %n2
%y = add i64 %x, %n2
%p1 = getelementptr i8, ptr %a, i64 %x
call void @llvm.assume(i1 1) ["separate_storage"(ptr %p1, ptr %b)]
ret i64 %y
}
define void @handles_globals(ptr %a) {
; CHECK-LABEL: @handles_globals(
; CHECK-NEXT: call void @llvm.assume(i1 true) [ "separate_storage"(ptr [[A:%.*]], ptr @some_global) ]
; CHECK-NEXT: ret void
;
%derived = getelementptr i8, ptr @some_global, i65 3
call void @llvm.assume(i1 1) ["separate_storage"(ptr %a, ptr %derived)]
ret void
}
|
