[InstCombine] Signed saturation tests. NFC
[llvm-core.git] / test / Transforms / Reassociate / 2011-01-26-UseAfterFree.ll
blob1c8f0d2ea2191866e850bc8be30e04670c2dbda8
1 ; RUN: opt < %s -reassociate
2 ; PR9039
3 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32"
4 target triple = "i386-gnu-linux"
6 define void @exp_averages_intraday__deviation() {
7 entry:
8   %0 = load i32, i32* undef, align 4
9   %1 = shl i32 %0, 2
10   %2 = add nsw i32 undef, %1
11   %3 = add nsw i32 %2, undef
12   %4 = mul nsw i32 %0, 12
13   %5 = add nsw i32 %3, %4
14   %6 = add nsw i32 %5, %4
15   %7 = add nsw i32 %6, undef
16   br i1 false, label %"4", label %"12"
18 "4":                                              ; preds = %entry
19   br i1 undef, label %"5", label %"8"
21 "5":                                              ; preds = %"4"
22   unreachable
24 "8":                                              ; preds = %"4"
25   %8 = getelementptr inbounds i8, i8* undef, i32 %6
26   br i1 undef, label %"13", label %"12"
28 "12":                                             ; preds = %"8", %entry
29   ret void
31 "13":                                             ; preds = %"8"
32   ret void