| ; NOTE: Assertions have been autogenerated by utils/update_llubi_test_checks.py UTC_ARGS: --version 6 |
| ; RUN: not llubi --verbose < %s 2>&1 | FileCheck %s |
| |
| declare void @exit(i32) noreturn |
| declare i32 @puts(ptr) |
| |
| define i32 @main() { |
| entry: |
| %before = alloca [7 x i8] |
| store [7 x i8] c"Before\00", ptr %before |
| |
| %after = alloca [6 x i8] |
| store [6 x i8] c"After\00", ptr %after |
| |
| %0 = call i32 @puts(ptr %before) |
| |
| call void @exit(i32 42) |
| |
| %1 = call i32 @puts(ptr %after) |
| |
| ret i32 0 |
| } |
| ; CHECK: Entering function: main |
| ; CHECK-NEXT: %before = alloca [7 x i8], align 1 => ptr 0x8 [before] |
| ; CHECK-NEXT: store [7 x i8] c"Before\00", ptr %before, align 1 |
| ; CHECK-NEXT: %after = alloca [6 x i8], align 1 => ptr 0xF [after] |
| ; CHECK-NEXT: store [6 x i8] c"After\00", ptr %after, align 1 |
| ; CHECK-NEXT: Before |
| ; CHECK-NEXT: %0 = call i32 @puts(ptr %before) => i32 1 |
| ; CHECK-NEXT: Program exited with code 42 |
