[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / GVN / 2007-07-31-RedundantPhi.ll
blob11ec736d2dffd0202fb510d0a0bb26e5c4f62b71
1 ; RUN: opt < %s -basicaa -gvn -S | FileCheck %s
3 @img_width = external global i16                ; <i16*> [#uses=2]
5 define i32 @smpUMHEXBipredIntegerPelBlockMotionSearch(i16* %cur_pic, i16 signext  %ref, i32 %list, i32 %pic_pix_x, i32 %pic_pix_y, i32 %blocktype, i16 signext  %pred_mv_x1, i16 signext  %pred_mv_y1, i16 signext  %pred_mv_x2, i16 signext  %pred_mv_y2, i16* %mv_x, i16* %mv_y, i16* %s_mv_x, i16* %s_mv_y, i32 %search_range, i32 %min_mcost, i32 %lambda_factor) {
6 cond_next143:           ; preds = %entry
7         store i16 0, i16* @img_width, align 2
8         br i1 false, label %cond_next449, label %cond_false434
10 cond_false434:          ; preds = %cond_true415
11         br label %cond_next449
13 cond_next449:           ; preds = %cond_false434, %cond_true415
14         br i1 false, label %cond_next698, label %cond_false470
16 cond_false470:          ; preds = %cond_next449
17         br label %cond_next698
19 cond_next698:           ; preds = %cond_true492
20         %tmp701 = load i16, i16* @img_width, align 2            ; <i16> [#uses=0]
21 ; CHECK-NOT: %tmp701 =
22         ret i32 0