diff options
| -rw-r--r-- | test/Transforms/GVNPRE/extractelement.ll | 18 | ||||
| -rw-r--r-- | test/Transforms/GVNPRE/insertelement.ll | 18 | ||||
| -rw-r--r-- | test/Transforms/GVNPRE/shufflevector.ll | 18 |
3 files changed, 54 insertions, 0 deletions
diff --git a/test/Transforms/GVNPRE/extractelement.ll b/test/Transforms/GVNPRE/extractelement.ll new file mode 100644 index 0000000000..7d05c8f1d6 --- /dev/null +++ b/test/Transforms/GVNPRE/extractelement.ll @@ -0,0 +1,18 @@ +; RUN: llvm-as < %s | opt -gvnpre | llvm-dis | grep b.gvnpre + +define i32 @extract() { +entry: ; preds = %cond_false, %entry + %foo = add <2 x i32> < i32 1, i32 1 >, < i32 1, i32 1 > + br i1 true, label %cond_true, label %cond_false + +cond_true: + br label %end + +cond_false: + %a = extractelement <2 x i32> %foo, i32 0 + br label %end + +end: + %b = extractelement <2 x i32> %foo, i32 0 + ret i32 %b +} diff --git a/test/Transforms/GVNPRE/insertelement.ll b/test/Transforms/GVNPRE/insertelement.ll new file mode 100644 index 0000000000..caf8474bba --- /dev/null +++ b/test/Transforms/GVNPRE/insertelement.ll @@ -0,0 +1,18 @@ +; RUN: llvm-as < %s | opt -gvnpre | llvm-dis | grep b.gvnpre + +define i32 @extract() { +entry: ; preds = %cond_false, %entry + %foo = add <2 x i32> < i32 1, i32 1 >, < i32 1, i32 1 > + br i1 true, label %cond_true, label %cond_false + +cond_true: + br label %end + +cond_false: + %a = insertelement <2 x i32> %foo, i32 0, i32 3 + br label %end + +end: + %b = insertelement <2 x i32> %foo, i32 0, i32 3 + ret i32 0 +} diff --git a/test/Transforms/GVNPRE/shufflevector.ll b/test/Transforms/GVNPRE/shufflevector.ll new file mode 100644 index 0000000000..9fc3592532 --- /dev/null +++ b/test/Transforms/GVNPRE/shufflevector.ll @@ -0,0 +1,18 @@ +; RUN: llvm-as < %s | opt -gvnpre | llvm-dis | grep b.gvnpre + +define i32 @extract() { +entry: ; preds = %cond_false, %entry + %foo = add <2 x i32> < i32 1, i32 1 >, < i32 1, i32 1 > + br i1 true, label %cond_true, label %cond_false + +cond_true: + br label %end + +cond_false: + %a = shufflevector <2 x i32> %foo, <2 x i32> undef, <2 x i32> < i32 0, i32 1 > + br label %end + +end: + %b = shufflevector <2 x i32> %foo, <2 x i32> undef, <2 x i32> < i32 0, i32 1 > + ret i32 0 +} |