llvm/test/Transforms/GVN/pr17852.ll

; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
; RUN: opt -passes=gvn -S -o - < %s | FileCheck %s

target 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"
%struct.S0 = type { [2 x i8], [2 x i8], [4 x i8], [2 x i8], i32, i32, i32, i32 }

define void @fn1(ptr byval(%struct.S0) align 8 %p1) {
; CHECK-LABEL: define void @fn1(
; CHECK-SAME: ptr byval([[STRUCT_S0:%.*]]) align 8 [[P1:%.*]]) {
; CHECK-NEXT:    br label %[[FOR_COND:.*]]
; CHECK:       [[FOR_COND]]:
; CHECK-NEXT:    br i1 true, label %[[IF_ELSE:.*]], label %[[IF_THEN:.*]]
; CHECK:       [[BB1:.*:]]
; CHECK-NEXT:    [[F2:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 2
; CHECK-NEXT:    [[F9:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 7
; CHECK-NEXT:    br label %[[FOR_COND]]
; CHECK:       [[IF_THEN]]:
; CHECK-NEXT:    [[F22:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 2
; CHECK-NEXT:    [[F7:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 5
; CHECK-NEXT:    [[TMP7:%.*]] = load i32, ptr [[F7]], align 8
; CHECK-NEXT:    br label %[[IF_END40:.*]]
; CHECK:       [[IF_ELSE]]:
; CHECK-NEXT:    br i1 false, label %[[FOR_COND18:.*]], label %[[IF_THEN6:.*]]
; CHECK:       [[IF_THEN6]]:
; CHECK-NEXT:    [[F3:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 2
; CHECK-NEXT:    [[F5:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 3
; CHECK-NEXT:    br label %[[IF_END36:.*]]
; CHECK:       [[FOR_COND18]]:
; CHECK-NEXT:    call void @fn4()
; CHECK-NEXT:    br i1 true, label %[[IF_END:.*]], label %[[FOR_COND18_IF_END36_CRIT_EDGE:.*]]
; CHECK:       [[FOR_COND18_IF_END36_CRIT_EDGE]]:
; CHECK-NEXT:    br label %[[IF_END36]]
; CHECK:       [[IF_END]]:
; CHECK-NEXT:    [[F321:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 2
; CHECK-NEXT:    [[F925:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 7
; CHECK-NEXT:    [[F526:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 3
; CHECK-NEXT:    [[BF_LOAD27:%.*]] = load i16, ptr [[F526]], align 8
; CHECK-NEXT:    br label %[[IF_END36]]
; CHECK:       [[IF_END36]]:
; CHECK-NEXT:    [[F537:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 3
; CHECK-NEXT:    [[BF_LOAD38:%.*]] = load i16, ptr [[F537]], align 8
; CHECK-NEXT:    [[BF_CLEAR39:%.*]] = and i16 [[BF_LOAD38]], -16384
; CHECK-NEXT:    br label %[[IF_END40]]
; CHECK:       [[IF_END40]]:
; CHECK-NEXT:    [[BF_LOAD522:%.*]] = phi i16 [ [[BF_LOAD38]], %[[IF_END36]] ], [ poison, %[[IF_THEN]] ]
; CHECK-NEXT:    [[F6:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 4
; CHECK-NEXT:    [[TMP18:%.*]] = load i32, ptr [[F6]], align 4
; CHECK-NEXT:    call void @fn2(i32 [[TMP18]])
; CHECK-NEXT:    [[F8:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 6
; CHECK-NEXT:    [[TMP19:%.*]] = load i32, ptr [[F8]], align 4
; CHECK-NEXT:    [[TOBOOL41:%.*]] = icmp eq i32 [[TMP19]], 0
; CHECK-NEXT:    br i1 true, label %[[IF_END40_IF_END50_CRIT_EDGE:.*]], label %[[IF_THEN42:.*]]
; CHECK:       [[IF_END40_IF_END50_CRIT_EDGE]]:
; CHECK-NEXT:    [[F551_PHI_TRANS_INSERT:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 3
; CHECK-NEXT:    [[BF_LOAD52_PRE:%.*]] = load i16, ptr [[F551_PHI_TRANS_INSERT]], align 8
; CHECK-NEXT:    br label %[[IF_END50:.*]]
; CHECK:       [[IF_THEN42]]:
; CHECK-NEXT:    [[F547:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 3
; CHECK-NEXT:    [[BF_LOAD48:%.*]] = load i16, ptr [[F547]], align 8
; CHECK-NEXT:    br label %[[IF_END50]]
; CHECK:       [[IF_END50]]:
; CHECK-NEXT:    [[BF_LOAD52:%.*]] = phi i16 [ [[BF_LOAD52_PRE]], %[[IF_END40_IF_END50_CRIT_EDGE]] ], [ [[BF_LOAD522]], %[[IF_THEN42]] ]
; CHECK-NEXT:    [[F551:%.*]] = getelementptr inbounds [[STRUCT_S0]], ptr [[P1]], i64 0, i32 3
; CHECK-NEXT:    [[BF_CLEAR53:%.*]] = and i16 [[BF_LOAD52]], -16384
; CHECK-NEXT:    ret void
;
  br label %for.cond
for.cond:                                         ; preds = %1, %0
  br label %for.end
  %f2 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 2
  %f9 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 7
  br label %for.cond
for.end:                                          ; preds = %for.cond
  br i1 true, label %if.else, label %if.then
if.then:                                          ; preds = %for.end
  %f22 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 2
  %f7 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 5
  %tmp7 = load i32, ptr %f7, align 8
  br label %if.end40
if.else:                                          ; preds = %for.end
  br i1 false, label %for.cond18, label %if.then6
if.then6:                                         ; preds = %if.else
  %f3 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 2
  %f5 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 3
  %bf.load13 = load i16, ptr %f5, align 8
  br label %if.end36
for.cond18:                                       ; preds = %if.else
  call void @fn4()
  br i1 true, label %if.end, label %if.end36
if.end:                                           ; preds = %for.cond18
  %f321 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 2
  %f925 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 7
  %f526 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 3
  %bf.load27 = load i16, ptr %f526, align 8
  br label %if.end36
if.end36:                                         ; preds = %if.end, %for.cond18, %if.then6
  %f537 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 3
  %bf.load38 = load i16, ptr %f537, align 8
  %bf.clear39 = and i16 %bf.load38, -16384
  br label %if.end40
if.end40:                                         ; preds = %if.end36, %if.then
  %f6 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 4
  %tmp18 = load i32, ptr %f6, align 4
  call void @fn2(i32 %tmp18)
  %f8 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 6
  %tmp19 = load i32, ptr %f8, align 4
  %tobool41 = icmp eq i32 %tmp19, 0
  br i1 true, label %if.end50, label %if.then42
if.then42:                                        ; preds = %if.end40
  %f547 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 3
  %bf.load48 = load i16, ptr %f547, align 8
  br label %if.end50
if.end50:                                         ; preds = %if.then42, %if.end40
  %f551 = getelementptr inbounds %struct.S0, ptr %p1, i64 0, i32 3
  %bf.load52 = load i16, ptr %f551, align 8
  %bf.clear53 = and i16 %bf.load52, -16384
  ret void
}
declare void @fn2(i32)
declare void @fn4()