diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2011-02-24 23:26:09 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2011-02-24 23:26:09 +0000 |
| commit | dfdca1a14db80a508bfec8062d670a9ed9853cb1 (patch) | |
| tree | d6469f7130ae5aad03564e3966c86aadd8a49481 /llvm/test/Transforms/SimplifyCFG | |
| parent | e68a27eecd50c804f0005947c1b4300ee0cb3949 (diff) | |
| download | bcm5719-llvm-dfdca1a14db80a508bfec8062d670a9ed9853cb1.tar.gz bcm5719-llvm-dfdca1a14db80a508bfec8062d670a9ed9853cb1.zip | |
SimplifyCFG: GEPs with just one non-constant index are also cheap.
llvm-svn: 126452
Diffstat (limited to 'llvm/test/Transforms/SimplifyCFG')
| -rw-r--r-- | llvm/test/Transforms/SimplifyCFG/select-gep.ll | 24 |
1 files changed, 22 insertions, 2 deletions
diff --git a/llvm/test/Transforms/SimplifyCFG/select-gep.ll b/llvm/test/Transforms/SimplifyCFG/select-gep.ll index 6330ccdb291..98650f08663 100644 --- a/llvm/test/Transforms/SimplifyCFG/select-gep.ll +++ b/llvm/test/Transforms/SimplifyCFG/select-gep.ll @@ -1,13 +1,13 @@ ; RUN: opt -S -simplifycfg %s | FileCheck %s -define i8* @test1(i8* %x) nounwind { +define i8* @test1(i8* %x, i64 %y) nounwind { entry: %tmp1 = load i8* %x, align 1 %cmp = icmp eq i8 %tmp1, 47 br i1 %cmp, label %if.then, label %if.end if.then: - %incdec.ptr = getelementptr inbounds i8* %x, i64 1 + %incdec.ptr = getelementptr inbounds i8* %x, i64 %y br label %if.end if.end: @@ -18,3 +18,23 @@ if.end: ; CHECK: %x.addr = select i1 %cmp, i8* %incdec.ptr, i8* %x ; CHECK: ret i8* %x.addr } + +%ST = type { i8, i8 } + +define i8* @test2(%ST* %x, i8* %y) nounwind { +entry: + %cmp = icmp eq %ST* %x, null + br i1 %cmp, label %if.then, label %if.end + +if.then: + %incdec.ptr = getelementptr %ST* %x, i32 0, i32 1 + br label %if.end + +if.end: + %x.addr = phi i8* [ %incdec.ptr, %if.then ], [ %y, %entry ] + ret i8* %x.addr + +; CHECK: @test2 +; CHECK: %x.addr = select i1 %cmp, i8* %incdec.ptr, i8* %y +; CHECK: ret i8* %x.addr +} |
