diff --git a/llvm/test/Transforms/TypePromotion/AArch64/convert-utf.ll b/llvm/test/Transforms/TypePromotion/AArch64/convert-utf.ll new file mode 100644 index 00000000000000..b77ffc041c9247 --- /dev/null +++ b/llvm/test/Transforms/TypePromotion/AArch64/convert-utf.ll @@ -0,0 +1,435 @@ +; NOTE: Assertions have been autogenerated by utils/update_test_checks.py +; RUN: opt -mtriple=aarch64 -type-promotion -verify -dce -S %s -o - | FileCheck %s + +target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" + +@_ZN4llvmL20trailingBytesForUTF8E = internal unnamed_addr constant [256 x i8] c"\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\01\02\02\02\02\02\02\02\02\02\02\02\02\02\02\02\02\03\03\03\03\03\03\03\03\04\04\04\04\05\05\05\05", align 1 +@_ZN4llvmL15offsetsFromUTF8E = internal unnamed_addr constant [6 x i32] [i32 0, i32 12416, i32 925824, i32 63447168, i32 -100130688, i32 -2113396608], align 4 + +define dso_local noundef i32 @_ZN4llvm18ConvertUTF8toUTF16EPPKhS1_PPtS3_NS_15ConversionFlagsE(i8** nocapture noundef %sourceStart, i8* noundef %sourceEnd, i16** nocapture noundef %targetStart, i16* noundef readnone %targetEnd, i32 noundef %flags) local_unnamed_addr { +; CHECK-LABEL: @_ZN4llvm18ConvertUTF8toUTF16EPPKhS1_PPtS3_NS_15ConversionFlagsE( +; CHECK-NEXT: entry: +; CHECK-NEXT: [[I:%.*]] = load i8*, i8** [[SOURCESTART:%.*]], align 8 +; CHECK-NEXT: [[I1:%.*]] = load i16*, i16** [[TARGETSTART:%.*]], align 8 +; CHECK-NEXT: [[SUB_PTR_LHS_CAST:%.*]] = ptrtoint i8* [[SOURCEEND:%.*]] to i64 +; CHECK-NEXT: [[CMP61:%.*]] = icmp eq i32 [[FLAGS:%.*]], 0 +; CHECK-NEXT: [[CMP183:%.*]] = icmp ult i8* [[I]], [[SOURCEEND]] +; CHECK-NEXT: br i1 [[CMP183]], label [[WHILE_BODY:%.*]], label [[WHILE_END:%.*]] +; CHECK: while.body: +; CHECK-NEXT: [[TARGET_0186:%.*]] = phi i16* [ [[TARGET_2:%.*]], [[CLEANUP:%.*]] ], [ [[I1]], [[ENTRY:%.*]] ] +; CHECK-NEXT: [[SOURCE_0184:%.*]] = phi i8* [ [[SOURCE_6:%.*]], [[CLEANUP]] ], [ [[I]], [[ENTRY]] ] +; CHECK-NEXT: [[I2:%.*]] = load i8, i8* [[SOURCE_0184]], align 1 +; CHECK-NEXT: [[TMP0:%.*]] = zext i8 [[I2]] to i32 +; CHECK-NEXT: [[IDXPROM:%.*]] = zext i32 [[TMP0]] to i64 +; CHECK-NEXT: [[ARRAYIDX:%.*]] = getelementptr inbounds [256 x i8], [256 x i8]* @_ZN4llvmL20trailingBytesForUTF8E, i64 0, i64 [[IDXPROM]] +; CHECK-NEXT: [[I3:%.*]] = load i8, i8* [[ARRAYIDX]], align 1 +; CHECK-NEXT: [[CONV1:%.*]] = zext i8 [[I3]] to i64 +; CHECK-NEXT: [[SUB_PTR_RHS_CAST:%.*]] = ptrtoint i8* [[SOURCE_0184]] to i64 +; CHECK-NEXT: [[SUB_PTR_SUB:%.*]] = sub i64 [[SUB_PTR_LHS_CAST]], [[SUB_PTR_RHS_CAST]] +; CHECK-NEXT: [[CMP2_NOT:%.*]] = icmp sgt i64 [[SUB_PTR_SUB]], [[CONV1]] +; CHECK-NEXT: br i1 [[CMP2_NOT]], label [[IF_END:%.*]], label [[WHILE_END]] +; CHECK: if.end: +; CHECK-NEXT: [[ADD:%.*]] = add nuw nsw i64 [[CONV1]], 1 +; CHECK-NEXT: [[ADD_PTR_I:%.*]] = getelementptr inbounds i8, i8* [[SOURCE_0184]], i64 [[ADD]] +; CHECK-NEXT: switch i8 [[I3]], label [[WHILE_END]] [ +; CHECK-NEXT: i8 3, label [[SW_BB_I:%.*]] +; CHECK-NEXT: i8 2, label [[SW_BB3_I:%.*]] +; CHECK-NEXT: i8 1, label [[SW_BB12_I:%.*]] +; CHECK-NEXT: i8 0, label [[SW_BB47_I:%.*]] +; CHECK-NEXT: ] +; CHECK: sw.bb.i: +; CHECK-NEXT: [[INCDEC_PTR_I:%.*]] = getelementptr inbounds i8, i8* [[SOURCE_0184]], i64 [[CONV1]] +; CHECK-NEXT: [[I4:%.*]] = load i8, i8* [[INCDEC_PTR_I]], align 1 +; CHECK-NEXT: [[I5:%.*]] = icmp sgt i8 [[I4]], -65 +; CHECK-NEXT: br i1 [[I5]], label [[WHILE_END]], label [[SW_BB3_I]] +; CHECK: sw.bb3.i: +; CHECK-NEXT: [[I6:%.*]] = phi i64 [ [[ADD]], [[IF_END]] ], [ 3, [[SW_BB_I]] ] +; CHECK-NEXT: [[I7:%.*]] = getelementptr inbounds i8, i8* [[SOURCE_0184]], i64 -1 +; CHECK-NEXT: [[INCDEC_PTR4_I:%.*]] = getelementptr inbounds i8, i8* [[I7]], i64 [[I6]] +; CHECK-NEXT: [[I8:%.*]] = load i8, i8* [[INCDEC_PTR4_I]], align 1 +; CHECK-NEXT: [[I9:%.*]] = icmp sgt i8 [[I8]], -65 +; CHECK-NEXT: br i1 [[I9]], label [[WHILE_END]], label [[SW_BB12_I]] +; CHECK: sw.bb12.i: +; CHECK-NEXT: [[SRCPTR_1_I:%.*]] = phi i8* [ [[ADD_PTR_I]], [[IF_END]] ], [ [[INCDEC_PTR4_I]], [[SW_BB3_I]] ] +; CHECK-NEXT: [[INCDEC_PTR13_I:%.*]] = getelementptr inbounds i8, i8* [[SRCPTR_1_I]], i64 -1 +; CHECK-NEXT: [[I10:%.*]] = load i8, i8* [[INCDEC_PTR13_I]], align 1 +; CHECK-NEXT: [[TMP1:%.*]] = zext i8 [[I10]] to i32 +; CHECK-NEXT: [[TMP2:%.*]] = trunc i32 [[TMP1]] to i8 +; CHECK-NEXT: [[I11:%.*]] = icmp sgt i8 [[TMP2]], -65 +; CHECK-NEXT: br i1 [[I11]], label [[WHILE_END]], label [[IF_END20_I:%.*]] +; CHECK: if.end20.i: +; CHECK-NEXT: switch i32 [[TMP0]], label [[SW_BB47_I]] [ +; CHECK-NEXT: i32 224, label [[SW_BB22_I:%.*]] +; CHECK-NEXT: i32 237, label [[SW_BB27_I:%.*]] +; CHECK-NEXT: i32 240, label [[SW_BB32_I:%.*]] +; CHECK-NEXT: i32 244, label [[SW_BB37_I:%.*]] +; CHECK-NEXT: ] +; CHECK: sw.bb22.i: +; CHECK-NEXT: [[CMP24_I:%.*]] = icmp ult i32 [[TMP1]], 160 +; CHECK-NEXT: br i1 [[CMP24_I]], label [[WHILE_END]], label [[IF_END5:%.*]] +; CHECK: sw.bb27.i: +; CHECK-NEXT: [[CMP29_I:%.*]] = icmp ugt i32 [[TMP1]], 159 +; CHECK-NEXT: br i1 [[CMP29_I]], label [[WHILE_END]], label [[IF_END5]] +; CHECK: sw.bb32.i: +; CHECK-NEXT: [[CMP34_I:%.*]] = icmp ult i32 [[TMP1]], 144 +; CHECK-NEXT: br i1 [[CMP34_I]], label [[WHILE_END]], label [[IF_END5]] +; CHECK: sw.bb37.i: +; CHECK-NEXT: [[CMP39_I:%.*]] = icmp ugt i32 [[TMP1]], 143 +; CHECK-NEXT: br i1 [[CMP39_I]], label [[WHILE_END]], label [[IF_END5]] +; CHECK: sw.bb47.i: +; CHECK-NEXT: [[TMP3:%.*]] = trunc i32 [[TMP0]] to i8 +; CHECK-NEXT: [[I12:%.*]] = icmp slt i8 [[TMP3]], -62 +; CHECK-NEXT: [[CMP56_I:%.*]] = icmp ugt i32 [[TMP0]], 244 +; CHECK-NEXT: [[OR_COND:%.*]] = or i1 [[I12]], [[CMP56_I]] +; CHECK-NEXT: br i1 [[OR_COND]], label [[WHILE_END]], label [[IF_END5]] +; CHECK: if.end5: +; CHECK-NEXT: switch i8 [[I3]], label [[SW_EPILOG:%.*]] [ +; CHECK-NEXT: i8 0, label [[SW_BB29:%.*]] +; CHECK-NEXT: i8 1, label [[SW_BB24:%.*]] +; CHECK-NEXT: i8 3, label [[SW_BB14:%.*]] +; CHECK-NEXT: i8 2, label [[SW_BB19:%.*]] +; CHECK-NEXT: ] +; CHECK: sw.bb14: +; CHECK-NEXT: [[INCDEC_PTR15:%.*]] = getelementptr inbounds i8, i8* [[SOURCE_0184]], i64 1 +; CHECK-NEXT: [[CONV16:%.*]] = zext i8 [[I2]] to i32 +; CHECK-NEXT: [[SHL18:%.*]] = shl nuw nsw i32 [[CONV16]], 6 +; CHECK-NEXT: [[DOTPRE232:%.*]] = load i8, i8* [[INCDEC_PTR15]], align 1 +; CHECK-NEXT: [[TMP4:%.*]] = zext i8 [[DOTPRE232]] to i32 +; CHECK-NEXT: br label [[SW_BB19]] +; CHECK: sw.bb19: +; CHECK-NEXT: [[I13:%.*]] = phi i32 [ [[TMP0]], [[IF_END5]] ], [ [[TMP4]], [[SW_BB14]] ] +; CHECK-NEXT: [[SOURCE_3:%.*]] = phi i8* [ [[SOURCE_0184]], [[IF_END5]] ], [ [[INCDEC_PTR15]], [[SW_BB14]] ] +; CHECK-NEXT: [[CH_2:%.*]] = phi i32 [ 0, [[IF_END5]] ], [ [[SHL18]], [[SW_BB14]] ] +; CHECK-NEXT: [[INCDEC_PTR20:%.*]] = getelementptr inbounds i8, i8* [[SOURCE_3]], i64 1 +; CHECK-NEXT: [[ADD22:%.*]] = add nuw nsw i32 [[CH_2]], [[I13]] +; CHECK-NEXT: [[SHL23:%.*]] = shl nsw i32 [[ADD22]], 6 +; CHECK-NEXT: [[DOTPRE233:%.*]] = load i8, i8* [[INCDEC_PTR20]], align 1 +; CHECK-NEXT: [[TMP5:%.*]] = zext i8 [[DOTPRE233]] to i32 +; CHECK-NEXT: br label [[SW_BB24]] +; CHECK: sw.bb24: +; CHECK-NEXT: [[I14:%.*]] = phi i32 [ [[TMP0]], [[IF_END5]] ], [ [[TMP5]], [[SW_BB19]] ] +; CHECK-NEXT: [[SOURCE_4:%.*]] = phi i8* [ [[SOURCE_0184]], [[IF_END5]] ], [ [[INCDEC_PTR20]], [[SW_BB19]] ] +; CHECK-NEXT: [[CH_3:%.*]] = phi i32 [ 0, [[IF_END5]] ], [ [[SHL23]], [[SW_BB19]] ] +; CHECK-NEXT: [[INCDEC_PTR25:%.*]] = getelementptr inbounds i8, i8* [[SOURCE_4]], i64 1 +; CHECK-NEXT: [[ADD27:%.*]] = add nsw i32 [[CH_3]], [[I14]] +; CHECK-NEXT: [[SHL28:%.*]] = shl i32 [[ADD27]], 6 +; CHECK-NEXT: [[DOTPRE234:%.*]] = load i8, i8* [[INCDEC_PTR25]], align 1 +; CHECK-NEXT: [[TMP6:%.*]] = zext i8 [[DOTPRE234]] to i32 +; CHECK-NEXT: br label [[SW_BB29]] +; CHECK: sw.bb29: +; CHECK-NEXT: [[I15:%.*]] = phi i32 [ [[TMP0]], [[IF_END5]] ], [ [[TMP6]], [[SW_BB24]] ] +; CHECK-NEXT: [[SOURCE_5:%.*]] = phi i8* [ [[SOURCE_0184]], [[IF_END5]] ], [ [[INCDEC_PTR25]], [[SW_BB24]] ] +; CHECK-NEXT: [[CH_4:%.*]] = phi i32 [ 0, [[IF_END5]] ], [ [[SHL28]], [[SW_BB24]] ] +; CHECK-NEXT: [[INCDEC_PTR30:%.*]] = getelementptr inbounds i8, i8* [[SOURCE_5]], i64 1 +; CHECK-NEXT: [[ADD32:%.*]] = add i32 [[CH_4]], [[I15]] +; CHECK-NEXT: br label [[SW_EPILOG]] +; CHECK: sw.epilog: +; CHECK-NEXT: [[SOURCE_6]] = phi i8* [ [[SOURCE_0184]], [[IF_END5]] ], [ [[INCDEC_PTR30]], [[SW_BB29]] ] +; CHECK-NEXT: [[CH_5:%.*]] = phi i32 [ 0, [[IF_END5]] ], [ [[ADD32]], [[SW_BB29]] ] +; CHECK-NEXT: [[ARRAYIDX34:%.*]] = getelementptr inbounds [6 x i32], [6 x i32]* @_ZN4llvmL15offsetsFromUTF8E, i64 0, i64 [[CONV1]] +; CHECK-NEXT: [[I16:%.*]] = load i32, i32* [[ARRAYIDX34]], align 4 +; CHECK-NEXT: [[SUB:%.*]] = sub i32 [[CH_5]], [[I16]] +; CHECK-NEXT: [[CMP35_NOT:%.*]] = icmp ult i16* [[TARGET_0186]], [[TARGETEND:%.*]] +; CHECK-NEXT: br i1 [[CMP35_NOT]], label [[IF_END39:%.*]], label [[IF_THEN36:%.*]] +; CHECK: if.then36: +; CHECK-NEXT: [[CONV1_LE258:%.*]] = zext i8 [[I3]] to i64 +; CHECK-NEXT: [[IDX_NEG:%.*]] = xor i64 [[CONV1_LE258]], -1 +; CHECK-NEXT: [[ADD_PTR:%.*]] = getelementptr inbounds i8, i8* [[SOURCE_6]], i64 [[IDX_NEG]] +; CHECK-NEXT: br label [[WHILE_END]] +; CHECK: if.end39: +; CHECK-NEXT: [[CMP40:%.*]] = icmp ult i32 [[SUB]], 65536 +; CHECK-NEXT: br i1 [[CMP40]], label [[IF_THEN41:%.*]], label [[IF_ELSE58:%.*]] +; CHECK: if.then41: +; CHECK-NEXT: [[I17:%.*]] = and i32 [[SUB]], -2048 +; CHECK-NEXT: [[I18:%.*]] = icmp eq i32 [[I17]], 55296 +; CHECK-NEXT: br i1 [[I18]], label [[IF_THEN44:%.*]], label [[IF_ELSE54:%.*]] +; CHECK: if.then44: +; CHECK-NEXT: br i1 [[CMP61]], label [[IF_THEN46:%.*]], label [[IF_ELSE:%.*]] +; CHECK: if.then46: +; CHECK-NEXT: [[CONV1_LE:%.*]] = zext i8 [[I3]] to i64 +; CHECK-NEXT: [[IDX_NEG50:%.*]] = xor i64 [[CONV1_LE]], -1 +; CHECK-NEXT: [[ADD_PTR51:%.*]] = getelementptr inbounds i8, i8* [[SOURCE_6]], i64 [[IDX_NEG50]] +; CHECK-NEXT: br label [[WHILE_END]] +; CHECK: if.else: +; CHECK-NEXT: [[INCDEC_PTR52:%.*]] = getelementptr inbounds i16, i16* [[TARGET_0186]], i64 1 +; CHECK-NEXT: store i16 -3, i16* [[TARGET_0186]], align 2 +; CHECK-NEXT: br label [[CLEANUP]] +; CHECK: if.else54: +; CHECK-NEXT: [[CONV55:%.*]] = trunc i32 [[SUB]] to i16 +; CHECK-NEXT: [[INCDEC_PTR56:%.*]] = getelementptr inbounds i16, i16* [[TARGET_0186]], i64 1 +; CHECK-NEXT: store i16 [[CONV55]], i16* [[TARGET_0186]], align 2 +; CHECK-NEXT: br label [[CLEANUP]] +; CHECK: if.else58: +; CHECK-NEXT: [[CMP59:%.*]] = icmp ugt i32 [[SUB]], 1114111 +; CHECK-NEXT: br i1 [[CMP59]], label [[IF_THEN60:%.*]], label [[IF_ELSE71:%.*]] +; CHECK: if.then60: +; CHECK-NEXT: br i1 [[CMP61]], label [[IF_THEN62:%.*]], label [[IF_ELSE68:%.*]] +; CHECK: if.then62: +; CHECK-NEXT: [[CONV1_LE254:%.*]] = zext i8 [[I3]] to i64 +; CHECK-NEXT: [[IDX_NEG66:%.*]] = xor i64 [[CONV1_LE254]], -1 +; CHECK-NEXT: [[ADD_PTR67:%.*]] = getelementptr inbounds i8, i8* [[SOURCE_6]], i64 [[IDX_NEG66]] +; CHECK-NEXT: br label [[WHILE_END]] +; CHECK: if.else68: +; CHECK-NEXT: [[INCDEC_PTR69:%.*]] = getelementptr inbounds i16, i16* [[TARGET_0186]], i64 1 +; CHECK-NEXT: store i16 -3, i16* [[TARGET_0186]], align 2 +; CHECK-NEXT: br label [[CLEANUP]] +; CHECK: if.else71: +; CHECK-NEXT: [[ADD_PTR72:%.*]] = getelementptr inbounds i16, i16* [[TARGET_0186]], i64 1 +; CHECK-NEXT: [[CMP73_NOT:%.*]] = icmp ult i16* [[ADD_PTR72]], [[TARGETEND]] +; CHECK-NEXT: br i1 [[CMP73_NOT]], label [[IF_END80:%.*]], label [[IF_THEN74:%.*]] +; CHECK: if.then74: +; CHECK-NEXT: [[CONV1_LE256:%.*]] = zext i8 [[I3]] to i64 +; CHECK-NEXT: [[IDX_NEG78:%.*]] = xor i64 [[CONV1_LE256]], -1 +; CHECK-NEXT: [[ADD_PTR79:%.*]] = getelementptr inbounds i8, i8* [[SOURCE_6]], i64 [[IDX_NEG78]] +; CHECK-NEXT: br label [[WHILE_END]] +; CHECK: if.end80: +; CHECK-NEXT: [[SUB81:%.*]] = add nuw nsw i32 [[SUB]], 67043328 +; CHECK-NEXT: [[SHR:%.*]] = lshr i32 [[SUB81]], 10 +; CHECK-NEXT: [[I19:%.*]] = trunc i32 [[SHR]] to i16 +; CHECK-NEXT: [[CONV83:%.*]] = add nuw nsw i16 [[I19]], -10240 +; CHECK-NEXT: store i16 [[CONV83]], i16* [[TARGET_0186]], align 2 +; CHECK-NEXT: [[I20:%.*]] = trunc i32 [[SUB]] to i16 +; CHECK-NEXT: [[I21:%.*]] = and i16 [[I20]], 1023 +; CHECK-NEXT: [[CONV86:%.*]] = or i16 [[I21]], -9216 +; CHECK-NEXT: [[INCDEC_PTR87:%.*]] = getelementptr inbounds i16, i16* [[TARGET_0186]], i64 2 +; CHECK-NEXT: store i16 [[CONV86]], i16* [[ADD_PTR72]], align 2 +; CHECK-NEXT: br label [[CLEANUP]] +; CHECK: cleanup: +; CHECK-NEXT: [[TARGET_2]] = phi i16* [ [[INCDEC_PTR52]], [[IF_ELSE]] ], [ [[INCDEC_PTR56]], [[IF_ELSE54]] ], [ [[INCDEC_PTR69]], [[IF_ELSE68]] ], [ [[INCDEC_PTR87]], [[IF_END80]] ] +; CHECK-NEXT: [[CMP:%.*]] = icmp ult i8* [[SOURCE_6]], [[SOURCEEND]] +; CHECK-NEXT: br i1 [[CMP]], label [[WHILE_BODY]], label [[WHILE_END]] +; CHECK: while.end: +; CHECK-NEXT: [[TARGET_0166:%.*]] = phi i16* [ [[TARGET_0186]], [[IF_THEN74]] ], [ [[TARGET_0186]], [[IF_THEN62]] ], [ [[TARGET_0186]], [[IF_THEN46]] ], [ [[TARGET_0186]], [[IF_THEN36]] ], [ [[I1]], [[ENTRY]] ], [ [[TARGET_2]], [[CLEANUP]] ], [ [[TARGET_0186]], [[WHILE_BODY]] ], [ [[TARGET_0186]], [[IF_END]] ], [ [[TARGET_0186]], [[SW_BB_I]] ], [ [[TARGET_0186]], [[SW_BB3_I]] ], [ [[TARGET_0186]], [[SW_BB12_I]] ], [ [[TARGET_0186]], [[SW_BB22_I]] ], [ [[TARGET_0186]], [[SW_BB27_I]] ], [ [[TARGET_0186]], [[SW_BB32_I]] ], [ [[TARGET_0186]], [[SW_BB37_I]] ], [ [[TARGET_0186]], [[SW_BB47_I]] ] +; CHECK-NEXT: [[SOURCE_8:%.*]] = phi i8* [ [[ADD_PTR79]], [[IF_THEN74]] ], [ [[ADD_PTR67]], [[IF_THEN62]] ], [ [[ADD_PTR51]], [[IF_THEN46]] ], [ [[ADD_PTR]], [[IF_THEN36]] ], [ [[I]], [[ENTRY]] ], [ [[SOURCE_6]], [[CLEANUP]] ], [ [[SOURCE_0184]], [[WHILE_BODY]] ], [ [[SOURCE_0184]], [[IF_END]] ], [ [[SOURCE_0184]], [[SW_BB_I]] ], [ [[SOURCE_0184]], [[SW_BB3_I]] ], [ [[SOURCE_0184]], [[SW_BB12_I]] ], [ [[SOURCE_0184]], [[SW_BB22_I]] ], [ [[SOURCE_0184]], [[SW_BB27_I]] ], [ [[SOURCE_0184]], [[SW_BB32_I]] ], [ [[SOURCE_0184]], [[SW_BB37_I]] ], [ [[SOURCE_0184]], [[SW_BB47_I]] ] +; CHECK-NEXT: [[RESULT_2:%.*]] = phi i32 [ 2, [[IF_THEN74]] ], [ 3, [[IF_THEN62]] ], [ 3, [[IF_THEN46]] ], [ 2, [[IF_THEN36]] ], [ 0, [[ENTRY]] ], [ 0, [[CLEANUP]] ], [ 1, [[WHILE_BODY]] ], [ 3, [[IF_END]] ], [ 3, [[SW_BB_I]] ], [ 3, [[SW_BB3_I]] ], [ 3, [[SW_BB12_I]] ], [ 3, [[SW_BB22_I]] ], [ 3, [[SW_BB27_I]] ], [ 3, [[SW_BB32_I]] ], [ 3, [[SW_BB37_I]] ], [ 3, [[SW_BB47_I]] ] +; CHECK-NEXT: store i8* [[SOURCE_8]], i8** [[SOURCESTART]], align 8 +; CHECK-NEXT: store i16* [[TARGET_0166]], i16** [[TARGETSTART]], align 8 +; CHECK-NEXT: ret i32 [[RESULT_2]] +; +entry: + %i = load i8*, i8** %sourceStart, align 8 + %i1 = load i16*, i16** %targetStart, align 8 + %sub.ptr.lhs.cast = ptrtoint i8* %sourceEnd to i64 + %cmp61 = icmp eq i32 %flags, 0 + %cmp183 = icmp ult i8* %i, %sourceEnd + br i1 %cmp183, label %while.body, label %while.end + +while.body: ; preds = %cleanup, %entry + %target.0186 = phi i16* [ %target.2, %cleanup ], [ %i1, %entry ] + %source.0184 = phi i8* [ %source.6, %cleanup ], [ %i, %entry ] + %i2 = load i8, i8* %source.0184, align 1 + %idxprom = zext i8 %i2 to i64 + %arrayidx = getelementptr inbounds [256 x i8], [256 x i8]* @_ZN4llvmL20trailingBytesForUTF8E, i64 0, i64 %idxprom + %i3 = load i8, i8* %arrayidx, align 1 + %conv1 = zext i8 %i3 to i64 + %sub.ptr.rhs.cast = ptrtoint i8* %source.0184 to i64 + %sub.ptr.sub = sub i64 %sub.ptr.lhs.cast, %sub.ptr.rhs.cast + %cmp2.not = icmp sgt i64 %sub.ptr.sub, %conv1 + br i1 %cmp2.not, label %if.end, label %while.end + +if.end: ; preds = %while.body + %add = add nuw nsw i64 %conv1, 1 + %add.ptr.i = getelementptr inbounds i8, i8* %source.0184, i64 %add + switch i8 %i3, label %while.end [ + i8 3, label %sw.bb.i + i8 2, label %sw.bb3.i + i8 1, label %sw.bb12.i + i8 0, label %sw.bb47.i + ] + +sw.bb.i: ; preds = %if.end + %incdec.ptr.i = getelementptr inbounds i8, i8* %source.0184, i64 %conv1 + %i4 = load i8, i8* %incdec.ptr.i, align 1 + %i5 = icmp sgt i8 %i4, -65 + br i1 %i5, label %while.end, label %sw.bb3.i + +sw.bb3.i: ; preds = %sw.bb.i, %if.end + %i6 = phi i64 [ %add, %if.end ], [ 3, %sw.bb.i ] + %i7 = getelementptr inbounds i8, i8* %source.0184, i64 -1 + %incdec.ptr4.i = getelementptr inbounds i8, i8* %i7, i64 %i6 + %i8 = load i8, i8* %incdec.ptr4.i, align 1 + %i9 = icmp sgt i8 %i8, -65 + br i1 %i9, label %while.end, label %sw.bb12.i + +sw.bb12.i: ; preds = %sw.bb3.i, %if.end + %srcptr.1.i = phi i8* [ %add.ptr.i, %if.end ], [ %incdec.ptr4.i, %sw.bb3.i ] + %incdec.ptr13.i = getelementptr inbounds i8, i8* %srcptr.1.i, i64 -1 + %i10 = load i8, i8* %incdec.ptr13.i, align 1 + %i11 = icmp sgt i8 %i10, -65 + br i1 %i11, label %while.end, label %if.end20.i + +if.end20.i: ; preds = %sw.bb12.i + switch i8 %i2, label %sw.bb47.i [ + i8 -32, label %sw.bb22.i + i8 -19, label %sw.bb27.i + i8 -16, label %sw.bb32.i + i8 -12, label %sw.bb37.i + ] + +sw.bb22.i: ; preds = %if.end20.i + %cmp24.i = icmp ult i8 %i10, -96 + br i1 %cmp24.i, label %while.end, label %if.end5 + +sw.bb27.i: ; preds = %if.end20.i + %cmp29.i = icmp ugt i8 %i10, -97 + br i1 %cmp29.i, label %while.end, label %if.end5 + +sw.bb32.i: ; preds = %if.end20.i + %cmp34.i = icmp ult i8 %i10, -112 + br i1 %cmp34.i, label %while.end, label %if.end5 + +sw.bb37.i: ; preds = %if.end20.i + %cmp39.i = icmp ugt i8 %i10, -113 + br i1 %cmp39.i, label %while.end, label %if.end5 + +sw.bb47.i: ; preds = %if.end20.i, %if.end + %i12 = icmp slt i8 %i2, -62 + %cmp56.i = icmp ugt i8 %i2, -12 + %or.cond = or i1 %i12, %cmp56.i + br i1 %or.cond, label %while.end, label %if.end5 + +if.end5: ; preds = %sw.bb47.i, %sw.bb37.i, %sw.bb32.i, %sw.bb27.i, %sw.bb22.i + switch i8 %i3, label %sw.epilog [ + i8 0, label %sw.bb29 + i8 1, label %sw.bb24 + i8 3, label %sw.bb14 + i8 2, label %sw.bb19 + ] + +sw.bb14: ; preds = %if.end5 + %incdec.ptr15 = getelementptr inbounds i8, i8* %source.0184, i64 1 + %conv16 = zext i8 %i2 to i32 + %shl18 = shl nuw nsw i32 %conv16, 6 + %.pre232 = load i8, i8* %incdec.ptr15, align 1 + br label %sw.bb19 + +sw.bb19: ; preds = %sw.bb14, %if.end5 + %i13 = phi i8 [ %i2, %if.end5 ], [ %.pre232, %sw.bb14 ] + %source.3 = phi i8* [ %source.0184, %if.end5 ], [ %incdec.ptr15, %sw.bb14 ] + %ch.2 = phi i32 [ 0, %if.end5 ], [ %shl18, %sw.bb14 ] + %incdec.ptr20 = getelementptr inbounds i8, i8* %source.3, i64 1 + %conv21 = zext i8 %i13 to i32 + %add22 = add nuw nsw i32 %ch.2, %conv21 + %shl23 = shl nsw i32 %add22, 6 + %.pre233 = load i8, i8* %incdec.ptr20, align 1 + br label %sw.bb24 + +sw.bb24: ; preds = %sw.bb19, %if.end5 + %i14 = phi i8 [ %i2, %if.end5 ], [ %.pre233, %sw.bb19 ] + %source.4 = phi i8* [ %source.0184, %if.end5 ], [ %incdec.ptr20, %sw.bb19 ] + %ch.3 = phi i32 [ 0, %if.end5 ], [ %shl23, %sw.bb19 ] + %incdec.ptr25 = getelementptr inbounds i8, i8* %source.4, i64 1 + %conv26 = zext i8 %i14 to i32 + %add27 = add nsw i32 %ch.3, %conv26 + %shl28 = shl i32 %add27, 6 + %.pre234 = load i8, i8* %incdec.ptr25, align 1 + br label %sw.bb29 + +sw.bb29: ; preds = %sw.bb24, %if.end5 + %i15 = phi i8 [ %i2, %if.end5 ], [ %.pre234, %sw.bb24 ] + %source.5 = phi i8* [ %source.0184, %if.end5 ], [ %incdec.ptr25, %sw.bb24 ] + %ch.4 = phi i32 [ 0, %if.end5 ], [ %shl28, %sw.bb24 ] + %incdec.ptr30 = getelementptr inbounds i8, i8* %source.5, i64 1 + %conv31 = zext i8 %i15 to i32 + %add32 = add i32 %ch.4, %conv31 + br label %sw.epilog + +sw.epilog: ; preds = %sw.bb29, %if.end5 + %source.6 = phi i8* [ %source.0184, %if.end5 ], [ %incdec.ptr30, %sw.bb29 ] + %ch.5 = phi i32 [ 0, %if.end5 ], [ %add32, %sw.bb29 ] + %arrayidx34 = getelementptr inbounds [6 x i32], [6 x i32]* @_ZN4llvmL15offsetsFromUTF8E, i64 0, i64 %conv1 + %i16 = load i32, i32* %arrayidx34, align 4 + %sub = sub i32 %ch.5, %i16 + %cmp35.not = icmp ult i16* %target.0186, %targetEnd + br i1 %cmp35.not, label %if.end39, label %if.then36 + +if.then36: ; preds = %sw.epilog + %conv1.le258 = zext i8 %i3 to i64 + %idx.neg = xor i64 %conv1.le258, -1 + %add.ptr = getelementptr inbounds i8, i8* %source.6, i64 %idx.neg + br label %while.end + +if.end39: ; preds = %sw.epilog + %cmp40 = icmp ult i32 %sub, 65536 + br i1 %cmp40, label %if.then41, label %if.else58 + +if.then41: ; preds = %if.end39 + %i17 = and i32 %sub, -2048 + %i18 = icmp eq i32 %i17, 55296 + br i1 %i18, label %if.then44, label %if.else54 + +if.then44: ; preds = %if.then41 + br i1 %cmp61, label %if.then46, label %if.else + +if.then46: ; preds = %if.then44 + %conv1.le = zext i8 %i3 to i64 + %idx.neg50 = xor i64 %conv1.le, -1 + %add.ptr51 = getelementptr inbounds i8, i8* %source.6, i64 %idx.neg50 + br label %while.end + +if.else: ; preds = %if.then44 + %incdec.ptr52 = getelementptr inbounds i16, i16* %target.0186, i64 1 + store i16 -3, i16* %target.0186, align 2 + br label %cleanup + +if.else54: ; preds = %if.then41 + %conv55 = trunc i32 %sub to i16 + %incdec.ptr56 = getelementptr inbounds i16, i16* %target.0186, i64 1 + store i16 %conv55, i16* %target.0186, align 2 + br label %cleanup + +if.else58: ; preds = %if.end39 + %cmp59 = icmp ugt i32 %sub, 1114111 + br i1 %cmp59, label %if.then60, label %if.else71 + +if.then60: ; preds = %if.else58 + br i1 %cmp61, label %if.then62, label %if.else68 + +if.then62: ; preds = %if.then60 + %conv1.le254 = zext i8 %i3 to i64 + %idx.neg66 = xor i64 %conv1.le254, -1 + %add.ptr67 = getelementptr inbounds i8, i8* %source.6, i64 %idx.neg66 + br label %while.end + +if.else68: ; preds = %if.then60 + %incdec.ptr69 = getelementptr inbounds i16, i16* %target.0186, i64 1 + store i16 -3, i16* %target.0186, align 2 + br label %cleanup + +if.else71: ; preds = %if.else58 + %add.ptr72 = getelementptr inbounds i16, i16* %target.0186, i64 1 + %cmp73.not = icmp ult i16* %add.ptr72, %targetEnd + br i1 %cmp73.not, label %if.end80, label %if.then74 + +if.then74: ; preds = %if.else71 + %conv1.le256 = zext i8 %i3 to i64 + %idx.neg78 = xor i64 %conv1.le256, -1 + %add.ptr79 = getelementptr inbounds i8, i8* %source.6, i64 %idx.neg78 + br label %while.end + +if.end80: ; preds = %if.else71 + %sub81 = add nuw nsw i32 %sub, 67043328 + %shr = lshr i32 %sub81, 10 + %i19 = trunc i32 %shr to i16 + %conv83 = add nuw nsw i16 %i19, -10240 + store i16 %conv83, i16* %target.0186, align 2 + %i20 = trunc i32 %sub to i16 + %i21 = and i16 %i20, 1023 + %conv86 = or i16 %i21, -9216 + %incdec.ptr87 = getelementptr inbounds i16, i16* %target.0186, i64 2 + store i16 %conv86, i16* %add.ptr72, align 2 + br label %cleanup + +cleanup: ; preds = %if.end80, %if.else68, %if.else54, %if.else + %target.2 = phi i16* [ %incdec.ptr52, %if.else ], [ %incdec.ptr56, %if.else54 ], [ %incdec.ptr69, %if.else68 ], [ %incdec.ptr87, %if.end80 ] + %cmp = icmp ult i8* %source.6, %sourceEnd + br i1 %cmp, label %while.body, label %while.end + +while.end: ; preds = %cleanup, %if.then74, %if.then62, %if.then46, %if.then36, %sw.bb47.i, %sw.bb37.i, %sw.bb32.i, %sw.bb27.i, %sw.bb22.i, %sw.bb12.i, %sw.bb3.i, %sw.bb.i, %if.end, %while.body, %entry + %target.0166 = phi i16* [ %target.0186, %if.then74 ], [ %target.0186, %if.then62 ], [ %target.0186, %if.then46 ], [ %target.0186, %if.then36 ], [ %i1, %entry ], [ %target.2, %cleanup ], [ %target.0186, %while.body ], [ %target.0186, %if.end ], [ %target.0186, %sw.bb.i ], [ %target.0186, %sw.bb3.i ], [ %target.0186, %sw.bb12.i ], [ %target.0186, %sw.bb22.i ], [ %target.0186, %sw.bb27.i ], [ %target.0186, %sw.bb32.i ], [ %target.0186, %sw.bb37.i ], [ %target.0186, %sw.bb47.i ] + %source.8 = phi i8* [ %add.ptr79, %if.then74 ], [ %add.ptr67, %if.then62 ], [ %add.ptr51, %if.then46 ], [ %add.ptr, %if.then36 ], [ %i, %entry ], [ %source.6, %cleanup ], [ %source.0184, %while.body ], [ %source.0184, %if.end ], [ %source.0184, %sw.bb.i ], [ %source.0184, %sw.bb3.i ], [ %source.0184, %sw.bb12.i ], [ %source.0184, %sw.bb22.i ], [ %source.0184, %sw.bb27.i ], [ %source.0184, %sw.bb32.i ], [ %source.0184, %sw.bb37.i ], [ %source.0184, %sw.bb47.i ] + %result.2 = phi i32 [ 2, %if.then74 ], [ 3, %if.then62 ], [ 3, %if.then46 ], [ 2, %if.then36 ], [ 0, %entry ], [ 0, %cleanup ], [ 1, %while.body ], [ 3, %if.end ], [ 3, %sw.bb.i ], [ 3, %sw.bb3.i ], [ 3, %sw.bb12.i ], [ 3, %sw.bb22.i ], [ 3, %sw.bb27.i ], [ 3, %sw.bb32.i ], [ 3, %sw.bb37.i ], [ 3, %sw.bb47.i ] + store i8* %source.8, i8** %sourceStart, align 8 + store i16* %target.0166, i16** %targetStart, align 8 + ret i32 %result.2 +}