diff polly/test/ScopInfo/licm_potential_store.ll @ 252:1f2b6ac9f198 llvm-original

LLVM16-1
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 18 Aug 2023 09:04:13 +0900
parents c4bab56944e8
children
line wrap: on
line diff
--- a/polly/test/ScopInfo/licm_potential_store.ll	Wed Nov 09 17:47:54 2022 +0900
+++ b/polly/test/ScopInfo/licm_potential_store.ll	Fri Aug 18 09:04:13 2023 +0900
@@ -1,11 +1,9 @@
-; RUN: opt %loadPolly -basic-aa -sroa -instcombine -simplifycfg -tailcallopt \
-; RUN:    -simplifycfg -reassociate -loop-rotate -instcombine -indvars \
-; RUN:    -polly-prepare -polly-print-scops -disable-output < %s \
+; RUN: opt %loadNPMPolly -passes='sroa,instcombine,simplifycfg,reassociate,loop(loop-rotate),instcombine,indvars,polly-prepare,print<polly-function-scops>' \
+; RUN:    -tailcallopt -disable-output < %s 2>&1 \
 ; RUN:     | FileCheck %s --check-prefix=NOLICM
 
-; RUN: opt %loadPolly -basic-aa -sroa -instcombine -simplifycfg -tailcallopt \
-; RUN:    -simplifycfg -reassociate -loop-rotate -instcombine -indvars -licm \
-; RUN:    -polly-prepare -polly-print-scops -disable-output < %s \
+; RUN: opt %loadNPMPolly -passes='sroa,instcombine,simplifycfg,reassociate,loop(loop-rotate),instcombine,indvars,loop-mssa(licm),polly-prepare,print<polly-function-scops>' \
+; RUN:    -tailcallopt -disable-output < %s 2>&1 \
 ; RUN:     | FileCheck %s --check-prefix=LICM
 
 ;    void foo(int n, float A[static const restrict n], float x) {
@@ -24,57 +22,56 @@
 
 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
 
-define void @foo(i32 %n, float* noalias nonnull %A, float %x) {
+define void @foo(i32 %n, ptr noalias nonnull %A, float %x) {
 entry:
   %n.addr = alloca i32, align 4
-  %A.addr = alloca float*, align 8
+  %A.addr = alloca ptr, align 8
   %x.addr = alloca float, align 4
   %i = alloca i32, align 4
   %j = alloca i32, align 4
-  store i32 %n, i32* %n.addr, align 4
-  store float* %A, float** %A.addr, align 8
-  store float %x, float* %x.addr, align 4
-  %tmp = load i32, i32* %n.addr, align 4
+  store i32 %n, ptr %n.addr, align 4
+  store ptr %A, ptr %A.addr, align 8
+  store float %x, ptr %x.addr, align 4
+  %tmp = load i32, ptr %n.addr, align 4
   %tmp1 = zext i32 %tmp to i64
-  store i32 0, i32* %i, align 4
+  store i32 0, ptr %i, align 4
   br label %for.cond
 
 for.cond:                                         ; preds = %for.inc.4, %entry
-  %tmp2 = load i32, i32* %i, align 4
+  %tmp2 = load i32, ptr %i, align 4
   %cmp = icmp slt i32 %tmp2, 5
   br i1 %cmp, label %for.body, label %for.end.6
 
 for.body:                                         ; preds = %for.cond
-  store i32 0, i32* %j, align 4
+  store i32 0, ptr %j, align 4
   br label %for.cond.1
 
 for.cond.1:                                       ; preds = %for.inc, %for.body
-  %tmp3 = load i32, i32* %j, align 4
-  %tmp4 = load i32, i32* %n.addr, align 4
+  %tmp3 = load i32, ptr %j, align 4
+  %tmp4 = load i32, ptr %n.addr, align 4
   %cmp2 = icmp slt i32 %tmp3, %tmp4
   br i1 %cmp2, label %for.body.3, label %for.end
 
 for.body.3:                                       ; preds = %for.cond.1
-  store float 7.000000e+00, float* %x.addr, align 4
+  store float 7.000000e+00, ptr %x.addr, align 4
   br label %for.inc
 
 for.inc:                                          ; preds = %for.body.3
-  %tmp5 = load i32, i32* %j, align 4
+  %tmp5 = load i32, ptr %j, align 4
   %add = add nsw i32 %tmp5, 1
-  store i32 %add, i32* %j, align 4
+  store i32 %add, ptr %j, align 4
   br label %for.cond.1
 
 for.end:                                          ; preds = %for.cond.1
-  %tmp6 = load float, float* %x.addr, align 4
-  %tmp7 = load float*, float** %A.addr, align 8
-  %arrayidx = getelementptr inbounds float, float* %tmp7, i64 0
-  store float %tmp6, float* %arrayidx, align 4
+  %tmp6 = load float, ptr %x.addr, align 4
+  %tmp7 = load ptr, ptr %A.addr, align 8
+  store float %tmp6, ptr %tmp7, align 4
   br label %for.inc.4
 
 for.inc.4:                                        ; preds = %for.end
-  %tmp8 = load i32, i32* %i, align 4
+  %tmp8 = load i32, ptr %i, align 4
   %add5 = add nsw i32 %tmp8, 1
-  store i32 %add5, i32* %i, align 4
+  store i32 %add5, ptr %i, align 4
   br label %for.cond
 
 for.end.6:                                        ; preds = %for.cond