121 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -passes=gvn -S -o - < %s | FileCheck %s3 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"5%struct.S0 = type { [2 x i8], [2 x i8], [4 x i8], [2 x i8], i32, i32, i32, i32 }6 7define void @fn1(ptr byval(%struct.S0) align 8 %p1) {8; CHECK-LABEL: define void @fn1(9; CHECK-SAME: ptr byval([[STRUCT_S0:%.*]]) align 8 [[P1:%.*]]) {10; CHECK-NEXT: br label %[[FOR_COND:.*]]11; CHECK: [[FOR_COND]]:12; CHECK-NEXT: br i1 true, label %[[IF_ELSE:.*]], label %[[IF_THEN:.*]]13; CHECK: [[BB1:.*:]]14; CHECK-NEXT: [[F2:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 215; CHECK-NEXT: [[F9:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 716; CHECK-NEXT: br label %[[FOR_COND]]17; CHECK: [[IF_THEN]]:18; CHECK-NEXT: [[F22:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 219; CHECK-NEXT: [[F7:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 520; CHECK-NEXT: [[TMP7:%.*]] = load i32, ptr [[F7]], align 821; CHECK-NEXT: br label %[[IF_END40:.*]]22; CHECK: [[IF_ELSE]]:23; CHECK-NEXT: br i1 false, label %[[FOR_COND18:.*]], label %[[IF_THEN6:.*]]24; CHECK: [[IF_THEN6]]:25; CHECK-NEXT: [[F3:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 226; CHECK-NEXT: [[F5:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 327; CHECK-NEXT: br label %[[IF_END36:.*]]28; CHECK: [[FOR_COND18]]:29; CHECK-NEXT: call void @fn4()30; CHECK-NEXT: br i1 true, label %[[IF_END:.*]], label %[[FOR_COND18_IF_END36_CRIT_EDGE:.*]]31; CHECK: [[FOR_COND18_IF_END36_CRIT_EDGE]]:32; CHECK-NEXT: br label %[[IF_END36]]33; CHECK: [[IF_END]]:34; CHECK-NEXT: [[F321:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 235; CHECK-NEXT: [[F925:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 736; CHECK-NEXT: [[F526:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 337; CHECK-NEXT: [[BF_LOAD27:%.*]] = load i16, ptr [[F526]], align 838; CHECK-NEXT: br label %[[IF_END36]]39; CHECK: [[IF_END36]]:40; CHECK-NEXT: [[F537:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 341; CHECK-NEXT: [[BF_LOAD38:%.*]] = load i16, ptr [[F537]], align 842; CHECK-NEXT: [[BF_CLEAR39:%.*]] = and i16 [[BF_LOAD38]], -1638443; CHECK-NEXT: br label %[[IF_END40]]44; CHECK: [[IF_END40]]:45; CHECK-NEXT: [[BF_LOAD522:%.*]] = phi i16 [ [[BF_LOAD38]], %[[IF_END36]] ], [ poison, %[[IF_THEN]] ]46; CHECK-NEXT: [[F6:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 447; CHECK-NEXT: [[TMP18:%.*]] = load i32, ptr [[F6]], align 448; CHECK-NEXT: call void @fn2(i32 [[TMP18]])49; CHECK-NEXT: [[F8:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 650; CHECK-NEXT: [[TMP19:%.*]] = load i32, ptr [[F8]], align 451; CHECK-NEXT: [[TOBOOL41:%.*]] = icmp eq i32 [[TMP19]], 052; CHECK-NEXT: br i1 true, label %[[IF_END40_IF_END50_CRIT_EDGE:.*]], label %[[IF_THEN42:.*]]53; CHECK: [[IF_END40_IF_END50_CRIT_EDGE]]:54; CHECK-NEXT: [[F551_PHI_TRANS_INSERT:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 355; CHECK-NEXT: [[BF_LOAD52_PRE:%.*]] = load i16, ptr [[F551_PHI_TRANS_INSERT]], align 856; CHECK-NEXT: br label %[[IF_END50:.*]]57; CHECK: [[IF_THEN42]]:58; CHECK-NEXT: [[F547:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 359; CHECK-NEXT: [[BF_LOAD48:%.*]] = load i16, ptr [[F547]], align 860; CHECK-NEXT: br label %[[IF_END50]]61; CHECK: [[IF_END50]]:62; CHECK-NEXT: [[BF_LOAD52:%.*]] = phi i16 [ [[BF_LOAD52_PRE]], %[[IF_END40_IF_END50_CRIT_EDGE]] ], [ [[BF_LOAD522]], %[[IF_THEN42]] ]63; CHECK-NEXT: [[F551:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 364; CHECK-NEXT: [[BF_CLEAR53:%.*]] = and i16 [[BF_LOAD52]], -1638465; CHECK-NEXT: ret void66;67 br label %for.cond68for.cond: ; preds = %1, %069 br label %for.end70 %f2 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 271 %f9 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 772 br label %for.cond73for.end: ; preds = %for.cond74 br i1 true, label %if.else, label %if.then75if.then: ; preds = %for.end76 %f22 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 277 %f7 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 578 %tmp7 = load i32, ptr %f7, align 879 br label %if.end4080if.else: ; preds = %for.end81 br i1 false, label %for.cond18, label %if.then682if.then6: ; preds = %if.else83 %f3 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 284 %f5 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 385 %bf.load13 = load i16, ptr %f5, align 886 br label %if.end3687for.cond18: ; preds = %if.else88 call void @fn4()89 br i1 true, label %if.end, label %if.end3690if.end: ; preds = %for.cond1891 %f321 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 292 %f925 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 793 %f526 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 394 %bf.load27 = load i16, ptr %f526, align 895 br label %if.end3696if.end36: ; preds = %if.end, %for.cond18, %if.then697 %f537 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 398 %bf.load38 = load i16, ptr %f537, align 899 %bf.clear39 = and i16 %bf.load38, -16384100 br label %if.end40101if.end40: ; preds = %if.end36, %if.then102 %f6 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 4103 %tmp18 = load i32, ptr %f6, align 4104 call void @fn2(i32 %tmp18)105 %f8 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 6106 %tmp19 = load i32, ptr %f8, align 4107 %tobool41 = icmp eq i32 %tmp19, 0108 br i1 true, label %if.end50, label %if.then42109if.then42: ; preds = %if.end40110 %f547 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 3111 %bf.load48 = load i16, ptr %f547, align 8112 br label %if.end50113if.end50: ; preds = %if.then42, %if.end40114 %f551 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 3115 %bf.load52 = load i16, ptr %f551, align 8116 %bf.clear53 = and i16 %bf.load52, -16384117 ret void118}119declare void @fn2(i32)120declare void @fn4()121