Home | History | Annotate | Download | only in InstCombine 
      1 ; RUN: opt < %s -instcombine -S | FileCheck %s
      2 
      3 define void @test1(i32* %P) {
      4         store i32 undef, i32* %P
      5         store i32 123, i32* undef
      6         store i32 124, i32* null
      7         ret void
      8 ; CHECK-LABEL: @test1(
      9 ; CHECK-NEXT: store i32 123, i32* undef
     10 ; CHECK-NEXT: store i32 undef, i32* null
     11 ; CHECK-NEXT: ret void
     12 }
     13 
     14 define void @test2(i32* %P) {
     15         %X = load i32* %P               ; <i32> [#uses=1]
     16         %Y = add i32 %X, 0              ; <i32> [#uses=1]
     17         store i32 %Y, i32* %P
     18         ret void
     19 ; CHECK-LABEL: @test2(
     20 ; CHECK-NEXT: ret void
     21 }
     22 
     23 ;; Simple sinking tests
     24 
     25 ; "if then else"
     26 define i32 @test3(i1 %C) {
     27 	%A = alloca i32
     28         br i1 %C, label %Cond, label %Cond2
     29 
     30 Cond:
     31         store i32 -987654321, i32* %A
     32         br label %Cont
     33 
     34 Cond2:
     35 	store i32 47, i32* %A
     36 	br label %Cont
     37 
     38 Cont:
     39 	%V = load i32* %A
     40 	ret i32 %V
     41 ; CHECK-LABEL: @test3(
     42 ; CHECK-NOT: alloca
     43 ; CHECK: Cont:
     44 ; CHECK-NEXT:  %storemerge = phi i32 [ 47, %Cond2 ], [ -987654321, %Cond ]
     45 ; CHECK-NEXT:  ret i32 %storemerge
     46 }
     47 
     48 ; "if then"
     49 define i32 @test4(i1 %C) {
     50 	%A = alloca i32
     51 	store i32 47, i32* %A
     52         br i1 %C, label %Cond, label %Cont
     53 
     54 Cond:
     55         store i32 -987654321, i32* %A
     56         br label %Cont
     57 
     58 Cont:
     59 	%V = load i32* %A
     60 	ret i32 %V
     61 ; CHECK-LABEL: @test4(
     62 ; CHECK-NOT: alloca
     63 ; CHECK: Cont:
     64 ; CHECK-NEXT:  %storemerge = phi i32 [ -987654321, %Cond ], [ 47, %0 ]
     65 ; CHECK-NEXT:  ret i32 %storemerge
     66 }
     67 
     68 ; "if then"
     69 define void @test5(i1 %C, i32* %P) {
     70 	store i32 47, i32* %P, align 1
     71         br i1 %C, label %Cond, label %Cont
     72 
     73 Cond:
     74         store i32 -987654321, i32* %P, align 1
     75         br label %Cont
     76 
     77 Cont:
     78 	ret void
     79 ; CHECK-LABEL: @test5(
     80 ; CHECK: Cont:
     81 ; CHECK-NEXT:  %storemerge = phi i32
     82 ; CHECK-NEXT:  store i32 %storemerge, i32* %P, align 1
     83 ; CHECK-NEXT:  ret void
     84 }
     85 
     86 
     87 ; PR14753 - merging two stores should preserve the TBAA tag.
     88 define void @test6(i32 %n, float* %a, i32* %gi) nounwind uwtable ssp {
     89 entry:
     90   store i32 42, i32* %gi, align 4, !tbaa !0
     91   br label %for.cond
     92 
     93 for.cond:                                         ; preds = %for.body, %entry
     94   %storemerge = phi i32 [ 0, %entry ], [ %inc, %for.body ]
     95   %0 = load i32* %gi, align 4, !tbaa !0
     96   %cmp = icmp slt i32 %0, %n
     97   br i1 %cmp, label %for.body, label %for.end
     98 
     99 for.body:                                         ; preds = %for.cond
    100   %idxprom = sext i32 %0 to i64
    101   %arrayidx = getelementptr inbounds float* %a, i64 %idxprom
    102   store float 0.000000e+00, float* %arrayidx, align 4, !tbaa !3
    103   %1 = load i32* %gi, align 4, !tbaa !0
    104   %inc = add nsw i32 %1, 1
    105   store i32 %inc, i32* %gi, align 4, !tbaa !0
    106   br label %for.cond
    107 
    108 for.end:                                          ; preds = %for.cond
    109   ret void
    110 ; CHECK-LABEL: @test6(
    111 ; CHECK: for.cond:
    112 ; CHECK-NEXT: phi i32 [ 42
    113 ; CHECK-NEXT: store i32 %storemerge, i32* %gi, align 4, !tbaa !0
    114 }
    115 
    116 !0 = metadata !{metadata !"int", metadata !1}
    117 !1 = metadata !{metadata !"omnipotent char", metadata !2}
    118 !2 = metadata !{metadata !"Simple C/C++ TBAA"}
    119 !3 = metadata !{metadata !"float", metadata !1}
    120