Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- Trying 19 guesses.
- %0:i32 = var ; x
- RHS proved incorrect.
- %0:i32 = var ; reserved_0
- %1:i32 = var ; x
- %2:i32 = lshr %0, %1
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = add 2:i32, %0
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = var ; reserved_0
- %2:i32 = lshr %0, %1
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = lshr %0, %0
- RHS proved incorrect.
- %0:i32 = var ; reserved_0
- %1:i32 = var ; x
- %2:i32 = ashr %0, %1
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = var ; reserved_0
- %2:i32 = ashr %0, %1
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = ashr %0, %0
- RHS proved incorrect.
- %0:i32 = var ; reserved_0
- %1:i32 = var ; x
- %2:i32 = shl %0, %1
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = var ; reserved_0
- %2:i32 = shl %0, %1
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = shl %0, %0
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = var ; reserved_0
- %2:i32 = xor %0, %1
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = var ; reserved_0
- %2:i32 = or %0, %1
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = var ; reserved_0
- %2:i32 = and %0, %1
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = var ; reserved_0
- %2:i32 = mul %0, %1
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = mul %0, %0
- RHS proved incorrect.
- %0:i32 = var ; reserved_0
- %1:i32 = var ; x
- %2:i32 = sub %0, %1
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = var ; reserved_0
- %2:i32 = add %0, %1
- RHS proved incorrect.
- %0:i32 = var ; x
- %1:i32 = add %0, %0
- RHS proved incorrect.
- ; Failed to infer RHS
Add Comment
Please, Sign In to add comment
