xref: /llvm-project/llvm/test/Transforms/SROA/std-clamp.ll (revision 4f7e5d22060e8a89237ffb93c3e7be6e92fee8fe)
199d6e31eSRoman Lebedev; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2*4f7e5d22SRoman Lebedev; RUN: opt < %s -passes='sroa<preserve-cfg>' -S | FileCheck %s --check-prefixes=CHECK,CHECK-PRESERVE-CFG
3*4f7e5d22SRoman Lebedev; RUN: opt < %s -passes='sroa<modify-cfg>' -S | FileCheck %s --check-prefixes=CHECK,CHECK-MODIFY-CFG
499d6e31eSRoman Lebedev
599d6e31eSRoman Lebedevtarget datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
699d6e31eSRoman Lebedev
799d6e31eSRoman Lebedevdefine float @_Z8stdclampfff(float %x, float %lo, float %hi) {
899d6e31eSRoman Lebedev; CHECK-LABEL: @_Z8stdclampfff(
999d6e31eSRoman Lebedev; CHECK-NEXT:  bb:
1099d6e31eSRoman Lebedev; CHECK-NEXT:    [[I4:%.*]] = alloca float, align 4
1174e65278SNikita Popov; CHECK-NEXT:    store float [[HI:%.*]], ptr [[I4]], align 4
12077bff39SRoman Lebedev; CHECK-NEXT:    [[I5:%.*]] = fcmp fast olt float [[X:%.*]], [[LO:%.*]]
1399d6e31eSRoman Lebedev; CHECK-NEXT:    [[I6:%.*]] = fcmp fast olt float [[HI]], [[X]]
1474e65278SNikita Popov; CHECK-NEXT:    [[I9_SROA_SPECULATE_LOAD_FALSE_SROA_SPECULATE_LOAD_TRUE:%.*]] = load float, ptr [[I4]], align 4
15077bff39SRoman Lebedev; CHECK-NEXT:    [[I9_SROA_SPECULATE_LOAD_FALSE_SROA_SPECULATED:%.*]] = select i1 [[I6]], float [[I9_SROA_SPECULATE_LOAD_FALSE_SROA_SPECULATE_LOAD_TRUE]], float [[X]]
16077bff39SRoman Lebedev; CHECK-NEXT:    [[I9_SROA_SPECULATED:%.*]] = select i1 [[I5]], float [[LO]], float [[I9_SROA_SPECULATE_LOAD_FALSE_SROA_SPECULATED]]
17077bff39SRoman Lebedev; CHECK-NEXT:    ret float [[I9_SROA_SPECULATED]]
1899d6e31eSRoman Lebedev;
1999d6e31eSRoman Lebedevbb:
2099d6e31eSRoman Lebedev  %i = alloca float, align 4
2199d6e31eSRoman Lebedev  %i3 = alloca float, align 4
2299d6e31eSRoman Lebedev  %i4 = alloca float, align 4
2374e65278SNikita Popov  store float %x, ptr %i, align 4
2474e65278SNikita Popov  store float %lo, ptr %i3, align 4
2574e65278SNikita Popov  store float %hi, ptr %i4, align 4
2699d6e31eSRoman Lebedev  %i5 = fcmp fast olt float %x, %lo
2799d6e31eSRoman Lebedev  %i6 = fcmp fast olt float %hi, %x
2874e65278SNikita Popov  %i7 = select i1 %i6, ptr %i4, ptr %i
2974e65278SNikita Popov  %i8 = select i1 %i5, ptr %i3, ptr %i7
3074e65278SNikita Popov  %i9 = load float, ptr %i8, align 4
3199d6e31eSRoman Lebedev  ret float %i9
3299d6e31eSRoman Lebedev}
33*4f7e5d22SRoman Lebedev;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
34*4f7e5d22SRoman Lebedev; CHECK-MODIFY-CFG: {{.*}}
35*4f7e5d22SRoman Lebedev; CHECK-PRESERVE-CFG: {{.*}}
36