Fix a README item: when doing a comparison with the result

[oota-llvm.git] / test / Transforms / LICM / scalar_promote.ll

diff --git a/test/Transforms/LICM/scalar_promote.ll b/test/Transforms/LICM/scalar_promote.ll
index 8720a6a80ba14775a00f97c4fd9af286cdf1284e..67ad5bc0f4dcb9aa55b7bc8261c25df49f43bc2a 100644 (file)
--- a/test/Transforms/LICM/scalar_promote.ll
+++ b/test/Transforms/LICM/scalar_promote.ll
@@ -1,37 +1,120 @@
-; RUN: llvm-upgrade < %s | llvm-as | opt  -licm -stats |& \
-; RUN:   grep {memory locations promoted to register}
+; RUN: opt < %s -basicaa -licm -S | FileCheck %s
+target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
 
-%X = global int 7
+@X = global i32 7              ; <i32*> [#uses=4]
 
-void %testfunc(int %i) {
+define void @test1(i32 %i) {
+Entry:
        br label %Loop
+; CHECK: @test1
+; CHECK: Entry:
+; CHECK-NEXT:   load i32* @X
+; CHECK-NEXT:   br label %Loop
 
-Loop:
-       %j = phi uint [0, %0], [%Next, %Loop]
 
-       %x = load int* %X  ; Should promote this to a register inside of loop!
-       %x2 = add int %x, 1
-       store int %x2, int* %X
+Loop:          ; preds = %Loop, %0
+       %j = phi i32 [ 0, %Entry ], [ %Next, %Loop ]            ; <i32> [#uses=1]
+       %x = load i32* @X               ; <i32> [#uses=1]
+       %x2 = add i32 %x, 1             ; <i32> [#uses=1]
+       store i32 %x2, i32* @X
+       %Next = add i32 %j, 1           ; <i32> [#uses=2]
+       %cond = icmp eq i32 %Next, 0            ; <i1> [#uses=1]
+       br i1 %cond, label %Out, label %Loop
 
-       %Next = add uint %j, 1
-       %cond = seteq uint %Next, 0
-       br bool %cond, label %Out, label %Loop
+Out:   
+       ret void
+; CHECK: Out:
+; CHECK-NEXT:   store i32 %x2, i32* @X
+; CHECK-NEXT:   ret void
 
-Out:
+}
+
+define void @test2(i32 %i) {
+Entry:
+       br label %Loop
+; CHECK: @test2
+; CHECK: Entry:
+; CHECK-NEXT:    %.promoted = load i32* getelementptr inbounds (i32* @X, i64 1)
+; CHECK-NEXT:    br label %Loop
+
+Loop:          ; preds = %Loop, %0
+       %X1 = getelementptr i32* @X, i64 1              ; <i32*> [#uses=1]
+       %A = load i32* %X1              ; <i32> [#uses=1]
+       %V = add i32 %A, 1              ; <i32> [#uses=1]
+       %X2 = getelementptr i32* @X, i64 1              ; <i32*> [#uses=1]
+       store i32 %V, i32* %X2
+       br i1 false, label %Loop, label %Exit
+
+Exit:          ; preds = %Loop
        ret void
+; CHECK: Exit:
+; CHECK-NEXT:   store i32 %V, i32* getelementptr inbounds (i32* @X, i64 1)
+; CHECK-NEXT:   ret void
 }
 
-void %testhard(int %i) {
+
+
+define void @test3(i32 %i) {
+; CHECK: @test3
        br label %Loop
 Loop:
-       %X1 = getelementptr int* %X, long 0
-       %A = load int* %X1 ; Aliases X, needs to be rewritten
-       %V = add int %A, 1
-       %X2 = getelementptr int* %X, long 0
-       store int %V, int* %X2
-       br bool false, label %Loop, label %Exit
-
-Exit:
+        ; Should not promote this to a register
+       %x = volatile load i32* @X
+       %x2 = add i32 %x, 1     
+       store i32 %x2, i32* @X
+       br i1 true, label %Out, label %Loop
+        
+; CHECK: Loop:
+; CHECK-NEXT: volatile load
+
+Out:           ; preds = %Loop
        ret void
+}
+
+; PR8041
+define void @test4(i8* %x, i8 %n) {
+; CHECK: @test4
+  %handle1 = alloca i8*
+  %handle2 = alloca i8*
+  store i8* %x, i8** %handle1
+  br label %loop
+
+loop:
+  %tmp = getelementptr i8* %x, i64 8
+  store i8* %tmp, i8** %handle2
+  br label %subloop
+
+subloop:
+  %count = phi i8 [ 0, %loop ], [ %nextcount, %subloop ]
+  %offsetx2 = load i8** %handle2
+  store i8 %n, i8* %offsetx2
+  %newoffsetx2 = getelementptr i8* %offsetx2, i64 -1
+  store i8* %newoffsetx2, i8** %handle2
+  %nextcount = add i8 %count, 1
+  %innerexitcond = icmp sge i8 %nextcount, 8
+  br i1 %innerexitcond, label %innerexit, label %subloop
 
+; Should have promoted 'handle2' accesses.
+; CHECK: subloop:
+; CHECK-NEXT: phi i8* [
+; CHECK-NEXT: %count = phi i8 [
+; CHECK-NEXT: store i8 %n
+; CHECK-NOT: store
+; CHECK: br i1
+
+innerexit:
+  %offsetx1 = load i8** %handle1
+  %val = load i8* %offsetx1
+  %cond = icmp eq i8 %val, %n
+  br i1 %cond, label %exit, label %loop
+
+; Should not have promoted offsetx1 loads.
+; CHECK: innerexit:
+; CHECK: %val = load i8* %offsetx1
+; CHECK: %cond = icmp eq i8 %val, %n
+; CHECK: br i1 %cond, label %exit, label %loop
+
+exit:
+  ret void
 }
+