search

tanmaytirpankar / alive2

MIT License
0 stars 0 forks source link

Add support for `USRA` #149

Closed tanmaytirpankar closed 6 months ago

tanmaytirpankar commented 6 months ago

Test for USRAd:

define <1 x i64> @f(<2 x i32> %0) {
  %2 = lshr <2 x i32> %0, <i32 31, i32 31>
  %3 = bitcast <2 x i32> %2 to <1 x i64>
  %4 = lshr <1 x i64> %3, <i64 31>
  %5 = or <1 x i64> %4, %3
  ret <1 x i64> %5
}
tanmaytirpankar commented 6 months ago

f9dc96400109e24d34c9f32749ff0a2e6e2eed22