1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=slp-vectorizer,dce -S -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7 | FileCheck %s 3 4target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128" 5target triple = "x86_64-apple-macosx10.8.0" 6 7; Function Attrs: nounwind ssp uwtable 8define void @RCModelEstimator(i1 %arg) { 9; CHECK-LABEL: @RCModelEstimator( 10; CHECK-NEXT: entry: 11; CHECK-NEXT: br i1 %arg, label [[FOR_BODY_LR_PH:%.*]], label [[FOR_END_THREAD:%.*]] 12; CHECK: for.end.thread: 13; CHECK-NEXT: unreachable 14; CHECK: for.body.lr.ph: 15; CHECK-NEXT: br i1 %arg, label [[FOR_END:%.*]], label [[FOR_BODY:%.*]] 16; CHECK: for.body: 17; CHECK-NEXT: br i1 %arg, label [[FOR_END]], label [[FOR_BODY]] 18; CHECK: for.end: 19; CHECK-NEXT: br i1 %arg, label [[FOR_BODY3:%.*]], label [[IF_END103:%.*]] 20; CHECK: for.cond14.preheader: 21; CHECK-NEXT: br i1 %arg, label [[FOR_BODY16_LR_PH:%.*]], label [[IF_END103]] 22; CHECK: for.body16.lr.ph: 23; CHECK-NEXT: br label [[FOR_BODY16:%.*]] 24; CHECK: for.body3: 25; CHECK-NEXT: br i1 %arg, label [[IF_THEN7:%.*]], label [[FOR_INC11:%.*]] 26; CHECK: if.then7: 27; CHECK-NEXT: br label [[FOR_INC11]] 28; CHECK: for.inc11: 29; CHECK-NEXT: br i1 false, label [[FOR_COND14_PREHEADER:%.*]], label [[FOR_BODY3]] 30; CHECK: for.body16: 31; CHECK-NEXT: br i1 %arg, label [[FOR_END39:%.*]], label [[FOR_BODY16]] 32; CHECK: for.end39: 33; CHECK-NEXT: br i1 %arg, label [[IF_END103]], label [[FOR_COND45_PREHEADER:%.*]] 34; CHECK: for.cond45.preheader: 35; CHECK-NEXT: br i1 %arg, label [[IF_THEN88:%.*]], label [[IF_ELSE:%.*]] 36; CHECK: if.then88: 37; CHECK-NEXT: br label [[IF_END103]] 38; CHECK: if.else: 39; CHECK-NEXT: br label [[IF_END103]] 40; CHECK: if.end103: 41; CHECK-NEXT: ret void 42; 43entry: 44 br i1 %arg, label %for.body.lr.ph, label %for.end.thread 45 46for.end.thread: ; preds = %entry 47 unreachable 48 49for.body.lr.ph: ; preds = %entry 50 br i1 %arg, label %for.end, label %for.body 51 52for.body: ; preds = %for.body, %for.body.lr.ph 53 br i1 %arg, label %for.end, label %for.body 54 55for.end: ; preds = %for.body, %for.body.lr.ph 56 br i1 %arg, label %for.body3, label %if.end103 57 58for.cond14.preheader: ; preds = %for.inc11 59 br i1 %arg, label %for.body16.lr.ph, label %if.end103 60 61for.body16.lr.ph: ; preds = %for.cond14.preheader 62 br label %for.body16 63 64for.body3: ; preds = %for.inc11, %for.end 65 br i1 %arg, label %if.then7, label %for.inc11 66 67if.then7: ; preds = %for.body3 68 br label %for.inc11 69 70for.inc11: ; preds = %if.then7, %for.body3 71 br i1 false, label %for.cond14.preheader, label %for.body3 72 73for.body16: ; preds = %for.body16, %for.body16.lr.ph 74 br i1 %arg, label %for.end39, label %for.body16 75 76for.end39: ; preds = %for.body16 77 br i1 %arg, label %if.end103, label %for.cond45.preheader 78 79for.cond45.preheader: ; preds = %for.end39 80 br i1 %arg, label %if.then88, label %if.else 81 82if.then88: ; preds = %for.cond45.preheader 83 %mul89 = fmul double 0.000000e+00, 0.000000e+00 84 %mul90 = fmul double 0.000000e+00, 0.000000e+00 85 %sub91 = fsub double %mul89, %mul90 86 %div92 = fdiv double %sub91, undef 87 %mul94 = fmul double 0.000000e+00, 0.000000e+00 88 %mul95 = fmul double 0.000000e+00, 0.000000e+00 89 %sub96 = fsub double %mul94, %mul95 90 %div97 = fdiv double %sub96, undef 91 br label %if.end103 92 93if.else: ; preds = %for.cond45.preheader 94 br label %if.end103 95 96if.end103: ; preds = %if.else, %if.then88, %for.end39, %for.cond14.preheader, %for.end 97 %0 = phi double [ 0.000000e+00, %for.end39 ], [ %div97, %if.then88 ], [ 0.000000e+00, %if.else ], [ 0.000000e+00, %for.cond14.preheader ], [ 0.000000e+00, %for.end ] 98 %1 = phi double [ undef, %for.end39 ], [ %div92, %if.then88 ], [ undef, %if.else ], [ 0.000000e+00, %for.cond14.preheader ], [ 0.000000e+00, %for.end ] 99 ret void 100} 101 102 103define void @intrapred_luma() { 104; CHECK-LABEL: @intrapred_luma( 105; CHECK-NEXT: entry: 106; CHECK-NEXT: [[CONV153:%.*]] = trunc i32 undef to i16 107; CHECK-NEXT: [[ARRAYIDX154:%.*]] = getelementptr inbounds [13 x i16], ptr undef, i64 0, i64 12 108; CHECK-NEXT: store i16 [[CONV153]], ptr [[ARRAYIDX154]], align 8 109; CHECK-NEXT: [[ARRAYIDX155:%.*]] = getelementptr inbounds [13 x i16], ptr undef, i64 0, i64 11 110; CHECK-NEXT: store i16 [[CONV153]], ptr [[ARRAYIDX155]], align 2 111; CHECK-NEXT: [[ARRAYIDX156:%.*]] = getelementptr inbounds [13 x i16], ptr undef, i64 0, i64 10 112; CHECK-NEXT: store i16 [[CONV153]], ptr [[ARRAYIDX156]], align 4 113; CHECK-NEXT: ret void 114; 115entry: 116 %conv153 = trunc i32 undef to i16 117 %arrayidx154 = getelementptr inbounds [13 x i16], ptr undef, i64 0, i64 12 118 store i16 %conv153, ptr %arrayidx154, align 8 119 %arrayidx155 = getelementptr inbounds [13 x i16], ptr undef, i64 0, i64 11 120 store i16 %conv153, ptr %arrayidx155, align 2 121 %arrayidx156 = getelementptr inbounds [13 x i16], ptr undef, i64 0, i64 10 122 store i16 %conv153, ptr %arrayidx156, align 4 123 ret void 124} 125 126define fastcc void @dct36(ptr %inbuf) { 127; CHECK-LABEL: @dct36( 128; CHECK-NEXT: entry: 129; CHECK-NEXT: [[ARRAYIDX44:%.*]] = getelementptr inbounds double, ptr [[INBUF:%.*]], i64 1 130; CHECK-NEXT: [[TMP0:%.*]] = load <2 x double>, ptr [[INBUF]], align 8 131; CHECK-NEXT: [[TMP1:%.*]] = shufflevector <2 x double> [[TMP0]], <2 x double> poison, <2 x i32> <i32 1, i32 1> 132; CHECK-NEXT: [[TMP2:%.*]] = fadd <2 x double> [[TMP0]], [[TMP1]] 133; CHECK-NEXT: store <2 x double> [[TMP2]], ptr [[ARRAYIDX44]], align 8 134; CHECK-NEXT: ret void 135; 136entry: 137 %arrayidx41 = getelementptr inbounds double, ptr %inbuf, i64 2 138 %arrayidx44 = getelementptr inbounds double, ptr %inbuf, i64 1 139 %0 = load double, ptr %arrayidx44, align 8 140 %add46 = fadd double %0, undef 141 store double %add46, ptr %arrayidx41, align 8 142 %1 = load double, ptr %inbuf, align 8 143 %add49 = fadd double %1, %0 144 store double %add49, ptr %arrayidx44, align 8 145 ret void 146} 147