Skip to content

Conversation

operasfantom
Copy link
Collaborator

This patch eliminates warnings and errors which are the place to be on SIMDE project. For example:

2022-03-19 23:22:27.827 [utbot-YRSL      ]        RunKleeTask.cpp:66       1| .   .   KLEE: WARNING ONCE: unsupported intrinsic llvm.sqrt.f32
2022-03-19 23:22:27.827 [utbot-YRSL      ]        RunKleeTask.cpp:66       1| .   .   KLEE: WARNING ONCE: unsupported intrinsic llvm.sqrt.f64

@operasfantom operasfantom requested a review from ladisgin March 24, 2022 10:35
@sava-cska sava-cska merged commit b1218dc into utbot-main Mar 29, 2022
@operasfantom operasfantom deleted the sqrt branch March 29, 2022 20:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants