| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes | |
| ; RUN: opt < %s -passes=function-attrs -S | FileCheck %s | |
| @s = external constant i8 | |
| define i8 @f() { | |
| ; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none) | |
| ; CHECK-LABEL: @f( | |
| ; CHECK-NEXT: [[TMP:%.*]] = load i8, ptr @s, align 1 | |
| ; CHECK-NEXT: ret i8 [[TMP]] | |
| ; | |
| %tmp = load i8, ptr @s | |
| ret i8 %tmp | |
| } |