| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| |
| ; REQUIRES: asserts |
| |
| ; Eliminates store to %R in the entry block. |
| ; RUN: opt < %s -passes=dse -debug-counter=dse-memoryssa-skip=0,dse-memoryssa-count=1 -S | FileCheck --check-prefix=SKIP0-COUNT1 %s |
| |
| ; Eliminates store to %P in the entry block. |
| ; RUN: opt < %s -passes=dse -debug-counter=dse-memoryssa-skip=1,dse-memoryssa-count=1 -S | FileCheck --check-prefix=SKIP1-COUNT1 %s |
| |
| ; Eliminates both stores in the entry block. |
| ; RUN: opt < %s -passes=dse -debug-counter=dse-memoryssa-skip=0,dse-memoryssa-count=2 -S | FileCheck --check-prefix=SKIP0-COUNT2 %s |
| |
| ; Eliminates no stores. |
| ; RUN: opt < %s -passes=dse -debug-counter=dse-memoryssa-skip=2,dse-memoryssa-count=1 -S | FileCheck --check-prefix=SKIP2-COUNT1 %s |
| |
| |
| target datalayout = "e-m:e-p:32:32-i64:64-v128:64:128-a:0:32-n32-S64" |
| |
| |
| define void @test(ptr noalias %P, ptr noalias %Q, ptr noalias %R) { |
| ; SKIP0-COUNT1-LABEL: @test( |
| ; SKIP0-COUNT1-NEXT: store i32 1, ptr [[P:%.*]] |
| ; SKIP0-COUNT1-NEXT: br i1 true, label [[BB1:%.*]], label [[BB2:%.*]] |
| ; SKIP0-COUNT1: bb1: |
| ; SKIP0-COUNT1-NEXT: br label [[BB3:%.*]] |
| ; SKIP0-COUNT1: bb2: |
| ; SKIP0-COUNT1-NEXT: br label [[BB3]] |
| ; SKIP0-COUNT1: bb3: |
| ; SKIP0-COUNT1-NEXT: store i32 0, ptr [[Q:%.*]] |
| ; SKIP0-COUNT1-NEXT: store i32 0, ptr [[R:%.*]] |
| ; SKIP0-COUNT1-NEXT: store i32 0, ptr [[P]] |
| ; SKIP0-COUNT1-NEXT: ret void |
| ; |
| ; SKIP1-COUNT1-LABEL: @test( |
| ; SKIP1-COUNT1-NEXT: store i32 1, ptr [[R:%.*]] |
| ; SKIP1-COUNT1-NEXT: br i1 true, label [[BB1:%.*]], label [[BB2:%.*]] |
| ; SKIP1-COUNT1: bb1: |
| ; SKIP1-COUNT1-NEXT: br label [[BB3:%.*]] |
| ; SKIP1-COUNT1: bb2: |
| ; SKIP1-COUNT1-NEXT: br label [[BB3]] |
| ; SKIP1-COUNT1: bb3: |
| ; SKIP1-COUNT1-NEXT: store i32 0, ptr [[Q:%.*]] |
| ; SKIP1-COUNT1-NEXT: store i32 0, ptr [[R]] |
| ; SKIP1-COUNT1-NEXT: store i32 0, ptr [[P:%.*]] |
| ; SKIP1-COUNT1-NEXT: ret void |
| ; |
| ; SKIP0-COUNT2-LABEL: @test( |
| ; SKIP0-COUNT2-NEXT: br i1 true, label [[BB1:%.*]], label [[BB2:%.*]] |
| ; SKIP0-COUNT2: bb1: |
| ; SKIP0-COUNT2-NEXT: br label [[BB3:%.*]] |
| ; SKIP0-COUNT2: bb2: |
| ; SKIP0-COUNT2-NEXT: br label [[BB3]] |
| ; SKIP0-COUNT2: bb3: |
| ; SKIP0-COUNT2-NEXT: store i32 0, ptr [[Q:%.*]] |
| ; SKIP0-COUNT2-NEXT: store i32 0, ptr [[R:%.*]] |
| ; SKIP0-COUNT2-NEXT: store i32 0, ptr [[P:%.*]] |
| ; SKIP0-COUNT2-NEXT: ret void |
| ; |
| ; SKIP2-COUNT1-LABEL: @test( |
| ; SKIP2-COUNT1-NEXT: store i32 1, ptr [[P:%.*]] |
| ; SKIP2-COUNT1-NEXT: store i32 1, ptr [[R:%.*]] |
| ; SKIP2-COUNT1-NEXT: br i1 true, label [[BB1:%.*]], label [[BB2:%.*]] |
| ; SKIP2-COUNT1: bb1: |
| ; SKIP2-COUNT1-NEXT: br label [[BB3:%.*]] |
| ; SKIP2-COUNT1: bb2: |
| ; SKIP2-COUNT1-NEXT: br label [[BB3]] |
| ; SKIP2-COUNT1: bb3: |
| ; SKIP2-COUNT1-NEXT: store i32 0, ptr [[Q:%.*]] |
| ; SKIP2-COUNT1-NEXT: store i32 0, ptr [[R]] |
| ; SKIP2-COUNT1-NEXT: store i32 0, ptr [[P]] |
| ; SKIP2-COUNT1-NEXT: ret void |
| ; |
| store i32 1, ptr %P |
| store i32 1, ptr %R |
| br i1 true, label %bb1, label %bb2 |
| bb1: |
| br label %bb3 |
| bb2: |
| br label %bb3 |
| bb3: |
| store i32 0, ptr %Q |
| store i32 0, ptr %R |
| store i32 0, ptr %P |
| ret void |
| } |