Assertion failed '!"Instruction cannot be encoded: IF_LS_2B"' during 'Generate code'

[kunalspathak]

Antigen tried reducing it but at one point, it was too slow to reduce. Hopefully it won't be that bad to reduce the test to smaller repro.

// Found by Antigen
using System;
using System.Collections.Generic;
using System.Runtime.CompilerServices;
public class TestClass
{
 public struct S1
 {
 public sbyte sbyte_0;
 public ulong ulong_1;
 }
 public struct S2
 {
 public struct S2_D1_F1
 {
 public uint uint_2;
 public float float_3;
 public uint uint_4;
 }
 }
 static bool s_bool_5 = false;
 static byte s_byte_6 = 1;
 static char s_char_7 = 'D';
 static decimal s_decimal_8 = 0.0833333333333333333333333333m;
 static double s_double_9 = 4;
 static short s_short_10 = 4;
 static int s_int_11 = 0;
 static long s_long_12 = 5;
 static sbyte s_sbyte_13 = 7;
 static float s_float_14 = 1.1f;
 static string s_string_15 = "5E049";
 static ushort s_ushort_16 = 2;
 static uint s_uint_17 = 69;
 static ulong s_ulong_18 = 69;
 static S1 s_s1_19 = new S1();
 static S2.S2_D1_F1 s_s2_s2_d1_f1_20 = new S2.S2_D1_F1();
 static S2 s_s2_21 = new S2();
 bool bool_22 = true;
 byte byte_23 = 5;
 char char_24 = 'E';
 decimal decimal_25 = 2.0449438202247191011235955056m;
 double double_26 = 1.1666666666666667;
 short short_27 = 5;
 int int_28 = 2;
 long long_29 = 2;
 sbyte sbyte_30 = 5;
 float float_31 = -1.882353f;
 string string_32 = "J0O3C";
 ushort ushort_33 = 2;
 uint uint_34 = 2;
 ulong ulong_35 = 1;
 S1 s1_36 = new S1();
 S2.S2_D1_F1 s2_s2_d1_f1_37 = new S2.S2_D1_F1();
 S2 s2_38 = new S2();
 static int s_loopInvariant = 9;
 private static List<string> toPrint = new List<string>();
 [MethodImpl(MethodImplOptions.NoInlining)]
 public bool LeafMethod0()
 {
 unchecked
 {
 return ((bool)(((bool)(bool_22 = ((bool)(s_bool_5 = ((bool)(s_s2_s2_d1_f1_20.float_3 == s_s2_s2_d1_f1_20.float_3)))))) || ((bool)(((ushort)(s_ushort_16 / ((ushort)((((ushort)(ushort_33 ^= s_ushort_16))) + 19)))) == ((ushort)(((ushort)(ushort_33 - ushort_33)) + ((ushort)(ushort_33 % ((ushort)((ushort_33) + 5))))))))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public byte LeafMethod1()
 {
 unchecked
 {
 return ((byte)(((byte)(s_byte_6 &= ((byte)(byte_23 ^= ((byte)(s_byte_6 % ((byte)((byte_23) + 42)))))))) + ((byte)(((byte)(((byte)(s_byte_6 -= s_byte_6)) * byte_23)) + ((byte)(((byte)(byte_23 + s_byte_6)) - ((byte)(s_byte_6 + byte_23))))))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public decimal LeafMethod3()
 {
 unchecked
 {
 return decimal_25;
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public double LeafMethod4()
 {
 unchecked
 {
 return ((double)(s_double_9 % ((double)((((double)(s_double_9 /= ((double)((s_double_9) + 84))))) + 3))));
 }
 }
 public short LeafMethod5()
 {
 unchecked
 {
 return ((short)(short_27 * ((short)(((short)(((short)(short_27 <<= s_int_11)) >> int_28)) >> ((int)(int_28 + ((int)(s_int_11 << 4))))))));
 }
 }
 public int LeafMethod6()
 {
 unchecked
 {
 return ((int)(int_28 -= int_28));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public long LeafMethod7()
 {
 unchecked
 {
 return ((long)(((long)(((long)(long_29 % ((long)((((long)(long_29 + s_long_12))) + 72)))) & ((long)(long_29 -= s_long_12)))) & ((long)(((long)(((long)(s_long_12 * long_29)) - ((long)(s_long_12 + s_long_12)))) & ((long)(((long)(long_29 + s_long_12)) & s_long_12))))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public sbyte LeafMethod8()
 {
 unchecked
 {
 return ((sbyte)(sbyte_30 >>= ((int)(s_int_11 = ((int)(((int)(int_28 &= LeafMethod6())) | int_28))))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public float LeafMethod9()
 {
 unchecked
 {
 return ((float)(((float)(((float)(((float)(s2_s2_d1_f1_37.float_3 % ((float)((float_31) + 94)))) - ((float)(s_float_14 + s_s2_s2_d1_f1_20.float_3)))) / ((float)((((float)(((float)(s_float_14 - s_s2_s2_d1_f1_20.float_3)) - ((float)(float_31 + 4.02439f))))) + 38)))) % ((float)((float_31) + 29))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public ushort LeafMethod11()
 {
 unchecked
 {
 return ((ushort)(((ushort)(((ushort)(ushort_33 |= ((ushort)(2 - ushort_33)))) - ((ushort)(((ushort)(ushort_33 - ushort_33)) & ((ushort)(ushort_33 / ((ushort)((s_ushort_16) + 24)))))))) / ((ushort)((((ushort)(((ushort)(((ushort)(s_ushort_16 += s_ushort_16)) * ((ushort)(s_ushort_16 - ushort_33)))) / ((ushort)((((ushort)(s_ushort_16 + s_ushort_16))) + 37))))) + 45))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public uint LeafMethod12()
 {
 unchecked
 {
 return ((uint)(((uint)(s2_s2_d1_f1_37.uint_4 = s_s2_s2_d1_f1_20.uint_2)) + ((uint)(((uint)(((uint)(s2_s2_d1_f1_37.uint_2 | s_s2_s2_d1_f1_20.uint_2)) ^ ((uint)(s_s2_s2_d1_f1_20.uint_4 * s2_s2_d1_f1_37.uint_4)))) + ((uint)(s_uint_17 - s_s2_s2_d1_f1_20.uint_2))))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public ulong LeafMethod13()
 {
 unchecked
 {
 return ((ulong)(((ulong)(((ulong)(((ulong)(ulong_35 - s_ulong_18)) - ((ulong)(s1_36.ulong_1 % ((ulong)((s1_36.ulong_1) + 49)))))) - ((ulong)(((ulong)(s1_36.ulong_1 | s_ulong_18)) - ((ulong)(s1_36.ulong_1 & 5)))))) / ((ulong)((((ulong)(2 * ((ulong)(((ulong)(s1_36.ulong_1 + s_ulong_18)) + ((ulong)(s_ulong_18 /= ((ulong)((s_s1_19.ulong_1) + 40))))))))) + 45))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public S1 LeafMethod14()
 {
 unchecked
 {
 return s1_36;
 }
 }
 public S2.S2_D1_F1 LeafMethod15()
 {
 unchecked
 {
 return s_s2_s2_d1_f1_20;
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public S2 LeafMethod16()
 {
 unchecked
 {
 return s_s2_21;
 }
 }
 public ulong Method1(long p_long_39, out byte p_byte_40, int p_int_41, S2.S2_D1_F1 p_s2_s2_d1_f1_42, long p_long_43)
 {
 unchecked
 {
 bool bool_44 = true;
 byte byte_45 = 1;
 char char_46 = '3';
 decimal decimal_47 = 1m;
 double double_48 = 0.020618556701030927;
 short short_49 = 2;
 int int_50 = -2;
 long long_51 = 2;
 sbyte sbyte_52 = 2;
 float float_53 = 2f;
 string string_54 = "5";
 ushort ushort_55 = 2;
 uint uint_56 = 5;
 ulong ulong_57 = 4;
 S1 s1_58 = new S1();
 S2.S2_D1_F1 s2_s2_d1_f1_59 = new S2.S2_D1_F1();
 S2.S2_D1_F1 s2_s2_d1_f1_60 = s2_s2_d1_f1_59;
 S2 s2_61 = new S2();
 p_byte_40 = ((byte)(((byte)(byte_45 %= ((byte)((((byte)(((byte)(LeafMethod1() - byte_23)) + ((byte)(byte_23 ^= s_byte_6))))) + 23)))) ^ ((byte)(byte_23 % ((byte)((((byte)(s_byte_6 += ((byte)(s_byte_6 & LeafMethod1()))))) + 18))))));
 return ((ulong)(((ulong)(((ulong)(s1_36.ulong_1 <<= s_int_11)) % ((ulong)((s1_36.ulong_1) + 16)))) - s1_36.ulong_1));
 }
 }
 public S2 Method4(out S1 p_s1_110, out double p_double_111, S1 p_s1_112)
 {
 unchecked
 {
 bool bool_113 = false;
 byte byte_114 = 5;
 char char_115 = '1';
 decimal decimal_116 = 2.0512820512820512820512820513m;
 double double_117 = -0.9487179487179487;
 short short_118 = 0;
 int int_119 = -2;
 long long_120 = 5;
 sbyte sbyte_121 = 0;
 float float_122 = 2.0555556f;
 string string_123 = "WVOC35BP";
 ushort ushort_124 = 1;
 uint uint_125 = 2;
 ulong ulong_126 = 69;
 S1 s1_127 = new S1();
 S2.S2_D1_F1 s2_s2_d1_f1_128 = new S2.S2_D1_F1();
 S2 s2_129 = new S2();
 S2 s2_130 = s2_129;
 p_s1_110 = s1_36;
 p_double_111 = ((double)(s_double_9 -= ((double)(double_26 = ((double)(((double)(LeafMethod4() % ((double)((s_double_9) + 95)))) / ((double)((LeafMethod4()) + 79))))))));
 if (s_bool_5)
 {
 int __loopvar4 = s_loopInvariant;
 for (; int_28 < (((int)(s_int_11 |= ((int)(s_int_11 -= ((int)(((int)(int_28 - 5)) << int_28))))))); int_28++)
 {
 if (__loopvar4 > s_loopInvariant + 3)
 break;
 int __loopvar1 = s_loopInvariant;
 int __loopvar2 = s_loopInvariant;
 ulong_35 >>= ((int)(s_int_11 += ((int)(((int)(s_int_11 |= int_28)) | ((int)(((int)(int_119 % ((int)((int_119) + 16)))) << ((int)(s_int_11 * int_119))))))));
 decimal_116 += ((decimal)(s_decimal_8 %= ((decimal)((s_decimal_8) + 87))));
 LeafMethod14();
 int __loopvar3 = s_loopInvariant - 6;
 switch (((long)(((long)(long_29 <<= ((int)(int_28 -= ((int)(int_28 >>= LeafMethod6())))))) ^ ((long)(long_120 + long_120)))))
 {
 case 69:
 {
 s_uint_17 ^= ((uint)(uint_34 >>= ((int)(((int)(int_28 |= ((int)(int_28 % ((int)((s_int_11) + 72)))))) - ((int)(69 / ((int)((((int)(LeafMethod6() >> LeafMethod6()))) + 55))))))));
 s_decimal_8 += ((decimal)(LeafMethod3() % ((decimal)((((decimal)(((decimal)(((decimal)(decimal_25 /= ((decimal)((LeafMethod3()) + 23)))) * ((decimal)(LeafMethod3() / ((decimal)((decimal_116) + 36)))))) * ((decimal)(decimal_25 = LeafMethod3()))))) + 64))));
 Method1(-1, out byte_23, ((int)(((int)(((int)(LeafMethod6() * LeafMethod6())) % ((int)((((int)(int_119 & LeafMethod6()))) + 53)))) / ((int)((int_28) + 24)))), s2_s2_d1_f1_37, ((long)(((long)(((long)(long_120 - LeafMethod7())) ^ s_long_12)) + long_29)));
 ulong_126 = ((ulong)(((ulong)(((ulong)(((ulong)(s_s1_19.ulong_1 -= s_ulong_18)) & ((ulong)(s1_36.ulong_1 | ulong_35)))) + ((ulong)(((ulong)(LeafMethod13() * 1)) % ((ulong)((s_ulong_18) + 6)))))) ^ ulong_35));
 break;
 }
 default:
 {
 LeafMethod8();
 break;
 }
 }
 }
 LeafMethod7();
 short short_132 = ((short)(((short)(short_27 -= ((short)(s_short_10 + -1)))) * ((short)(short_118 >> ((int)(((int)(-1 >> int_28)) % ((int)((s_int_11) + 37))))))));
 Log("short_132", short_132);
 }
 else
 {
 s1_36.ulong_1 |= ((ulong)(s1_127.ulong_1 *= 2));
 s_uint_17 |= ((uint)(s_s2_s2_d1_f1_20.uint_4 |= s2_s2_d1_f1_37.uint_2));
 long long_133 = LeafMethod7();
 int_28 <<= ((int)(((int)(((int)(((int)(int_119 + LeafMethod6())) * LeafMethod6())) >> int_119)) ^ ((int)(((int)(int_119 += ((int)(int_119 |= s_int_11)))) * ((int)(int_119 * ((int)(s_int_11 << int_119))))))));
 p_double_111 = ((double)(double_117 + ((double)(((double)(s_double_9 *= ((double)(s_double_9 + p_double_111)))) * ((double)(((double)(s_double_9 + double_26)) / ((double)((((double)(p_double_111 *= p_double_111))) + 75))))))));
 int __loopvar6 = s_loopInvariant;
 for (; (__loopvar6 != s_loopInvariant + 12);)
 {
 if (((bool)(((int)(int_28 = ((int)(((int)(s_int_11 = 5)) & ((int)(int_28 * s_int_11)))))) > ((int)(((int)(int_119 %= ((int)((((int)(5 % ((int)((s_int_11) + 45))))) + 30)))) << int_28)))))
 {
 s_decimal_8 *= ((decimal)(LeafMethod3() + ((decimal)(((decimal)(LeafMethod3() % ((decimal)((((decimal)(LeafMethod3() % ((decimal)((decimal_25) + 6))))) + 55)))) / ((decimal)((((decimal)(((decimal)(69.010101010101010101010101010m + decimal_25)) - ((decimal)(s_decimal_8 + decimal_116))))) + 99))))));
 bool bool_135 = bool_113;
 }
 else
 {
 s2_s2_d1_f1_37.uint_2 = ((uint)(s_uint_17 = LeafMethod12()));
 s_byte_6 >>= ((int)(((int)(((int)(s_int_11 & ((int)(LeafMethod6() | s_int_11)))) * LeafMethod6())) << ((int)(((int)(s_int_11 = LeafMethod6())) % ((int)((((int)(((int)(LeafMethod6() % ((int)((s_int_11) + 13)))) % ((int)((LeafMethod6()) + 42))))) + 68))))));
 LeafMethod15();
 }
 if (LeafMethod0())
 {
 s_s1_19.sbyte_0 /= ((sbyte)((((sbyte)(sbyte_121 = ((sbyte)(((sbyte)(((sbyte)(sbyte_121 >> int_28)) * ((sbyte)(s_s1_19.sbyte_0 % ((sbyte)((LeafMethod8()) + 6)))))) - ((sbyte)(sbyte_30 >>= ((int)(s_int_11 << s_int_11))))))))) + 25));
 int_119 = ((int)(((int)(int_119 &= ((int)(s_int_11 = ((int)(int_28 >>= int_28)))))) >> ((int)(s_int_11 /= ((int)((((int)(((int)(5 ^ LeafMethod6())) * ((int)(LeafMethod6() ^ int_28))))) + 93))))));
 Method1(((long)(long_29 + ((long)(((long)(LeafMethod7() ^ LeafMethod7())) >> ((int)(int_28 * s_int_11)))))), out byte_23, ((int)(((int)(((int)(int_28 / ((int)((int_119) + 78)))) | ((int)(int_119 ^ 69)))) << ((int)(((int)(int_28 |= s_int_11)) * int_119)))), s2_s2_d1_f1_37, ((long)(long_133 >> ((int)(((int)(int_119 >> s_int_11)) | s_int_11)))));
 }
 else
 {
 s_int_11 ^= ((int)(((int)(int_28 ^= ((int)(((int)(int_119 % ((int)((int_28) + 97)))) + -1)))) / ((int)((((int)(LeafMethod6() / ((int)((((int)(((int)(int_28 += LeafMethod6())) >> ((int)(s_int_11 % ((int)((LeafMethod6()) + 96))))))) + 87))))) + 1))));
 long_29 /= ((long)((((long)(long_29 *= ((long)(LeafMethod7() % ((long)((((long)(s_long_12 ^= ((long)(long_133 /= ((long)((long_120) + 82))))))) + 89))))))) + 25));
 p_double_111 -= ((double)(LeafMethod4() + ((double)(double_26 %= ((double)((((double)(s_double_9 %= ((double)((LeafMethod4()) + 42))))) + 61))))));
 decimal_116 -= ((decimal)(((decimal)(((decimal)(decimal_116 += ((decimal)(s_decimal_8 + decimal_116)))) + ((decimal)(((decimal)(LeafMethod3() - LeafMethod3())) - ((decimal)(s_decimal_8 * decimal_116)))))) / ((decimal)((decimal_116) + 10))));
 LeafMethod14();
 }
 s_long_12 <<= ((int)(int_119 /= ((int)((LeafMethod6()) + 22))));
 s_ushort_16 -= ((ushort)(ushort_33 <<= ((int)(int_28 ^= ((int)(s_int_11 = int_119))))));
 s_ushort_16 |= ((ushort)(((ushort)(((ushort)(((ushort)(LeafMethod11() + ushort_33)) + ((ushort)(s_ushort_16 / ((ushort)((LeafMethod11()) + 45)))))) | ((ushort)(((ushort)(s_ushort_16 + ushort_33)) % ((ushort)((((ushort)(ushort_33 - ushort_33))) + 79)))))) * LeafMethod11()));
 LeafMethod14();
 double_26 = ((double)(LeafMethod4() % ((double)((((double)(((double)(p_double_111 += ((double)(double_26 + LeafMethod4())))) - double_26))) + 36))));
 int __loopvar5 = s_loopInvariant + 6, __loopSecondaryVar5_0 = s_loopInvariant;
 }
 }
 LeafMethod16();
 Method1(long_29, out byte_23, ((int)(((int)(((int)(s_int_11 << LeafMethod6())) << int_119)) ^ ((int)(((int)(LeafMethod6() + int_119)) ^ ((int)(s_int_11 % ((int)((s_int_11) + 32)))))))), s2_s2_d1_f1_37, ((long)(((long)(((long)(long_120 % ((long)((s_long_12) + 4)))) | long_120)) % ((long)((((long)(s_long_12 &= long_29))) + 34)))));
 Log("p_s1_112", p_s1_112);
 Log("bool_113", bool_113);
 Log("p_double_1", p_double_111);
 Log("string_123", string_123);
 Log("ushort_124", ushort_124);
 Log("ulong_126", ulong_126);
 Log("s2_s2_d1_f", s2_s2_d1_f1_128);
 Log("s2_130", s2_130);
 return s2_129;
 }
 }
 public void Method0()
 {
 unchecked
 {
 bool bool_136 = true;
 byte byte_137 = 126;
 char char_138 = 'H';
 decimal decimal_139 = -0.9545454545454545454545454545m;
 double double_140 = -1.9733333333333334;
 short short_141 = 0;
 int int_142 = 5;
 long long_143 = 5;
 sbyte sbyte_144 = -1;
 float float_145 = 4.0163937f;
 string string_146 = "CINM6";
 ushort ushort_147 = 69;
 uint uint_148 = 1;
 ulong ulong_149 = 4;
 S1 s1_150 = new S1();
 S1 s1_151 = s1_150;
 S2.S2_D1_F1 s2_s2_d1_f1_152 = new S2.S2_D1_F1();
 S2 s2_153 = new S2();
 if (((bool)(s_bool_5 = ((bool)(bool_22 = ((bool)(((bool)(LeafMethod1() <= byte_23)) || ((bool)(LeafMethod7() <= LeafMethod7())))))))))
{} else
 {
 int __loopvar5 = s_loopInvariant;
 }
 int __loopvar7 = s_loopInvariant;
 s2_153 = Method4(out s1_150, out double_140, s1_36);
 Log("s1_151.ulo", s1_151.ulong_1);
 Log("s2_153", s2_153);
 return;
 }
 }
 public static void Main(string[] args)
 {
 new TestClass().Method0();
 PrintLog();
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public static void Log(string varName, object varValue)
 {
 toPrint.Add($"{varName}={varValue}");
 }
 public static void PrintLog()
 {
 foreach (var entry in toPrint)
 {
 Console.WriteLine(entry);
 }
 }
}
/*
Environment:

set COMPlus_TieredCompilation=1
set COMPlus_TC_OnStackReplacement_InitialCounter=1
set COMPlus_AltJitName=clrjit_universal_arm64_x64.dll
set COMPlus_AltJit=Method4

Assert failure(PID 31608 [0x00007b78], Thread: 30564 [0x7764]): Assertion failed '!"Instruction cannot be encoded: IF_LS_2B"' in 'TestClass:Method4(byref,byref,S1):S2:this' during 'Generate code' (IL size 2675; hash 0x97446e08; Tier1-OSR)
 File: D:\git\dotnet-runtime\src\coreclr\jit\emitarm64.cpp Line: 5645
 Image: d:\git\dotnet-runtime\artifacts\tests\coreclr\windows.x64.Checked\tests\Core_Root\CoreRun.exe
*/

Tagging subscribers to this area: @JulieLeeMSFT
See info in area-owners.md if you want to be subscribed.

Issue Details

---

Antigen tried reducing it but at one point, it was too slow to reduce. Hopefully it won't be that bad to reduce the test to smaller repro.

// Found by Antigen
using System;
using System.Collections.Generic;
using System.Runtime.CompilerServices;
public class TestClass
{
 public struct S1
 {
 public sbyte sbyte_0;
 public ulong ulong_1;
 }
 public struct S2
 {
 public struct S2_D1_F1
 {
 public uint uint_2;
 public float float_3;
 public uint uint_4;
 }
 }
 static bool s_bool_5 = false;
 static byte s_byte_6 = 1;
 static char s_char_7 = 'D';
 static decimal s_decimal_8 = 0.0833333333333333333333333333m;
 static double s_double_9 = 4;
 static short s_short_10 = 4;
 static int s_int_11 = 0;
 static long s_long_12 = 5;
 static sbyte s_sbyte_13 = 7;
 static float s_float_14 = 1.1f;
 static string s_string_15 = "5E049";
 static ushort s_ushort_16 = 2;
 static uint s_uint_17 = 69;
 static ulong s_ulong_18 = 69;
 static S1 s_s1_19 = new S1();
 static S2.S2_D1_F1 s_s2_s2_d1_f1_20 = new S2.S2_D1_F1();
 static S2 s_s2_21 = new S2();
 bool bool_22 = true;
 byte byte_23 = 5;
 char char_24 = 'E';
 decimal decimal_25 = 2.0449438202247191011235955056m;
 double double_26 = 1.1666666666666667;
 short short_27 = 5;
 int int_28 = 2;
 long long_29 = 2;
 sbyte sbyte_30 = 5;
 float float_31 = -1.882353f;
 string string_32 = "J0O3C";
 ushort ushort_33 = 2;
 uint uint_34 = 2;
 ulong ulong_35 = 1;
 S1 s1_36 = new S1();
 S2.S2_D1_F1 s2_s2_d1_f1_37 = new S2.S2_D1_F1();
 S2 s2_38 = new S2();
 static int s_loopInvariant = 9;
 private static List<string> toPrint = new List<string>();
 [MethodImpl(MethodImplOptions.NoInlining)]
 public bool LeafMethod0()
 {
 unchecked
 {
 return ((bool)(((bool)(bool_22 = ((bool)(s_bool_5 = ((bool)(s_s2_s2_d1_f1_20.float_3 == s_s2_s2_d1_f1_20.float_3)))))) || ((bool)(((ushort)(s_ushort_16 / ((ushort)((((ushort)(ushort_33 ^= s_ushort_16))) + 19)))) == ((ushort)(((ushort)(ushort_33 - ushort_33)) + ((ushort)(ushort_33 % ((ushort)((ushort_33) + 5))))))))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public byte LeafMethod1()
 {
 unchecked
 {
 return ((byte)(((byte)(s_byte_6 &= ((byte)(byte_23 ^= ((byte)(s_byte_6 % ((byte)((byte_23) + 42)))))))) + ((byte)(((byte)(((byte)(s_byte_6 -= s_byte_6)) * byte_23)) + ((byte)(((byte)(byte_23 + s_byte_6)) - ((byte)(s_byte_6 + byte_23))))))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public decimal LeafMethod3()
 {
 unchecked
 {
 return decimal_25;
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public double LeafMethod4()
 {
 unchecked
 {
 return ((double)(s_double_9 % ((double)((((double)(s_double_9 /= ((double)((s_double_9) + 84))))) + 3))));
 }
 }
 public short LeafMethod5()
 {
 unchecked
 {
 return ((short)(short_27 * ((short)(((short)(((short)(short_27 <<= s_int_11)) >> int_28)) >> ((int)(int_28 + ((int)(s_int_11 << 4))))))));
 }
 }
 public int LeafMethod6()
 {
 unchecked
 {
 return ((int)(int_28 -= int_28));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public long LeafMethod7()
 {
 unchecked
 {
 return ((long)(((long)(((long)(long_29 % ((long)((((long)(long_29 + s_long_12))) + 72)))) & ((long)(long_29 -= s_long_12)))) & ((long)(((long)(((long)(s_long_12 * long_29)) - ((long)(s_long_12 + s_long_12)))) & ((long)(((long)(long_29 + s_long_12)) & s_long_12))))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public sbyte LeafMethod8()
 {
 unchecked
 {
 return ((sbyte)(sbyte_30 >>= ((int)(s_int_11 = ((int)(((int)(int_28 &= LeafMethod6())) | int_28))))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public float LeafMethod9()
 {
 unchecked
 {
 return ((float)(((float)(((float)(((float)(s2_s2_d1_f1_37.float_3 % ((float)((float_31) + 94)))) - ((float)(s_float_14 + s_s2_s2_d1_f1_20.float_3)))) / ((float)((((float)(((float)(s_float_14 - s_s2_s2_d1_f1_20.float_3)) - ((float)(float_31 + 4.02439f))))) + 38)))) % ((float)((float_31) + 29))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public ushort LeafMethod11()
 {
 unchecked
 {
 return ((ushort)(((ushort)(((ushort)(ushort_33 |= ((ushort)(2 - ushort_33)))) - ((ushort)(((ushort)(ushort_33 - ushort_33)) & ((ushort)(ushort_33 / ((ushort)((s_ushort_16) + 24)))))))) / ((ushort)((((ushort)(((ushort)(((ushort)(s_ushort_16 += s_ushort_16)) * ((ushort)(s_ushort_16 - ushort_33)))) / ((ushort)((((ushort)(s_ushort_16 + s_ushort_16))) + 37))))) + 45))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public uint LeafMethod12()
 {
 unchecked
 {
 return ((uint)(((uint)(s2_s2_d1_f1_37.uint_4 = s_s2_s2_d1_f1_20.uint_2)) + ((uint)(((uint)(((uint)(s2_s2_d1_f1_37.uint_2 | s_s2_s2_d1_f1_20.uint_2)) ^ ((uint)(s_s2_s2_d1_f1_20.uint_4 * s2_s2_d1_f1_37.uint_4)))) + ((uint)(s_uint_17 - s_s2_s2_d1_f1_20.uint_2))))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public ulong LeafMethod13()
 {
 unchecked
 {
 return ((ulong)(((ulong)(((ulong)(((ulong)(ulong_35 - s_ulong_18)) - ((ulong)(s1_36.ulong_1 % ((ulong)((s1_36.ulong_1) + 49)))))) - ((ulong)(((ulong)(s1_36.ulong_1 | s_ulong_18)) - ((ulong)(s1_36.ulong_1 & 5)))))) / ((ulong)((((ulong)(2 * ((ulong)(((ulong)(s1_36.ulong_1 + s_ulong_18)) + ((ulong)(s_ulong_18 /= ((ulong)((s_s1_19.ulong_1) + 40))))))))) + 45))));
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public S1 LeafMethod14()
 {
 unchecked
 {
 return s1_36;
 }
 }
 public S2.S2_D1_F1 LeafMethod15()
 {
 unchecked
 {
 return s_s2_s2_d1_f1_20;
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public S2 LeafMethod16()
 {
 unchecked
 {
 return s_s2_21;
 }
 }
 public ulong Method1(long p_long_39, out byte p_byte_40, int p_int_41, S2.S2_D1_F1 p_s2_s2_d1_f1_42, long p_long_43)
 {
 unchecked
 {
 bool bool_44 = true;
 byte byte_45 = 1;
 char char_46 = '3';
 decimal decimal_47 = 1m;
 double double_48 = 0.020618556701030927;
 short short_49 = 2;
 int int_50 = -2;
 long long_51 = 2;
 sbyte sbyte_52 = 2;
 float float_53 = 2f;
 string string_54 = "5";
 ushort ushort_55 = 2;
 uint uint_56 = 5;
 ulong ulong_57 = 4;
 S1 s1_58 = new S1();
 S2.S2_D1_F1 s2_s2_d1_f1_59 = new S2.S2_D1_F1();
 S2.S2_D1_F1 s2_s2_d1_f1_60 = s2_s2_d1_f1_59;
 S2 s2_61 = new S2();
 p_byte_40 = ((byte)(((byte)(byte_45 %= ((byte)((((byte)(((byte)(LeafMethod1() - byte_23)) + ((byte)(byte_23 ^= s_byte_6))))) + 23)))) ^ ((byte)(byte_23 % ((byte)((((byte)(s_byte_6 += ((byte)(s_byte_6 & LeafMethod1()))))) + 18))))));
 return ((ulong)(((ulong)(((ulong)(s1_36.ulong_1 <<= s_int_11)) % ((ulong)((s1_36.ulong_1) + 16)))) - s1_36.ulong_1));
 }
 }
 public S2 Method4(out S1 p_s1_110, out double p_double_111, S1 p_s1_112)
 {
 unchecked
 {
 bool bool_113 = false;
 byte byte_114 = 5;
 char char_115 = '1';
 decimal decimal_116 = 2.0512820512820512820512820513m;
 double double_117 = -0.9487179487179487;
 short short_118 = 0;
 int int_119 = -2;
 long long_120 = 5;
 sbyte sbyte_121 = 0;
 float float_122 = 2.0555556f;
 string string_123 = "WVOC35BP";
 ushort ushort_124 = 1;
 uint uint_125 = 2;
 ulong ulong_126 = 69;
 S1 s1_127 = new S1();
 S2.S2_D1_F1 s2_s2_d1_f1_128 = new S2.S2_D1_F1();
 S2 s2_129 = new S2();
 S2 s2_130 = s2_129;
 p_s1_110 = s1_36;
 p_double_111 = ((double)(s_double_9 -= ((double)(double_26 = ((double)(((double)(LeafMethod4() % ((double)((s_double_9) + 95)))) / ((double)((LeafMethod4()) + 79))))))));
 if (s_bool_5)
 {
 int __loopvar4 = s_loopInvariant;
 for (; int_28 < (((int)(s_int_11 |= ((int)(s_int_11 -= ((int)(((int)(int_28 - 5)) << int_28))))))); int_28++)
 {
 if (__loopvar4 > s_loopInvariant + 3)
 break;
 int __loopvar1 = s_loopInvariant;
 int __loopvar2 = s_loopInvariant;
 ulong_35 >>= ((int)(s_int_11 += ((int)(((int)(s_int_11 |= int_28)) | ((int)(((int)(int_119 % ((int)((int_119) + 16)))) << ((int)(s_int_11 * int_119))))))));
 decimal_116 += ((decimal)(s_decimal_8 %= ((decimal)((s_decimal_8) + 87))));
 LeafMethod14();
 int __loopvar3 = s_loopInvariant - 6;
 switch (((long)(((long)(long_29 <<= ((int)(int_28 -= ((int)(int_28 >>= LeafMethod6())))))) ^ ((long)(long_120 + long_120)))))
 {
 case 69:
 {
 s_uint_17 ^= ((uint)(uint_34 >>= ((int)(((int)(int_28 |= ((int)(int_28 % ((int)((s_int_11) + 72)))))) - ((int)(69 / ((int)((((int)(LeafMethod6() >> LeafMethod6()))) + 55))))))));
 s_decimal_8 += ((decimal)(LeafMethod3() % ((decimal)((((decimal)(((decimal)(((decimal)(decimal_25 /= ((decimal)((LeafMethod3()) + 23)))) * ((decimal)(LeafMethod3() / ((decimal)((decimal_116) + 36)))))) * ((decimal)(decimal_25 = LeafMethod3()))))) + 64))));
 Method1(-1, out byte_23, ((int)(((int)(((int)(LeafMethod6() * LeafMethod6())) % ((int)((((int)(int_119 & LeafMethod6()))) + 53)))) / ((int)((int_28) + 24)))), s2_s2_d1_f1_37, ((long)(((long)(((long)(long_120 - LeafMethod7())) ^ s_long_12)) + long_29)));
 ulong_126 = ((ulong)(((ulong)(((ulong)(((ulong)(s_s1_19.ulong_1 -= s_ulong_18)) & ((ulong)(s1_36.ulong_1 | ulong_35)))) + ((ulong)(((ulong)(LeafMethod13() * 1)) % ((ulong)((s_ulong_18) + 6)))))) ^ ulong_35));
 break;
 }
 default:
 {
 LeafMethod8();
 break;
 }
 }
 }
 LeafMethod7();
 short short_132 = ((short)(((short)(short_27 -= ((short)(s_short_10 + -1)))) * ((short)(short_118 >> ((int)(((int)(-1 >> int_28)) % ((int)((s_int_11) + 37))))))));
 Log("short_132", short_132);
 }
 else
 {
 s1_36.ulong_1 |= ((ulong)(s1_127.ulong_1 *= 2));
 s_uint_17 |= ((uint)(s_s2_s2_d1_f1_20.uint_4 |= s2_s2_d1_f1_37.uint_2));
 long long_133 = LeafMethod7();
 int_28 <<= ((int)(((int)(((int)(((int)(int_119 + LeafMethod6())) * LeafMethod6())) >> int_119)) ^ ((int)(((int)(int_119 += ((int)(int_119 |= s_int_11)))) * ((int)(int_119 * ((int)(s_int_11 << int_119))))))));
 p_double_111 = ((double)(double_117 + ((double)(((double)(s_double_9 *= ((double)(s_double_9 + p_double_111)))) * ((double)(((double)(s_double_9 + double_26)) / ((double)((((double)(p_double_111 *= p_double_111))) + 75))))))));
 int __loopvar6 = s_loopInvariant;
 for (; (__loopvar6 != s_loopInvariant + 12);)
 {
 if (((bool)(((int)(int_28 = ((int)(((int)(s_int_11 = 5)) & ((int)(int_28 * s_int_11)))))) > ((int)(((int)(int_119 %= ((int)((((int)(5 % ((int)((s_int_11) + 45))))) + 30)))) << int_28)))))
 {
 s_decimal_8 *= ((decimal)(LeafMethod3() + ((decimal)(((decimal)(LeafMethod3() % ((decimal)((((decimal)(LeafMethod3() % ((decimal)((decimal_25) + 6))))) + 55)))) / ((decimal)((((decimal)(((decimal)(69.010101010101010101010101010m + decimal_25)) - ((decimal)(s_decimal_8 + decimal_116))))) + 99))))));
 bool bool_135 = bool_113;
 }
 else
 {
 s2_s2_d1_f1_37.uint_2 = ((uint)(s_uint_17 = LeafMethod12()));
 s_byte_6 >>= ((int)(((int)(((int)(s_int_11 & ((int)(LeafMethod6() | s_int_11)))) * LeafMethod6())) << ((int)(((int)(s_int_11 = LeafMethod6())) % ((int)((((int)(((int)(LeafMethod6() % ((int)((s_int_11) + 13)))) % ((int)((LeafMethod6()) + 42))))) + 68))))));
 LeafMethod15();
 }
 if (LeafMethod0())
 {
 s_s1_19.sbyte_0 /= ((sbyte)((((sbyte)(sbyte_121 = ((sbyte)(((sbyte)(((sbyte)(sbyte_121 >> int_28)) * ((sbyte)(s_s1_19.sbyte_0 % ((sbyte)((LeafMethod8()) + 6)))))) - ((sbyte)(sbyte_30 >>= ((int)(s_int_11 << s_int_11))))))))) + 25));
 int_119 = ((int)(((int)(int_119 &= ((int)(s_int_11 = ((int)(int_28 >>= int_28)))))) >> ((int)(s_int_11 /= ((int)((((int)(((int)(5 ^ LeafMethod6())) * ((int)(LeafMethod6() ^ int_28))))) + 93))))));
 Method1(((long)(long_29 + ((long)(((long)(LeafMethod7() ^ LeafMethod7())) >> ((int)(int_28 * s_int_11)))))), out byte_23, ((int)(((int)(((int)(int_28 / ((int)((int_119) + 78)))) | ((int)(int_119 ^ 69)))) << ((int)(((int)(int_28 |= s_int_11)) * int_119)))), s2_s2_d1_f1_37, ((long)(long_133 >> ((int)(((int)(int_119 >> s_int_11)) | s_int_11)))));
 }
 else
 {
 s_int_11 ^= ((int)(((int)(int_28 ^= ((int)(((int)(int_119 % ((int)((int_28) + 97)))) + -1)))) / ((int)((((int)(LeafMethod6() / ((int)((((int)(((int)(int_28 += LeafMethod6())) >> ((int)(s_int_11 % ((int)((LeafMethod6()) + 96))))))) + 87))))) + 1))));
 long_29 /= ((long)((((long)(long_29 *= ((long)(LeafMethod7() % ((long)((((long)(s_long_12 ^= ((long)(long_133 /= ((long)((long_120) + 82))))))) + 89))))))) + 25));
 p_double_111 -= ((double)(LeafMethod4() + ((double)(double_26 %= ((double)((((double)(s_double_9 %= ((double)((LeafMethod4()) + 42))))) + 61))))));
 decimal_116 -= ((decimal)(((decimal)(((decimal)(decimal_116 += ((decimal)(s_decimal_8 + decimal_116)))) + ((decimal)(((decimal)(LeafMethod3() - LeafMethod3())) - ((decimal)(s_decimal_8 * decimal_116)))))) / ((decimal)((decimal_116) + 10))));
 LeafMethod14();
 }
 s_long_12 <<= ((int)(int_119 /= ((int)((LeafMethod6()) + 22))));
 s_ushort_16 -= ((ushort)(ushort_33 <<= ((int)(int_28 ^= ((int)(s_int_11 = int_119))))));
 s_ushort_16 |= ((ushort)(((ushort)(((ushort)(((ushort)(LeafMethod11() + ushort_33)) + ((ushort)(s_ushort_16 / ((ushort)((LeafMethod11()) + 45)))))) | ((ushort)(((ushort)(s_ushort_16 + ushort_33)) % ((ushort)((((ushort)(ushort_33 - ushort_33))) + 79)))))) * LeafMethod11()));
 LeafMethod14();
 double_26 = ((double)(LeafMethod4() % ((double)((((double)(((double)(p_double_111 += ((double)(double_26 + LeafMethod4())))) - double_26))) + 36))));
 int __loopvar5 = s_loopInvariant + 6, __loopSecondaryVar5_0 = s_loopInvariant;
 }
 }
 LeafMethod16();
 Method1(long_29, out byte_23, ((int)(((int)(((int)(s_int_11 << LeafMethod6())) << int_119)) ^ ((int)(((int)(LeafMethod6() + int_119)) ^ ((int)(s_int_11 % ((int)((s_int_11) + 32)))))))), s2_s2_d1_f1_37, ((long)(((long)(((long)(long_120 % ((long)((s_long_12) + 4)))) | long_120)) % ((long)((((long)(s_long_12 &= long_29))) + 34)))));
 Log("p_s1_112", p_s1_112);
 Log("bool_113", bool_113);
 Log("p_double_1", p_double_111);
 Log("string_123", string_123);
 Log("ushort_124", ushort_124);
 Log("ulong_126", ulong_126);
 Log("s2_s2_d1_f", s2_s2_d1_f1_128);
 Log("s2_130", s2_130);
 return s2_129;
 }
 }
 public void Method0()
 {
 unchecked
 {
 bool bool_136 = true;
 byte byte_137 = 126;
 char char_138 = 'H';
 decimal decimal_139 = -0.9545454545454545454545454545m;
 double double_140 = -1.9733333333333334;
 short short_141 = 0;
 int int_142 = 5;
 long long_143 = 5;
 sbyte sbyte_144 = -1;
 float float_145 = 4.0163937f;
 string string_146 = "CINM6";
 ushort ushort_147 = 69;
 uint uint_148 = 1;
 ulong ulong_149 = 4;
 S1 s1_150 = new S1();
 S1 s1_151 = s1_150;
 S2.S2_D1_F1 s2_s2_d1_f1_152 = new S2.S2_D1_F1();
 S2 s2_153 = new S2();
 if (((bool)(s_bool_5 = ((bool)(bool_22 = ((bool)(((bool)(LeafMethod1() <= byte_23)) || ((bool)(LeafMethod7() <= LeafMethod7())))))))))
{} else
 {
 int __loopvar5 = s_loopInvariant;
 }
 int __loopvar7 = s_loopInvariant;
 s2_153 = Method4(out s1_150, out double_140, s1_36);
 Log("s1_151.ulo", s1_151.ulong_1);
 Log("s2_153", s2_153);
 return;
 }
 }
 public static void Main(string[] args)
 {
 new TestClass().Method0();
 PrintLog();
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public static void Log(string varName, object varValue)
 {
 toPrint.Add($"{varName}={varValue}");
 }
 public static void PrintLog()
 {
 foreach (var entry in toPrint)
 {
 Console.WriteLine(entry);
 }
 }
}
/*
Environment:

set COMPlus_TieredCompilation=1
set COMPlus_TC_OnStackReplacement_InitialCounter=1
set COMPlus_AltJitName=clrjit_universal_arm64_x64.dll
set COMPlus_AltJit=Method4

Assert failure(PID 31608 [0x00007b78], Thread: 30564 [0x7764]): Assertion failed '!"Instruction cannot be encoded: IF_LS_2B"' in 'TestClass:Method4(byref,byref,S1):S2:this' during 'Generate code' (IL size 2675; hash 0x97446e08; Tier1-OSR)
 File: D:\git\dotnet-runtime\src\coreclr\jit\emitarm64.cpp Line: 5645
 Image: d:\git\dotnet-runtime\artifacts\tests\coreclr\windows.x64.Checked\tests\Core_Root\CoreRun.exe
*/

Author:	kunalspathak
Assignees:	-
Labels:	arch-arm64, area-CodeGen-coreclr
Milestone:	-

[kunalspathak]

@dotnet/jit-contrib

[kunalspathak]

I am no longer able to repro this issue and don't see any hits on Antigen. So closing it.

[kunalspathak]

using System;
using System.Collections.Generic;
using System.Runtime.CompilerServices;
using System.Runtime.Intrinsics;
using System.Runtime.Intrinsics.Arm;
using System.Numerics;
public class TestClass
{
 public struct S1
 {
 public sbyte sbyte_0;
 }
 public struct S2
 {
 public Vector256<short> v256_short_1;
 }
 static bool s_bool_2 = true;
 static byte s_byte_3 = 2;
 static char s_char_4 = 'A';
 static decimal s_decimal_5 = 1.2307692307692307692307692308m;
 static double s_double_6 = -1.925925925925926;
 static short s_short_7 = 1;
 static int s_int_8 = 0;
 static long s_long_9 = 5;
 static sbyte s_sbyte_10 = 0;
 static float s_float_11 = 5.266667f;
 static string s_string_12 = "567VV8BPS";
 static ushort s_ushort_13 = 0;
 static uint s_uint_14 = 5;
 static ulong s_ulong_15 = 5;
 static Vector64<byte> s_v64_byte_16 = Vector64.CreateScalar(((byte)(0)));
 static Vector64<sbyte> s_v64_sbyte_17 = Vector64.Create(((sbyte)(0)));
 static Vector64<short> s_v64_short_18 = Vector64<short>.Zero;
 static Vector64<ushort> s_v64_ushort_19 = Vector64.Create(((ushort)(5)));
 static Vector64<int> s_v64_int_20 = Vector64<int>.AllBitsSet;
 static Vector64<uint> s_v64_uint_21 = Vector64.Create(((uint)(2)), 0);
 static Vector64<long> s_v64_long_22 = Vector64.CreateScalar(((long)(2147483646)));
 static Vector64<ulong> s_v64_ulong_23 = Vector64.Create(((ulong)(5)));
 static Vector64<float> s_v64_float_24 = Vector64.Create(((float)(2.25f)));
 static Vector64<double> s_v64_double_25 = Vector64.CreateScalar(((double)(-4.98876404494382)));
 static Vector128<byte> s_v128_byte_26 = Vector128.CreateScalar(((byte)(5)));
 static Vector128<sbyte> s_v128_sbyte_27 = Vector128<sbyte>.AllBitsSet;
 static Vector128<short> s_v128_short_28 = Vector128.Create(((short)(-5)), 0, 1, -5, -5, 5, 2, 0);
 static Vector128<ushort> s_v128_ushort_29 = Vector128<ushort>.Zero;
 static Vector128<int> s_v128_int_30 = Vector128.Create(((int)(1)));
 static Vector128<uint> s_v128_uint_31 = Vector128.Create(((uint)(61)));
 static Vector128<long> s_v128_long_32 = Vector128.Create(((long)(0)));
 static Vector128<ulong> s_v128_ulong_33 = Vector128.Create(((ulong)(0)), 5);
 static Vector128<float> s_v128_float_34 = Vector128.Create(((float)(1.015625f)), 5.0677967f, 0.07692308f, -5f);
 static Vector128<double> s_v128_double_35 = Vector128.Create(((double)(5.040816326530612)), -0.8421052631578947);
 static Vector256<byte> s_v256_byte_36 = Vector256.Create(((byte)(2)));
 static Vector256<sbyte> s_v256_sbyte_37 = Vector256<sbyte>.AllBitsSet;
 static Vector256<short> s_v256_short_38 = Vector256.Create(((short)(2)));
 static Vector256<ushort> s_v256_ushort_39 = Vector256.Create(((ushort)(5)), 5, 1, 5, 1, 5, 5, 0, 0, 5, 5, 32766, 0, 2, 0, 0);
 static Vector256<int> s_v256_int_40 = Vector256.Create(((int)(2)), 2147483647, -2, 5, 0, 1, 5, 0);
 static Vector256<uint> s_v256_uint_41 = Vector256.CreateScalar(((uint)(5)));
 static Vector256<long> s_v256_long_42 = Vector256.Create(((long)(-2)));
 static Vector256<ulong> s_v256_ulong_43 = Vector256.Create(((ulong)(5)));
 static Vector256<float> s_v256_float_44 = Vector256<float>.Zero;
 static Vector256<double> s_v256_double_45 = Vector256.Create(((double)(5.333333333333333)), 0.017241379310344827, 0.05714285714285714, 0.05555555555555555);
 static Vector2 s_v2_46 = new Vector2(((float)(1.0128205f)), 5.1666665f);
 static Vector3 s_v3_47 = new Vector3(((float)(5.016667f)));
 static Vector4 s_v4_48 = new Vector4(((float)(5.0102043f)));
 static S1 s_s1_49 = new S1();
 static S2 s_s2_50 = new S2();
 bool bool_51 = false;
 byte byte_52 = 61;
 char char_53 = 'Y';
 decimal decimal_54 = -4.9722222222222222222222222222m;
 double double_55 = 0;
 short short_56 = 2;
 int int_57 = -2;
 long long_58 = 0;
 sbyte sbyte_59 = 2;
 float float_60 = 61f;
 string string_61 = "51OAS0TZ";
 ushort ushort_62 = 5;
 uint uint_63 = 0;
 ulong ulong_64 = 1;
 Vector64<byte> v64_byte_65 = Vector64.CreateScalar(((byte)(5)));
 Vector64<sbyte> v64_sbyte_66 = Vector64.Create(((sbyte)(61)));
 Vector64<short> v64_short_67 = Vector64.CreateScalar(((short)(-1)));
 Vector64<ushort> v64_ushort_68 = Vector64.CreateScalar(((ushort)(1)));
 Vector64<int> v64_int_69 = Vector64<int>.Zero;
 Vector64<uint> v64_uint_70 = Vector64.Create(((uint)(5)), 0);
 Vector64<long> v64_long_71 = Vector64.Create(((long)(2)));
 Vector64<ulong> v64_ulong_72 = Vector64.CreateScalar(((ulong)(1)));
 Vector64<float> v64_float_73 = Vector64.Create(((float)(-4.9166665f)));
 Vector64<double> v64_double_74 = Vector64.Create(((double)(0.14285714285714285)));
 Vector128<byte> v128_byte_75 = Vector128.Create(((byte)(1)));
 Vector128<sbyte> v128_sbyte_76 = Vector128.CreateScalar(((sbyte)(1)));
 Vector128<short> v128_short_77 = Vector128.Create(((short)(0)));
 Vector128<ushort> v128_ushort_78 = Vector128.Create(((ushort)(5)));
 Vector128<int> v128_int_79 = Vector128<int>.AllBitsSet;
 Vector128<uint> v128_uint_80 = Vector128.Create(((uint)(2)), 5, 2147483646, 2);
 Vector128<long> v128_long_81 = Vector128.Create(((long)(5)), -2);
 Vector128<ulong> v128_ulong_82 = Vector128.CreateScalar(((ulong)(2)));
 Vector128<float> v128_float_83 = Vector128.Create(((float)(2.1474836E+09f)), 5.1578946f, 5.029412f, 5.0240965f);
 Vector128<double> v128_double_84 = Vector128.Create(((double)(5.015873015873016)));
 Vector256<byte> v256_byte_85 = Vector256.Create(((byte)(2)), 0, 2, 2, 2, 2, 1, 5, 0, 5, 0, 0, 5, 5, 127, 126, 1, 5, 2, 5, 5, 5, 2, 127, 5, 5, 5, 126, 5, 127, 2, 1);
 Vector256<sbyte> v256_sbyte_86 = Vector256.Create(((sbyte)(0)));
 Vector256<short> v256_short_87 = Vector256.Create(((short)(5)));
 Vector256<ushort> v256_ushort_88 = Vector256.Create(((ushort)(0)), 0, 1, 5, 1, 0, 1, 2, 0, 0, 5, 5, 1, 5, 32767, 5);
 Vector256<int> v256_int_89 = Vector256.Create(((int)(0)));
 Vector256<uint> v256_uint_90 = Vector256.Create(((uint)(5)));
 Vector256<long> v256_long_91 = Vector256<long>.AllBitsSet;
 Vector256<ulong> v256_ulong_92 = Vector256<ulong>.Zero;
 Vector256<float> v256_float_93 = Vector256.Create(((float)(-4.964286f)), 5.142857f, 2.0243902f, -4.7f, 0.25f, 0.054054055f, 1.0412371f, 1.0298507f);
 Vector256<double> v256_double_94 = Vector256.Create(((double)(1.1071428571428572)));
 Vector2 v2_95 = Vector2.Zero;
 Vector3 v3_96 = new Vector3(((float)(-1f)));
 Vector4 v4_97 = new Vector4(((float)(1.0357143f)), 1.0235294f, 2.0357144f, 0.15789473f);
 S1 s1_98 = new S1();
 S2 s2_99 = new S2();
 static int s_loopInvariant = 3;
 private static List<string> toPrint = new List<string>();
 [MethodImpl(MethodImplOptions.NoInlining)]
 public int LeafMethod6()
 {
 unchecked
 {
 return int_57;
 }
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public long LeafMethod7()
 {
 unchecked
 {
 return ((long)(long_58 = ((long)(int_57 %= ((int)((s_int_8) | 42))))));
 }
 }
 public S1 Method2(S1 p_s1_127)
 {
 unchecked
 {
 bool bool_128 = false;
 byte byte_129 = 0;
 char char_130 = 'O';
 decimal decimal_131 = -4.9705882352941176470588235294m;
 double double_132 = 1;
 short short_133 = 0;
 int int_134 = 0;
 long long_135 = 61;
 sbyte sbyte_136 = 2;
 float float_137 = -4.95f;
 string string_138 = "NQA";
 ushort ushort_139 = 1;
 uint uint_140 = 2;
 ulong ulong_141 = 5;
 S1 s1_142 = new S1();
 S2 s2_143 = new S2();
 int __loopvar9 = s_loopInvariant;
 for (;;)
 {
 if (__loopvar9 < s_loopInvariant - 3)
 break;
 bool bool_144 = ((bool)(((ulong)(((ulong)(s_int_8 %= ((int)((((int)(int_57 % ((int)((s_int_8) | 70))))) | 91)))) * ((ulong)(((ulong)(s_ulong_15 | ulong_64)) * ((ulong)(ulong_64 - ulong_141)))))) <= ulong_64));
 int __loopvar8 = s_loopInvariant, __loopSecondaryVar8_0 = s_loopInvariant - 3;
 do
 {
 if (__loopvar8 > s_loopInvariant + 8)
 break;
 s_v256_long_42 *= ((Vector256<long>)(((Vector256<long>)(s_v256_long_42 *= Vector256.Max(s_v256_long_42, s_v256_long_42))) | ((Vector256<long>)(((Vector256<long>)(((Vector256<long>)(s_v256_long_42 *= s_v256_long_42)) | ((Vector256<long>)(s_v256_long_42 + v256_long_91)))) + ((Vector256<long>)(Vector256.OnesComplement(v256_long_91) ^ ((Vector256<long>)(v256_long_91 & v256_long_91))))))));
 if (s_bool_2)
 {
 switch (((int)(int_134 + ((int)(int_134 ^ ((int)(s_int_8 * int_134)))))))
 {
 case 5:
 {
 if (((bool)(((long)(((long)(((long)(s_long_9 ^ s_long_9)) ^ LeafMethod7())) + long_135)) > ((long)(((long)(((long)(long_135 ^ long_58)) << ((int)(s_int_8 *= int_134)))) << ((int)(int_57 = ((int)(-2 >> int_57)))))))))
{} else
 {
 if (bool_128)
 {
 AdvSimd.ShiftRightLogicalRounded(((Vector128<short>)(s_v128_short_28 -= ((Vector128<short>)(((Vector128<short>)(v128_short_77 * s_v128_short_28)) * ((Vector128<short>)(v128_short_77 *= v128_short_77)))))), ((byte)(((int)(((int)(s_int_8 << int_57)) / ((int)((((int)(int_57 % ((int)((s_int_8) | 16))))) | 94)))) % ((int)((((int)(s_int_8 /= ((int)((((int)(int_134 ^= int_134))) | 62))))) | 1)))));
 int __loopvar1 = s_loopInvariant - 12;
 }
 else
 {
 }
 }
 break;
 }
 case -5:
 {
 Vector64.Max(((Vector64<short>)(v64_short_67 + v64_short_67)), ((Vector64<short>)(s_v64_short_18 -= ((Vector64<short>)(((Vector64<short>)(s_v64_short_18 & v64_short_67)) + ((Vector64<short>)(v64_short_67 * s_v64_short_18)))))));
 int __loopvar3 = s_loopInvariant, __loopSecondaryVar3_0 = s_loopInvariant - 15;
 int __loopvar6 = s_loopInvariant, __loopSecondaryVar6_0 = s_loopInvariant - 11;
 for (;; __loopvar6 -= 3)
 {
 __loopSecondaryVar6_0 += 3;
 if (__loopvar6 < s_loopInvariant - 9)
 break;
 s_v256_ulong_43 *= ((Vector256<ulong>)(v256_ulong_92 *= ((Vector256<ulong>)(v256_ulong_92 *= ((Vector256<ulong>)(((Vector256<ulong>)(s_v256_ulong_43 | s_v256_ulong_43)) * ((Vector256<ulong>)(v256_ulong_92 -= s_v256_ulong_43))))))));
 AdvSimd.OrNot(((Vector64<long>)(((Vector64<long>)(AdvSimd.BitwiseSelect(v64_long_71, Vector64<long>.Zero, v64_long_71) * ((Vector64<long>)(s_v64_long_22 | v64_long_71)))) ^ ((Vector64<long>)(((Vector64<long>)(s_v64_long_22 - s_v64_long_22)) - ((Vector64<long>)(v64_long_71 *= s_v64_long_22)))))), ((Vector64<long>)(((Vector64<long>)(v64_long_71 *= ((Vector64<long>)(s_v64_long_22 | s_v64_long_22)))) - ((Vector64<long>)(s_v64_long_22 + ((Vector64<long>)(v64_long_71 & v64_long_71)))))));
 int __loopvar5 = s_loopInvariant - 15, __loopSecondaryVar5_0 = s_loopInvariant - 3;
 ushort_62 >>= ((int)(((int)(s_int_8 *= ((int)(int_57 |= int_57)))) ^ ((int)(((int)(LeafMethod6() | ((int)(int_57 - -2)))) ^ ((int)(int_57 += int_134))))));
 }
 break;
 }
 default:
 {
 if (Vector256.GreaterThanOrEqualAll(((Vector256<float>)(((Vector256<float>)(s_v256_float_44 *= s_v256_float_44)) + ((Vector256<float>)(s_v256_float_44 | s_v256_float_44)))), ((Vector256<float>)(((Vector256<float>)(v256_float_93 -= s_v256_float_44)) | Vector256.Narrow(v256_double_94, v256_double_94)))))
 {
 if (((bool)(((float)(((float)(((float)(int_57 % ((int)((s_int_8) | 18)))) + ((float)(int_134 % ((int)((int_57) | 1)))))) + ((float)(((float)(s_int_8 / ((int)((s_int_8) | 86)))) + ((float)(int_134 /= ((int)((int_134) | 35)))))))) < ((float)(((float)(s_float_11 + ((float)(float_60 -= s_float_11)))) + ((float)(((int)(int_57 | int_57)) % ((int)((((int)(int_57 ^ int_57))) | 10)))))))))
 {
 s2_99.v256_short_1 += ((Vector256<short>)(s2_143.v256_short_1 *= ((Vector256<short>)(s_s2_50.v256_short_1 += ((Vector256<short>)(((Vector256<short>)(s_v256_short_38 * s_s2_50.v256_short_1)) ^ ((Vector256<short>)(s_v256_short_38 + v256_short_87))))))));
 }
 else
 {
 uint_140 |= Vector256.ExtractMostSignificantBits(s_v256_ushort_39);
 Vector256.Subtract(((Vector256<sbyte>)(s_v256_sbyte_37 + ((Vector256<sbyte>)(s_v256_sbyte_37 = ((Vector256<sbyte>)(v256_sbyte_86 | v256_sbyte_86)))))), ((Vector256<sbyte>)(((Vector256<sbyte>)(v256_sbyte_86 ^ ((Vector256<sbyte>)(v256_sbyte_86 += v256_sbyte_86)))) & ((Vector256<sbyte>)(((Vector256<sbyte>)(Vector256<sbyte>.Zero * v256_sbyte_86)) & ((Vector256<sbyte>)(v256_sbyte_86 | v256_sbyte_86)))))));
 int __loopvar7 = s_loopInvariant + 3, __loopSecondaryVar7_0 = s_loopInvariant + 3;
 }
 }
 else
 {
 int_134 %= ((int)((((int)(s_int_8 += ((int)(s_int_8 &= int_134))))) | 25));
 }
 break;
 }
 }
 s_v256_uint_41 *= s_v256_uint_41;
 }
 else
 {
 s_sbyte_10 <<= ((int)(((int)(Vector64.GetElement(s_v64_int_20, s_int_8 & 0) >> int_134)) >> ((int)(int_57 &= ((int)(int_57 ^= ((int)(int_57 + int_57))))))));
 }
 }
 while ((((bool)(((ulong)(ulong_64 + ((ulong)(((ulong)(s_int_8 / ((int)((s_int_8) | 99)))) * ((ulong)(ulong_141 - ulong_64)))))) <= ((ulong)(((ulong)(((ulong)(ulong_141 + s_ulong_15)) ^ ((ulong)(ulong_141 * s_ulong_15)))) * ((ulong)(((int)(int_57 ^= s_int_8)) % ((int)((((int)(s_int_8 - 61))) | 5))))))))));
 Log("bool_144", bool_144);
 }
 Log("p_s1_127", p_s1_127);
 Log("byte_129", byte_129);
 Log("char_130", char_130);
 Log("decimal_13", decimal_131);
 Log("double_132", double_132);
 Log("long_135", long_135);
 Log("sbyte_136", sbyte_136);
 Log("string_138", string_138);
 Log("ushort_139", ushort_139);
 Log("s2_143", s2_143);
 Log("s2_143.v25", s2_143.v256_short_1);
 return s1_98;
 }
 }
 public void Method0()
 {
 unchecked
 {
 bool bool_148 = false;
 byte byte_149 = 5;
 char char_150 = 'M';
 decimal decimal_151 = 2.2666666666666666666666666667m;
 double double_152 = 2;
 short short_153 = 0;
 int int_154 = 1;
 long long_155 = 2;
 sbyte sbyte_156 = 1;
 float float_157 = 1.1428572f;
 string string_158 = "GE1537I";
 ushort ushort_159 = 1;
 uint uint_160 = 5;
 ulong ulong_161 = 5;
 S1 s1_162 = new S1();
 S2 s2_163 = new S2();
 int __loopvar3 = s_loopInvariant - 9;
 s_s1_49 = Method2(s1_162);
 Log("long_155", long_155);
 Log("sbyte_156", sbyte_156);
 Log("float_157", float_157);
 Log("ushort_159", ushort_159);
 Log("ulong_161", ulong_161);
 Log("s2_163.v25", s2_163.v256_short_1);
 return;
 }
 }
 public static void Main(string[] args)
 {
 new TestClass().Method0();
 PrintLog();
 }
 [MethodImpl(MethodImplOptions.NoInlining)]
 public static void Log(string varName, object varValue)
 {
 toPrint.Add($"{varName}={varValue}");
 }
 public static void PrintLog()
 {
 foreach (var entry in toPrint)
 {
 Console.WriteLine(entry);
 }
 }
}
/*
Got output diff:
--------- Baseline --------- 

Environment:



--------- Test --------- 

Environment:

set COMPlus_TC_OnStackReplacement_InitialCounter=1
set COMPlus_OSR_HitLimit=1

Assert failure(PID 6752 [0x00001a60], Thread: 15284 [0x3bb4]): Assertion failed '!"Instruction cannot be encoded: IF_LS_2B"' in 'TestClass:Method2(TestClass+S1):TestClass+S1:this' during 'Generate code' (IL size 2074; hash 0xf763d6ad; Tier1-OSR)
 File: D:\a\_work\1\s\src\coreclr\jit\emitarm64.cpp Line: 5699
 Image: E:\kpathak\CORE_ROOT\corerun.exe
*/