llvm/test/Transforms/IROutliner/illegal-memcpy.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes=verify,iroutliner -ir-outlining-no-cost -no-ir-sim-intrinsics < %s | FileCheck %s
   3
   4 ; This test checks that we do not outline memcpy intrinsics since it may require
   5 ; extra address space checks.
   6
   7 declare void @llvm.memcpy.p0.p0.i64(ptr nocapture writeonly, ptr nocapture readonly, i64, i1)
   8
   9 define i8 @function1(ptr noalias %s, ptr noalias %d, i64 %len) {
  10 ; CHECK-LABEL: @function1(
  11 ; CHECK-NEXT:  entry:
  12 ; CHECK-NEXT:    [[B_LOC:%.*]] = alloca i8, align 1
  13 ; CHECK-NEXT:    [[A_LOC:%.*]] = alloca i8, align 1
  14 ; CHECK-NEXT:    [[RET_LOC:%.*]] = alloca i8, align 1
  15 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0(i64 -1, ptr [[A_LOC]])
  16 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0(i64 -1, ptr [[B_LOC]])
  17 ; CHECK-NEXT:    call void @outlined_ir_func_1(ptr [[S:%.*]], ptr [[D:%.*]], ptr [[A_LOC]], ptr [[B_LOC]])
  18 ; CHECK-NEXT:    [[A_RELOAD:%.*]] = load i8, ptr [[A_LOC]], align 1
  19 ; CHECK-NEXT:    [[B_RELOAD:%.*]] = load i8, ptr [[B_LOC]], align 1
  20 ; CHECK-NEXT:    call void @llvm.lifetime.end.p0(i64 -1, ptr [[A_LOC]])
  21 ; CHECK-NEXT:    call void @llvm.lifetime.end.p0(i64 -1, ptr [[B_LOC]])
  22 ; CHECK-NEXT:    call void @llvm.memcpy.p0.p0.i64(ptr [[D]], ptr [[S]], i64 [[LEN:%.*]], i1 false)
  23 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0(i64 -1, ptr [[RET_LOC]])
  24 ; CHECK-NEXT:    call void @outlined_ir_func_0(i8 [[A_RELOAD]], i8 [[B_RELOAD]], ptr [[S]], ptr [[RET_LOC]])
  25 ; CHECK-NEXT:    [[RET_RELOAD:%.*]] = load i8, ptr [[RET_LOC]], align 1
  26 ; CHECK-NEXT:    call void @llvm.lifetime.end.p0(i64 -1, ptr [[RET_LOC]])
  27 ; CHECK-NEXT:    ret i8 [[RET_RELOAD]]
  28 ;
  29 entry:
  30   %a = load i8, ptr %s
  31   %b = load i8, ptr %d
  32   call void @llvm.memcpy.p0.p0.i64(ptr %d, ptr %s, i64 %len, i1 false)
  33   %c = add i8 %a, %b
  34   %ret = load i8, ptr %s
  35   ret i8 %ret
  36 }
  37
  38 define i8 @function2(ptr noalias %s, ptr noalias %d, i64 %len) {
  39 ; CHECK-LABEL: @function2(
  40 ; CHECK-NEXT:  entry:
  41 ; CHECK-NEXT:    [[B_LOC:%.*]] = alloca i8, align 1
  42 ; CHECK-NEXT:    [[A_LOC:%.*]] = alloca i8, align 1
  43 ; CHECK-NEXT:    [[RET_LOC:%.*]] = alloca i8, align 1
  44 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0(i64 -1, ptr [[A_LOC]])
  45 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0(i64 -1, ptr [[B_LOC]])
  46 ; CHECK-NEXT:    call void @outlined_ir_func_1(ptr [[S:%.*]], ptr [[D:%.*]], ptr [[A_LOC]], ptr [[B_LOC]])
  47 ; CHECK-NEXT:    [[A_RELOAD:%.*]] = load i8, ptr [[A_LOC]], align 1
  48 ; CHECK-NEXT:    [[B_RELOAD:%.*]] = load i8, ptr [[B_LOC]], align 1
  49 ; CHECK-NEXT:    call void @llvm.lifetime.end.p0(i64 -1, ptr [[A_LOC]])
  50 ; CHECK-NEXT:    call void @llvm.lifetime.end.p0(i64 -1, ptr [[B_LOC]])
  51 ; CHECK-NEXT:    call void @llvm.memcpy.p0.p0.i64(ptr [[D]], ptr [[S]], i64 [[LEN:%.*]], i1 false)
  52 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0(i64 -1, ptr [[RET_LOC]])
  53 ; CHECK-NEXT:    call void @outlined_ir_func_0(i8 [[A_RELOAD]], i8 [[B_RELOAD]], ptr [[S]], ptr [[RET_LOC]])
  54 ; CHECK-NEXT:    [[RET_RELOAD:%.*]] = load i8, ptr [[RET_LOC]], align 1
  55 ; CHECK-NEXT:    call void @llvm.lifetime.end.p0(i64 -1, ptr [[RET_LOC]])
  56 ; CHECK-NEXT:    ret i8 [[RET_RELOAD]]
  57 ;
  58 entry:
  59   %a = load i8, ptr %s
  60   %b = load i8, ptr %d
  61   call void @llvm.memcpy.p0.p0.i64(ptr %d, ptr %s, i64 %len, i1 false)
  62   %c = add i8 %a, %b
  63   %ret = load i8, ptr %s
  64   ret i8 %ret
  65 }