| ; RUN: sed 's/DIVREM/sdiv/g' %s | not llubi --verbose 2>&1 | FileCheck %s | |
| ; RUN: sed 's/DIVREM/srem/g' %s | not llubi --verbose 2>&1 | FileCheck %s | |
| define void @main() { | |
| %res = DIVREM i8 poison, -1 | |
| ret void | |
| } | |
| ; CHECK: Entering function: main | |
| ; CHECK-NEXT: Immediate UB detected: Signed division overflow (refine LHS to INT_MIN). | |
| ; CHECK-NEXT: error: Execution of function 'main' failed. |