llvm/test/Transforms/GlobalOpt/malloc-promote-opaque-ptr.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals
   2 ; RUN: opt -S -passes=globalopt < %s | FileCheck %s
   3
   4 @g1 = internal global ptr null
   5 @g2 = internal global ptr null
   6 @g3 = internal global ptr null
   7
   8 declare noalias ptr @malloc(i64) allockind("alloc,uninitialized") allocsize(0)
   9
  10 ;.
  11 ; CHECK: @[[G1_BODY_0:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr global i64 undef
  12 ; CHECK: @[[G2_BODY_0:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr global i32 undef
  13 ; CHECK: @[[G2_BODY_1:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr global i32 undef
  14 ; CHECK: @[[G2_BODY_2:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr global i32 undef
  15 ; CHECK: @[[G3_BODY:[a-zA-Z0-9_$"\\.-]+]] = internal unnamed_addr global [8 x i8] undef
  16 ;.
  17 define void @test_store(i64 %a, i32 %b) {
  18 ; CHECK-LABEL: @test_store(
  19 ; CHECK-NEXT:    store i64 [[A:%.*]], ptr @g1.body.0, align 8
  20 ; CHECK-NEXT:    store i32 [[B:%.*]], ptr @g2.body.0, align 4
  21 ; CHECK-NEXT:    store i32 [[B]], ptr @g2.body.1, align 4
  22 ; CHECK-NEXT:    store i32 [[B]], ptr @g2.body.2, align 4
  23 ; CHECK-NEXT:    store i64 [[A]], ptr @g3.body, align 4
  24 ; CHECK-NEXT:    store i32 [[B]], ptr @g3.body, align 4
  25 ; CHECK-NEXT:    ret void
  26 ;
  27   %m1 = call ptr @malloc(i64 8)
  28   store ptr %m1, ptr @g1
  29   %a1 = load ptr, ptr @g1
  30
  31   %m2 = call ptr @malloc(i64 16)
  32   store ptr %m2, ptr @g2
  33   %a2 = load ptr, ptr @g2
  34
  35   %m3 = call ptr @malloc(i64 8)
  36   store ptr %m3, ptr @g3
  37   %a3 = load ptr, ptr @g3
  38
  39   store i64 %a, ptr %a1
  40
  41   ; Access types at different offsets.
  42   store i32 %b, ptr %a2
  43   %a2.4 = getelementptr i8, ptr %a2, i64 4
  44   store i32 %b, ptr %a2.4
  45   %a2.10 = getelementptr i8, ptr %a2, i64 10
  46   store i32 %b, ptr %a2.10, align 2
  47
  48   ; Access two different types at the same offset.
  49   store i64 %a, ptr %a3
  50   store i32 %b, ptr %a3
  51
  52   ret void
  53 }
  54
  55 define void @test_load() {
  56 ; CHECK-LABEL: @test_load(
  57 ; CHECK-NEXT:    [[TMP1:%.*]] = load i64, ptr @g1.body.0, align 8
  58 ; CHECK-NEXT:    [[TMP2:%.*]] = load i32, ptr @g2.body.0, align 4
  59 ; CHECK-NEXT:    [[TMP3:%.*]] = load i32, ptr @g2.body.1, align 4
  60 ; CHECK-NEXT:    [[TMP4:%.*]] = load i32, ptr @g2.body.2, align 4
  61 ; CHECK-NEXT:    [[TMP5:%.*]] = load i64, ptr @g3.body, align 4
  62 ; CHECK-NEXT:    ret void
  63 ;
  64   %a1 = load ptr, ptr @g1
  65   load i64, ptr %a1
  66
  67   %a2 = load ptr, ptr @g2
  68   load i32, ptr %a2
  69   %a2.4 = getelementptr i8, ptr %a2, i64 4
  70   load i32, ptr %a2.4
  71   %a2.10 = getelementptr i8, ptr %a2, i64 10
  72   load i32, ptr %a2.10, align 2
  73
  74   %a3 = load ptr, ptr @g3
  75   load i64, ptr %a3
  76   ret void
  77 }