================
@@ -0,0 +1,988 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -select-optimize -mtriple=riscv64 -S < %s \
+; RUN: | FileCheck %s --check-prefix=NO-SELECT-OPT
+; RUN: opt -select-optimize -mtriple=riscv64 -mattr=+enable-select-opt -S < %s
\
+; RUN: | FileCheck %s --check-prefix=SELECT-OPT
+; RUN: opt -select-optimize -mtriple=riscv64
-mattr=+enable-select-opt,+predictable-select-expensive -S < %s \
+; RUN: | FileCheck %s --check-prefix=SELECT-OPT
+
+%struct.st = type { i32, i64, ptr, ptr, i16, ptr, ptr, i64, i64 }
+
+; This test has a select at the end of if.then, which is better transformed to
a branch on OoO cores.
+
+define void @replace(ptr nocapture noundef %newst, ptr noundef %t, ptr noundef
%h, i64 noundef %c, i64 noundef %rc, i64 noundef %ma, i64 noundef %n) {
+; NO-SELECT-OPT-LABEL: @replace(
+; NO-SELECT-OPT-NEXT: entry:
+; NO-SELECT-OPT-NEXT: [[T1:%.*]] = getelementptr inbounds
[[STRUCT_ST:%.*]], ptr [[NEWST:%.*]], i64 0, i32 2
+; NO-SELECT-OPT-NEXT: store ptr [[T:%.*]], ptr [[T1]], align 8
+; NO-SELECT-OPT-NEXT: [[H3:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 0, i32 3
+; NO-SELECT-OPT-NEXT: store ptr [[H:%.*]], ptr [[H3]], align 8
+; NO-SELECT-OPT-NEXT: [[ORG_C:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 0, i32 8
+; NO-SELECT-OPT-NEXT: store i64 [[C:%.*]], ptr [[ORG_C]], align 8
+; NO-SELECT-OPT-NEXT: [[C6:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 0, i32 1
+; NO-SELECT-OPT-NEXT: store i64 [[C]], ptr [[C6]], align 8
+; NO-SELECT-OPT-NEXT: [[FLOW:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 0, i32 7
+; NO-SELECT-OPT-NEXT: store i64 [[RC:%.*]], ptr [[FLOW]], align 8
+; NO-SELECT-OPT-NEXT: [[CONV:%.*]] = trunc i64 [[N:%.*]] to i32
+; NO-SELECT-OPT-NEXT: store i32 [[CONV]], ptr [[NEWST]], align 8
+; NO-SELECT-OPT-NEXT: [[FLOW10:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 1, i32 7
+; NO-SELECT-OPT-NEXT: [[TMP0:%.*]] = load i64, ptr [[FLOW10]], align 8
+; NO-SELECT-OPT-NEXT: [[FLOW12:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 2, i32 7
+; NO-SELECT-OPT-NEXT: [[TMP1:%.*]] = load i64, ptr [[FLOW12]], align 8
+; NO-SELECT-OPT-NEXT: [[CMP13:%.*]] = icmp sgt i64 [[TMP0]], [[TMP1]]
+; NO-SELECT-OPT-NEXT: [[CONV15:%.*]] = select i1 [[CMP13]], i64 2, i64 3
+; NO-SELECT-OPT-NEXT: [[CMP16_NOT149:%.*]] = icmp sgt i64 [[CONV15]],
[[MA:%.*]]
+; NO-SELECT-OPT-NEXT: br i1 [[CMP16_NOT149]], label [[WHILE_END:%.*]],
label [[LAND_RHS:%.*]]
+; NO-SELECT-OPT: land.rhs:
+; NO-SELECT-OPT-NEXT: [[CMP_0151:%.*]] = phi i64 [ [[CMP_1:%.*]],
[[IF_END87:%.*]] ], [ [[CONV15]], [[ENTRY:%.*]] ]
+; NO-SELECT-OPT-NEXT: [[POS_0150:%.*]] = phi i64 [ [[CMP_0151]],
[[IF_END87]] ], [ 1, [[ENTRY]] ]
+; NO-SELECT-OPT-NEXT: [[SUB:%.*]] = add nsw i64 [[CMP_0151]], -1
+; NO-SELECT-OPT-NEXT: [[FLOW19:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB]], i32 7
+; NO-SELECT-OPT-NEXT: [[TMP2:%.*]] = load i64, ptr [[FLOW19]], align 8
+; NO-SELECT-OPT-NEXT: [[CMP20:%.*]] = icmp sgt i64 [[TMP2]], [[RC]]
+; NO-SELECT-OPT-NEXT: br i1 [[CMP20]], label [[WHILE_BODY:%.*]], label
[[WHILE_END]]
+; NO-SELECT-OPT: while.body:
+; NO-SELECT-OPT-NEXT: [[ARRAYIDX18:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB]]
+; NO-SELECT-OPT-NEXT: [[T24:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB]], i32 2
+; NO-SELECT-OPT-NEXT: [[TMP3:%.*]] = load ptr, ptr [[T24]], align 8
+; NO-SELECT-OPT-NEXT: [[SUB25:%.*]] = add nsw i64 [[POS_0150]], -1
+; NO-SELECT-OPT-NEXT: [[ARRAYIDX26:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB25]]
+; NO-SELECT-OPT-NEXT: [[T27:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB25]], i32 2
+; NO-SELECT-OPT-NEXT: store ptr [[TMP3]], ptr [[T27]], align 8
+; NO-SELECT-OPT-NEXT: [[H30:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB]], i32 3
+; NO-SELECT-OPT-NEXT: [[TMP4:%.*]] = load ptr, ptr [[H30]], align 8
+; NO-SELECT-OPT-NEXT: [[H33:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB25]], i32 3
+; NO-SELECT-OPT-NEXT: store ptr [[TMP4]], ptr [[H33]], align 8
+; NO-SELECT-OPT-NEXT: [[C36:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB]], i32 1
+; NO-SELECT-OPT-NEXT: [[TMP5:%.*]] = load i64, ptr [[C36]], align 8
+; NO-SELECT-OPT-NEXT: [[C39:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB25]], i32 1
+; NO-SELECT-OPT-NEXT: store i64 [[TMP5]], ptr [[C39]], align 8
+; NO-SELECT-OPT-NEXT: [[TMP6:%.*]] = load i64, ptr [[C36]], align 8
+; NO-SELECT-OPT-NEXT: [[ORG_C45:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB25]], i32 8
+; NO-SELECT-OPT-NEXT: store i64 [[TMP6]], ptr [[ORG_C45]], align 8
+; NO-SELECT-OPT-NEXT: [[FLOW51:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB25]], i32 7
+; NO-SELECT-OPT-NEXT: store i64 [[TMP2]], ptr [[FLOW51]], align 8
+; NO-SELECT-OPT-NEXT: [[TMP7:%.*]] = load i32, ptr [[ARRAYIDX18]], align 8
+; NO-SELECT-OPT-NEXT: store i32 [[TMP7]], ptr [[ARRAYIDX26]], align 8
+; NO-SELECT-OPT-NEXT: store ptr [[T]], ptr [[T24]], align 8
+; NO-SELECT-OPT-NEXT: store ptr [[H]], ptr [[H30]], align 8
+; NO-SELECT-OPT-NEXT: store i64 [[C]], ptr [[C36]], align 8
+; NO-SELECT-OPT-NEXT: [[ORG_C69:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB]], i32 8
+; NO-SELECT-OPT-NEXT: store i64 [[C]], ptr [[ORG_C69]], align 8
+; NO-SELECT-OPT-NEXT: store i64 [[RC]], ptr [[FLOW19]], align 8
+; NO-SELECT-OPT-NEXT: store i32 [[CONV]], ptr [[ARRAYIDX18]], align 8
+; NO-SELECT-OPT-NEXT: [[MUL:%.*]] = shl nsw i64 [[CMP_0151]], 1
+; NO-SELECT-OPT-NEXT: [[ADD:%.*]] = or i64 [[MUL]], 1
+; NO-SELECT-OPT-NEXT: [[CMP77_NOT:%.*]] = icmp sgt i64 [[ADD]], [[MA]]
+; NO-SELECT-OPT-NEXT: br i1 [[CMP77_NOT]], label [[IF_END87]], label
[[IF_THEN:%.*]]
+; NO-SELECT-OPT: if.then:
+; NO-SELECT-OPT-NEXT: [[SUB79:%.*]] = add nsw i64 [[MUL]], -1
+; NO-SELECT-OPT-NEXT: [[FLOW81:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB79]], i32 7
+; NO-SELECT-OPT-NEXT: [[TMP8:%.*]] = load i64, ptr [[FLOW81]], align 8
+; NO-SELECT-OPT-NEXT: [[FLOW83:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[MUL]], i32 7
+; NO-SELECT-OPT-NEXT: [[TMP9:%.*]] = load i64, ptr [[FLOW83]], align 8
+; NO-SELECT-OPT-NEXT: [[CMP84:%.*]] = icmp slt i64 [[TMP8]], [[TMP9]]
+; NO-SELECT-OPT-NEXT: [[SPEC_SELECT:%.*]] = select i1 [[CMP84]], i64
[[ADD]], i64 [[MUL]]
+; NO-SELECT-OPT-NEXT: br label [[IF_END87]]
+; NO-SELECT-OPT: if.end87:
+; NO-SELECT-OPT-NEXT: [[CMP_1]] = phi i64 [ [[MUL]], [[WHILE_BODY]] ], [
[[SPEC_SELECT]], [[IF_THEN]] ]
+; NO-SELECT-OPT-NEXT: [[CMP16_NOT:%.*]] = icmp sgt i64 [[CMP_1]], [[MA]]
+; NO-SELECT-OPT-NEXT: br i1 [[CMP16_NOT]], label [[WHILE_END]], label
[[LAND_RHS]]
+; NO-SELECT-OPT: while.end:
+; NO-SELECT-OPT-NEXT: ret void
+;
+; SELECT-OPT-LABEL: @replace(
+; SELECT-OPT-NEXT: entry:
+; SELECT-OPT-NEXT: [[T1:%.*]] = getelementptr inbounds [[STRUCT_ST:%.*]],
ptr [[NEWST:%.*]], i64 0, i32 2
+; SELECT-OPT-NEXT: store ptr [[T:%.*]], ptr [[T1]], align 8
+; SELECT-OPT-NEXT: [[H3:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 0, i32 3
+; SELECT-OPT-NEXT: store ptr [[H:%.*]], ptr [[H3]], align 8
+; SELECT-OPT-NEXT: [[ORG_C:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 0, i32 8
+; SELECT-OPT-NEXT: store i64 [[C:%.*]], ptr [[ORG_C]], align 8
+; SELECT-OPT-NEXT: [[C6:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 0, i32 1
+; SELECT-OPT-NEXT: store i64 [[C]], ptr [[C6]], align 8
+; SELECT-OPT-NEXT: [[FLOW:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 0, i32 7
+; SELECT-OPT-NEXT: store i64 [[RC:%.*]], ptr [[FLOW]], align 8
+; SELECT-OPT-NEXT: [[CONV:%.*]] = trunc i64 [[N:%.*]] to i32
+; SELECT-OPT-NEXT: store i32 [[CONV]], ptr [[NEWST]], align 8
+; SELECT-OPT-NEXT: [[FLOW10:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 1, i32 7
+; SELECT-OPT-NEXT: [[TMP0:%.*]] = load i64, ptr [[FLOW10]], align 8
+; SELECT-OPT-NEXT: [[FLOW12:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 2, i32 7
+; SELECT-OPT-NEXT: [[TMP1:%.*]] = load i64, ptr [[FLOW12]], align 8
+; SELECT-OPT-NEXT: [[CMP13:%.*]] = icmp sgt i64 [[TMP0]], [[TMP1]]
+; SELECT-OPT-NEXT: [[CONV15:%.*]] = select i1 [[CMP13]], i64 2, i64 3
+; SELECT-OPT-NEXT: [[CMP16_NOT149:%.*]] = icmp sgt i64 [[CONV15]],
[[MA:%.*]]
+; SELECT-OPT-NEXT: br i1 [[CMP16_NOT149]], label [[WHILE_END:%.*]], label
[[LAND_RHS:%.*]]
+; SELECT-OPT: land.rhs:
+; SELECT-OPT-NEXT: [[CMP_0151:%.*]] = phi i64 [ [[CMP_1:%.*]],
[[IF_END87:%.*]] ], [ [[CONV15]], [[ENTRY:%.*]] ]
+; SELECT-OPT-NEXT: [[POS_0150:%.*]] = phi i64 [ [[CMP_0151]], [[IF_END87]]
], [ 1, [[ENTRY]] ]
+; SELECT-OPT-NEXT: [[SUB:%.*]] = add nsw i64 [[CMP_0151]], -1
+; SELECT-OPT-NEXT: [[FLOW19:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB]], i32 7
+; SELECT-OPT-NEXT: [[TMP2:%.*]] = load i64, ptr [[FLOW19]], align 8
+; SELECT-OPT-NEXT: [[CMP20:%.*]] = icmp sgt i64 [[TMP2]], [[RC]]
+; SELECT-OPT-NEXT: br i1 [[CMP20]], label [[WHILE_BODY:%.*]], label
[[WHILE_END]]
+; SELECT-OPT: while.body:
+; SELECT-OPT-NEXT: [[ARRAYIDX18:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB]]
+; SELECT-OPT-NEXT: [[T24:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 [[SUB]], i32 2
+; SELECT-OPT-NEXT: [[TMP3:%.*]] = load ptr, ptr [[T24]], align 8
+; SELECT-OPT-NEXT: [[SUB25:%.*]] = add nsw i64 [[POS_0150]], -1
+; SELECT-OPT-NEXT: [[ARRAYIDX26:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB25]]
+; SELECT-OPT-NEXT: [[T27:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 [[SUB25]], i32 2
+; SELECT-OPT-NEXT: store ptr [[TMP3]], ptr [[T27]], align 8
+; SELECT-OPT-NEXT: [[H30:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 [[SUB]], i32 3
+; SELECT-OPT-NEXT: [[TMP4:%.*]] = load ptr, ptr [[H30]], align 8
+; SELECT-OPT-NEXT: [[H33:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 [[SUB25]], i32 3
+; SELECT-OPT-NEXT: store ptr [[TMP4]], ptr [[H33]], align 8
+; SELECT-OPT-NEXT: [[C36:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 [[SUB]], i32 1
+; SELECT-OPT-NEXT: [[TMP5:%.*]] = load i64, ptr [[C36]], align 8
+; SELECT-OPT-NEXT: [[C39:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 [[SUB25]], i32 1
+; SELECT-OPT-NEXT: store i64 [[TMP5]], ptr [[C39]], align 8
+; SELECT-OPT-NEXT: [[TMP6:%.*]] = load i64, ptr [[C36]], align 8
+; SELECT-OPT-NEXT: [[ORG_C45:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB25]], i32 8
+; SELECT-OPT-NEXT: store i64 [[TMP6]], ptr [[ORG_C45]], align 8
+; SELECT-OPT-NEXT: [[FLOW51:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB25]], i32 7
+; SELECT-OPT-NEXT: store i64 [[TMP2]], ptr [[FLOW51]], align 8
+; SELECT-OPT-NEXT: [[TMP7:%.*]] = load i32, ptr [[ARRAYIDX18]], align 8
+; SELECT-OPT-NEXT: store i32 [[TMP7]], ptr [[ARRAYIDX26]], align 8
+; SELECT-OPT-NEXT: store ptr [[T]], ptr [[T24]], align 8
+; SELECT-OPT-NEXT: store ptr [[H]], ptr [[H30]], align 8
+; SELECT-OPT-NEXT: store i64 [[C]], ptr [[C36]], align 8
+; SELECT-OPT-NEXT: [[ORG_C69:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB]], i32 8
+; SELECT-OPT-NEXT: store i64 [[C]], ptr [[ORG_C69]], align 8
+; SELECT-OPT-NEXT: store i64 [[RC]], ptr [[FLOW19]], align 8
+; SELECT-OPT-NEXT: store i32 [[CONV]], ptr [[ARRAYIDX18]], align 8
+; SELECT-OPT-NEXT: [[MUL:%.*]] = shl nsw i64 [[CMP_0151]], 1
+; SELECT-OPT-NEXT: [[ADD:%.*]] = or i64 [[MUL]], 1
+; SELECT-OPT-NEXT: [[CMP77_NOT:%.*]] = icmp sgt i64 [[ADD]], [[MA]]
+; SELECT-OPT-NEXT: br i1 [[CMP77_NOT]], label [[IF_END87]], label
[[IF_THEN:%.*]]
+; SELECT-OPT: if.then:
+; SELECT-OPT-NEXT: [[SUB79:%.*]] = add nsw i64 [[MUL]], -1
+; SELECT-OPT-NEXT: [[FLOW81:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB79]], i32 7
+; SELECT-OPT-NEXT: [[TMP8:%.*]] = load i64, ptr [[FLOW81]], align 8
+; SELECT-OPT-NEXT: [[FLOW83:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[MUL]], i32 7
+; SELECT-OPT-NEXT: [[TMP9:%.*]] = load i64, ptr [[FLOW83]], align 8
+; SELECT-OPT-NEXT: [[CMP84:%.*]] = icmp slt i64 [[TMP8]], [[TMP9]]
+; SELECT-OPT-NEXT: [[CMP84_FROZEN:%.*]] = freeze i1 [[CMP84]]
+; SELECT-OPT-NEXT: br i1 [[CMP84_FROZEN]], label [[SELECT_END:%.*]], label
[[SELECT_FALSE:%.*]]
+; SELECT-OPT: select.false:
+; SELECT-OPT-NEXT: br label [[SELECT_END]]
+; SELECT-OPT: select.end:
+; SELECT-OPT-NEXT: [[SPEC_SELECT:%.*]] = phi i64 [ [[ADD]], [[IF_THEN]] ],
[ [[MUL]], [[SELECT_FALSE]] ]
+; SELECT-OPT-NEXT: br label [[IF_END87]]
+; SELECT-OPT: if.end87:
+; SELECT-OPT-NEXT: [[CMP_1]] = phi i64 [ [[MUL]], [[WHILE_BODY]] ], [
[[SPEC_SELECT]], [[SELECT_END]] ]
+; SELECT-OPT-NEXT: [[CMP16_NOT:%.*]] = icmp sgt i64 [[CMP_1]], [[MA]]
+; SELECT-OPT-NEXT: br i1 [[CMP16_NOT]], label [[WHILE_END]], label
[[LAND_RHS]]
+; SELECT-OPT: while.end:
+; SELECT-OPT-NEXT: ret void
+;
+entry:
+ %t1 = getelementptr inbounds %struct.st, ptr %newst, i64 0, i32 2
+ store ptr %t, ptr %t1, align 8
+ %h3 = getelementptr inbounds %struct.st, ptr %newst, i64 0, i32 3
+ store ptr %h, ptr %h3, align 8
+ %org_c = getelementptr inbounds %struct.st, ptr %newst, i64 0, i32 8
+ store i64 %c, ptr %org_c, align 8
+ %c6 = getelementptr inbounds %struct.st, ptr %newst, i64 0, i32 1
+ store i64 %c, ptr %c6, align 8
+ %flow = getelementptr inbounds %struct.st, ptr %newst, i64 0, i32 7
+ store i64 %rc, ptr %flow, align 8
+ %conv = trunc i64 %n to i32
+ store i32 %conv, ptr %newst, align 8
+ %flow10 = getelementptr inbounds %struct.st, ptr %newst, i64 1, i32 7
+ %0 = load i64, ptr %flow10, align 8
+ %flow12 = getelementptr inbounds %struct.st, ptr %newst, i64 2, i32 7
+ %1 = load i64, ptr %flow12, align 8
+ %cmp13 = icmp sgt i64 %0, %1
+ %conv15 = select i1 %cmp13, i64 2, i64 3
+ %cmp16.not149 = icmp sgt i64 %conv15, %ma
+ br i1 %cmp16.not149, label %while.end, label %land.rhs
+
+land.rhs: ; preds = %entry, %if.end87
+ %cmp.0151 = phi i64 [ %cmp.1, %if.end87 ], [ %conv15, %entry ]
+ %pos.0150 = phi i64 [ %cmp.0151, %if.end87 ], [ 1, %entry ]
+ %sub = add nsw i64 %cmp.0151, -1
+ %flow19 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub, i32 7
+ %2 = load i64, ptr %flow19, align 8
+ %cmp20 = icmp sgt i64 %2, %rc
+ br i1 %cmp20, label %while.body, label %while.end
+
+while.body: ; preds = %land.rhs
+ %arrayidx18 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub
+ %t24 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub, i32 2
+ %3 = load ptr, ptr %t24, align 8
+ %sub25 = add nsw i64 %pos.0150, -1
+ %arrayidx26 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub25
+ %t27 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub25, i32 2
+ store ptr %3, ptr %t27, align 8
+ %h30 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub, i32 3
+ %4 = load ptr, ptr %h30, align 8
+ %h33 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub25, i32 3
+ store ptr %4, ptr %h33, align 8
+ %c36 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub, i32 1
+ %5 = load i64, ptr %c36, align 8
+ %c39 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub25, i32 1
+ store i64 %5, ptr %c39, align 8
+ %6 = load i64, ptr %c36, align 8
+ %org_c45 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub25, i32 8
+ store i64 %6, ptr %org_c45, align 8
+ %flow51 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub25, i32 7
+ store i64 %2, ptr %flow51, align 8
+ %7 = load i32, ptr %arrayidx18, align 8
+ store i32 %7, ptr %arrayidx26, align 8
+ store ptr %t, ptr %t24, align 8
+ store ptr %h, ptr %h30, align 8
+ store i64 %c, ptr %c36, align 8
+ %org_c69 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub, i32 8
+ store i64 %c, ptr %org_c69, align 8
+ store i64 %rc, ptr %flow19, align 8
+ store i32 %conv, ptr %arrayidx18, align 8
+ %mul = shl nsw i64 %cmp.0151, 1
+ %add = or i64 %mul, 1
+ %cmp77.not = icmp sgt i64 %add, %ma
+ br i1 %cmp77.not, label %if.end87, label %if.then
+
+if.then: ; preds = %while.body
+ %sub79 = add nsw i64 %mul, -1
+ %flow81 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub79, i32 7
+ %8 = load i64, ptr %flow81, align 8
+ %flow83 = getelementptr inbounds %struct.st, ptr %newst, i64 %mul, i32 7
+ %9 = load i64, ptr %flow83, align 8
+ %cmp84 = icmp slt i64 %8, %9
+ %spec.select = select i1 %cmp84, i64 %add, i64 %mul
+ br label %if.end87
+
+if.end87: ; preds = %if.then,
%while.body
+ %cmp.1 = phi i64 [ %mul, %while.body ], [ %spec.select, %if.then ]
+ %cmp16.not = icmp sgt i64 %cmp.1, %ma
+ br i1 %cmp16.not, label %while.end, label %land.rhs
+
+while.end: ; preds = %land.rhs,
%if.end87, %entry
+ ret void
+}
+
+define void @replace_or(ptr nocapture noundef %newst, ptr noundef %t, ptr
noundef %h, i64 noundef %c, i64 noundef %rc, i64 noundef %ma, i64 noundef %n) {
+; NO-SELECT-OPT-LABEL: @replace_or(
+; NO-SELECT-OPT-NEXT: entry:
+; NO-SELECT-OPT-NEXT: [[T1:%.*]] = getelementptr inbounds
[[STRUCT_ST:%.*]], ptr [[NEWST:%.*]], i64 0, i32 2
+; NO-SELECT-OPT-NEXT: store ptr [[T:%.*]], ptr [[T1]], align 8
+; NO-SELECT-OPT-NEXT: [[H3:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 0, i32 3
+; NO-SELECT-OPT-NEXT: store ptr [[H:%.*]], ptr [[H3]], align 8
+; NO-SELECT-OPT-NEXT: [[ORG_C:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 0, i32 8
+; NO-SELECT-OPT-NEXT: store i64 [[C:%.*]], ptr [[ORG_C]], align 8
+; NO-SELECT-OPT-NEXT: [[C6:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 0, i32 1
+; NO-SELECT-OPT-NEXT: store i64 [[C]], ptr [[C6]], align 8
+; NO-SELECT-OPT-NEXT: [[FLOW:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 0, i32 7
+; NO-SELECT-OPT-NEXT: store i64 [[RC:%.*]], ptr [[FLOW]], align 8
+; NO-SELECT-OPT-NEXT: [[CONV:%.*]] = trunc i64 [[N:%.*]] to i32
+; NO-SELECT-OPT-NEXT: store i32 [[CONV]], ptr [[NEWST]], align 8
+; NO-SELECT-OPT-NEXT: [[FLOW10:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 1, i32 7
+; NO-SELECT-OPT-NEXT: [[TMP0:%.*]] = load i64, ptr [[FLOW10]], align 8
+; NO-SELECT-OPT-NEXT: [[FLOW12:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 2, i32 7
+; NO-SELECT-OPT-NEXT: [[TMP1:%.*]] = load i64, ptr [[FLOW12]], align 8
+; NO-SELECT-OPT-NEXT: [[CMP13:%.*]] = icmp sgt i64 [[TMP0]], [[TMP1]]
+; NO-SELECT-OPT-NEXT: [[CONV15:%.*]] = select i1 [[CMP13]], i64 2, i64 3
+; NO-SELECT-OPT-NEXT: [[CMP16_NOT149:%.*]] = icmp sgt i64 [[CONV15]],
[[MA:%.*]]
+; NO-SELECT-OPT-NEXT: br i1 [[CMP16_NOT149]], label [[WHILE_END:%.*]],
label [[LAND_RHS:%.*]]
+; NO-SELECT-OPT: land.rhs:
+; NO-SELECT-OPT-NEXT: [[CMP_0151:%.*]] = phi i64 [ [[CMP_1:%.*]],
[[IF_END87:%.*]] ], [ [[CONV15]], [[ENTRY:%.*]] ]
+; NO-SELECT-OPT-NEXT: [[POS_0150:%.*]] = phi i64 [ [[CMP_0151]],
[[IF_END87]] ], [ 1, [[ENTRY]] ]
+; NO-SELECT-OPT-NEXT: [[SUB:%.*]] = add nsw i64 [[CMP_0151]], -1
+; NO-SELECT-OPT-NEXT: [[FLOW19:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB]], i32 7
+; NO-SELECT-OPT-NEXT: [[TMP2:%.*]] = load i64, ptr [[FLOW19]], align 8
+; NO-SELECT-OPT-NEXT: [[CMP20:%.*]] = icmp sgt i64 [[TMP2]], [[RC]]
+; NO-SELECT-OPT-NEXT: br i1 [[CMP20]], label [[WHILE_BODY:%.*]], label
[[WHILE_END]]
+; NO-SELECT-OPT: while.body:
+; NO-SELECT-OPT-NEXT: [[ARRAYIDX18:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB]]
+; NO-SELECT-OPT-NEXT: [[T24:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB]], i32 2
+; NO-SELECT-OPT-NEXT: [[TMP3:%.*]] = load ptr, ptr [[T24]], align 8
+; NO-SELECT-OPT-NEXT: [[SUB25:%.*]] = add nsw i64 [[POS_0150]], -1
+; NO-SELECT-OPT-NEXT: [[ARRAYIDX26:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB25]]
+; NO-SELECT-OPT-NEXT: [[T27:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB25]], i32 2
+; NO-SELECT-OPT-NEXT: store ptr [[TMP3]], ptr [[T27]], align 8
+; NO-SELECT-OPT-NEXT: [[H30:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB]], i32 3
+; NO-SELECT-OPT-NEXT: [[TMP4:%.*]] = load ptr, ptr [[H30]], align 8
+; NO-SELECT-OPT-NEXT: [[H33:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB25]], i32 3
+; NO-SELECT-OPT-NEXT: store ptr [[TMP4]], ptr [[H33]], align 8
+; NO-SELECT-OPT-NEXT: [[C36:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB]], i32 1
+; NO-SELECT-OPT-NEXT: [[TMP5:%.*]] = load i64, ptr [[C36]], align 8
+; NO-SELECT-OPT-NEXT: [[C39:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB25]], i32 1
+; NO-SELECT-OPT-NEXT: store i64 [[TMP5]], ptr [[C39]], align 8
+; NO-SELECT-OPT-NEXT: [[ORG_C45:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB25]], i32 8
+; NO-SELECT-OPT-NEXT: store i64 [[TMP5]], ptr [[ORG_C45]], align 8
+; NO-SELECT-OPT-NEXT: [[FLOW51:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB25]], i32 7
+; NO-SELECT-OPT-NEXT: store i64 [[TMP2]], ptr [[FLOW51]], align 8
+; NO-SELECT-OPT-NEXT: [[TMP6:%.*]] = load i32, ptr [[ARRAYIDX18]], align 8
+; NO-SELECT-OPT-NEXT: store i32 [[TMP6]], ptr [[ARRAYIDX26]], align 8
+; NO-SELECT-OPT-NEXT: store ptr [[T]], ptr [[T24]], align 8
+; NO-SELECT-OPT-NEXT: store ptr [[H]], ptr [[H30]], align 8
+; NO-SELECT-OPT-NEXT: store i64 [[C]], ptr [[C36]], align 8
+; NO-SELECT-OPT-NEXT: [[ORG_C69:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB]], i32 8
+; NO-SELECT-OPT-NEXT: store i64 [[C]], ptr [[ORG_C69]], align 8
+; NO-SELECT-OPT-NEXT: store i64 [[RC]], ptr [[FLOW19]], align 8
+; NO-SELECT-OPT-NEXT: store i32 [[CONV]], ptr [[ARRAYIDX18]], align 8
+; NO-SELECT-OPT-NEXT: [[MUL:%.*]] = shl nsw i64 [[CMP_0151]], 1
+; NO-SELECT-OPT-NEXT: [[CMP77_NOT_NOT:%.*]] = icmp slt i64 [[MUL]], [[MA]]
+; NO-SELECT-OPT-NEXT: br i1 [[CMP77_NOT_NOT]], label [[IF_THEN:%.*]], label
[[IF_END87]]
+; NO-SELECT-OPT: if.then:
+; NO-SELECT-OPT-NEXT: [[SUB79:%.*]] = add nsw i64 [[MUL]], -1
+; NO-SELECT-OPT-NEXT: [[FLOW81:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB79]], i32 7
+; NO-SELECT-OPT-NEXT: [[TMP7:%.*]] = load i64, ptr [[FLOW81]], align 8
+; NO-SELECT-OPT-NEXT: [[FLOW83:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[MUL]], i32 7
+; NO-SELECT-OPT-NEXT: [[TMP8:%.*]] = load i64, ptr [[FLOW83]], align 8
+; NO-SELECT-OPT-NEXT: [[CMP84:%.*]] = icmp slt i64 [[TMP7]], [[TMP8]]
+; NO-SELECT-OPT-NEXT: [[ADD:%.*]] = zext i1 [[CMP84]] to i64
+; NO-SELECT-OPT-NEXT: [[SPEC_SELECT:%.*]] = or disjoint i64 [[MUL]], [[ADD]]
+; NO-SELECT-OPT-NEXT: br label [[IF_END87]]
+; NO-SELECT-OPT: if.end87:
+; NO-SELECT-OPT-NEXT: [[CMP_1]] = phi i64 [ [[MUL]], [[WHILE_BODY]] ], [
[[SPEC_SELECT]], [[IF_THEN]] ]
+; NO-SELECT-OPT-NEXT: [[CMP16_NOT:%.*]] = icmp sgt i64 [[CMP_1]], [[MA]]
+; NO-SELECT-OPT-NEXT: br i1 [[CMP16_NOT]], label [[WHILE_END]], label
[[LAND_RHS]]
+; NO-SELECT-OPT: while.end:
+; NO-SELECT-OPT-NEXT: ret void
+;
+; SELECT-OPT-LABEL: @replace_or(
+; SELECT-OPT-NEXT: entry:
+; SELECT-OPT-NEXT: [[T1:%.*]] = getelementptr inbounds [[STRUCT_ST:%.*]],
ptr [[NEWST:%.*]], i64 0, i32 2
+; SELECT-OPT-NEXT: store ptr [[T:%.*]], ptr [[T1]], align 8
+; SELECT-OPT-NEXT: [[H3:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 0, i32 3
+; SELECT-OPT-NEXT: store ptr [[H:%.*]], ptr [[H3]], align 8
+; SELECT-OPT-NEXT: [[ORG_C:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 0, i32 8
+; SELECT-OPT-NEXT: store i64 [[C:%.*]], ptr [[ORG_C]], align 8
+; SELECT-OPT-NEXT: [[C6:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 0, i32 1
+; SELECT-OPT-NEXT: store i64 [[C]], ptr [[C6]], align 8
+; SELECT-OPT-NEXT: [[FLOW:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 0, i32 7
+; SELECT-OPT-NEXT: store i64 [[RC:%.*]], ptr [[FLOW]], align 8
+; SELECT-OPT-NEXT: [[CONV:%.*]] = trunc i64 [[N:%.*]] to i32
+; SELECT-OPT-NEXT: store i32 [[CONV]], ptr [[NEWST]], align 8
+; SELECT-OPT-NEXT: [[FLOW10:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 1, i32 7
+; SELECT-OPT-NEXT: [[TMP0:%.*]] = load i64, ptr [[FLOW10]], align 8
+; SELECT-OPT-NEXT: [[FLOW12:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 2, i32 7
+; SELECT-OPT-NEXT: [[TMP1:%.*]] = load i64, ptr [[FLOW12]], align 8
+; SELECT-OPT-NEXT: [[CMP13:%.*]] = icmp sgt i64 [[TMP0]], [[TMP1]]
+; SELECT-OPT-NEXT: [[CONV15:%.*]] = select i1 [[CMP13]], i64 2, i64 3
+; SELECT-OPT-NEXT: [[CMP16_NOT149:%.*]] = icmp sgt i64 [[CONV15]],
[[MA:%.*]]
+; SELECT-OPT-NEXT: br i1 [[CMP16_NOT149]], label [[WHILE_END:%.*]], label
[[LAND_RHS:%.*]]
+; SELECT-OPT: land.rhs:
+; SELECT-OPT-NEXT: [[CMP_0151:%.*]] = phi i64 [ [[CMP_1:%.*]],
[[IF_END87:%.*]] ], [ [[CONV15]], [[ENTRY:%.*]] ]
+; SELECT-OPT-NEXT: [[POS_0150:%.*]] = phi i64 [ [[CMP_0151]], [[IF_END87]]
], [ 1, [[ENTRY]] ]
+; SELECT-OPT-NEXT: [[SUB:%.*]] = add nsw i64 [[CMP_0151]], -1
+; SELECT-OPT-NEXT: [[FLOW19:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB]], i32 7
+; SELECT-OPT-NEXT: [[TMP2:%.*]] = load i64, ptr [[FLOW19]], align 8
+; SELECT-OPT-NEXT: [[CMP20:%.*]] = icmp sgt i64 [[TMP2]], [[RC]]
+; SELECT-OPT-NEXT: br i1 [[CMP20]], label [[WHILE_BODY:%.*]], label
[[WHILE_END]]
+; SELECT-OPT: while.body:
+; SELECT-OPT-NEXT: [[ARRAYIDX18:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB]]
+; SELECT-OPT-NEXT: [[T24:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 [[SUB]], i32 2
+; SELECT-OPT-NEXT: [[TMP3:%.*]] = load ptr, ptr [[T24]], align 8
+; SELECT-OPT-NEXT: [[SUB25:%.*]] = add nsw i64 [[POS_0150]], -1
+; SELECT-OPT-NEXT: [[ARRAYIDX26:%.*]] = getelementptr inbounds
[[STRUCT_ST]], ptr [[NEWST]], i64 [[SUB25]]
+; SELECT-OPT-NEXT: [[T27:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 [[SUB25]], i32 2
+; SELECT-OPT-NEXT: store ptr [[TMP3]], ptr [[T27]], align 8
+; SELECT-OPT-NEXT: [[H30:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 [[SUB]], i32 3
+; SELECT-OPT-NEXT: [[TMP4:%.*]] = load ptr, ptr [[H30]], align 8
+; SELECT-OPT-NEXT: [[H33:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 [[SUB25]], i32 3
+; SELECT-OPT-NEXT: store ptr [[TMP4]], ptr [[H33]], align 8
+; SELECT-OPT-NEXT: [[C36:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 [[SUB]], i32 1
+; SELECT-OPT-NEXT: [[TMP5:%.*]] = load i64, ptr [[C36]], align 8
+; SELECT-OPT-NEXT: [[C39:%.*]] = getelementptr inbounds [[STRUCT_ST]], ptr
[[NEWST]], i64 [[SUB25]], i32 1
+; SELECT-OPT-NEXT: store i64 [[TMP5]], ptr [[C39]], align 8
+; SELECT-OPT-NEXT: [[ORG_C45:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB25]], i32 8
+; SELECT-OPT-NEXT: store i64 [[TMP5]], ptr [[ORG_C45]], align 8
+; SELECT-OPT-NEXT: [[FLOW51:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB25]], i32 7
+; SELECT-OPT-NEXT: store i64 [[TMP2]], ptr [[FLOW51]], align 8
+; SELECT-OPT-NEXT: [[TMP6:%.*]] = load i32, ptr [[ARRAYIDX18]], align 8
+; SELECT-OPT-NEXT: store i32 [[TMP6]], ptr [[ARRAYIDX26]], align 8
+; SELECT-OPT-NEXT: store ptr [[T]], ptr [[T24]], align 8
+; SELECT-OPT-NEXT: store ptr [[H]], ptr [[H30]], align 8
+; SELECT-OPT-NEXT: store i64 [[C]], ptr [[C36]], align 8
+; SELECT-OPT-NEXT: [[ORG_C69:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB]], i32 8
+; SELECT-OPT-NEXT: store i64 [[C]], ptr [[ORG_C69]], align 8
+; SELECT-OPT-NEXT: store i64 [[RC]], ptr [[FLOW19]], align 8
+; SELECT-OPT-NEXT: store i32 [[CONV]], ptr [[ARRAYIDX18]], align 8
+; SELECT-OPT-NEXT: [[MUL:%.*]] = shl nsw i64 [[CMP_0151]], 1
+; SELECT-OPT-NEXT: [[CMP77_NOT_NOT:%.*]] = icmp slt i64 [[MUL]], [[MA]]
+; SELECT-OPT-NEXT: br i1 [[CMP77_NOT_NOT]], label [[IF_THEN:%.*]], label
[[IF_END87]]
+; SELECT-OPT: if.then:
+; SELECT-OPT-NEXT: [[SUB79:%.*]] = add nsw i64 [[MUL]], -1
+; SELECT-OPT-NEXT: [[FLOW81:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[SUB79]], i32 7
+; SELECT-OPT-NEXT: [[TMP7:%.*]] = load i64, ptr [[FLOW81]], align 8
+; SELECT-OPT-NEXT: [[FLOW83:%.*]] = getelementptr inbounds [[STRUCT_ST]],
ptr [[NEWST]], i64 [[MUL]], i32 7
+; SELECT-OPT-NEXT: [[TMP8:%.*]] = load i64, ptr [[FLOW83]], align 8
+; SELECT-OPT-NEXT: [[CMP84:%.*]] = icmp slt i64 [[TMP7]], [[TMP8]]
+; SELECT-OPT-NEXT: [[ADD:%.*]] = zext i1 [[CMP84]] to i64
+; SELECT-OPT-NEXT: [[CMP84_FROZEN:%.*]] = freeze i1 [[CMP84]]
+; SELECT-OPT-NEXT: br i1 [[CMP84_FROZEN]], label [[SELECT_TRUE_SINK:%.*]],
label [[SELECT_END:%.*]]
+; SELECT-OPT: select.true.sink:
+; SELECT-OPT-NEXT: [[TMP9:%.*]] = or disjoint i64 [[MUL]], 1
+; SELECT-OPT-NEXT: br label [[SELECT_END]]
+; SELECT-OPT: select.end:
+; SELECT-OPT-NEXT: [[SPEC_SELECT:%.*]] = phi i64 [ [[TMP9]],
[[SELECT_TRUE_SINK]] ], [ [[MUL]], [[IF_THEN]] ]
+; SELECT-OPT-NEXT: br label [[IF_END87]]
+; SELECT-OPT: if.end87:
+; SELECT-OPT-NEXT: [[CMP_1]] = phi i64 [ [[MUL]], [[WHILE_BODY]] ], [
[[SPEC_SELECT]], [[SELECT_END]] ]
+; SELECT-OPT-NEXT: [[CMP16_NOT:%.*]] = icmp sgt i64 [[CMP_1]], [[MA]]
+; SELECT-OPT-NEXT: br i1 [[CMP16_NOT]], label [[WHILE_END]], label
[[LAND_RHS]]
+; SELECT-OPT: while.end:
+; SELECT-OPT-NEXT: ret void
+;
+entry:
+ %t1 = getelementptr inbounds %struct.st, ptr %newst, i64 0, i32 2
+ store ptr %t, ptr %t1, align 8
+ %h3 = getelementptr inbounds %struct.st, ptr %newst, i64 0, i32 3
+ store ptr %h, ptr %h3, align 8
+ %org_c = getelementptr inbounds %struct.st, ptr %newst, i64 0, i32 8
+ store i64 %c, ptr %org_c, align 8
+ %c6 = getelementptr inbounds %struct.st, ptr %newst, i64 0, i32 1
+ store i64 %c, ptr %c6, align 8
+ %flow = getelementptr inbounds %struct.st, ptr %newst, i64 0, i32 7
+ store i64 %rc, ptr %flow, align 8
+ %conv = trunc i64 %n to i32
+ store i32 %conv, ptr %newst, align 8
+ %flow10 = getelementptr inbounds %struct.st, ptr %newst, i64 1, i32 7
+ %0 = load i64, ptr %flow10, align 8
+ %flow12 = getelementptr inbounds %struct.st, ptr %newst, i64 2, i32 7
+ %1 = load i64, ptr %flow12, align 8
+ %cmp13 = icmp sgt i64 %0, %1
+ %conv15 = select i1 %cmp13, i64 2, i64 3
+ %cmp16.not149 = icmp sgt i64 %conv15, %ma
+ br i1 %cmp16.not149, label %while.end, label %land.rhs
+
+land.rhs: ; preds = %entry, %if.end87
+ %cmp.0151 = phi i64 [ %cmp.1, %if.end87 ], [ %conv15, %entry ]
+ %pos.0150 = phi i64 [ %cmp.0151, %if.end87 ], [ 1, %entry ]
+ %sub = add nsw i64 %cmp.0151, -1
+ %flow19 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub, i32 7
+ %2 = load i64, ptr %flow19, align 8
+ %cmp20 = icmp sgt i64 %2, %rc
+ br i1 %cmp20, label %while.body, label %while.end
+
+while.body: ; preds = %land.rhs
+ %arrayidx18 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub
+ %t24 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub, i32 2
+ %3 = load ptr, ptr %t24, align 8
+ %sub25 = add nsw i64 %pos.0150, -1
+ %arrayidx26 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub25
+ %t27 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub25, i32 2
+ store ptr %3, ptr %t27, align 8
+ %h30 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub, i32 3
+ %4 = load ptr, ptr %h30, align 8
+ %h33 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub25, i32 3
+ store ptr %4, ptr %h33, align 8
+ %c36 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub, i32 1
+ %5 = load i64, ptr %c36, align 8
+ %c39 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub25, i32 1
+ store i64 %5, ptr %c39, align 8
+ %org_c45 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub25, i32 8
+ store i64 %5, ptr %org_c45, align 8
+ %flow51 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub25, i32 7
+ store i64 %2, ptr %flow51, align 8
+ %6 = load i32, ptr %arrayidx18, align 8
+ store i32 %6, ptr %arrayidx26, align 8
+ store ptr %t, ptr %t24, align 8
+ store ptr %h, ptr %h30, align 8
+ store i64 %c, ptr %c36, align 8
+ %org_c69 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub, i32 8
+ store i64 %c, ptr %org_c69, align 8
+ store i64 %rc, ptr %flow19, align 8
+ store i32 %conv, ptr %arrayidx18, align 8
+ %mul = shl nsw i64 %cmp.0151, 1
+ %cmp77.not.not = icmp slt i64 %mul, %ma
+ br i1 %cmp77.not.not, label %if.then, label %if.end87
+
+if.then: ; preds = %while.body
+ %sub79 = add nsw i64 %mul, -1
+ %flow81 = getelementptr inbounds %struct.st, ptr %newst, i64 %sub79, i32 7
+ %7 = load i64, ptr %flow81, align 8
+ %flow83 = getelementptr inbounds %struct.st, ptr %newst, i64 %mul, i32 7
+ %8 = load i64, ptr %flow83, align 8
+ %cmp84 = icmp slt i64 %7, %8
+ %add = zext i1 %cmp84 to i64
+ %spec.select = or disjoint i64 %mul, %add
+ br label %if.end87
+
+if.end87: ; preds = %if.then,
%while.body
+ %cmp.1 = phi i64 [ %mul, %while.body ], [ %spec.select, %if.then ]
+ %cmp16.not = icmp sgt i64 %cmp.1, %ma
+ br i1 %cmp16.not, label %while.end, label %land.rhs
+
+while.end: ; preds = %if.end87,
%land.rhs, %entry
+ ret void
+}
+
+
+; This `or` is not transformed as it is not the last instruction in the block
+define i32 @or_notatendofblock(ptr nocapture noundef %x, i32 noundef %n, ptr
nocapture noundef readonly %z) {
+; NO-SELECT-OPT-LABEL: @or_notatendofblock(
----------------
lukel97 wrote:
I think these check lines are the same, should we add a common `CHECK` prefix
among the run lines?
https://github.com/llvm/llvm-project/pull/80124
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
