1; RUN: opt < %s -instsimplify -S | FileCheck %s 2 3;; x * 0 ==> 0 when no-nans and no-signed-zero 4; CHECK: mul_zero_1 5define float @mul_zero_1(float %a) { 6 %b = fmul nsz nnan float %a, 0.0 7; CHECK: ret float 0.0 8 ret float %b 9} 10; CHECK: mul_zero_2 11define float @mul_zero_2(float %a) { 12 %b = fmul fast float 0.0, %a 13; CHECK: ret float 0.0 14 ret float %b 15} 16 17;; x * 0 =/=> 0 when there could be nans or -0 18; CHECK: no_mul_zero_1 19define float @no_mul_zero_1(float %a) { 20 %b = fmul nsz float %a, 0.0 21; CHECK: ret float %b 22 ret float %b 23} 24; CHECK: no_mul_zero_2 25define float @no_mul_zero_2(float %a) { 26 %b = fmul nnan float %a, 0.0 27; CHECK: ret float %b 28 ret float %b 29} 30; CHECK: no_mul_zero_3 31define float @no_mul_zero_3(float %a) { 32 %b = fmul float %a, 0.0 33; CHECK: ret float %b 34 ret float %b 35} 36 37; fadd [nnan ninf] X, (fsub [nnan ninf] 0, X) ==> 0 38; where nnan and ninf have to occur at least once somewhere in this 39; expression 40; CHECK: fadd_fsub_0 41define float @fadd_fsub_0(float %a) { 42; X + -X ==> 0 43 %t1 = fsub nnan ninf float 0.0, %a 44 %zero1 = fadd nnan ninf float %t1, %a 45 46 %t2 = fsub nnan float 0.0, %a 47 %zero2 = fadd ninf float %t2, %a 48 49 %t3 = fsub nnan ninf float 0.0, %a 50 %zero3 = fadd float %t3, %a 51 52 %t4 = fsub float 0.0, %a 53 %zero4 = fadd nnan ninf float %t4, %a 54 55; Dont fold this 56; CHECK: %nofold = fsub float 0.0 57 %nofold = fsub float 0.0, %a 58; CHECK: %no_zero = fadd nnan float %nofold, %a 59 %no_zero = fadd nnan float %nofold, %a 60 61; Coalesce the folded zeros 62 %zero5 = fadd float %zero1, %zero2 63 %zero6 = fadd float %zero3, %zero4 64 %zero7 = fadd float %zero5, %zero6 65 66; Should get folded 67 %ret = fadd nsz float %no_zero, %zero7 68 69; CHECK: ret float %no_zero 70 ret float %ret 71} 72 73; fsub nnan ninf x, x ==> 0.0 74; CHECK-LABEL: @fsub_x_x( 75define float @fsub_x_x(float %a) { 76; X - X ==> 0 77 %zero1 = fsub nnan ninf float %a, %a 78 79; Dont fold 80; CHECK: %no_zero1 = fsub 81 %no_zero1 = fsub ninf float %a, %a 82; CHECK: %no_zero2 = fsub 83 %no_zero2 = fsub nnan float %a, %a 84; CHECK: %no_zero = fadd 85 %no_zero = fadd float %no_zero1, %no_zero2 86 87; Should get folded 88 %ret = fadd nsz float %no_zero, %zero1 89 90; CHECK: ret float %no_zero 91 ret float %ret 92} 93 94; fadd nsz X, 0 ==> X 95; CHECK-LABEL: @nofold_fadd_x_0( 96define float @nofold_fadd_x_0(float %a) { 97; Dont fold 98; CHECK: %no_zero1 = fadd 99 %no_zero1 = fadd ninf float %a, 0.0 100; CHECK: %no_zero2 = fadd 101 %no_zero2 = fadd nnan float %a, 0.0 102; CHECK: %no_zero = fadd 103 %no_zero = fadd float %no_zero1, %no_zero2 104 105; CHECK: ret float %no_zero 106 ret float %no_zero 107} 108