diff options
| author | Dimitry Andric <dim@FreeBSD.org> | 2012-05-03 16:50:55 +0000 |
|---|---|---|
| committer | Dimitry Andric <dim@FreeBSD.org> | 2012-05-03 16:50:55 +0000 |
| commit | b61ab53cb789e568acbb2952fbead20ab853a696 (patch) | |
| tree | 8575c732129e272992ac5d7b4c2519238fff4735 /test/Transforms/Reassociate | |
| parent | 63faed5b8e4f2755f127fcb8aa440480c0649327 (diff) | |
Notes
Diffstat (limited to 'test/Transforms/Reassociate')
| -rw-r--r-- | test/Transforms/Reassociate/pr12245.ll | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/test/Transforms/Reassociate/pr12245.ll b/test/Transforms/Reassociate/pr12245.ll new file mode 100644 index 000000000000..84098bdb006b --- /dev/null +++ b/test/Transforms/Reassociate/pr12245.ll @@ -0,0 +1,50 @@ +; RUN: opt < %s -basicaa -inline -instcombine -reassociate -dse -disable-output +; PR12245 + +@a = common global i32 0, align 4 +@d = common global i32 0, align 4 + +define i32 @fn2() nounwind uwtable ssp { +entry: + %0 = load i32* @a, align 4, !tbaa !0 + %dec = add nsw i32 %0, -1 + store i32 %dec, i32* @a, align 4, !tbaa !0 + %1 = load i32* @d, align 4, !tbaa !0 + %sub = sub nsw i32 %dec, %1 + store i32 %sub, i32* @d, align 4, !tbaa !0 + %2 = load i32* @a, align 4, !tbaa !0 + %dec1 = add nsw i32 %2, -1 + store i32 %dec1, i32* @a, align 4, !tbaa !0 + %3 = load i32* @d, align 4, !tbaa !0 + %sub2 = sub nsw i32 %dec1, %3 + store i32 %sub2, i32* @d, align 4, !tbaa !0 + %4 = load i32* @a, align 4, !tbaa !0 + %dec3 = add nsw i32 %4, -1 + store i32 %dec3, i32* @a, align 4, !tbaa !0 + %5 = load i32* @d, align 4, !tbaa !0 + %sub4 = sub nsw i32 %dec3, %5 + store i32 %sub4, i32* @d, align 4, !tbaa !0 + %6 = load i32* @a, align 4, !tbaa !0 + %dec5 = add nsw i32 %6, -1 + store i32 %dec5, i32* @a, align 4, !tbaa !0 + %7 = load i32* @d, align 4, !tbaa !0 + %sub6 = sub nsw i32 %dec5, %7 + store i32 %sub6, i32* @d, align 4, !tbaa !0 + %8 = load i32* @a, align 4, !tbaa !0 + %dec7 = add nsw i32 %8, -1 + store i32 %dec7, i32* @a, align 4, !tbaa !0 + %9 = load i32* @d, align 4, !tbaa !0 + %sub8 = sub nsw i32 %dec7, %9 + store i32 %sub8, i32* @d, align 4, !tbaa !0 + ret i32 0 +} + +define i32 @fn1() nounwind uwtable ssp { +entry: + %call = call i32 @fn2() + ret i32 %call +} + +!0 = metadata !{metadata !"int", metadata !1} +!1 = metadata !{metadata !"omnipotent char", metadata !2} +!2 = metadata !{metadata !"Simple C/C++ TBAA"} |