llvm/test/Transforms/LowerConstantIntrinsics/objectsize_basic.ll

   1 ; RUN: opt -lower-constant-intrinsics -S < %s | FileCheck %s
   2
   3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   4 target triple = "x86_64-apple-darwin10.0.0"
   5
   6 declare i64 @llvm.objectsize.i64(i8*, i1, i1, i1) nounwind readonly
   7 declare i64 @llvm.objectsize.i64.p1i8(i8 addrspace(1)*, i1, i1, i1) nounwind readonly
   8 declare void @llvm.trap() nounwind
   9
  10 ; CHECK-LABEL: @test1(
  11 ; objectsize should fold to a constant, which causes the branch to fold to an
  12 ; uncond branch.
  13 define i32 @test1(i8* %ptr) nounwind ssp noredzone align 2 {
  14 entry:
  15   %0 = tail call i64 @llvm.objectsize.i64(i8* %ptr, i1 false, i1 false, i1 false)
  16   %1 = icmp ugt i64 %0, 3
  17   br i1 %1, label %T, label %trap
  18
  19 ; CHECK: entry:
  20 ; CHECK-NOT: label %trap
  21
  22 trap:                                             ; preds = %0, %entry
  23   tail call void @llvm.trap() noreturn nounwind
  24   unreachable
  25
  26 T:
  27 ; CHECK: ret i32 4
  28   ret i32 4
  29 }
  30
  31 ; CHECK-LABEL: @test_objectsize_null_flag(
  32 define i64 @test_objectsize_null_flag(i8* %ptr) {
  33 entry:
  34   ; CHECK: ret i64 -1
  35   %0 = tail call i64 @llvm.objectsize.i64(i8* null, i1 false, i1 true, i1 false)
  36   ret i64 %0
  37 }
  38
  39 ; CHECK-LABEL: @test_objectsize_null_flag_min(
  40 define i64 @test_objectsize_null_flag_min(i8* %ptr) {
  41 entry:
  42   ; CHECK: ret i64 0
  43   %0 = tail call i64 @llvm.objectsize.i64(i8* null, i1 true, i1 true, i1 false)
  44   ret i64 %0
  45 }
  46
  47 ; Test foldable null pointers because we evaluate them with non-exact modes in
  48 ; CodeGenPrepare.
  49 ; CHECK-LABEL: @test_objectsize_null_flag_noas0(
  50 define i64 @test_objectsize_null_flag_noas0() {
  51 entry:
  52   ; CHECK: ret i64 -1
  53   %0 = tail call i64 @llvm.objectsize.i64.p1i8(i8 addrspace(1)* null, i1 false,
  54                                                i1 true, i1 false)
  55   ret i64 %0
  56 }
  57
  58 ; CHECK-LABEL: @test_objectsize_null_flag_min_noas0(
  59 define i64 @test_objectsize_null_flag_min_noas0() {
  60 entry:
  61   ; CHECK: ret i64 0
  62   %0 = tail call i64 @llvm.objectsize.i64.p1i8(i8 addrspace(1)* null, i1 true,
  63                                                i1 true, i1 false)
  64   ret i64 %0
  65 }
  66
  67 ; CHECK-LABEL: @test_objectsize_null_known_flag_noas0
  68 define i64 @test_objectsize_null_known_flag_noas0() {
  69 entry:
  70   ; CHECK: ret i64 -1
  71   %0 = tail call i64 @llvm.objectsize.i64.p1i8(i8 addrspace(1)* null, i1 false,
  72                                                i1 false, i1 false)
  73   ret i64 %0
  74 }
  75
  76 ; CHECK-LABEL: @test_objectsize_null_known_flag_min_noas0
  77 define i64 @test_objectsize_null_known_flag_min_noas0() {
  78 entry:
  79   ; CHECK: ret i64 0
  80   %0 = tail call i64 @llvm.objectsize.i64.p1i8(i8 addrspace(1)* null, i1 true,
  81                                                i1 false, i1 false)
  82   ret i64 %0
  83 }
  84
  85 ; CHECK-LABEL: @test_objectsize_byval_arg(
  86 ; CHECK: ret i64 42
  87 define i64 @test_objectsize_byval_arg([42 x i8]* byval([42 x i8]) %ptr) {
  88   %cast = bitcast [42 x i8]* %ptr to i8*
  89   %size = tail call i64 @llvm.objectsize.i64(i8* %cast, i1 true, i1 false, i1 false)
  90   ret i64 %size
  91 }
  92
  93 ; CHECK-LABEL: @test_objectsize_byref_arg(
  94 ; CHECK: ret i64 42
  95 define i64 @test_objectsize_byref_arg([42 x i8]* byref([42 x i8]) %ptr) {
  96   %cast = bitcast [42 x i8]* %ptr to i8*
  97   %size = tail call i64 @llvm.objectsize.i64(i8* %cast, i1 true, i1 false, i1 false)
  98   ret i64 %size
  99 }
 100
 101 ; https://llvm.org/PR50023
 102 ; The alloca operand type may not match pointer type size.
 103
 104 define i64 @vla_pointer_size_mismatch(i42 %x) {
 105 ; CHECK-LABEL: @vla_pointer_size_mismatch(
 106 ; CHECK-NEXT:    [[TMP1:%.*]] = zext i42 [[X:%.*]] to i64
 107 ; CHECK-NEXT:    [[TMP2:%.*]] = mul i64 1, [[TMP1]]
 108 ; CHECK-NEXT:    [[A:%.*]] = alloca i8, i42 [[X]], align 1
 109 ; CHECK-NEXT:    [[G1:%.*]] = getelementptr i8, i8* [[A]], i8 17
 110 ; CHECK-NEXT:    [[TMP3:%.*]] = sub i64 [[TMP2]], 17
 111 ; CHECK-NEXT:    [[TMP4:%.*]] = icmp ult i64 [[TMP2]], 17
 112 ; CHECK-NEXT:    [[TMP5:%.*]] = select i1 [[TMP4]], i64 0, i64 [[TMP3]]
 113 ; CHECK-NEXT:    [[TMP6:%.*]] = icmp ne i64 [[TMP5]], -1
 114 ; CHECK-NEXT:    call void @llvm.assume(i1 [[TMP6]])
 115 ; CHECK-NEXT:    ret i64 [[TMP5]]
 116 ;
 117   %A = alloca i8, i42 %x, align 1
 118   %G1 = getelementptr i8, i8* %A, i8 17
 119   %objsize = call i64 @llvm.objectsize.i64(i8* %G1, i1 false, i1 true, i1 true)
 120   ret i64 %objsize
 121 }