llvm/test/Transforms/MergeFunc/initializes-attr.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5
   2 ; RUN: opt -S -passes=mergefunc < %s | FileCheck %s
   3
   4 define internal void @test1(ptr initializes((0, 1)) %p) {
   5 ; CHECK-LABEL: define internal void @test1(
   6 ; CHECK-SAME: ptr initializes((0, 1)) [[P:%.*]]) {
   7 ; CHECK-NEXT:    store i16 0, ptr [[P]], align 2
   8 ; CHECK-NEXT:    ret void
   9 ;
  10   store i16 0, ptr %p
  11   ret void
  12 }
  13
  14 define internal void @test2(ptr initializes((0, 1)) %p) {
  15   store i16 0, ptr %p
  16   ret void
  17 }
  18
  19 define internal void @test3(ptr initializes((0, 2)) %p) {
  20 ; CHECK-LABEL: define internal void @test3(
  21 ; CHECK-SAME: ptr initializes((0, 2)) [[P:%.*]]) {
  22 ; CHECK-NEXT:    store i16 0, ptr [[P]], align 2
  23 ; CHECK-NEXT:    ret void
  24 ;
  25   store i16 0, ptr %p
  26   ret void
  27 }
  28
  29 define internal void @test4(ptr initializes((0, 1), (2, 3)) %p) {
  30 ; CHECK-LABEL: define internal void @test4(
  31 ; CHECK-SAME: ptr initializes((0, 1), (2, 3)) [[P:%.*]]) {
  32 ; CHECK-NEXT:    store i16 0, ptr [[P]], align 2
  33 ; CHECK-NEXT:    ret void
  34 ;
  35   store i16 0, ptr %p
  36   ret void
  37 }
  38
  39 define void @do_calls(ptr %p) {
  40 ; CHECK-LABEL: define void @do_calls(
  41 ; CHECK-SAME: ptr [[P:%.*]]) {
  42 ; CHECK-NEXT:    call void @test1(ptr [[P]])
  43 ; CHECK-NEXT:    call void @test1(ptr [[P]])
  44 ; CHECK-NEXT:    call void @test3(ptr [[P]])
  45 ; CHECK-NEXT:    call void @test4(ptr [[P]])
  46 ; CHECK-NEXT:    ret void
  47 ;
  48   call void @test1(ptr %p)
  49   call void @test2(ptr %p)
  50   call void @test3(ptr %p)
  51   call void @test4(ptr %p)
  52   ret void
  53 }