blob: 8e6e3a7106283f96e2642ae7bba792340a77cc55 [file] [log] [blame]
; RUN: llc -mcpu=atmega328 < %s -march=avr | FileCheck %s
; This test verifies that the pointer to a basic block
; should always be a pointer in address space 1.
;
; If this were not the case, then programs targeting
; AVR that attempted to read their own machine code
; via a pointer to a label would actually read from RAM
; using a pointer relative to the the start of program flash.
;
; This would cause a load of uninitialized memory, not even
; touching the program's machine code as otherwise desired.
target datalayout = "e-P1-p:16:8-i8:8-i16:8-i32:8-i64:8-f32:8-f64:8-n8-a:8"
; CHECK-LABEL: load_with_no_forward_reference
define i8 @load_with_no_forward_reference(i8 %a, i8 %b) {
second:
; CHECK: ldi r30, .Ltmp0+2
; CHECK-NEXT: ldi r31, .Ltmp0+4
; CHECK: lpm r24, Z
%bar = load i8, i8 addrspace(1)* blockaddress(@function_with_no_forward_reference, %second)
ret i8 %bar
}
; CHECK-LABEL: load_from_local_label
define i8 @load_from_local_label(i8 %a, i8 %b) {
entry:
%result1 = add i8 %a, %b
br label %second
; CHECK-LABEL: .Ltmp1:
second:
; CHECK: ldi r30, .Ltmp1+2
; CHECK-NEXT: ldi r31, .Ltmp1+4
; CHECK-NEXT: lpm r24, Z
%result2 = load i8, i8 addrspace(1)* blockaddress(@load_from_local_label, %second)
ret i8 %result2
}
; A function with no forward reference, right at the end
; of the file.
define i8 @function_with_no_forward_reference(i8 %a, i8 %b) {
entry:
%result = add i8 %a, %b
br label %second
second:
ret i8 0
}