51 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=instcombine < %s | FileCheck %s3 4declare void @llvm.assume(i1 noundef)5 6; Just something to let us check that separate_storage bundles don't break7; anything when given an operand that's not an instruction to fold.8@some_global = global i32 7779 10define void @simple_folding(ptr %a, ptr %b) {11; CHECK-LABEL: @simple_folding(12; CHECK-NEXT: entry:13; CHECK-NEXT: call void @llvm.assume(i1 true) [ "separate_storage"(ptr [[A:%.*]], ptr [[B:%.*]]) ]14; CHECK-NEXT: ret void15;16entry:17 %p1 = getelementptr i8, ptr %a, i64 12318 %p2 = getelementptr i8, ptr %b, i64 77719 call void @llvm.assume(i1 1) ["separate_storage"(ptr %p1, ptr %p2)]20 ret void21}22 23define i64 @folds_removed_operands(ptr %a, ptr %b, i64 %n1, i64 %n2) {24; CHECK-LABEL: @folds_removed_operands(25; CHECK-NEXT: entry:26; CHECK-NEXT: [[REASS_ADD:%.*]] = shl i64 [[N2:%.*]], 127; CHECK-NEXT: [[Y:%.*]] = add i64 [[N1:%.*]], [[REASS_ADD]]28; CHECK-NEXT: call void @llvm.assume(i1 true) [ "separate_storage"(ptr [[A:%.*]], ptr [[B:%.*]]) ]29; CHECK-NEXT: ret i64 [[Y]]30;31entry:32 ; Ordinarily, n1 + n2 + n2 would get canonicalized into n1 + (n2 << 1) unless33 ; there's another use of n1 + n2. Make sure that we remember to put removed34 ; arguments to separate_storage bundles back on the worklist.35 %x = add i64 %n1, %n236 %y = add i64 %x, %n237 %p1 = getelementptr i8, ptr %a, i64 %x38 call void @llvm.assume(i1 1) ["separate_storage"(ptr %p1, ptr %b)]39 ret i64 %y40}41 42define void @handles_globals(ptr %a) {43; CHECK-LABEL: @handles_globals(44; CHECK-NEXT: call void @llvm.assume(i1 true) [ "separate_storage"(ptr [[A:%.*]], ptr @some_global) ]45; CHECK-NEXT: ret void46;47 %derived = getelementptr i8, ptr @some_global, i65 348 call void @llvm.assume(i1 1) ["separate_storage"(ptr %a, ptr %derived)]49 ret void50}51