| // RUN: %clang_cc1 -no-opaque-pointers -triple wasm32 -o - -emit-llvm %s | FileCheck %s | |
| // Mangle the argc/argv form of main. | |
| int main(int argc, char **argv) { | |
| return 0; | |
| } | |
| // CHECK-LABEL: define i32 @__main_argc_argv(i32 noundef %argc, i8** noundef %argv) |