diff options
| author | Louis Gerbarg <lgg@apple.com> | 2014-10-30 22:21:03 +0000 |
|---|---|---|
| committer | Louis Gerbarg <lgg@apple.com> | 2014-10-30 22:21:03 +0000 |
| commit | e8f9c782477de40ebbfe1269e72e55919be4a5af (patch) | |
| tree | 4ad820b5af24869a01ed4a835b58ae233b2ede13 /llvm/test | |
| parent | 14e2bcccfb84bf6025051797a41d1d406c93e19d (diff) | |
| download | bcm5719-llvm-e8f9c782477de40ebbfe1269e72e55919be4a5af.tar.gz bcm5719-llvm-e8f9c782477de40ebbfe1269e72e55919be4a5af.zip | |
Fix incorrect invariant check in DAG Combine
Earlier this summer I fixed an issue where we were incorrectly combining
multiple loads that had different constraints such alignment, invariance,
temporality, etc. Apparently in one case I made copt paste error and swapped
alignment and invariance.
Tests included.
rdar://18816719
llvm-svn: 220933
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/CodeGen/AArch64/dag-combine-invaraints.ll | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/AArch64/dag-combine-invaraints.ll b/llvm/test/CodeGen/AArch64/dag-combine-invaraints.ll new file mode 100644 index 00000000000..115fc64174c --- /dev/null +++ b/llvm/test/CodeGen/AArch64/dag-combine-invaraints.ll @@ -0,0 +1,36 @@ +; RUN: llc -mtriple=arm64-apple-darwin8.0 -relocation-model=pic -O1 < %s | FileCheck %s + +@.str2 = private unnamed_addr constant [9 x i8] c"_%d____\0A\00", align 1 + +; Function Attrs: nounwind ssp +define i32 @main(i32 %argc, i8** %argv) #0 { +main_: + %tmp = alloca i32, align 4 + %i32T = alloca i32, align 4 + %i32F = alloca i32, align 4 + %i32X = alloca i32, align 4 + store i32 0, i32* %tmp + store i32 15, i32* %i32T, align 4 + store i32 5, i32* %i32F, align 4 + %tmp6 = load i32* %tmp, align 4 + %tmp7 = icmp ne i32 %tmp6, 0 + %tmp8 = xor i1 %tmp7, true + %tmp9 = load i32* %i32T, align 4 + %tmp10 = load i32* %i32F, align 4 + %DHSelect = select i1 %tmp8, i32 %tmp9, i32 %tmp10 + store i32 %DHSelect, i32* %i32X, align 4 + %tmp15 = load i32* %i32X, align 4 + %tmp17 = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([9 x i8]* @.str2, i32 0, i32 0), i32 %tmp15) + ret i32 0 + +; CHECK: main: +; CHECK-DAG: movz +; CHECK-DAG: orr +; CHECK: csel +} + + +declare i32 @printf(i8*, ...) #1 + +attributes #0 = { nounwind ssp "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" } +attributes #1 = { "less-precise-fpmad"="false" "no-frame-pointer-elim"="true" "no-frame-pointer-elim-non-leaf" "no-infs-fp-math"="false" "no-nans-fp-math"="false" "stack-protector-buffer-size"="8" "unsafe-fp-math"="false" "use-soft-float"="false" } |

