From 06612123dc2997362a062067d53a9bd9dc2f6a82 Mon Sep 17 00:00:00 2001 From: Matt Arsenault Date: Sat, 26 Nov 2022 20:14:01 -0500 Subject: [PATCH] NaryReassociate: Convert tests to opaque pointers NVPTX/nary-gep.ll had one test that checked for a deleted bitcast which needed to be updated manually. --- .../NaryReassociate/NVPTX/nary-gep.ll | 115 +++++++++--------- .../Transforms/NaryReassociate/nary-smax.ll | 38 +++--- .../Transforms/NaryReassociate/nary-smin.ll | 38 +++--- .../Transforms/NaryReassociate/nary-umax.ll | 38 +++--- .../Transforms/NaryReassociate/nary-umin.ll | 38 +++--- 5 files changed, 134 insertions(+), 133 deletions(-) diff --git a/llvm/test/Transforms/NaryReassociate/NVPTX/nary-gep.ll b/llvm/test/Transforms/NaryReassociate/NVPTX/nary-gep.ll index 9a137fb3f3e9..aae1fa3537ac 100644 --- a/llvm/test/Transforms/NaryReassociate/NVPTX/nary-gep.ll +++ b/llvm/test/Transforms/NaryReassociate/NVPTX/nary-gep.ll @@ -4,7 +4,7 @@ target datalayout = "e-i64:64-v16:16-v32:32-n16:32:64" target triple = "nvptx64-unknown-unknown" -declare void @foo(float*) +declare void @foo(ptr) ; foo(&a[i]); ; foo(&a[i + j]); @@ -12,17 +12,17 @@ declare void @foo(float*) ; t = &a[i]; ; foo(t); ; foo(t + j); -define void @reassociate_gep(float* %a, i64 %i, i64 %j) { +define void @reassociate_gep(ptr %a, i64 %i, i64 %j) { ; CHECK-LABEL: @reassociate_gep( %1 = add i64 %i, %j - %2 = getelementptr float, float* %a, i64 %i -; CHECK: [[t1:[^ ]+]] = getelementptr float, float* %a, i64 %i - call void @foo(float* %2) -; CHECK: call void @foo(float* [[t1]]) - %3 = getelementptr float, float* %a, i64 %1 -; CHECK: [[t2:[^ ]+]] = getelementptr float, float* [[t1]], i64 %j - call void @foo(float* %3) -; CHECK: call void @foo(float* [[t2]]) + %2 = getelementptr float, ptr %a, i64 %i +; CHECK: [[t1:[^ ]+]] = getelementptr float, ptr %a, i64 %i + call void @foo(ptr %2) +; CHECK: call void @foo(ptr [[t1]]) + %3 = getelementptr float, ptr %a, i64 %1 +; CHECK: [[t2:[^ ]+]] = getelementptr float, ptr [[t1]], i64 %j + call void @foo(ptr %3) +; CHECK: call void @foo(ptr [[t2]]) ret void } @@ -36,28 +36,28 @@ define void @reassociate_gep(float* %a, i64 %i, i64 %j) { ; foo(t2); ; t3 = t2 + sext(i); // sext(i) should be GVN'ed. ; foo(t3); -define void @reassociate_gep_nsw(float* %a, i32 %i, i32 %j) { +define void @reassociate_gep_nsw(ptr %a, i32 %i, i32 %j) { ; CHECK-LABEL: @reassociate_gep_nsw( %idxprom.j = sext i32 %j to i64 - %1 = getelementptr float, float* %a, i64 %idxprom.j -; CHECK: [[t1:[^ ]+]] = getelementptr float, float* %a, i64 %idxprom.j - call void @foo(float* %1) -; CHECK: call void @foo(float* [[t1]]) + %1 = getelementptr float, ptr %a, i64 %idxprom.j +; CHECK: [[t1:[^ ]+]] = getelementptr float, ptr %a, i64 %idxprom.j + call void @foo(ptr %1) +; CHECK: call void @foo(ptr [[t1]]) %2 = add nsw i32 %i, %j %idxprom.2 = sext i32 %2 to i64 - %3 = getelementptr float, float* %a, i64 %idxprom.2 + %3 = getelementptr float, ptr %a, i64 %idxprom.2 ; CHECK: [[sexti:[^ ]+]] = sext i32 %i to i64 -; CHECK: [[t2:[^ ]+]] = getelementptr float, float* [[t1]], i64 [[sexti]] - call void @foo(float* %3) -; CHECK: call void @foo(float* [[t2]]) +; CHECK: [[t2:[^ ]+]] = getelementptr float, ptr [[t1]], i64 [[sexti]] + call void @foo(ptr %3) +; CHECK: call void @foo(ptr [[t2]]) %4 = add nsw i32 %2, %i %idxprom.4 = sext i32 %4 to i64 - %5 = getelementptr float, float* %a, i64 %idxprom.4 -; CHECK: [[t3:[^ ]+]] = getelementptr float, float* [[t2]], i64 [[sexti]] - call void @foo(float* %5) -; CHECK: call void @foo(float* [[t3]]) + %5 = getelementptr float, ptr %a, i64 %idxprom.4 +; CHECK: [[t3:[^ ]+]] = getelementptr float, ptr [[t2]], i64 [[sexti]] + call void @foo(ptr %5) +; CHECK: call void @foo(ptr [[t3]]) ret void } @@ -71,7 +71,7 @@ define void @reassociate_gep_nsw(float* %a, i32 %i, i32 %j) { ; foo(t1); ; t2 = t1 + sext(i); ; foo(t2); -define void @reassociate_gep_assume(float* %a, i32 %i, i32 %j) { +define void @reassociate_gep_assume(ptr %a, i32 %i, i32 %j) { ; CHECK-LABEL: @reassociate_gep_assume( ; assume(j >= 0) %cmp = icmp sgt i32 %j, -1 @@ -81,63 +81,64 @@ define void @reassociate_gep_assume(float* %a, i32 %i, i32 %j) { call void @llvm.assume(i1 %cmp2) %idxprom.j = zext i32 %j to i64 - %2 = getelementptr float, float* %a, i64 %idxprom.j -; CHECK: [[t1:[^ ]+]] = getelementptr float, float* %a, i64 %idxprom.j - call void @foo(float* %2) -; CHECK: call void @foo(float* [[t1]]) + %2 = getelementptr float, ptr %a, i64 %idxprom.j +; CHECK: [[t1:[^ ]+]] = getelementptr float, ptr %a, i64 %idxprom.j + call void @foo(ptr %2) +; CHECK: call void @foo(ptr [[t1]]) %idxprom.1 = zext i32 %1 to i64 - %3 = getelementptr float, float* %a, i64 %idxprom.1 + %3 = getelementptr float, ptr %a, i64 %idxprom.1 ; CHECK: [[sexti:[^ ]+]] = sext i32 %i to i64 -; CHECK: [[t2:[^ ]+]] = getelementptr float, float* [[t1]], i64 [[sexti]] - call void @foo(float* %3) -; CHECK: call void @foo(float* [[t2]]) +; CHECK: [[t2:[^ ]+]] = getelementptr float, ptr [[t1]], i64 [[sexti]] + call void @foo(ptr %3) +; CHECK: call void @foo(ptr [[t2]]) ret void } ; Do not split the second GEP because sext(i + j) != sext(i) + sext(j). -define void @reassociate_gep_no_nsw(float* %a, i32 %i, i32 %j) { +define void @reassociate_gep_no_nsw(ptr %a, i32 %i, i32 %j) { ; CHECK-LABEL: @reassociate_gep_no_nsw( %1 = add i32 %i, %j - %2 = getelementptr float, float* %a, i32 %j -; CHECK: getelementptr float, float* %a, i32 %j - call void @foo(float* %2) - %3 = getelementptr float, float* %a, i32 %1 -; CHECK: getelementptr float, float* %a, i32 %1 - call void @foo(float* %3) + %2 = getelementptr float, ptr %a, i32 %j +; CHECK: getelementptr float, ptr %a, i32 %j + call void @foo(ptr %2) + %3 = getelementptr float, ptr %a, i32 %1 +; CHECK: getelementptr float, ptr %a, i32 %1 + call void @foo(ptr %3) ret void } -define void @reassociate_gep_128(float* %a, i128 %i, i128 %j) { +define void @reassociate_gep_128(ptr %a, i128 %i, i128 %j) { ; CHECK-LABEL: @reassociate_gep_128( %1 = add i128 %i, %j - %2 = getelementptr float, float* %a, i128 %i -; CHECK: [[t1:[^ ]+]] = getelementptr float, float* %a, i128 %i - call void @foo(float* %2) -; CHECK: call void @foo(float* [[t1]]) - %3 = getelementptr float, float* %a, i128 %1 + %2 = getelementptr float, ptr %a, i128 %i +; CHECK: [[t1:[^ ]+]] = getelementptr float, ptr %a, i128 %i + call void @foo(ptr %2) +; CHECK: call void @foo(ptr [[t1]]) + %3 = getelementptr float, ptr %a, i128 %1 ; CHECK: [[truncj:[^ ]+]] = trunc i128 %j to i64 -; CHECK: [[t2:[^ ]+]] = getelementptr float, float* [[t1]], i64 [[truncj]] - call void @foo(float* %3) -; CHECK: call void @foo(float* [[t2]]) +; CHECK: [[t2:[^ ]+]] = getelementptr float, ptr [[t1]], i64 [[truncj]] + call void @foo(ptr %3) +; CHECK: call void @foo(ptr [[t2]]) ret void } %struct.complex = type { float, float } -declare void @bar(%struct.complex*) +declare void @bar(ptr) -define void @different_types(%struct.complex* %input, i64 %i) { +define void @different_types(ptr %input, i64 %i) { ; CHECK-LABEL: @different_types( - %t1 = getelementptr %struct.complex, %struct.complex* %input, i64 %i - call void @bar(%struct.complex* %t1) +; CHECK-NEXT: %t1 = getelementptr %struct.complex, ptr %input, i64 %i +; CHECK-NEXT: call void @bar(ptr %t1) +; CHECK-NEXT: %t2 = getelementptr float, ptr %t1, i64 10 +; CHECK-NEXT: call void @foo(ptr %t2) + %t1 = getelementptr %struct.complex, ptr %input, i64 %i + call void @bar(ptr %t1) %j = add i64 %i, 5 - %t2 = getelementptr %struct.complex, %struct.complex* %input, i64 %j, i32 0 -; CHECK: [[cast:[^ ]+]] = bitcast %struct.complex* %t1 to float* -; CHECK-NEXT: %t2 = getelementptr float, float* [[cast]], i64 10 -; CHECK-NEXT: call void @foo(float* %t2) - call void @foo(float* %t2) + %t2 = getelementptr %struct.complex, ptr %input, i64 %j, i32 0 + call void @foo(ptr %t2) ret void } diff --git a/llvm/test/Transforms/NaryReassociate/nary-smax.ll b/llvm/test/Transforms/NaryReassociate/nary-smax.ll index c037e51fc383..7e852385c7e1 100644 --- a/llvm/test/Transforms/NaryReassociate/nary-smax.ll +++ b/llvm/test/Transforms/NaryReassociate/nary-smax.ll @@ -146,26 +146,26 @@ define i32 @smax_test7(i32 %a, i32 %b, i32 %c) { } ; Pointer types are not supported yet -define i32* @smax_test8(i32* %a, i32* %b, i32* %c) { +define ptr @smax_test8(ptr %a, ptr %b, ptr %c) { ; CHECK-LABEL: @smax_test8( -; CHECK-NEXT: [[C1:%.*]] = icmp sgt i32* [[A:%.*]], [[B:%.*]] -; CHECK-NEXT: [[SMAX1:%.*]] = select i1 [[C1]], i32* [[A]], i32* [[B]] -; CHECK-NEXT: [[C2:%.*]] = icmp sgt i32* [[B]], [[C:%.*]] -; CHECK-NEXT: [[SMAX2:%.*]] = select i1 [[C2]], i32* [[B]], i32* [[C]] -; CHECK-NEXT: [[C3:%.*]] = icmp sgt i32* [[SMAX2]], [[A]] -; CHECK-NEXT: [[SMAX3:%.*]] = select i1 [[C3]], i32* [[SMAX2]], i32* [[A]] -; CHECK-NEXT: [[C4:%.*]] = icmp sgt i32* [[SMAX1]], [[SMAX3]] -; CHECK-NEXT: [[RES:%.*]] = select i1 [[C4]], i32* [[SMAX1]], i32* [[SMAX3]] -; CHECK-NEXT: ret i32* [[RES]] +; CHECK-NEXT: [[C1:%.*]] = icmp sgt ptr [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[SMAX1:%.*]] = select i1 [[C1]], ptr [[A]], ptr [[B]] +; CHECK-NEXT: [[C2:%.*]] = icmp sgt ptr [[B]], [[C:%.*]] +; CHECK-NEXT: [[SMAX2:%.*]] = select i1 [[C2]], ptr [[B]], ptr [[C]] +; CHECK-NEXT: [[C3:%.*]] = icmp sgt ptr [[SMAX2]], [[A]] +; CHECK-NEXT: [[SMAX3:%.*]] = select i1 [[C3]], ptr [[SMAX2]], ptr [[A]] +; CHECK-NEXT: [[C4:%.*]] = icmp sgt ptr [[SMAX1]], [[SMAX3]] +; CHECK-NEXT: [[RES:%.*]] = select i1 [[C4]], ptr [[SMAX1]], ptr [[SMAX3]] +; CHECK-NEXT: ret ptr [[RES]] ; - %c1 = icmp sgt i32* %a, %b - %smax1 = select i1 %c1, i32* %a, i32* %b - %c2 = icmp sgt i32* %b, %c - %smax2 = select i1 %c2, i32* %b, i32* %c - %c3 = icmp sgt i32* %smax2, %a - %smax3 = select i1 %c3, i32* %smax2, i32* %a - %c4 = icmp sgt i32* %smax1, %smax3 - %res = select i1 %c4, i32* %smax1, i32* %smax3 - ret i32* %res + %c1 = icmp sgt ptr %a, %b + %smax1 = select i1 %c1, ptr %a, ptr %b + %c2 = icmp sgt ptr %b, %c + %smax2 = select i1 %c2, ptr %b, ptr %c + %c3 = icmp sgt ptr %smax2, %a + %smax3 = select i1 %c3, ptr %smax2, ptr %a + %c4 = icmp sgt ptr %smax1, %smax3 + %res = select i1 %c4, ptr %smax1, ptr %smax3 + ret ptr %res } diff --git a/llvm/test/Transforms/NaryReassociate/nary-smin.ll b/llvm/test/Transforms/NaryReassociate/nary-smin.ll index d8a2cc367aa2..21ce48a58ca2 100644 --- a/llvm/test/Transforms/NaryReassociate/nary-smin.ll +++ b/llvm/test/Transforms/NaryReassociate/nary-smin.ll @@ -146,25 +146,25 @@ define i32 @smin_test7(i32 %a, i32 %b, i32 %c) { } ; Pointer types are not supported yet -define i32* @smin_test8(i32* %a, i32* %b, i32* %c) { +define ptr @smin_test8(ptr %a, ptr %b, ptr %c) { ; CHECK-LABEL: @smin_test8( -; CHECK-NEXT: [[C1:%.*]] = icmp slt i32* [[A:%.*]], [[B:%.*]] -; CHECK-NEXT: [[UMIN1:%.*]] = select i1 [[C1]], i32* [[A]], i32* [[B]] -; CHECK-NEXT: [[C2:%.*]] = icmp slt i32* [[B]], [[C:%.*]] -; CHECK-NEXT: [[UMIN2:%.*]] = select i1 [[C2]], i32* [[B]], i32* [[C]] -; CHECK-NEXT: [[C3:%.*]] = icmp slt i32* [[UMIN2]], [[A]] -; CHECK-NEXT: [[UMIN3:%.*]] = select i1 [[C3]], i32* [[UMIN2]], i32* [[A]] -; CHECK-NEXT: [[C4:%.*]] = icmp slt i32* [[UMIN1]], [[UMIN3]] -; CHECK-NEXT: [[RES:%.*]] = select i1 [[C4]], i32* [[UMIN1]], i32* [[UMIN3]] -; CHECK-NEXT: ret i32* [[RES]] +; CHECK-NEXT: [[C1:%.*]] = icmp slt ptr [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[UMIN1:%.*]] = select i1 [[C1]], ptr [[A]], ptr [[B]] +; CHECK-NEXT: [[C2:%.*]] = icmp slt ptr [[B]], [[C:%.*]] +; CHECK-NEXT: [[UMIN2:%.*]] = select i1 [[C2]], ptr [[B]], ptr [[C]] +; CHECK-NEXT: [[C3:%.*]] = icmp slt ptr [[UMIN2]], [[A]] +; CHECK-NEXT: [[UMIN3:%.*]] = select i1 [[C3]], ptr [[UMIN2]], ptr [[A]] +; CHECK-NEXT: [[C4:%.*]] = icmp slt ptr [[UMIN1]], [[UMIN3]] +; CHECK-NEXT: [[RES:%.*]] = select i1 [[C4]], ptr [[UMIN1]], ptr [[UMIN3]] +; CHECK-NEXT: ret ptr [[RES]] ; - %c1 = icmp slt i32* %a, %b - %umin1 = select i1 %c1, i32* %a, i32* %b - %c2 = icmp slt i32* %b, %c - %umin2 = select i1 %c2, i32* %b, i32* %c - %c3 = icmp slt i32* %umin2, %a - %umin3 = select i1 %c3, i32* %umin2, i32* %a - %c4 = icmp slt i32* %umin1, %umin3 - %res = select i1 %c4, i32* %umin1, i32* %umin3 - ret i32* %res + %c1 = icmp slt ptr %a, %b + %umin1 = select i1 %c1, ptr %a, ptr %b + %c2 = icmp slt ptr %b, %c + %umin2 = select i1 %c2, ptr %b, ptr %c + %c3 = icmp slt ptr %umin2, %a + %umin3 = select i1 %c3, ptr %umin2, ptr %a + %c4 = icmp slt ptr %umin1, %umin3 + %res = select i1 %c4, ptr %umin1, ptr %umin3 + ret ptr %res } diff --git a/llvm/test/Transforms/NaryReassociate/nary-umax.ll b/llvm/test/Transforms/NaryReassociate/nary-umax.ll index a927793d5927..ff4b50de2049 100644 --- a/llvm/test/Transforms/NaryReassociate/nary-umax.ll +++ b/llvm/test/Transforms/NaryReassociate/nary-umax.ll @@ -146,25 +146,25 @@ define i32 @umax_test7(i32 %a, i32 %b, i32 %c) { } ; Pointer types are not supported yet -define i32* @umax_test8(i32* %a, i32* %b, i32* %c) { +define ptr @umax_test8(ptr %a, ptr %b, ptr %c) { ; CHECK-LABEL: @umax_test8( -; CHECK-NEXT: [[C1:%.*]] = icmp ugt i32* [[A:%.*]], [[B:%.*]] -; CHECK-NEXT: [[SMAX1:%.*]] = select i1 [[C1]], i32* [[A]], i32* [[B]] -; CHECK-NEXT: [[C2:%.*]] = icmp ugt i32* [[B]], [[C:%.*]] -; CHECK-NEXT: [[SMAX2:%.*]] = select i1 [[C2]], i32* [[B]], i32* [[C]] -; CHECK-NEXT: [[C3:%.*]] = icmp ugt i32* [[SMAX2]], [[A]] -; CHECK-NEXT: [[SMAX3:%.*]] = select i1 [[C3]], i32* [[SMAX2]], i32* [[A]] -; CHECK-NEXT: [[C4:%.*]] = icmp ugt i32* [[SMAX1]], [[SMAX3]] -; CHECK-NEXT: [[RES:%.*]] = select i1 [[C4]], i32* [[SMAX1]], i32* [[SMAX3]] -; CHECK-NEXT: ret i32* [[RES]] +; CHECK-NEXT: [[C1:%.*]] = icmp ugt ptr [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[SMAX1:%.*]] = select i1 [[C1]], ptr [[A]], ptr [[B]] +; CHECK-NEXT: [[C2:%.*]] = icmp ugt ptr [[B]], [[C:%.*]] +; CHECK-NEXT: [[SMAX2:%.*]] = select i1 [[C2]], ptr [[B]], ptr [[C]] +; CHECK-NEXT: [[C3:%.*]] = icmp ugt ptr [[SMAX2]], [[A]] +; CHECK-NEXT: [[SMAX3:%.*]] = select i1 [[C3]], ptr [[SMAX2]], ptr [[A]] +; CHECK-NEXT: [[C4:%.*]] = icmp ugt ptr [[SMAX1]], [[SMAX3]] +; CHECK-NEXT: [[RES:%.*]] = select i1 [[C4]], ptr [[SMAX1]], ptr [[SMAX3]] +; CHECK-NEXT: ret ptr [[RES]] ; - %c1 = icmp ugt i32* %a, %b - %smax1 = select i1 %c1, i32* %a, i32* %b - %c2 = icmp ugt i32* %b, %c - %smax2 = select i1 %c2, i32* %b, i32* %c - %c3 = icmp ugt i32* %smax2, %a - %smax3 = select i1 %c3, i32* %smax2, i32* %a - %c4 = icmp ugt i32* %smax1, %smax3 - %res = select i1 %c4, i32* %smax1, i32* %smax3 - ret i32* %res + %c1 = icmp ugt ptr %a, %b + %smax1 = select i1 %c1, ptr %a, ptr %b + %c2 = icmp ugt ptr %b, %c + %smax2 = select i1 %c2, ptr %b, ptr %c + %c3 = icmp ugt ptr %smax2, %a + %smax3 = select i1 %c3, ptr %smax2, ptr %a + %c4 = icmp ugt ptr %smax1, %smax3 + %res = select i1 %c4, ptr %smax1, ptr %smax3 + ret ptr %res } diff --git a/llvm/test/Transforms/NaryReassociate/nary-umin.ll b/llvm/test/Transforms/NaryReassociate/nary-umin.ll index fd02f730dfea..213430fa2dfe 100644 --- a/llvm/test/Transforms/NaryReassociate/nary-umin.ll +++ b/llvm/test/Transforms/NaryReassociate/nary-umin.ll @@ -146,25 +146,25 @@ define i32 @umin_test7(i32 %a, i32 %b, i32 %c) { } ; Pointer types are not supported yet -define i32* @umin_test8(i32* %a, i32* %b, i32* %c) { +define ptr @umin_test8(ptr %a, ptr %b, ptr %c) { ; CHECK-LABEL: @umin_test8( -; CHECK-NEXT: [[C1:%.*]] = icmp ult i32* [[A:%.*]], [[B:%.*]] -; CHECK-NEXT: [[UMIN1:%.*]] = select i1 [[C1]], i32* [[A]], i32* [[B]] -; CHECK-NEXT: [[C2:%.*]] = icmp ult i32* [[B]], [[C:%.*]] -; CHECK-NEXT: [[UMIN2:%.*]] = select i1 [[C2]], i32* [[B]], i32* [[C]] -; CHECK-NEXT: [[C3:%.*]] = icmp ult i32* [[UMIN2]], [[A]] -; CHECK-NEXT: [[UMIN3:%.*]] = select i1 [[C3]], i32* [[UMIN2]], i32* [[A]] -; CHECK-NEXT: [[C4:%.*]] = icmp ult i32* [[UMIN1]], [[UMIN3]] -; CHECK-NEXT: [[RES:%.*]] = select i1 [[C4]], i32* [[UMIN1]], i32* [[UMIN3]] -; CHECK-NEXT: ret i32* [[RES]] +; CHECK-NEXT: [[C1:%.*]] = icmp ult ptr [[A:%.*]], [[B:%.*]] +; CHECK-NEXT: [[UMIN1:%.*]] = select i1 [[C1]], ptr [[A]], ptr [[B]] +; CHECK-NEXT: [[C2:%.*]] = icmp ult ptr [[B]], [[C:%.*]] +; CHECK-NEXT: [[UMIN2:%.*]] = select i1 [[C2]], ptr [[B]], ptr [[C]] +; CHECK-NEXT: [[C3:%.*]] = icmp ult ptr [[UMIN2]], [[A]] +; CHECK-NEXT: [[UMIN3:%.*]] = select i1 [[C3]], ptr [[UMIN2]], ptr [[A]] +; CHECK-NEXT: [[C4:%.*]] = icmp ult ptr [[UMIN1]], [[UMIN3]] +; CHECK-NEXT: [[RES:%.*]] = select i1 [[C4]], ptr [[UMIN1]], ptr [[UMIN3]] +; CHECK-NEXT: ret ptr [[RES]] ; - %c1 = icmp ult i32* %a, %b - %umin1 = select i1 %c1, i32* %a, i32* %b - %c2 = icmp ult i32* %b, %c - %umin2 = select i1 %c2, i32* %b, i32* %c - %c3 = icmp ult i32* %umin2, %a - %umin3 = select i1 %c3, i32* %umin2, i32* %a - %c4 = icmp ult i32* %umin1, %umin3 - %res = select i1 %c4, i32* %umin1, i32* %umin3 - ret i32* %res + %c1 = icmp ult ptr %a, %b + %umin1 = select i1 %c1, ptr %a, ptr %b + %c2 = icmp ult ptr %b, %c + %umin2 = select i1 %c2, ptr %b, ptr %c + %c3 = icmp ult ptr %umin2, %a + %umin3 = select i1 %c3, ptr %umin2, ptr %a + %c4 = icmp ult ptr %umin1, %umin3 + %res = select i1 %c4, ptr %umin1, ptr %umin3 + ret ptr %res } -- 2.34.1