llvm/test/CodeGen/PowerPC/mergeable-string-pool-pass-only.mir

   1 # RUN: llc -run-pass=ppc-merge-strings -mcpu=pwr8 -mtriple powerpc64le-unknown-linux-gnu \
   2 # RUN:   -verify-machineinstrs -o - %s | FileCheck %s
   3 # RUN: llc -run-pass=ppc-merge-strings -mcpu=pwr8 -mtriple powerpc64-ibm-aix-xcoff \
   4 # RUN:   -verify-machineinstrs -o - %s | FileCheck %s
   5
   6 --- |
   7   ; Constants list.
   8   @.str = private unnamed_addr constant [8 x i8] c"ABCDEFG\00", align 1
   9   @__const.test2.A = private unnamed_addr constant [6 x i32] [i32 34, i32 23, i32 653, i32 12, i32 75, i32 32], align 4
  10   @__const.test3.A = private unnamed_addr constant [7 x float] [float 0x400AA3D700000000, float 0x4021EB8520000000, float 0x4023147AE0000000, float 0x401CEB8520000000, float 0x401C8F5C20000000, float 0x402075C280000000, float 0x3FF1C28F60000000], align 4
  11   @__const.test4.A = private unnamed_addr constant [7 x double] [double 3.330000e+00, double 8.960000e+00, double 0x4023147AE147AE14, double 7.230000e+00, double 7.140000e+00, double 8.230000e+00, double 1.110000e+00], align 8
  12   @.str.1 = private unnamed_addr constant [16 x i8] c"DifferentString\00", align 1
  13   @__const.test5.B = private unnamed_addr constant [6 x i32] [i32 134, i32 123, i32 53, i32 142, i32 375, i32 132], align 4
  14   @__const.test5.C = private unnamed_addr constant [7 x float] [float 0x4037547AE0000000, float 0x403CF5C280000000, float 0x40338A3D80000000, float 0x40313AE140000000, float 0x404111EB80000000, float 0x40323AE140000000, float 0x40263851E0000000], align 4
  15   @__const.test5.D = private unnamed_addr constant [7 x double] [double 2.333000e+01, double 2.896000e+01, double 1.954000e+01, double 1.723000e+01, double 3.414000e+01, double 1.823000e+01, double 1.111000e+01], align 8
  16
  17   ; CHECK: @__ModuleStringPool = private constant { [7 x double], [7 x double], [6 x i32], [6 x i32], [7 x float], [7 x float], [8 x i8], [16 x i8] } { [7 x double] [double 3.330000e+00, double 8.960000e+00, double 0x4023147AE147AE14, double 7.230000e+00, double 7.140000e+00, double 8.230000e+00, double 1.110000e+00], [7 x double] [double 2.333000e+01, double 2.896000e+01, double 1.954000e+01, double 1.723000e+01, double 3.414000e+01, double 1.823000e+01, double 1.111000e+01], [6 x i32] [i32 34, i32 23, i32 653, i32 12, i32 75, i32 32], [6 x i32] [i32 134, i32 123, i32 53, i32 142, i32 375, i32 132], [7 x float] [float 0x400AA3D700000000, float 0x4021EB8520000000, float 0x4023147AE0000000, float 0x401CEB8520000000, float 0x401C8F5C20000000, float 0x402075C280000000, float 0x3FF1C28F60000000], [7 x float] [float 0x4037547AE0000000, float 0x403CF5C280000000, float 0x40338A3D80000000, float 0x40313AE140000000, float 0x404111EB80000000, float 0x40323AE140000000, float 0x40263851E0000000], [8 x i8] c"ABCDEFG\00", [16 x i8] c"DifferentString\00" }, align 8
  18
  19   ; List of callee functions.
  20   declare void @llvm.lifetime.start.p0(i64 immarg, ptr nocapture) #0
  21   declare signext i32 @calleeStr(ptr noundef) local_unnamed_addr #0
  22   declare void @llvm.lifetime.end.p0(i64 immarg, ptr nocapture) #0
  23   declare void @llvm.memcpy.p0.p0.i64(ptr noalias nocapture writeonly, ptr noalias nocapture readonly, i64, i1 immarg) #0
  24   declare signext i32 @calleeInt(ptr noundef) local_unnamed_addr #0
  25   declare signext i32 @calleeFloat(ptr noundef) local_unnamed_addr #0
  26   declare signext i32 @calleeDouble(ptr noundef) local_unnamed_addr #0
  27
  28   ;;
  29   ;; Start of test code.
  30   ;;
  31
  32   define dso_local signext i32 @test1() local_unnamed_addr #0 {
  33   entry:
  34     %call = tail call signext i32 @calleeStr(ptr noundef nonnull @.str) #0
  35     ret i32 %call
  36
  37   ; CHECK-LABEL: test1
  38   ; CHECK:         %0 = getelementptr { [7 x double], [7 x double], [6 x i32], [6 x i32], [7 x float], [7 x float], [8 x i8], [16 x i8] }, ptr @__ModuleStringPool, i32 0, i32 6
  39   ; CHECK:         tail call signext i32 @calleeStr
  40   }
  41
  42   define dso_local signext i32 @test2() local_unnamed_addr #0 {
  43   entry:
  44     %A = alloca [6 x i32], align 4
  45     call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %A) #0
  46     call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(24) %A, ptr noundef nonnull align 4 dereferenceable(24) @__const.test2.A, i64 24, i1 false)
  47     %call = call signext i32 @calleeInt(ptr noundef nonnull %A) #0
  48     call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %A) #0
  49     ret i32 %call
  50
  51   ; CHECK-LABEL: test2
  52   ; CHECK:         %0 = getelementptr { [7 x double], [7 x double], [6 x i32], [6 x i32], [7 x float], [7 x float], [8 x i8], [16 x i8] }, ptr @__ModuleStringPool, i32 0, i32 2
  53   ; CHECK:         call signext i32 @calleeInt
  54   }
  55
  56   define dso_local signext i32 @test3() local_unnamed_addr #0 {
  57   entry:
  58     %A = alloca [7 x float], align 4
  59     call void @llvm.lifetime.start.p0(i64 28, ptr nonnull %A) #0
  60     call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(28) %A, ptr noundef nonnull align 4 dereferenceable(28) @__const.test3.A, i64 28, i1 false)
  61     %call = call signext i32 @calleeFloat(ptr noundef nonnull %A) #0
  62     call void @llvm.lifetime.end.p0(i64 28, ptr nonnull %A) #0
  63     ret i32 %call
  64   ; CHECK-LABEL: test3
  65   ; CHECK:         %0 = getelementptr { [7 x double], [7 x double], [6 x i32], [6 x i32], [7 x float], [7 x float], [8 x i8], [16 x i8] }, ptr @__ModuleStringPool, i32 0, i32 4
  66   ; CHECK:         call signext i32 @calleeFloat
  67   }
  68
  69   define dso_local signext i32 @test4() local_unnamed_addr #0 {
  70   entry:
  71     %A = alloca [7 x double], align 8
  72     call void @llvm.lifetime.start.p0(i64 56, ptr nonnull %A) #0
  73     call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(56) %A, ptr noundef nonnull align 8 dereferenceable(56) @__const.test4.A, i64 56, i1 false)
  74     %call = call signext i32 @calleeDouble(ptr noundef nonnull %A) #0
  75     call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %A) #0
  76     ret i32 %call
  77   ; CHECK-LABEL: test4
  78   ; CHECK:         %0 = getelementptr { [7 x double], [7 x double], [6 x i32], [6 x i32], [7 x float], [7 x float], [8 x i8], [16 x i8] }, ptr @__ModuleStringPool, i32 0, i32 0
  79   ; CHECK:         call signext i32 @calleeDouble
  80   }
  81
  82   define dso_local signext i32 @test5() local_unnamed_addr #0 {
  83   entry:
  84     %B = alloca [6 x i32], align 4
  85     %C = alloca [7 x float], align 4
  86     %D = alloca [7 x double], align 8
  87     call void @llvm.lifetime.start.p0(i64 24, ptr nonnull %B) #0
  88     call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(24) %B, ptr noundef nonnull align 4 dereferenceable(24) @__const.test5.B, i64 24, i1 false)
  89     call void @llvm.lifetime.start.p0(i64 28, ptr nonnull %C) #0
  90     call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 4 dereferenceable(28) %C, ptr noundef nonnull align 4 dereferenceable(28) @__const.test5.C, i64 28, i1 false)
  91     call void @llvm.lifetime.start.p0(i64 56, ptr nonnull %D) #0
  92     call void @llvm.memcpy.p0.p0.i64(ptr noundef nonnull align 8 dereferenceable(56) %D, ptr noundef nonnull align 8 dereferenceable(56) @__const.test5.D, i64 56, i1 false)
  93     %call = tail call signext i32 @calleeStr(ptr noundef nonnull @.str.1) #0
  94     %call1 = call signext i32 @calleeInt(ptr noundef nonnull %B) #0
  95     %add = add nsw i32 %call1, %call
  96     %call3 = call signext i32 @calleeFloat(ptr noundef nonnull %C) #0
  97     %add4 = add nsw i32 %add, %call3
  98     %call6 = call signext i32 @calleeDouble(ptr noundef nonnull %D) #0
  99     %add7 = add nsw i32 %add4, %call6
 100     call void @llvm.lifetime.end.p0(i64 56, ptr nonnull %D) #0
 101     call void @llvm.lifetime.end.p0(i64 28, ptr nonnull %C) #0
 102     call void @llvm.lifetime.end.p0(i64 24, ptr nonnull %B) #0
 103     ret i32 %add7
 104   ; CHECK-LABEL: test5
 105   ; CHECK:         %0 = getelementptr { [7 x double], [7 x double], [6 x i32], [6 x i32], [7 x float], [7 x float], [8 x i8], [16 x i8] }, ptr @__ModuleStringPool, i32 0, i32 3
 106   ; CHECK:         %1 = getelementptr { [7 x double], [7 x double], [6 x i32], [6 x i32], [7 x float], [7 x float], [8 x i8], [16 x i8] }, ptr @__ModuleStringPool, i32 0, i32 5
 107   ; CHECK:         %2 = getelementptr { [7 x double], [7 x double], [6 x i32], [6 x i32], [7 x float], [7 x float], [8 x i8], [16 x i8] }, ptr @__ModuleStringPool, i32 0, i32 1
 108   ; CHECK:         %3 = getelementptr { [7 x double], [7 x double], [6 x i32], [6 x i32], [7 x float], [7 x float], [8 x i8], [16 x i8] }, ptr @__ModuleStringPool, i32 0, i32 7
 109   ; CHECK:         call signext i32 @calleeStr
 110   ; CHECK:         call signext i32 @calleeInt
 111   ; CHECK:         call signext i32 @calleeFloat
 112   ; CHECK:         call signext i32 @calleeDouble
 113   }
 114
 115   attributes #0 = { nounwind }
 116 ...